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/rand438.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand438.cudf /home/misc2010/tmp/201109011757/gj-user-solver-1.0/rand438.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.99 0.98 0.99 4/38 27164
/proc/meminfo: memFree=424640/1048576 swapFree=0/0
[pid=27163] ppid=27162 vsize=2568 CPUtime=0
/proc/27163/stat : 27163 (gj-user-solver-) S 27162 27163 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72235142 2629632 269 1283457024 134512640 135304128 4286763488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27163/statm: 642 269 229 194 0 29 0
[pid=27164] ppid=27163 vsize=11048 CPUtime=0
/proc/27164/stat : 27164 (java) R 27163 27163 22717 34817 22717 4202496 739 0 0 0 0 0 0 0 25 0 1 0 72235142 11313152 475 1283457024 134512640 134550932 4287603216 18446744073709551615 4159743714 0 0 0 0 0 0 0 17 0 0 0 0
/proc/27164/statm: 2762 475 185 10 0 1104 0

[startup+0.165696 s]
/proc/loadavg: 0.99 0.98 0.99 4/38 27164
/proc/meminfo: memFree=424640/1048576 swapFree=0/0
[pid=27163] ppid=27162 vsize=2568 CPUtime=0
/proc/27163/stat : 27163 (gj-user-solver-) S 27162 27163 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72235142 2629632 269 1283457024 134512640 135304128 4286763488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27163/statm: 642 269 229 194 0 29 0
[pid=27164] ppid=27163 vsize=409928 CPUtime=0.16
/proc/27164/stat : 27164 (java) S 27163 27163 22717 34817 22717 4202496 3996 0 1 0 14 2 0 0 25 0 9 0 72235142 419766272 3423 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27164/statm: 102482 3423 1918 10 0 96630 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 412496

[startup+0.205692 s]
/proc/loadavg: 0.99 0.98 0.99 4/38 27164
/proc/meminfo: memFree=424640/1048576 swapFree=0/0
[pid=27163] ppid=27162 vsize=2568 CPUtime=0
/proc/27163/stat : 27163 (gj-user-solver-) S 27162 27163 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72235142 2629632 269 1283457024 134512640 135304128 4286763488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27163/statm: 642 269 229 194 0 29 0
[pid=27164] ppid=27163 vsize=409928 CPUtime=0.2
/proc/27164/stat : 27164 (java) S 27163 27163 22717 34817 22717 4202496 4083 0 1 0 18 2 0 0 25 0 9 0 72235142 419766272 3510 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27164/statm: 102482 3510 1918 10 0 96630 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 412496

[startup+0.305715 s]
/proc/loadavg: 0.99 0.98 0.99 4/38 27164
/proc/meminfo: memFree=424640/1048576 swapFree=0/0
[pid=27163] ppid=27162 vsize=2568 CPUtime=0
/proc/27163/stat : 27163 (gj-user-solver-) S 27162 27163 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72235142 2629632 269 1283457024 134512640 135304128 4286763488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27163/statm: 642 269 229 194 0 29 0
[pid=27164] ppid=27163 vsize=410484 CPUtime=0.3
/proc/27164/stat : 27164 (java) S 27163 27163 22717 34817 22717 4202496 4455 0 1 0 28 2 0 0 25 0 9 0 72235142 420335616 3882 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27164/statm: 102621 3882 1945 10 0 96769 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 413052

[startup+0.705812 s]
/proc/loadavg: 0.99 0.98 0.99 4/38 27164
/proc/meminfo: memFree=424640/1048576 swapFree=0/0
[pid=27163] ppid=27162 vsize=2568 CPUtime=0
/proc/27163/stat : 27163 (gj-user-solver-) S 27162 27163 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72235142 2629632 269 1283457024 134512640 135304128 4286763488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27163/statm: 642 269 229 194 0 29 0
[pid=27164] ppid=27163 vsize=410620 CPUtime=0.7
/proc/27164/stat : 27164 (java) S 27163 27163 22717 34817 22717 4202496 12239 0 1 0 68 2 0 0 25 0 9 0 72235142 420474880 11479 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27164/statm: 102655 11479 2901 10 0 96803 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 413188

[startup+1.50601 s]
/proc/loadavg: 0.99 0.98 0.99 2/47 27173
/proc/meminfo: memFree=367392/1048576 swapFree=0/0
[pid=27163] ppid=27162 vsize=2568 CPUtime=0
/proc/27163/stat : 27163 (gj-user-solver-) S 27162 27163 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72235142 2629632 269 1283457024 134512640 135304128 4286763488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27163/statm: 642 269 229 194 0 29 0
[pid=27164] ppid=27163 vsize=410752 CPUtime=1.5
/proc/27164/stat : 27164 (java) S 27163 27163 22717 34817 22717 4202496 27420 0 1 0 144 6 0 0 25 0 9 0 72235142 420610048 26660 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27164/statm: 102688 26660 2901 10 0 96836 0
[pid=27164/tid=27166] ppid=27163 vsize=410752 CPUtime=0.8
/proc/27164/task/27166/stat : 27166 (java) R 27163 27163 22717 34817 22717 4202560 6712 0 1 0 78 2 0 0 25 0 9 0 72235143 420610048 26660 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27164/tid=27167] ppid=27163 vsize=410752 CPUtime=0.65
/proc/27164/task/27167/stat : 27167 (java) R 27163 27163 22717 34817 22717 4202560 19321 0 0 0 62 3 0 0 18 0 9 0 72235143 420610048 26660 1283457024 134512640 134550932 4287603216 18446744073709551615 4152113124 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=27164/tid=27168] ppid=27163 vsize=410752 CPUtime=0
/proc/27164/task/27168/stat : 27168 (java) S 27163 27163 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72235143 420610048 26660 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27169] ppid=27163 vsize=410752 CPUtime=0
/proc/27164/task/27169/stat : 27169 (java) S 27163 27163 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72235143 420610048 26660 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27170] ppid=27163 vsize=410752 CPUtime=0
/proc/27164/task/27170/stat : 27170 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72235145 420610048 26660 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27171] ppid=27163 vsize=410752 CPUtime=0.04
/proc/27164/task/27171/stat : 27171 (java) S 27163 27163 22717 34817 22717 4202560 446 0 0 0 4 0 0 0 16 0 9 0 72235145 420610048 26660 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27172] ppid=27163 vsize=410752 CPUtime=0
/proc/27164/task/27172/stat : 27172 (java) S 27163 27163 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72235145 420610048 26660 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27173] ppid=27163 vsize=410752 CPUtime=0
/proc/27164/task/27173/stat : 27173 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72235145 420610048 26660 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413320

[startup+3.10627 s]
/proc/loadavg: 0.99 0.98 0.99 2/47 27173
/proc/meminfo: memFree=295596/1048576 swapFree=0/0
[pid=27163] ppid=27162 vsize=2568 CPUtime=0
/proc/27163/stat : 27163 (gj-user-solver-) S 27162 27163 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72235142 2629632 269 1283457024 134512640 135304128 4286763488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27163/statm: 642 269 229 194 0 29 0
[pid=27164] ppid=27163 vsize=410884 CPUtime=3.1
/proc/27164/stat : 27164 (java) S 27163 27163 22717 34817 22717 4202496 51382 0 1 0 293 17 0 0 25 0 9 0 72235142 420745216 50622 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27164/statm: 102721 50622 2901 10 0 96869 0
[pid=27164/tid=27166] ppid=27163 vsize=410884 CPUtime=1.42
/proc/27164/task/27166/stat : 27166 (java) R 27163 27163 22717 34817 22717 4202560 13865 0 1 0 137 5 0 0 25 0 9 0 72235143 420745216 50622 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27164/tid=27167] ppid=27163 vsize=410884 CPUtime=1.62
/proc/27164/task/27167/stat : 27167 (java) R 27163 27163 22717 34817 22717 4202560 36127 0 0 0 152 10 0 0 16 0 9 0 72235143 420745216 50622 1283457024 134512640 134550932 4287603216 18446744073709551615 4149469136 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=27164/tid=27168] ppid=27163 vsize=410884 CPUtime=0
/proc/27164/task/27168/stat : 27168 (java) S 27163 27163 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72235143 420745216 50622 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27169] ppid=27163 vsize=410884 CPUtime=0
/proc/27164/task/27169/stat : 27169 (java) S 27163 27163 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72235143 420745216 50622 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27170] ppid=27163 vsize=410884 CPUtime=0
/proc/27164/task/27170/stat : 27170 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72235145 420745216 50622 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27171] ppid=27163 vsize=410884 CPUtime=0.04
/proc/27164/task/27171/stat : 27171 (java) S 27163 27163 22717 34817 22717 4202560 449 0 0 0 4 0 0 0 15 0 9 0 72235145 420745216 50622 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27172] ppid=27163 vsize=410884 CPUtime=0
/proc/27164/task/27172/stat : 27172 (java) S 27163 27163 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72235145 420745216 50622 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27173] ppid=27163 vsize=410884 CPUtime=0
/proc/27164/task/27173/stat : 27173 (java) R 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72235145 420745216 50622 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413452

[startup+6.30682 s]
/proc/loadavg: 1.07 1.00 1.00 2/47 27173
/proc/meminfo: memFree=158576/1048576 swapFree=0/0
[pid=27163] ppid=27162 vsize=2568 CPUtime=0
/proc/27163/stat : 27163 (gj-user-solver-) S 27162 27163 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72235142 2629632 269 1283457024 134512640 135304128 4286763488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27163/statm: 642 269 229 194 0 29 0
[pid=27164] ppid=27163 vsize=439924 CPUtime=6.3
/proc/27164/stat : 27164 (java) S 27163 27163 22717 34817 22717 4202496 78236 0 1 0 607 23 0 0 25 0 9 0 72235142 450482176 77470 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27164/statm: 109981 77470 2902 10 0 104129 0
[pid=27164/tid=27166] ppid=27163 vsize=439924 CPUtime=2.26
/proc/27164/task/27166/stat : 27166 (java) R 27163 27163 22717 34817 22717 4202560 13882 0 1 0 220 6 0 0 25 0 9 0 72235143 450482176 77470 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27164/tid=27167] ppid=27163 vsize=439924 CPUtime=3.96
/proc/27164/task/27167/stat : 27167 (java) R 27163 27163 22717 34817 22717 4202560 62946 0 0 0 380 16 0 0 16 0 9 0 72235143 450482176 77470 1283457024 134512640 134550932 4287603216 18446744073709551615 4152113691 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=27164/tid=27168] ppid=27163 vsize=439924 CPUtime=0
/proc/27164/task/27168/stat : 27168 (java) S 27163 27163 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 20 0 9 0 72235143 450482176 77470 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27169] ppid=27163 vsize=439924 CPUtime=0
/proc/27164/task/27169/stat : 27169 (java) S 27163 27163 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 20 0 9 0 72235143 450482176 77470 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27170] ppid=27163 vsize=439924 CPUtime=0
/proc/27164/task/27170/stat : 27170 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 9 0 72235145 450482176 77470 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27171] ppid=27163 vsize=439924 CPUtime=0.06
/proc/27164/task/27171/stat : 27171 (java) S 27163 27163 22717 34817 22717 4202560 467 0 0 0 6 0 0 0 15 0 9 0 72235145 450482176 77470 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27172] ppid=27163 vsize=439924 CPUtime=0
/proc/27164/task/27172/stat : 27172 (java) S 27163 27163 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 9 0 72235145 450482176 77470 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27173] ppid=27163 vsize=439924 CPUtime=0
/proc/27164/task/27173/stat : 27173 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 9 0 72235145 450482176 77470 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 442492

[startup+12.7083 s]
/proc/loadavg: 1.14 1.02 1.01 3/48 27174
/proc/meminfo: memFree=153608/1048576 swapFree=0/0
[pid=27163] ppid=27162 vsize=2568 CPUtime=0
/proc/27163/stat : 27163 (gj-user-solver-) S 27162 27163 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72235142 2629632 269 1283457024 134512640 135304128 4286763488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27163/statm: 642 269 229 194 0 29 0
[pid=27164] ppid=27163 vsize=411860 CPUtime=12.7
/proc/27164/stat : 27164 (java) S 27163 27163 22717 34817 22717 4202496 99927 0 1 0 1234 36 0 0 25 0 10 0 72235142 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27164/statm: 102965 70650 2919 10 0 97110 0
[pid=27164/tid=27166] ppid=27163 vsize=411860 CPUtime=4.44
/proc/27164/task/27166/stat : 27166 (java) R 27163 27163 22717 34817 22717 4202560 14134 0 1 0 438 6 0 0 25 0 10 0 72235143 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4150038011 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27164/tid=27167] ppid=27163 vsize=411860 CPUtime=8.1
/proc/27164/task/27167/stat : 27167 (java) S 27163 27163 22717 34817 22717 4202560 84298 0 0 0 781 29 0 0 16 0 10 0 72235143 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27168] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27168/stat : 27168 (java) S 27163 27163 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72235143 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27169] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27169/stat : 27169 (java) S 27163 27163 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72235143 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27170] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27170/stat : 27170 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72235145 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27171] ppid=27163 vsize=411860 CPUtime=0.14
/proc/27164/task/27171/stat : 27171 (java) S 27163 27163 22717 34817 22717 4202560 550 0 0 0 14 0 0 0 15 0 10 0 72235145 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27172] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27172/stat : 27172 (java) S 27163 27163 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72235145 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27173] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27173/stat : 27173 (java) R 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72235145 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27164/tid=27174] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27174/stat : 27174 (java) S 27163 27163 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72236259 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 414428

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

[startup+12.8083 s]
/proc/loadavg: 1.14 1.02 1.01 3/48 27174
/proc/meminfo: memFree=153608/1048576 swapFree=0/0
[pid=27163] ppid=27162 vsize=2568 CPUtime=0
/proc/27163/stat : 27163 (gj-user-solver-) S 27162 27163 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72235142 2629632 269 1283457024 134512640 135304128 4286763488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27163/statm: 642 269 229 194 0 29 0
[pid=27164] ppid=27163 vsize=411860 CPUtime=12.8
/proc/27164/stat : 27164 (java) S 27163 27163 22717 34817 22717 4202496 99927 0 1 0 1244 36 0 0 25 0 10 0 72235142 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27164/statm: 102965 70650 2919 10 0 97110 0
[pid=27164/tid=27166] ppid=27163 vsize=411860 CPUtime=4.54
/proc/27164/task/27166/stat : 27166 (java) R 27163 27163 22717 34817 22717 4202560 14134 0 1 0 448 6 0 0 25 0 10 0 72235143 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4115208740 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27164/tid=27167] ppid=27163 vsize=411860 CPUtime=8.1
/proc/27164/task/27167/stat : 27167 (java) S 27163 27163 22717 34817 22717 4202560 84298 0 0 0 781 29 0 0 16 0 10 0 72235143 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27168] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27168/stat : 27168 (java) S 27163 27163 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72235143 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27169] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27169/stat : 27169 (java) S 27163 27163 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72235143 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27170] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27170/stat : 27170 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72235145 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27171] ppid=27163 vsize=411860 CPUtime=0.14
/proc/27164/task/27171/stat : 27171 (java) S 27163 27163 22717 34817 22717 4202560 550 0 0 0 14 0 0 0 15 0 10 0 72235145 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27172] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27172/stat : 27172 (java) S 27163 27163 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72235145 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27173] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27173/stat : 27173 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72235145 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27174] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27174/stat : 27174 (java) S 27163 27163 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72236259 421744640 70650 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.8
Current children cumulated vsize (KiB) 414428

[startup+16.0117 s]
/proc/loadavg: 1.13 1.02 1.00 2/48 27174
/proc/meminfo: memFree=153608/1048576 swapFree=0/0
[pid=27163] ppid=27162 vsize=2568 CPUtime=0
/proc/27163/stat : 27163 (gj-user-solver-) S 27162 27163 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72235142 2629632 269 1283457024 134512640 135304128 4286763488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27163/statm: 642 269 229 194 0 29 0
[pid=27164] ppid=27163 vsize=411860 CPUtime=15.99
/proc/27164/stat : 27164 (java) S 27163 27163 22717 34817 22717 4202496 99934 0 1 0 1563 36 0 0 25 0 10 0 72235142 421744640 70657 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27164/statm: 102965 70657 2921 10 0 97110 0
[pid=27164/tid=27166] ppid=27163 vsize=411860 CPUtime=7.67
/proc/27164/task/27166/stat : 27166 (java) R 27163 27163 22717 34817 22717 4202560 14134 0 1 0 761 6 0 0 25 0 10 0 72235143 421744640 70657 1283457024 134512640 134550932 4287603216 18446744073709551615 4114836012 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27164/tid=27167] ppid=27163 vsize=411860 CPUtime=8.14
/proc/27164/task/27167/stat : 27167 (java) S 27163 27163 22717 34817 22717 4202560 84300 0 0 0 785 29 0 0 16 0 10 0 72235143 421744640 70657 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27168] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27168/stat : 27168 (java) S 27163 27163 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72235143 421744640 70657 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27169] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27169/stat : 27169 (java) S 27163 27163 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72235143 421744640 70657 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27170] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27170/stat : 27170 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72235145 421744640 70657 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27171] ppid=27163 vsize=411860 CPUtime=0.16
/proc/27164/task/27171/stat : 27171 (java) S 27163 27163 22717 34817 22717 4202560 555 0 0 0 16 0 0 0 15 0 10 0 72235145 421744640 70657 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27172] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27172/stat : 27172 (java) S 27163 27163 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72235145 421744640 70657 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27173] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27173/stat : 27173 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72235145 421744640 70657 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27174] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27174/stat : 27174 (java) S 27163 27163 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72236259 421744640 70657 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 414428

[startup+17.6123 s]
/proc/loadavg: 1.13 1.02 1.00 2/48 27174
/proc/meminfo: memFree=153608/1048576 swapFree=0/0
[pid=27163] ppid=27162 vsize=2568 CPUtime=0
/proc/27163/stat : 27163 (gj-user-solver-) S 27162 27163 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72235142 2629632 269 1283457024 134512640 135304128 4286763488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27163/statm: 642 269 229 194 0 29 0
[pid=27164] ppid=27163 vsize=411860 CPUtime=17.59
/proc/27164/stat : 27164 (java) S 27163 27163 22717 34817 22717 4202496 99938 0 1 0 1722 37 0 0 25 0 10 0 72235142 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27164/statm: 102965 70661 2921 10 0 97110 0
[pid=27164/tid=27166] ppid=27163 vsize=411860 CPUtime=9.19
/proc/27164/task/27166/stat : 27166 (java) R 27163 27163 22717 34817 22717 4202560 14135 0 1 0 912 7 0 0 25 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4114357053 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27164/tid=27167] ppid=27163 vsize=411860 CPUtime=8.21
/proc/27164/task/27167/stat : 27167 (java) S 27163 27163 22717 34817 22717 4202560 84300 0 0 0 792 29 0 0 16 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27168] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27168/stat : 27168 (java) S 27163 27163 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27169] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27169/stat : 27169 (java) S 27163 27163 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27170] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27170/stat : 27170 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27171] ppid=27163 vsize=411860 CPUtime=0.17
/proc/27164/task/27171/stat : 27171 (java) S 27163 27163 22717 34817 22717 4202560 558 0 0 0 17 0 0 0 15 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27172] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27172/stat : 27172 (java) S 27163 27163 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27173] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27173/stat : 27173 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27174] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27174/stat : 27174 (java) S 27163 27163 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72236259 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 17.59
Current children cumulated vsize (KiB) 414428

[startup+18.4125 s]
/proc/loadavg: 1.13 1.02 1.00 2/48 27174
/proc/meminfo: memFree=153608/1048576 swapFree=0/0
[pid=27163] ppid=27162 vsize=2568 CPUtime=0
/proc/27163/stat : 27163 (gj-user-solver-) S 27162 27163 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72235142 2629632 269 1283457024 134512640 135304128 4286763488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27163/statm: 642 269 229 194 0 29 0
[pid=27164] ppid=27163 vsize=411860 CPUtime=18.39
/proc/27164/stat : 27164 (java) S 27163 27163 22717 34817 22717 4202496 99938 0 1 0 1802 37 0 0 25 0 10 0 72235142 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27164/statm: 102965 70661 2921 10 0 97110 0
[pid=27164/tid=27166] ppid=27163 vsize=411860 CPUtime=9.97
/proc/27164/task/27166/stat : 27166 (java) R 27163 27163 22717 34817 22717 4202560 14135 0 1 0 990 7 0 0 25 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4114938690 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27164/tid=27167] ppid=27163 vsize=411860 CPUtime=8.23
/proc/27164/task/27167/stat : 27167 (java) S 27163 27163 22717 34817 22717 4202560 84300 0 0 0 794 29 0 0 16 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27168] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27168/stat : 27168 (java) S 27163 27163 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27169] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27169/stat : 27169 (java) S 27163 27163 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27170] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27170/stat : 27170 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27171] ppid=27163 vsize=411860 CPUtime=0.17
/proc/27164/task/27171/stat : 27171 (java) S 27163 27163 22717 34817 22717 4202560 558 0 0 0 17 0 0 0 15 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27172] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27172/stat : 27172 (java) S 27163 27163 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27173] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27173/stat : 27173 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27174] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27174/stat : 27174 (java) S 27163 27163 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72236259 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.39
Current children cumulated vsize (KiB) 414428

[startup+18.6125 s]
/proc/loadavg: 1.13 1.02 1.00 2/48 27174
/proc/meminfo: memFree=153608/1048576 swapFree=0/0
[pid=27163] ppid=27162 vsize=2568 CPUtime=0
/proc/27163/stat : 27163 (gj-user-solver-) S 27162 27163 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72235142 2629632 269 1283457024 134512640 135304128 4286763488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27163/statm: 642 269 229 194 0 29 0
[pid=27164] ppid=27163 vsize=411860 CPUtime=18.59
/proc/27164/stat : 27164 (java) S 27163 27163 22717 34817 22717 4202496 99938 0 1 0 1822 37 0 0 25 0 10 0 72235142 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27164/statm: 102965 70661 2921 10 0 97110 0
[pid=27164/tid=27166] ppid=27163 vsize=411860 CPUtime=10.17
/proc/27164/task/27166/stat : 27166 (java) R 27163 27163 22717 34817 22717 4202560 14135 0 1 0 1010 7 0 0 25 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4115364472 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27164/tid=27167] ppid=27163 vsize=411860 CPUtime=8.23
/proc/27164/task/27167/stat : 27167 (java) S 27163 27163 22717 34817 22717 4202560 84300 0 0 0 794 29 0 0 16 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27168] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27168/stat : 27168 (java) S 27163 27163 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27169] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27169/stat : 27169 (java) S 27163 27163 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27170] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27170/stat : 27170 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27171] ppid=27163 vsize=411860 CPUtime=0.17
/proc/27164/task/27171/stat : 27171 (java) S 27163 27163 22717 34817 22717 4202560 558 0 0 0 17 0 0 0 15 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27172] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27172/stat : 27172 (java) S 27163 27163 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27173] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27173/stat : 27173 (java) R 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27164/tid=27174] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27174/stat : 27174 (java) S 27163 27163 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72236259 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.59
Current children cumulated vsize (KiB) 414428

[startup+18.7125 s]
/proc/loadavg: 1.13 1.02 1.00 2/48 27174
/proc/meminfo: memFree=153608/1048576 swapFree=0/0
[pid=27163] ppid=27162 vsize=2568 CPUtime=0
/proc/27163/stat : 27163 (gj-user-solver-) S 27162 27163 22717 34817 22717 4202496 372 0 0 0 0 0 0 0 18 0 1 0 72235142 2629632 269 1283457024 134512640 135304128 4286763488 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/27163/statm: 642 269 229 194 0 29 0
[pid=27164] ppid=27163 vsize=411860 CPUtime=18.69
/proc/27164/stat : 27164 (java) S 27163 27163 22717 34817 22717 4202496 99938 0 1 0 1832 37 0 0 25 0 10 0 72235142 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/27164/statm: 102965 70661 2921 10 0 97110 0
[pid=27164/tid=27166] ppid=27163 vsize=411860 CPUtime=10.27
/proc/27164/task/27166/stat : 27166 (java) R 27163 27163 22717 34817 22717 4202560 14135 0 1 0 1020 7 0 0 25 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4115208518 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=27164/tid=27167] ppid=27163 vsize=411860 CPUtime=8.23
/proc/27164/task/27167/stat : 27167 (java) S 27163 27163 22717 34817 22717 4202560 84300 0 0 0 794 29 0 0 16 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 0 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27168] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27168/stat : 27168 (java) S 27163 27163 22717 34817 22717 4202560 15 0 0 0 0 0 0 0 18 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27169] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27169/stat : 27169 (java) S 27163 27163 22717 34817 22717 4202560 5 0 0 0 0 0 0 0 18 0 10 0 72235143 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27170] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27170/stat : 27170 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 25 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27171] ppid=27163 vsize=411860 CPUtime=0.17
/proc/27164/task/27171/stat : 27171 (java) S 27163 27163 22717 34817 22717 4202560 558 0 0 0 17 0 0 0 15 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27172] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27172/stat : 27172 (java) S 27163 27163 22717 34817 22717 4202560 0 0 0 0 0 0 0 0 25 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27173] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27173/stat : 27173 (java) S 27163 27163 22717 34817 22717 4202560 1 0 0 0 0 0 0 0 15 0 10 0 72235145 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
[pid=27164/tid=27174] ppid=27163 vsize=411860 CPUtime=0
/proc/27164/task/27174/stat : 27174 (java) S 27163 27163 22717 34817 22717 4202560 4 0 0 0 0 0 0 0 25 0 10 0 72236259 421744640 70661 1283457024 134512640 134550932 4287603216 18446744073709551615 4294960130 0 4 0 16800975 18446612133256532416 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 18.69
Current children cumulated vsize (KiB) 414428

Child status: 0
Real time (s): 18.8047
CPU time (s): 18.7772
CPU user time (s): 18.3891
CPU system time (s): 0.388024
CPU usage (%): 99.8538
Max. virtual memory (cumulated for all children) (KiB): 442492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.3891
system time used= 0.388024
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100327
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= 1205
involuntary context switches= 1515

runsolver used 0 second user time and 0 second system time

The end