runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453923-1307194474/watcher-3453923-1307194474 -o /tmp/evaluation-result-3453923-1307194474/solver-3453923-1307194474 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453923-1307194474.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.78 2.97 3.48 3/454 1128
/proc/meminfo: memFree=20463420/32951124 swapFree=60787360/67111528
[pid=1128] ppid=1126 vsize=30580 CPUtime=0 cores=0,2,4,6
/proc/1128/stat : 1128 (java) S 1126 1128 29081 0 -1 4202496 1197 0 0 0 0 0 0 0 25 0 2 0 831045230 31313920 923 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389104101 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0
/proc/1128/statm: 7645 930 706 9 0 383 0
[pid=1128/tid=1129] ppid=1126 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1129/stat : 1129 (java) R 1126 1128 29081 0 -1 4202560 5689 0 1 0 0 0 0 0 25 0 2 0 831045231 10694979584 6505 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255376995387 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0833169 s]
/proc/loadavg: 1.78 2.97 3.48 3/454 1128
/proc/meminfo: memFree=20463420/32951124 swapFree=60787360/67111528
[pid=1128] ppid=1126 vsize=10539904 CPUtime=0.09 cores=0,2,4,6
/proc/1128/stat : 1128 (java) S 1126 1128 29081 0 -1 4202496 12942 0 1 0 8 1 0 0 25 0 18 0 831045230 10792861696 12604 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1128/statm: 2634976 12605 2091 9 0 2625710 0
[pid=1128/tid=1129] ppid=1126 vsize=10539904 CPUtime=0.07 cores=0,2,4,6
/proc/1128/task/1129/stat : 1129 (java) R 1126 1128 29081 0 -1 4202560 11010 0 1 0 6 1 0 0 18 0 18 0 831045231 10792861696 12605 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 47682053762147 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539904
[startup+0.106393 s]
/proc/loadavg: 1.78 2.97 3.48 3/454 1128
/proc/meminfo: memFree=20463420/32951124 swapFree=60787360/67111528
[pid=1128] ppid=1126 vsize=10540036 CPUtime=0.11 cores=0,2,4,6
/proc/1128/stat : 1128 (java) S 1126 1128 29081 0 -1 4202496 13182 0 1 0 10 1 0 0 25 0 18 0 831045230 10792996864 12844 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1128/statm: 2635009 12844 2108 9 0 2625743 0
[pid=1128/tid=1129] ppid=1126 vsize=10540036 CPUtime=0.09 cores=0,2,4,6
/proc/1128/task/1129/stat : 1129 (java) R 1126 1128 29081 0 -1 4202560 11230 0 1 0 8 1 0 0 18 0 18 0 831045231 10792996864 12844 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 47682053146398 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540036
[startup+0.300364 s]
/proc/loadavg: 1.78 2.97 3.48 3/454 1128
/proc/meminfo: memFree=20463420/32951124 swapFree=60787360/67111528
[pid=1128] ppid=1126 vsize=10544284 CPUtime=0.15 cores=0,2,4,6
/proc/1128/stat : 1128 (java) S 1126 1128 29081 0 -1 4202496 13600 0 1 0 14 1 0 0 25 0 19 0 831045230 10797346816 13262 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1128/statm: 2636071 13262 2141 9 0 2626805 0
[pid=1128/tid=1129] ppid=1126 vsize=10544284 CPUtime=0.12 cores=0,2,4,6
/proc/1128/task/1129/stat : 1129 (java) S 1126 1128 29081 0 -1 4202560 11529 0 1 0 11 1 0 0 19 0 19 0 831045231 10797346816 13262 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117952 0 4 0 16800975 18446604444321700032 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 10544284
[startup+0.700326 s]
/proc/loadavg: 1.78 2.97 3.48 3/454 1128
/proc/meminfo: memFree=20463420/32951124 swapFree=60787360/67111528
[pid=1128] ppid=1126 vsize=10544284 CPUtime=0.16 cores=0,2,4,6
/proc/1128/stat : 1128 (java) S 1126 1128 29081 0 -1 4202496 13682 0 1 0 15 1 0 0 25 0 20 0 831045230 10797346816 13344 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1128/statm: 2636071 13344 2141 9 0 2626805 0
[pid=1128/tid=1129] ppid=1126 vsize=10544284 CPUtime=0.12 cores=0,2,4,6
/proc/1128/task/1129/stat : 1129 (java) S 1126 1128 29081 0 -1 4202560 11554 0 1 0 11 1 0 0 16 0 20 0 831045231 10797346816 13344 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117952 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10544284
[startup+1.50118 s]
/proc/loadavg: 1.78 2.97 3.48 3/477 1156
/proc/meminfo: memFree=20171512/32951124 swapFree=60787360/67111528
[pid=1128] ppid=1126 vsize=10544284 CPUtime=0.17 cores=0,2,4,6
/proc/1128/stat : 1128 (java) S 1126 1128 29081 0 -1 4202496 13720 0 1 0 16 1 0 0 25 0 19 0 831045230 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1128/statm: 2636071 13382 2141 9 0 2626805 0
[pid=1128/tid=1129] ppid=1126 vsize=10544284 CPUtime=0.12 cores=0,2,4,6
/proc/1128/task/1129/stat : 1129 (java) S 1126 1128 29081 0 -1 4202560 11555 0 1 0 11 1 0 0 16 0 19 0 831045231 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117952 0 4 0 16800975 18446604444321700032 0 0 -1 2 0 0 0
[pid=1128/tid=1131] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1131/stat : 1131 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1132] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1132/stat : 1132 (java) S 1126 1128 29081 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1133] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1133/stat : 1133 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1134] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1134/stat : 1134 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1135] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1135/stat : 1135 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1136] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1136/stat : 1136 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1137] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1137/stat : 1137 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1138] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1138/stat : 1138 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1139] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1139/stat : 1139 (java) S 1126 1128 29081 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831045233 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117952 0 0 0 16800975 18446604444321700032 0 0 -1 2 0 0 0
[pid=1128/tid=1140] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1140/stat : 1140 (java) S 1126 1128 29081 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831045234 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 2 0 0 0
[pid=1128/tid=1141] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1141/stat : 1141 (java) S 1126 1128 29081 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831045234 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 2 0 0 0
[pid=1128/tid=1142] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1142/stat : 1142 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045236 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389125041 0 4 0 16800975 18446604444321700032 0 0 -1 2 0 0 0
[pid=1128/tid=1143] ppid=1126 vsize=10544284 CPUtime=0.02 cores=0,2,4,6
/proc/1128/task/1143/stat : 1143 (java) S 1126 1128 29081 0 -1 4202560 366 0 0 0 2 0 0 0 15 0 19 0 831045236 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 4 0 0 0
[pid=1128/tid=1144] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1144/stat : 1144 (java) S 1126 1128 29081 0 -1 4202560 491 0 0 0 0 0 0 0 18 0 19 0 831045236 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1145] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1145/stat : 1145 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045236 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 2 0 0 0
[pid=1128/tid=1146] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1146/stat : 1146 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831045236 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117952 0 4 0 16800975 18446604444321700032 0 0 -1 0 0 0 0
[pid=1128/tid=1150] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1150/stat : 1150 (java) S 1126 1128 29081 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831045244 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117952 0 4 0 16800975 18446604444321700032 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10544284
Solver just ended. Dumping a history of the last processes samples
[startup+1.60117 s]
/proc/loadavg: 1.78 2.97 3.48 3/477 1156
/proc/meminfo: memFree=20171512/32951124 swapFree=60787360/67111528
[pid=1128] ppid=1126 vsize=10544284 CPUtime=0.17 cores=0,2,4,6
/proc/1128/stat : 1128 (java) S 1126 1128 29081 0 -1 4202496 13720 0 1 0 16 1 0 0 25 0 19 0 831045230 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389104101 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1128/statm: 2636071 13382 2141 9 0 2626805 0
[pid=1128/tid=1129] ppid=1126 vsize=10544284 CPUtime=0.12 cores=0,2,4,6
/proc/1128/task/1129/stat : 1129 (java) S 1126 1128 29081 0 -1 4202560 11555 0 1 0 11 1 0 0 16 0 19 0 831045231 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117952 0 4 0 16800975 18446604444321700032 0 0 -1 2 0 0 0
[pid=1128/tid=1131] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1131/stat : 1131 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1132] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1132/stat : 1132 (java) S 1126 1128 29081 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1133] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1133/stat : 1133 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1134] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1134/stat : 1134 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1135] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1135/stat : 1135 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1136] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1136/stat : 1136 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1137] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1137/stat : 1137 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1138] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1138/stat : 1138 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045232 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1139] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1139/stat : 1139 (java) S 1126 1128 29081 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 831045233 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117952 0 0 0 16800975 18446604444321700032 0 0 -1 2 0 0 0
[pid=1128/tid=1140] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1140/stat : 1140 (java) S 1126 1128 29081 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 831045234 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 2 0 0 0
[pid=1128/tid=1141] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1141/stat : 1141 (java) S 1126 1128 29081 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 831045234 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 2 0 0 0
[pid=1128/tid=1142] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1142/stat : 1142 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045236 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389125041 0 4 0 16800975 18446604444321700032 0 0 -1 2 0 0 0
[pid=1128/tid=1143] ppid=1126 vsize=10544284 CPUtime=0.02 cores=0,2,4,6
/proc/1128/task/1143/stat : 1143 (java) S 1126 1128 29081 0 -1 4202560 366 0 0 0 2 0 0 0 15 0 19 0 831045236 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 4 0 0 0
[pid=1128/tid=1144] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1144/stat : 1144 (java) S 1126 1128 29081 0 -1 4202560 491 0 0 0 0 0 0 0 18 0 19 0 831045236 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 6 0 0 0
[pid=1128/tid=1145] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1145/stat : 1145 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 831045236 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117337 0 4 0 16800975 18446604444321700032 0 0 -1 2 0 0 0
[pid=1128/tid=1146] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1146/stat : 1146 (java) S 1126 1128 29081 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 831045236 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117952 0 4 0 16800975 18446604444321700032 0 0 -1 0 0 0 0
[pid=1128/tid=1150] ppid=1126 vsize=10544284 CPUtime=0 cores=0,2,4,6
/proc/1128/task/1150/stat : 1150 (java) S 1126 1128 29081 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 831045244 10797346816 13382 33554432000 1073741824 1073778376 140736788589200 18446744073709551615 255389117952 0 4 0 16800975 18446604444321700032 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10544284
Child status: 30
Real time (s): 1.65114
CPU time (s): 0.19297
CPU user time (s): 0.170974
CPU system time (s): 0.021996
CPU usage (%): 11.6871
Max. virtual memory (cumulated for all children) (KiB): 10544284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.170974
system time used= 0.021996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13733
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= 180
involuntary context switches= 61
runsolver used 0.010998 second user time and 0.021996 second system time
The end