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/201108311143/gj-user-solver-1.0/rand194.cudf.user-upgrades.log.runsolver ./gj-user-solver-1.0 /home/misc2010/data/2011/user-upgrades/rand194.cudf /home/misc2010/tmp/201108311143/gj-user-solver-1.0/rand194.cudf.user-upgrades.result -sum(installedsize) 

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.85 0.97 0.99 5/35 22376
/proc/meminfo: memFree=520600/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=11360 CPUtime=0.01
/proc/22375/stat : 22375 (java) R 22374 22374 19908 34817 19908 4202496 917 0 0 0 0 1 0 0 25 0 2 0 62028770 11632640 651 1283457024 134512640 134550932 4289809520 18446744073709551615 4159344232 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 2840 651 285 10 0 1186 0
[pid=22375/tid=22376] ppid=22374 vsize=11360 CPUtime=0
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 25 0 2 0 62028770 11632640 651 1283457024 134512640 134550932 4289809520 18446744073709551615 4159344232 0 0 0 0 0 0 0 -1 0 0 0 0

[startup+0.14519 s]
/proc/loadavg: 0.85 0.97 0.99 5/35 22376
/proc/meminfo: memFree=520600/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=410068 CPUtime=0.15
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 4243 0 1 0 14 1 0 0 25 0 9 0 62028770 419909632 3674 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102517 3674 1940 10 0 96665 0
[pid=22375/tid=22376] ppid=22374 vsize=410068 CPUtime=0.13
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 3043 0 1 0 13 0 0 0 25 0 9 0 62028770 419909632 3674 1283457024 134512640 134550932 4289809520 18446744073709551615 4114682830 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 412632

[startup+0.205198 s]
/proc/loadavg: 0.85 0.97 0.99 5/35 22376
/proc/meminfo: memFree=520600/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=410068 CPUtime=0.21
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 4660 0 1 0 20 1 0 0 25 0 9 0 62028770 419909632 4091 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102517 4091 1940 10 0 96665 0
[pid=22375/tid=22376] ppid=22374 vsize=410068 CPUtime=0.19
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 3460 0 1 0 19 0 0 0 25 0 9 0 62028770 419909632 4091 1283457024 134512640 134550932 4289809520 18446744073709551615 4114702445 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412632

[startup+0.305213 s]
/proc/loadavg: 0.85 0.97 0.99 5/35 22376
/proc/meminfo: memFree=520600/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=410068 CPUtime=0.31
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 5289 0 1 0 30 1 0 0 25 0 9 0 62028770 419909632 4719 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102517 4719 1946 10 0 96665 0
[pid=22375/tid=22376] ppid=22374 vsize=410068 CPUtime=0.28
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 3511 0 1 0 28 0 0 0 25 0 9 0 62028770 419909632 4719 1283457024 134512640 134550932 4289809520 18446744073709551615 4115094379 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412632

[startup+0.70533 s]
/proc/loadavg: 0.85 0.97 0.99 5/35 22376
/proc/meminfo: memFree=520600/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=410752 CPUtime=0.71
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 12739 0 1 0 65 6 0 0 25 0 9 0 62028770 420610048 11985 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102688 11985 2900 10 0 96836 0
[pid=22375/tid=22376] ppid=22374 vsize=410752 CPUtime=0.48
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 4168 0 1 0 46 2 0 0 25 0 9 0 62028770 420610048 11985 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 413316

[startup+1.50549 s]
/proc/loadavg: 0.86 0.97 0.99 2/43 22384
/proc/meminfo: memFree=463672/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=410752 CPUtime=1.5
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 27356 0 1 0 139 11 0 0 25 0 9 0 62028770 420610048 26602 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102688 26602 2900 10 0 96836 0
[pid=22375/tid=22376] ppid=22374 vsize=410752 CPUtime=0.8
/proc/22375/task/22376/stat : 22376 (java) S 22374 22374 19908 34817 19908 4202560 6680 0 1 0 78 2 0 0 25 0 9 0 62028770 420610048 26602 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22378] ppid=22374 vsize=410752 CPUtime=0.65
/proc/22375/task/22378/stat : 22378 (java) R 22374 22374 19908 34817 19908 4202560 19291 0 0 0 58 7 0 0 19 0 9 0 62028771 420610048 26602 1283457024 134512640 134550932 4289809520 18446744073709551615 4151328280 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22379] ppid=22374 vsize=410752 CPUtime=0
/proc/22375/task/22379/stat : 22379 (java) S 22374 22374 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 62028771 420610048 26602 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22380] ppid=22374 vsize=410752 CPUtime=0
/proc/22375/task/22380/stat : 22380 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 62028771 420610048 26602 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22381] ppid=22374 vsize=410752 CPUtime=0
/proc/22375/task/22381/stat : 22381 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62028772 420610048 26602 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22382] ppid=22374 vsize=410752 CPUtime=0.03
/proc/22375/task/22382/stat : 22382 (java) S 22374 22374 19908 34817 19908 4202560 446 0 0 0 3 0 0 0 19 0 9 0 62028772 420610048 26602 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22383] ppid=22374 vsize=410752 CPUtime=0
/proc/22375/task/22383/stat : 22383 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62028772 420610048 26602 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22384] ppid=22374 vsize=410752 CPUtime=0
/proc/22375/task/22384/stat : 22384 (java) S 22374 22374 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 62028772 420610048 26602 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 413316

[startup+3.10575 s]
/proc/loadavg: 0.86 0.97 0.99 3/43 22384
/proc/meminfo: memFree=391132/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=410884 CPUtime=3.1
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 52202 0 1 0 289 21 0 0 25 0 9 0 62028770 420745216 51448 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102721 51448 2900 10 0 96869 0
[pid=22375/tid=22376] ppid=22374 vsize=410884 CPUtime=1.42
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 13785 0 1 0 134 8 0 0 25 0 9 0 62028770 420745216 51448 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22378] ppid=22374 vsize=410884 CPUtime=1.63
/proc/22375/task/22378/stat : 22378 (java) R 22374 22374 19908 34817 19908 4202560 37029 0 0 0 151 12 0 0 16 0 9 0 62028771 420745216 51448 1283457024 134512640 134550932 4289809520 18446744073709551615 4150722722 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22379] ppid=22374 vsize=410884 CPUtime=0
/proc/22375/task/22379/stat : 22379 (java) S 22374 22374 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 62028771 420745216 51448 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22380] ppid=22374 vsize=410884 CPUtime=0
/proc/22375/task/22380/stat : 22380 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 62028771 420745216 51448 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22381] ppid=22374 vsize=410884 CPUtime=0
/proc/22375/task/22381/stat : 22381 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62028772 420745216 51448 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22382] ppid=22374 vsize=410884 CPUtime=0.03
/proc/22375/task/22382/stat : 22382 (java) S 22374 22374 19908 34817 19908 4202560 449 0 0 0 3 0 0 0 15 0 9 0 62028772 420745216 51448 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22383] ppid=22374 vsize=410884 CPUtime=0
/proc/22375/task/22383/stat : 22383 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62028772 420745216 51448 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22384] ppid=22374 vsize=410884 CPUtime=0
/proc/22375/task/22384/stat : 22384 (java) S 22374 22374 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 62028772 420745216 51448 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 413448

[startup+6.30666 s]
/proc/loadavg: 0.86 0.97 0.99 2/43 22384
/proc/meminfo: memFree=255104/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=439792 CPUtime=6.3
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 78191 0 1 0 601 29 0 0 25 0 9 0 62028770 450347008 77431 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 109948 77431 2901 10 0 104096 0
[pid=22375/tid=22376] ppid=22374 vsize=439792 CPUtime=2.25
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 13802 0 1 0 216 9 0 0 25 0 9 0 62028770 450347008 77431 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22378] ppid=22374 vsize=439792 CPUtime=3.96
/proc/22375/task/22378/stat : 22378 (java) R 22374 22374 19908 34817 19908 4202560 62983 0 0 0 378 18 0 0 16 0 9 0 62028771 450347008 77431 1283457024 134512640 134550932 4289809520 18446744073709551615 4151341704 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22379] ppid=22374 vsize=439792 CPUtime=0
/proc/22375/task/22379/stat : 22379 (java) S 22374 22374 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 20 0 9 0 62028771 450347008 77431 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22380] ppid=22374 vsize=439792 CPUtime=0
/proc/22375/task/22380/stat : 22380 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 20 0 9 0 62028771 450347008 77431 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22381] ppid=22374 vsize=439792 CPUtime=0
/proc/22375/task/22381/stat : 22381 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62028772 450347008 77431 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22382] ppid=22374 vsize=439792 CPUtime=0.06
/proc/22375/task/22382/stat : 22382 (java) S 22374 22374 19908 34817 19908 4202560 467 0 0 0 6 0 0 0 15 0 9 0 62028772 450347008 77431 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22383] ppid=22374 vsize=439792 CPUtime=0
/proc/22375/task/22383/stat : 22383 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62028772 450347008 77431 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22384] ppid=22374 vsize=439792 CPUtime=0
/proc/22375/task/22384/stat : 22384 (java) S 22374 22374 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 62028772 450347008 77431 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 442356

[startup+12.7083 s]
/proc/loadavg: 0.95 0.98 0.99 3/44 22385
/proc/meminfo: memFree=250268/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=411552 CPUtime=12.69
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 92675 0 1 0 1236 33 0 0 25 0 10 0 62028770 421429248 70542 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102888 70542 2917 10 0 97033 0
[pid=22375/tid=22376] ppid=22374 vsize=411552 CPUtime=5.7
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 14053 0 1 0 561 9 0 0 25 0 10 0 62028770 421429248 70542 1283457024 134512640 134550932 4289809520 18446744073709551615 4115592329 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22378] ppid=22374 vsize=411552 CPUtime=6.85
/proc/22375/task/22378/stat : 22378 (java) S 22374 22374 19908 34817 19908 4202560 77148 0 0 0 663 22 0 0 15 0 10 0 62028771 421429248 70542 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22379] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22379/stat : 22379 (java) S 22374 22374 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 70542 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22380] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22380/stat : 22380 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 70542 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22381] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22381/stat : 22381 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 70542 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22382] ppid=22374 vsize=411552 CPUtime=0.12
/proc/22375/task/22382/stat : 22382 (java) S 22374 22374 19908 34817 19908 4202560 530 0 0 0 12 0 0 0 16 0 10 0 62028772 421429248 70542 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22383] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22383/stat : 22383 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 70542 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22384] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22384/stat : 22384 (java) R 22374 22374 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 62028772 421429248 70542 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22385] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22385/stat : 22385 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 62029707 421429248 70542 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 414116

[startup+25.5117 s]
/proc/loadavg: 0.96 0.98 0.99 3/44 22385
/proc/meminfo: memFree=338680/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=411552 CPUtime=25.48
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 92679 0 1 0 2511 37 0 0 25 0 10 0 62028770 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102888 48354 2917 10 0 97033 0
[pid=22375/tid=22376] ppid=22374 vsize=411552 CPUtime=17.86
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 14053 0 1 0 1776 10 0 0 25 0 10 0 62028770 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4115616260 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22378] ppid=22374 vsize=411552 CPUtime=7.47
/proc/22375/task/22378/stat : 22378 (java) S 22374 22374 19908 34817 19908 4202560 77148 0 0 0 722 25 0 0 16 0 10 0 62028771 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22379] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22379/stat : 22379 (java) S 22374 22374 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22380] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22380/stat : 22380 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22381] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22381/stat : 22381 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22382] ppid=22374 vsize=411552 CPUtime=0.12
/proc/22375/task/22382/stat : 22382 (java) S 22374 22374 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 62028772 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22383] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22383/stat : 22383 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22384] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22384/stat : 22384 (java) S 22374 22374 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 62028772 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22385] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22385/stat : 22385 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 62029707 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 414116

[startup+51.1091 s]
/proc/loadavg: 0.97 0.98 0.99 2/46 22389
/proc/meminfo: memFree=338656/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=411552 CPUtime=51.07
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 92679 0 1 0 5070 37 0 0 25 0 10 0 62028770 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102888 48354 2917 10 0 97033 0
[pid=22375/tid=22376] ppid=22374 vsize=411552 CPUtime=42.84
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 14053 0 1 0 4274 10 0 0 25 0 10 0 62028770 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4114676088 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22378] ppid=22374 vsize=411552 CPUtime=8.08
/proc/22375/task/22378/stat : 22378 (java) S 22374 22374 19908 34817 19908 4202560 77148 0 0 0 783 25 0 0 15 0 10 0 62028771 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22379] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22379/stat : 22379 (java) S 22374 22374 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22380] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22380/stat : 22380 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22381] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22381/stat : 22381 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22382] ppid=22374 vsize=411552 CPUtime=0.12
/proc/22375/task/22382/stat : 22382 (java) S 22374 22374 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 62028772 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22383] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22383/stat : 22383 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22384] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22384/stat : 22384 (java) S 22374 22374 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 62028772 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22385] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22385/stat : 22385 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 62029707 421429248 48354 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 414116

[startup+102.307 s]
/proc/loadavg: 0.99 0.98 0.99 2/46 22394
/proc/meminfo: memFree=338656/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=411552 CPUtime=102.17
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 92681 0 1 0 10180 37 0 0 25 0 10 0 62028770 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102888 48356 2919 10 0 97033 0
[pid=22375/tid=22376] ppid=22374 vsize=411552 CPUtime=93.14
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 14053 0 1 0 9304 10 0 0 25 0 10 0 62028770 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4115523402 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22378] ppid=22374 vsize=411552 CPUtime=8.89
/proc/22375/task/22378/stat : 22378 (java) S 22374 22374 19908 34817 19908 4202560 77150 0 0 0 864 25 0 0 15 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22379] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22379/stat : 22379 (java) S 22374 22374 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22380] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22380/stat : 22380 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22381] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22381/stat : 22381 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22382] ppid=22374 vsize=411552 CPUtime=0.12
/proc/22375/task/22382/stat : 22382 (java) S 22374 22374 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22383] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22383/stat : 22383 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22384] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22384/stat : 22384 (java) S 22374 22374 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22385] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22385/stat : 22385 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 62029707 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 414116

[startup+162.311 s]
/proc/loadavg: 0.99 0.98 0.99 3/45 22396
/proc/meminfo: memFree=338672/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=411552 CPUtime=162.13
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 92681 0 1 0 16175 38 0 0 25 0 10 0 62028770 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102888 48356 2919 10 0 97033 0
[pid=22375/tid=22376] ppid=22374 vsize=411552 CPUtime=152.11
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 14053 0 1 0 15199 12 0 0 25 0 10 0 62028770 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4115530794 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22378] ppid=22374 vsize=411552 CPUtime=9.89
/proc/22375/task/22378/stat : 22378 (java) S 22374 22374 19908 34817 19908 4202560 77150 0 0 0 964 25 0 0 16 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22379] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22379/stat : 22379 (java) S 22374 22374 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22380] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22380/stat : 22380 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22381] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22381/stat : 22381 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22382] ppid=22374 vsize=411552 CPUtime=0.12
/proc/22375/task/22382/stat : 22382 (java) S 22374 22374 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22383] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22383/stat : 22383 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22384] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22384/stat : 22384 (java) S 22374 22374 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22385] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22385/stat : 22385 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 62029707 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 414116

[startup+222.304 s]
/proc/loadavg: 0.99 0.98 0.99 3/44 22396
/proc/meminfo: memFree=338680/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=411552 CPUtime=222.07
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 92681 0 1 0 22168 39 0 0 25 0 10 0 62028770 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102888 48356 2919 10 0 97033 0
[pid=22375/tid=22376] ppid=22374 vsize=411552 CPUtime=211.34
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 14053 0 1 0 21121 13 0 0 25 0 10 0 62028770 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4115604553 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22378] ppid=22374 vsize=411552 CPUtime=10.59
/proc/22375/task/22378/stat : 22378 (java) S 22374 22374 19908 34817 19908 4202560 77150 0 0 0 1034 25 0 0 16 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22379] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22379/stat : 22379 (java) S 22374 22374 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22380] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22380/stat : 22380 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22381] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22381/stat : 22381 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22382] ppid=22374 vsize=411552 CPUtime=0.12
/proc/22375/task/22382/stat : 22382 (java) S 22374 22374 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22383] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22383/stat : 22383 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22384] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22384/stat : 22384 (java) S 22374 22374 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22385] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22385/stat : 22385 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 62029707 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 414116

[startup+282.309 s]
/proc/loadavg: 0.99 0.98 0.99 3/44 22396
/proc/meminfo: memFree=338680/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=411552 CPUtime=282.03
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 92681 0 1 0 28163 40 0 0 25 0 10 0 62028770 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102888 48356 2919 10 0 97033 0
[pid=22375/tid=22376] ppid=22374 vsize=411552 CPUtime=270.7
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 14053 0 1 0 27056 14 0 0 25 0 10 0 62028770 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4115531984 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22378] ppid=22374 vsize=411552 CPUtime=11.19
/proc/22375/task/22378/stat : 22378 (java) S 22374 22374 19908 34817 19908 4202560 77150 0 0 0 1094 25 0 0 15 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22379] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22379/stat : 22379 (java) S 22374 22374 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22380] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22380/stat : 22380 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22381] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22381/stat : 22381 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22382] ppid=22374 vsize=411552 CPUtime=0.12
/proc/22375/task/22382/stat : 22382 (java) S 22374 22374 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22383] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22383/stat : 22383 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22384] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22384/stat : 22384 (java) S 22374 22374 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22385] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22385/stat : 22385 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 62029707 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.03
Current children cumulated vsize (KiB) 414116

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

[startup+283.209 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 22396
/proc/meminfo: memFree=338680/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=411552 CPUtime=282.93
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 92681 0 1 0 28253 40 0 0 25 0 10 0 62028770 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102888 48356 2919 10 0 97033 0
[pid=22375/tid=22376] ppid=22374 vsize=411552 CPUtime=271.6
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 14053 0 1 0 27146 14 0 0 25 0 10 0 62028770 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4115592789 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22378] ppid=22374 vsize=411552 CPUtime=11.19
/proc/22375/task/22378/stat : 22378 (java) S 22374 22374 19908 34817 19908 4202560 77150 0 0 0 1094 25 0 0 15 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22379] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22379/stat : 22379 (java) S 22374 22374 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22380] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22380/stat : 22380 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22381] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22381/stat : 22381 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22382] ppid=22374 vsize=411552 CPUtime=0.12
/proc/22375/task/22382/stat : 22382 (java) S 22374 22374 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22383] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22383/stat : 22383 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22384] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22384/stat : 22384 (java) S 22374 22374 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22385] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22385/stat : 22385 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 62029707 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 282.93
Current children cumulated vsize (KiB) 414116

[startup+284.009 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 22396
/proc/meminfo: memFree=338680/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=411552 CPUtime=283.73
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 92681 0 1 0 28333 40 0 0 25 0 10 0 62028770 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102888 48356 2919 10 0 97033 0
[pid=22375/tid=22376] ppid=22374 vsize=411552 CPUtime=272.4
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 14053 0 1 0 27226 14 0 0 25 0 10 0 62028770 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4115532357 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22378] ppid=22374 vsize=411552 CPUtime=11.19
/proc/22375/task/22378/stat : 22378 (java) S 22374 22374 19908 34817 19908 4202560 77150 0 0 0 1094 25 0 0 15 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22379] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22379/stat : 22379 (java) S 22374 22374 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22380] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22380/stat : 22380 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22381] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22381/stat : 22381 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22382] ppid=22374 vsize=411552 CPUtime=0.12
/proc/22375/task/22382/stat : 22382 (java) S 22374 22374 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22383] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22383/stat : 22383 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22384] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22384/stat : 22384 (java) R 22374 22374 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22385] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22385/stat : 22385 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 62029707 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 283.73
Current children cumulated vsize (KiB) 414116

[startup+284.809 s]
/proc/loadavg: 0.99 0.98 0.99 2/44 22396
/proc/meminfo: memFree=338680/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=411552 CPUtime=284.53
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 92681 0 1 0 28413 40 0 0 25 0 10 0 62028770 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102888 48356 2919 10 0 97033 0
[pid=22375/tid=22376] ppid=22374 vsize=411552 CPUtime=273.2
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 14053 0 1 0 27306 14 0 0 25 0 10 0 62028770 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4115494756 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22378] ppid=22374 vsize=411552 CPUtime=11.19
/proc/22375/task/22378/stat : 22378 (java) S 22374 22374 19908 34817 19908 4202560 77150 0 0 0 1094 25 0 0 15 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22379] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22379/stat : 22379 (java) S 22374 22374 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22380] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22380/stat : 22380 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 10 0 62028771 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22381] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22381/stat : 22381 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22382] ppid=22374 vsize=411552 CPUtime=0.12
/proc/22375/task/22382/stat : 22382 (java) S 22374 22374 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22383] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22383/stat : 22383 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22384] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22384/stat : 22384 (java) S 22374 22374 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 10 0 62028772 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22385] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22385/stat : 22385 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 25 0 10 0 62029707 421429248 48356 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.53
Current children cumulated vsize (KiB) 414116

[startup+285.209 s]
/proc/loadavg: 0.99 0.98 0.99 3/44 22396
/proc/meminfo: memFree=338680/1048576 swapFree=0/0
[pid=22374] ppid=22373 vsize=2564 CPUtime=0
/proc/22374/stat : 22374 (gj-user-solver-) S 22373 22374 19908 34817 19908 4202496 372 0 0 0 0 0 0 0 18 0 1 0 62028770 2625536 269 1283457024 134512640 135304128 4287117952 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/22374/statm: 641 269 229 194 0 28 0
[pid=22375] ppid=22374 vsize=411552 CPUtime=284.93
/proc/22375/stat : 22375 (java) S 22374 22374 19908 34817 19908 4202496 92682 0 1 0 28453 40 0 0 25 0 9 0 62028770 421429248 48357 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/22375/statm: 102888 48357 2920 10 0 97033 0
[pid=22375/tid=22376] ppid=22374 vsize=411552 CPUtime=273.6
/proc/22375/task/22376/stat : 22376 (java) R 22374 22374 19908 34817 19908 4202560 14053 0 1 0 27346 14 0 0 25 0 9 0 62028770 421429248 48357 1283457024 134512640 134550932 4289809520 18446744073709551615 4115645125 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22375/tid=22378] ppid=22374 vsize=411552 CPUtime=11.19
/proc/22375/task/22378/stat : 22378 (java) S 22374 22374 19908 34817 19908 4202560 77150 0 0 0 1094 25 0 0 15 0 9 0 62028771 421429248 48357 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 0 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22379] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22379/stat : 22379 (java) S 22374 22374 19908 34817 19908 4202560 15 0 0 0 0 0 0 0 18 0 9 0 62028771 421429248 48357 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22380] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22380/stat : 22380 (java) S 22374 22374 19908 34817 19908 4202560 5 0 0 0 0 0 0 0 18 0 9 0 62028771 421429248 48357 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22381] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22381/stat : 22381 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62028772 421429248 48357 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22382] ppid=22374 vsize=411552 CPUtime=0.12
/proc/22375/task/22382/stat : 22382 (java) S 22374 22374 19908 34817 19908 4202560 534 0 0 0 12 0 0 0 15 0 9 0 62028772 421429248 48357 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22383] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22383/stat : 22383 (java) S 22374 22374 19908 34817 19908 4202560 1 0 0 0 0 0 0 0 25 0 9 0 62028772 421429248 48357 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 18446612133393238784 0 0 -1 0 0 0 0
[pid=22375/tid=22384] ppid=22374 vsize=411552 CPUtime=0
/proc/22375/task/22384/stat : 22384 (java) R 22374 22374 19908 34817 19908 4202560 0 0 0 0 0 0 0 0 15 0 9 0 62028772 421429248 48357 1283457024 134512640 134550932 4289809520 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 284.93
Current children cumulated vsize (KiB) 414116

Child status: 0
Real time (s): 285.275
CPU time (s): 284.982
CPU user time (s): 284.574
CPU system time (s): 0.408025
CPU usage (%): 99.8972
Max. virtual memory (cumulated for all children) (KiB): 442356

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 284.574
system time used= 0.408025
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93070
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= 5938
involuntary context switches= 8786

runsolver used 0 second user time and 0 second system time

The end