runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand172.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand172.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand172.cudf.user-upgrades.result -sum(pin-priority-1),-sum(pin-priority-500),-sum(pin-priority-700),-notuptodate,-removed,-changed 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 0.97 1.01 0.76 4/37 23953
/proc/meminfo: memFree=697924/1048576 swapFree=0/0
[pid=23952] ppid=23951 vsize=2572 CPUtime=0
/proc/23952/stat : 23952 (gj-user-solver-) S 23951 23952 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 71727486 2633728 270 1283457024 134512640 135304128 4288742336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23952/statm: 643 270 229 194 0 30 0
[pid=23953] ppid=23952 vsize=11048 CPUtime=0
/proc/23953/stat : 23953 (java) R 23952 23952 22717 34817 22717 4202496 730 0 0 0 0 0 0 0 25 0 1 0 71727486 11313152 465 1283457024 134512640 134550932 4288533232 18446744073709551615 4160128738 0 0 0 0 0 0 0 17 0 0 0 0
/proc/23953/statm: 2762 465 184 10 0 1104 0

[startup+0.165697 s]
/proc/loadavg: 0.97 1.01 0.76 4/37 23953
/proc/meminfo: memFree=697924/1048576 swapFree=0/0
[pid=23952] ppid=23951 vsize=2572 CPUtime=0
/proc/23952/stat : 23952 (gj-user-solver-) S 23951 23952 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 71727486 2633728 270 1283457024 134512640 135304128 4288742336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23952/statm: 643 270 229 194 0 30 0
[pid=23953] ppid=23952 vsize=409928 CPUtime=0.16
/proc/23953/stat : 23953 (java) S 23952 23952 22717 34817 22717 4202496 3997 0 1 0 16 0 0 0 25 0 9 0 71727486 419766272 3423 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23953/statm: 102482 3423 1918 10 0 96630 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 412500

[startup+0.205695 s]
/proc/loadavg: 0.97 1.01 0.76 4/37 23953
/proc/meminfo: memFree=697924/1048576 swapFree=0/0
[pid=23952] ppid=23951 vsize=2572 CPUtime=0
/proc/23952/stat : 23952 (gj-user-solver-) S 23951 23952 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 71727486 2633728 270 1283457024 134512640 135304128 4288742336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23952/statm: 643 270 229 194 0 30 0
[pid=23953] ppid=23952 vsize=409928 CPUtime=0.2
/proc/23953/stat : 23953 (java) S 23952 23952 22717 34817 22717 4202496 4084 0 1 0 20 0 0 0 25 0 9 0 71727486 419766272 3510 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23953/statm: 102482 3510 1918 10 0 96630 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412500

[startup+0.305741 s]
/proc/loadavg: 0.97 1.01 0.76 4/37 23953
/proc/meminfo: memFree=697924/1048576 swapFree=0/0
[pid=23952] ppid=23951 vsize=2572 CPUtime=0
/proc/23952/stat : 23952 (gj-user-solver-) S 23951 23952 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 71727486 2633728 270 1283457024 134512640 135304128 4288742336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23952/statm: 643 270 229 194 0 30 0
[pid=23953] ppid=23952 vsize=410348 CPUtime=0.3
/proc/23953/stat : 23953 (java) S 23952 23952 22717 34817 22717 4202496 4437 0 1 0 30 0 0 0 25 0 9 0 71727486 420196352 3863 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23953/statm: 102587 3863 1945 10 0 96735 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 412920

[startup+0.705889 s]
/proc/loadavg: 0.97 1.01 0.76 4/37 23953
/proc/meminfo: memFree=697924/1048576 swapFree=0/0
[pid=23952] ppid=23951 vsize=2572 CPUtime=0
/proc/23952/stat : 23952 (gj-user-solver-) S 23951 23952 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 71727486 2633728 270 1283457024 134512640 135304128 4288742336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23952/statm: 643 270 229 194 0 30 0
[pid=23953] ppid=23952 vsize=410620 CPUtime=0.7
/proc/23953/stat : 23953 (java) S 23952 23952 22717 34817 22717 4202496 11694 0 1 0 68 2 0 0 25 0 9 0 71727486 420474880 10933 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23953/statm: 102655 10933 2901 10 0 96803 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413192

[startup+1.50615 s]
/proc/loadavg: 0.97 1.01 0.76 2/46 23962
/proc/meminfo: memFree=640492/1048576 swapFree=0/0
[pid=23952] ppid=23951 vsize=2572 CPUtime=0
/proc/23952/stat : 23952 (gj-user-solver-) S 23951 23952 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 71727486 2633728 270 1283457024 134512640 135304128 4288742336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23952/statm: 643 270 229 194 0 30 0
[pid=23953] ppid=23952 vsize=410752 CPUtime=1.5
/proc/23953/stat : 23953 (java) S 23952 23952 22717 34817 22717 4202496 26445 0 1 0 144 6 0 0 25 0 9 0 71727486 420610048 25684 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23953/statm: 102688 25684 2901 10 0 96836 0
[pid=23953/tid=23955] ppid=23952 vsize=410752 CPUtime=0.81
/proc/23953/task/23955/stat : 23955 (java) R 23952 23952 22717 34817 22717 4202560 6712 0 1 0 81 0 0 0 25 0 9 0 71727487 420610048 25684 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23953/tid=23956] ppid=23952 vsize=410752 CPUtime=0.62
/proc/23953/task/23956/stat : 23956 (java) R 23952 23952 22717 34817 22717 4202560 18344 0 0 0 58 4 0 0 18 0 9 0 71727488 420610048 25684 1283457024 134512640 134550932 4288533232 18446744073709551615 4149854169 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23953/tid=23957] ppid=23952 vsize=410752 CPUtime=0
/proc/23953/task/23957/stat : 23957 (java) S 23952 23952 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 71727488 420610048 25684 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23958] ppid=23952 vsize=410752 CPUtime=0
/proc/23953/task/23958/stat : 23958 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 71727488 420610048 25684 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23959] ppid=23952 vsize=410752 CPUtime=0
/proc/23953/task/23959/stat : 23959 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71727489 420610048 25684 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23960] ppid=23952 vsize=410752 CPUtime=0.04
/proc/23953/task/23960/stat : 23960 (java) S 23952 23952 22717 34817 22717 4202560 446 0 0 0 4 0 0 0 16 0 9 0 71727489 420610048 25684 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23961] ppid=23952 vsize=410752 CPUtime=0
/proc/23953/task/23961/stat : 23961 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71727489 420610048 25684 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23962] ppid=23952 vsize=410752 CPUtime=0
/proc/23953/task/23962/stat : 23962 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71727489 420610048 25684 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413324

[startup+3.1067 s]
/proc/loadavg: 0.97 1.01 0.76 2/46 23962
/proc/meminfo: memFree=568696/1048576 swapFree=0/0
[pid=23952] ppid=23951 vsize=2572 CPUtime=0
/proc/23952/stat : 23952 (gj-user-solver-) S 23951 23952 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 71727486 2633728 270 1283457024 134512640 135304128 4288742336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23952/statm: 643 270 229 194 0 30 0
[pid=23953] ppid=23952 vsize=410884 CPUtime=3.1
/proc/23953/stat : 23953 (java) S 23952 23952 22717 34817 22717 4202496 49644 0 1 0 298 12 0 0 25 0 9 0 71727486 420745216 48883 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23953/statm: 102721 48883 2901 10 0 96869 0
[pid=23953/tid=23955] ppid=23952 vsize=410884 CPUtime=1.43
/proc/23953/task/23955/stat : 23955 (java) R 23952 23952 22717 34817 22717 4202560 13865 0 1 0 139 4 0 0 25 0 9 0 71727487 420745216 48883 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23953/tid=23956] ppid=23952 vsize=410884 CPUtime=1.61
/proc/23953/task/23956/stat : 23956 (java) R 23952 23952 22717 34817 22717 4202560 34387 0 0 0 155 6 0 0 16 0 9 0 71727488 420745216 48883 1283457024 134512640 134550932 4288533232 18446744073709551615 4151007160 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23953/tid=23957] ppid=23952 vsize=410884 CPUtime=0
/proc/23953/task/23957/stat : 23957 (java) S 23952 23952 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 71727488 420745216 48883 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23958] ppid=23952 vsize=410884 CPUtime=0
/proc/23953/task/23958/stat : 23958 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 71727488 420745216 48883 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23959] ppid=23952 vsize=410884 CPUtime=0
/proc/23953/task/23959/stat : 23959 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71727489 420745216 48883 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23960] ppid=23952 vsize=410884 CPUtime=0.04
/proc/23953/task/23960/stat : 23960 (java) S 23952 23952 22717 34817 22717 4202560 449 0 0 0 4 0 0 0 15 0 9 0 71727489 420745216 48883 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23961] ppid=23952 vsize=410884 CPUtime=0
/proc/23953/task/23961/stat : 23961 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71727489 420745216 48883 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23962] ppid=23952 vsize=410884 CPUtime=0
/proc/23953/task/23962/stat : 23962 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71727489 420745216 48883 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413456

[startup+6.30784 s]
/proc/loadavg: 1.05 1.03 0.77 2/46 23962
/proc/meminfo: memFree=431800/1048576 swapFree=0/0
[pid=23952] ppid=23951 vsize=2572 CPUtime=0
/proc/23952/stat : 23952 (gj-user-solver-) S 23951 23952 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 71727486 2633728 270 1283457024 134512640 135304128 4288742336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23952/statm: 643 270 229 194 0 30 0
[pid=23953] ppid=23952 vsize=439924 CPUtime=6.3
/proc/23953/stat : 23953 (java) S 23952 23952 22717 34817 22717 4202496 78239 0 1 0 611 19 0 0 25 0 9 0 71727486 450482176 77472 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23953/statm: 109981 77472 2902 10 0 104129 0
[pid=23953/tid=23955] ppid=23952 vsize=439924 CPUtime=2.31
/proc/23953/task/23955/stat : 23955 (java) R 23952 23952 22717 34817 22717 4202560 13882 0 1 0 227 4 0 0 25 0 9 0 71727487 450482176 77472 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23953/tid=23956] ppid=23952 vsize=439924 CPUtime=3.91
/proc/23953/task/23956/stat : 23956 (java) R 23952 23952 22717 34817 22717 4202560 62947 0 0 0 378 13 0 0 16 0 9 0 71727488 450482176 77472 1283457024 134512640 134550932 4288533232 18446744073709551615 4152498709 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=23953/tid=23957] ppid=23952 vsize=439924 CPUtime=0
/proc/23953/task/23957/stat : 23957 (java) S 23952 23952 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 71727488 450482176 77472 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23958] ppid=23952 vsize=439924 CPUtime=0
/proc/23953/task/23958/stat : 23958 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 71727488 450482176 77472 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23959] ppid=23952 vsize=439924 CPUtime=0
/proc/23953/task/23959/stat : 23959 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71727489 450482176 77472 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23960] ppid=23952 vsize=439924 CPUtime=0.05
/proc/23953/task/23960/stat : 23960 (java) S 23952 23952 22717 34817 22717 4202560 467 0 0 0 5 0 0 0 15 0 9 0 71727489 450482176 77472 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23961] ppid=23952 vsize=439924 CPUtime=0
/proc/23953/task/23961/stat : 23961 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 71727489 450482176 77472 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23962] ppid=23952 vsize=439924 CPUtime=0
/proc/23953/task/23962/stat : 23962 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 71727489 450482176 77472 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 442496

[startup+12.71 s]
/proc/loadavg: 1.12 1.04 0.77 2/47 23963
/proc/meminfo: memFree=426832/1048576 swapFree=0/0
[pid=23952] ppid=23951 vsize=2572 CPUtime=0
/proc/23952/stat : 23952 (gj-user-solver-) S 23951 23952 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 71727486 2633728 270 1283457024 134512640 135304128 4288742336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23952/statm: 643 270 229 194 0 30 0
[pid=23953] ppid=23952 vsize=411860 CPUtime=12.69
/proc/23953/stat : 23953 (java) S 23952 23952 22717 34817 22717 4202496 99935 0 1 0 1241 28 0 0 25 0 10 0 71727486 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23953/statm: 102965 70656 2919 10 0 97110 0
[pid=23953/tid=23955] ppid=23952 vsize=411860 CPUtime=4.41
/proc/23953/task/23955/stat : 23955 (java) R 23952 23952 22717 34817 22717 4202560 14135 0 1 0 436 5 0 0 25 0 10 0 71727487 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4115628374 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23953/tid=23956] ppid=23952 vsize=411860 CPUtime=8.06
/proc/23953/task/23956/stat : 23956 (java) S 23952 23952 22717 34817 22717 4202560 84299 0 0 0 785 21 0 0 16 0 10 0 71727488 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23957] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23957/stat : 23957 (java) S 23952 23952 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71727488 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23958] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23958/stat : 23958 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71727488 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23959] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23959/stat : 23959 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71727489 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23960] ppid=23952 vsize=411860 CPUtime=0.2
/proc/23953/task/23960/stat : 23960 (java) S 23952 23952 22717 34817 22717 4202560 553 0 0 0 20 0 0 0 15 0 10 0 71727489 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23961] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23961/stat : 23961 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71727489 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23962] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23962/stat : 23962 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71727489 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23963] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23963/stat : 23963 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71728607 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 414432

Solver just ended. Dumping a history of the last processes samples

[startup+12.8101 s]
/proc/loadavg: 1.12 1.04 0.77 2/47 23963
/proc/meminfo: memFree=426832/1048576 swapFree=0/0
[pid=23952] ppid=23951 vsize=2572 CPUtime=0
/proc/23952/stat : 23952 (gj-user-solver-) S 23951 23952 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 71727486 2633728 270 1283457024 134512640 135304128 4288742336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23952/statm: 643 270 229 194 0 30 0
[pid=23953] ppid=23952 vsize=411860 CPUtime=12.79
/proc/23953/stat : 23953 (java) S 23952 23952 22717 34817 22717 4202496 99935 0 1 0 1251 28 0 0 25 0 10 0 71727486 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23953/statm: 102965 70656 2919 10 0 97110 0
[pid=23953/tid=23955] ppid=23952 vsize=411860 CPUtime=4.51
/proc/23953/task/23955/stat : 23955 (java) R 23952 23952 22717 34817 22717 4202560 14135 0 1 0 446 5 0 0 25 0 10 0 71727487 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4115638378 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23953/tid=23956] ppid=23952 vsize=411860 CPUtime=8.06
/proc/23953/task/23956/stat : 23956 (java) S 23952 23952 22717 34817 22717 4202560 84299 0 0 0 785 21 0 0 16 0 10 0 71727488 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23957] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23957/stat : 23957 (java) S 23952 23952 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71727488 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23958] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23958/stat : 23958 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71727488 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23959] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23959/stat : 23959 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71727489 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23960] ppid=23952 vsize=411860 CPUtime=0.2
/proc/23953/task/23960/stat : 23960 (java) S 23952 23952 22717 34817 22717 4202560 553 0 0 0 20 0 0 0 15 0 10 0 71727489 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23961] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23961/stat : 23961 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71727489 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23962] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23962/stat : 23962 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71727489 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23963] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23963/stat : 23963 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71728607 421744640 70656 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 414432

[startup+19.2117 s]
/proc/loadavg: 1.11 1.04 0.77 2/47 23963
/proc/meminfo: memFree=426832/1048576 swapFree=0/0
[pid=23952] ppid=23951 vsize=2572 CPUtime=0
/proc/23952/stat : 23952 (gj-user-solver-) S 23951 23952 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 71727486 2633728 270 1283457024 134512640 135304128 4288742336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23952/statm: 643 270 229 194 0 30 0
[pid=23953] ppid=23952 vsize=411860 CPUtime=19.18
/proc/23953/stat : 23953 (java) S 23952 23952 22717 34817 22717 4202496 99943 0 1 0 1889 29 0 0 25 0 10 0 71727486 421744640 70664 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23953/statm: 102965 70664 2921 10 0 97110 0
[pid=23953/tid=23955] ppid=23952 vsize=411860 CPUtime=10.81
/proc/23953/task/23955/stat : 23955 (java) R 23952 23952 22717 34817 22717 4202560 14135 0 1 0 1075 6 0 0 25 0 10 0 71727487 421744640 70664 1283457024 134512640 134550932 4288533232 18446744073709551615 4115752013 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23953/tid=23956] ppid=23952 vsize=411860 CPUtime=8.15
/proc/23953/task/23956/stat : 23956 (java) S 23952 23952 22717 34817 22717 4202560 84301 0 0 0 794 21 0 0 16 0 10 0 71727488 421744640 70664 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23957] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23957/stat : 23957 (java) S 23952 23952 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71727488 421744640 70664 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23958] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23958/stat : 23958 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71727488 421744640 70664 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23959] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23959/stat : 23959 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71727489 421744640 70664 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23960] ppid=23952 vsize=411860 CPUtime=0.2
/proc/23953/task/23960/stat : 23960 (java) S 23952 23952 22717 34817 22717 4202560 559 0 0 0 20 0 0 0 15 0 10 0 71727489 421744640 70664 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23961] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23961/stat : 23961 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71727489 421744640 70664 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23962] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23962/stat : 23962 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71727489 421744640 70664 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23963] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23963/stat : 23963 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71728607 421744640 70664 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 19.18
Current children cumulated vsize (KiB) 414432

[startup+20.8121 s]
/proc/loadavg: 1.11 1.04 0.77 2/47 23963
/proc/meminfo: memFree=426832/1048576 swapFree=0/0
[pid=23952] ppid=23951 vsize=2572 CPUtime=0
/proc/23952/stat : 23952 (gj-user-solver-) S 23951 23952 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 71727486 2633728 270 1283457024 134512640 135304128 4288742336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23952/statm: 643 270 229 194 0 30 0
[pid=23953] ppid=23952 vsize=411860 CPUtime=20.78
/proc/23953/stat : 23953 (java) S 23952 23952 22717 34817 22717 4202496 99944 0 1 0 2049 29 0 0 25 0 10 0 71727486 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23953/statm: 102965 70665 2921 10 0 97110 0
[pid=23953/tid=23955] ppid=23952 vsize=411860 CPUtime=12.38
/proc/23953/task/23955/stat : 23955 (java) R 23952 23952 22717 34817 22717 4202560 14135 0 1 0 1232 6 0 0 25 0 10 0 71727487 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4115756741 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23953/tid=23956] ppid=23952 vsize=411860 CPUtime=8.18
/proc/23953/task/23956/stat : 23956 (java) S 23952 23952 22717 34817 22717 4202560 84301 0 0 0 797 21 0 0 16 0 10 0 71727488 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23957] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23957/stat : 23957 (java) S 23952 23952 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71727488 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23958] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23958/stat : 23958 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71727488 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23959] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23959/stat : 23959 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23960] ppid=23952 vsize=411860 CPUtime=0.2
/proc/23953/task/23960/stat : 23960 (java) S 23952 23952 22717 34817 22717 4202560 560 0 0 0 20 0 0 0 15 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23961] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23961/stat : 23961 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23962] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23962/stat : 23962 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23963] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23963/stat : 23963 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71728607 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 20.78
Current children cumulated vsize (KiB) 414432

[startup+21.6122 s]
/proc/loadavg: 1.10 1.04 0.77 2/47 23963
/proc/meminfo: memFree=426832/1048576 swapFree=0/0
[pid=23952] ppid=23951 vsize=2572 CPUtime=0
/proc/23952/stat : 23952 (gj-user-solver-) S 23951 23952 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 71727486 2633728 270 1283457024 134512640 135304128 4288742336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23952/statm: 643 270 229 194 0 30 0
[pid=23953] ppid=23952 vsize=411860 CPUtime=21.58
/proc/23953/stat : 23953 (java) S 23952 23952 22717 34817 22717 4202496 99944 0 1 0 2129 29 0 0 25 0 10 0 71727486 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23953/statm: 102965 70665 2921 10 0 97110 0
[pid=23953/tid=23955] ppid=23952 vsize=411860 CPUtime=13.17
/proc/23953/task/23955/stat : 23955 (java) R 23952 23952 22717 34817 22717 4202560 14135 0 1 0 1311 6 0 0 25 0 10 0 71727487 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4115756741 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23953/tid=23956] ppid=23952 vsize=411860 CPUtime=8.19
/proc/23953/task/23956/stat : 23956 (java) S 23952 23952 22717 34817 22717 4202560 84301 0 0 0 798 21 0 0 16 0 10 0 71727488 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23957] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23957/stat : 23957 (java) S 23952 23952 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71727488 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23958] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23958/stat : 23958 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71727488 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23959] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23959/stat : 23959 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23960] ppid=23952 vsize=411860 CPUtime=0.2
/proc/23953/task/23960/stat : 23960 (java) S 23952 23952 22717 34817 22717 4202560 560 0 0 0 20 0 0 0 15 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23961] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23961/stat : 23961 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23962] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23962/stat : 23962 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23963] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23963/stat : 23963 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71728607 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.58
Current children cumulated vsize (KiB) 414432

[startup+22.0123 s]
/proc/loadavg: 1.10 1.04 0.77 2/47 23963
/proc/meminfo: memFree=426832/1048576 swapFree=0/0
[pid=23952] ppid=23951 vsize=2572 CPUtime=0
/proc/23952/stat : 23952 (gj-user-solver-) S 23951 23952 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 71727486 2633728 270 1283457024 134512640 135304128 4288742336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23952/statm: 643 270 229 194 0 30 0
[pid=23953] ppid=23952 vsize=411860 CPUtime=21.98
/proc/23953/stat : 23953 (java) S 23952 23952 22717 34817 22717 4202496 99944 0 1 0 2169 29 0 0 25 0 10 0 71727486 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23953/statm: 102965 70665 2921 10 0 97110 0
[pid=23953/tid=23955] ppid=23952 vsize=411860 CPUtime=13.57
/proc/23953/task/23955/stat : 23955 (java) R 23952 23952 22717 34817 22717 4202560 14135 0 1 0 1351 6 0 0 25 0 10 0 71727487 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4115752009 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23953/tid=23956] ppid=23952 vsize=411860 CPUtime=8.19
/proc/23953/task/23956/stat : 23956 (java) S 23952 23952 22717 34817 22717 4202560 84301 0 0 0 798 21 0 0 16 0 10 0 71727488 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23957] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23957/stat : 23957 (java) S 23952 23952 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71727488 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23958] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23958/stat : 23958 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71727488 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23959] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23959/stat : 23959 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23960] ppid=23952 vsize=411860 CPUtime=0.2
/proc/23953/task/23960/stat : 23960 (java) S 23952 23952 22717 34817 22717 4202560 560 0 0 0 20 0 0 0 15 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23961] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23961/stat : 23961 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23962] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23962/stat : 23962 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23963] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23963/stat : 23963 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71728607 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 21.98
Current children cumulated vsize (KiB) 414432

[startup+22.2123 s]
/proc/loadavg: 1.10 1.04 0.77 2/47 23963
/proc/meminfo: memFree=426832/1048576 swapFree=0/0
[pid=23952] ppid=23951 vsize=2572 CPUtime=0
/proc/23952/stat : 23952 (gj-user-solver-) S 23951 23952 22717 34817 22717 4202496 374 0 0 0 0 0 0 0 18 0 1 0 71727486 2633728 270 1283457024 134512640 135304128 4288742336 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/23952/statm: 643 270 229 194 0 30 0
[pid=23953] ppid=23952 vsize=411860 CPUtime=22.18
/proc/23953/stat : 23953 (java) S 23952 23952 22717 34817 22717 4202496 99944 0 1 0 2189 29 0 0 25 0 10 0 71727486 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/23953/statm: 102965 70665 2921 10 0 97110 0
[pid=23953/tid=23955] ppid=23952 vsize=411860 CPUtime=13.77
/proc/23953/task/23955/stat : 23955 (java) R 23952 23952 22717 34817 22717 4202560 14135 0 1 0 1371 6 0 0 25 0 10 0 71727487 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4115756741 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=23953/tid=23956] ppid=23952 vsize=411860 CPUtime=8.19
/proc/23953/task/23956/stat : 23956 (java) S 23952 23952 22717 34817 22717 4202560 84301 0 0 0 798 21 0 0 16 0 10 0 71727488 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 0 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23957] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23957/stat : 23957 (java) S 23952 23952 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 71727488 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23958] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23958/stat : 23958 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 71727488 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23959] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23959/stat : 23959 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23960] ppid=23952 vsize=411860 CPUtime=0.2
/proc/23953/task/23960/stat : 23960 (java) S 23952 23952 22717 34817 22717 4202560 560 0 0 0 20 0 0 0 15 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23961] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23961/stat : 23961 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23962] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23962/stat : 23962 (java) S 23952 23952 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 71727489 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
[pid=23953/tid=23963] ppid=23952 vsize=411860 CPUtime=0
/proc/23953/task/23963/stat : 23963 (java) S 23952 23952 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 25 0 10 0 71728607 421744640 70665 1283457024 134512640 134550932 4288533232 18446744073709551615 4294960130 0 4 0 16800975 18446612133256535104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 22.18
Current children cumulated vsize (KiB) 414432

Child status: 0
Real time (s): 22.2535
CPU time (s): 22.2134
CPU user time (s): 21.9094
CPU system time (s): 0.304019
CPU usage (%): 99.8196
Max. virtual memory (cumulated for all children) (KiB): 442496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.9094
system time used= 0.304019
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100334
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1279
involuntary context switches= 1661

runsolver used 0 second user time and 0 second system time

The end