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-3457414-1307659582/watcher-3457414-1307659582 -o /tmp/evaluation-result-3457414-1307659582/solver-3457414-1307659582 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457414-1307659582.opb
running on 4 cores: 1,3,5,7
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.98 2.00 1.83 3/195 10293
/proc/meminfo: memFree=31848356/32951124 swapFree=67052812/67111528
[pid=10293] ppid=10291 vsize=30540 CPUtime=0 cores=1,3,5,7
/proc/10293/stat : 10293 (java) S 10291 10293 8057 0 -1 4202496 1239 0 0 0 0 0 0 0 25 0 2 0 877560838 31272960 960 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/10293/statm: 7635 960 732 9 0 386 0
[pid=10293/tid=10294] ppid=10291 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10294/stat : 10294 (java) S 10291 10293 8057 0 -1 4202560 130 0 0 0 0 0 0 0 25 0 2 0 877560838 31268864 963 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216629591687 0 2147483391 0 16784584 18446744071699199166 0 0 -1 5 0 0 0
[startup+0.0320989 s]
/proc/loadavg: 1.98 2.00 1.83 3/195 10293
/proc/meminfo: memFree=31848356/32951124 swapFree=67052812/67111528
[pid=10293] ppid=10291 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/10293/stat : 10293 (java) S 10291 10293 8057 0 -1 4202496 10967 0 1 0 1 1 0 0 25 0 11 0 877560838 10716594176 10667 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/10293/statm: 2616356 10667 1600 9 0 2607104 0
[pid=10293/tid=10294] ppid=10291 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/10293/task/10294/stat : 10294 (java) R 10291 10293 8057 0 -1 4202560 9844 0 1 0 1 1 0 0 25 0 11 0 877560838 10716594176 10667 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 47867837161504 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.101095 s]
/proc/loadavg: 1.98 2.00 1.83 3/195 10293
/proc/meminfo: memFree=31848356/32951124 swapFree=67052812/67111528
[pid=10293] ppid=10291 vsize=10605548 CPUtime=0.11 cores=1,3,5,7
/proc/10293/stat : 10293 (java) S 10291 10293 8057 0 -1 4202496 13139 0 1 0 9 2 0 0 25 0 18 0 877560838 10860081152 12795 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10293/statm: 2651387 12795 2092 9 0 2642121 0
[pid=10293/tid=10294] ppid=10291 vsize=10605548 CPUtime=0.09 cores=1,3,5,7
/proc/10293/task/10294/stat : 10294 (java) R 10291 10293 8057 0 -1 4202560 11223 0 1 0 7 2 0 0 18 0 18 0 877560838 10860081152 12795 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 47867836411909 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10605548
[startup+0.301023 s]
/proc/loadavg: 1.98 2.00 1.83 3/195 10293
/proc/meminfo: memFree=31848356/32951124 swapFree=67052812/67111528
[pid=10293] ppid=10291 vsize=10615620 CPUtime=0.56 cores=1,3,5,7
/proc/10293/stat : 10293 (java) S 10291 10293 8057 0 -1 4202496 21781 0 1 0 53 3 0 0 25 0 19 0 877560838 10870394880 19542 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10293/statm: 2653905 19543 2193 9 0 2644639 0
[pid=10293/tid=10294] ppid=10291 vsize=10615620 CPUtime=0.28 cores=1,3,5,7
/proc/10293/task/10294/stat : 10294 (java) R 10291 10293 8057 0 -1 4202560 14913 0 1 0 26 2 0 0 19 0 19 0 877560838 10870394880 19543 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 46912505546384 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10615620
[startup+0.700987 s]
/proc/loadavg: 1.98 2.00 1.83 3/195 10293
/proc/meminfo: memFree=31848356/32951124 swapFree=67052812/67111528
[pid=10293] ppid=10291 vsize=10618380 CPUtime=1.69 cores=1,3,5,7
/proc/10293/stat : 10293 (java) S 10291 10293 8057 0 -1 4202496 51187 0 1 0 162 7 0 0 25 0 19 0 877560838 10873221120 44810 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10293/statm: 2654595 44813 2215 9 0 2645329 0
[pid=10293/tid=10294] ppid=10291 vsize=10618380 CPUtime=0.68 cores=1,3,5,7
/proc/10293/task/10294/stat : 10294 (java) R 10291 10293 8057 0 -1 4202560 37740 0 1 0 63 5 0 0 19 0 19 0 877560838 10873221120 44816 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 46912505567516 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.69
Current children cumulated vsize (KiB) 10618380
Solver just ended. Dumping a history of the last processes samples
[startup+1.10691 s]
/proc/loadavg: 1.98 2.00 1.83 3/214 10312
/proc/meminfo: memFree=31032292/32951124 swapFree=67052812/67111528
[pid=10293] ppid=10291 vsize=10618380 CPUtime=2.18 cores=1,3,5,7
/proc/10293/stat : 10293 (java) S 10291 10293 8057 0 -1 4202496 87638 0 1 0 207 11 0 0 25 0 19 0 877560838 10873221120 81259 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10293/statm: 2654595 81262 2218 9 0 2645329 0
[pid=10293/tid=10294] ppid=10291 vsize=10618380 CPUtime=1.08 cores=1,3,5,7
/proc/10293/task/10294/stat : 10294 (java) R 10291 10293 8057 0 -1 4202560 74175 0 1 0 99 9 0 0 20 0 19 0 877560838 10873221120 81263 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 46912505506852 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10293/tid=10296] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10296/stat : 10296 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 81265 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10297] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10297/stat : 10297 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 81267 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10298] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10298/stat : 10298 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 81268 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10299] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10299/stat : 10299 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 81269 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10300] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10300/stat : 10300 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 81271 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10301] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10301/stat : 10301 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 81272 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10302] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10302/stat : 10302 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 81273 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10303] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10303/stat : 10303 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 81275 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10304] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10304/stat : 10304 (java) S 10291 10293 8057 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877560841 10873221120 81276 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331904 0 0 0 16800975 18446604471161987328 0 0 -1 5 0 0 0
[pid=10293/tid=10305] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10305/stat : 10305 (java) S 10291 10293 8057 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877560841 10873221120 81277 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 5 0 0 0
[pid=10293/tid=10306] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10306/stat : 10306 (java) S 10291 10293 8057 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877560841 10873221120 81278 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 5 0 0 0
[pid=10293/tid=10307] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10307/stat : 10307 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560843 10873221120 81279 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646338993 0 4 0 16800975 18446604471161987328 0 0 -1 5 0 0 0
[pid=10293/tid=10308] ppid=10291 vsize=10618380 CPUtime=0.57 cores=1,3,5,7
/proc/10293/task/10308/stat : 10308 (java) S 10291 10293 8057 0 -1 4202560 4919 0 0 0 57 0 0 0 23 0 19 0 877560843 10873221120 81281 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10309] ppid=10291 vsize=10618380 CPUtime=0.49 cores=1,3,5,7
/proc/10293/task/10309/stat : 10309 (java) S 10291 10293 8057 0 -1 4202560 7389 0 0 0 49 0 0 0 15 0 19 0 877560843 10873221120 81282 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 1 0 0 0
[pid=10293/tid=10310] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10310/stat : 10310 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560843 10873221120 81284 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 5 0 0 0
[pid=10293/tid=10311] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10311/stat : 10311 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877560843 10873221120 81285 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331904 0 4 0 16800975 18446604471161987328 0 0 -1 3 0 0 0
[pid=10293/tid=10312] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10312/stat : 10312 (java) S 10291 10293 8057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877560852 10873221120 81286 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331904 0 4 0 16800975 18446604471161987328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 10618380
[startup+1.30089 s]
/proc/loadavg: 1.98 2.00 1.83 3/214 10312
/proc/meminfo: memFree=31032292/32951124 swapFree=67052812/67111528
[pid=10293] ppid=10291 vsize=10618380 CPUtime=2.37 cores=1,3,5,7
/proc/10293/stat : 10293 (java) S 10291 10293 8057 0 -1 4202496 104497 0 1 0 224 13 0 0 25 0 19 0 877560838 10873221120 98118 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/10293/statm: 2654595 98120 2218 9 0 2645329 0
[pid=10293/tid=10294] ppid=10291 vsize=10618380 CPUtime=1.28 cores=1,3,5,7
/proc/10293/task/10294/stat : 10294 (java) R 10291 10293 8057 0 -1 4202560 91034 0 1 0 117 11 0 0 20 0 19 0 877560838 10873221120 98122 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 46912505540001 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10293/tid=10296] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10296/stat : 10296 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 98123 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10297] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10297/stat : 10297 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 98125 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10298] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10298/stat : 10298 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 98127 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10299] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10299/stat : 10299 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 98128 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10300] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10300/stat : 10300 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 98130 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10301] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10301/stat : 10301 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 98132 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10302] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10302/stat : 10302 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 98134 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10303] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10303/stat : 10303 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560840 10873221120 98136 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10304] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10304/stat : 10304 (java) S 10291 10293 8057 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877560841 10873221120 98137 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331904 0 0 0 16800975 18446604471161987328 0 0 -1 5 0 0 0
[pid=10293/tid=10305] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10305/stat : 10305 (java) S 10291 10293 8057 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877560841 10873221120 98140 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 5 0 0 0
[pid=10293/tid=10306] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10306/stat : 10306 (java) S 10291 10293 8057 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877560841 10873221120 98141 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 5 0 0 0
[pid=10293/tid=10307] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10307/stat : 10307 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560843 10873221120 98143 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646338993 0 4 0 16800975 18446604471161987328 0 0 -1 5 0 0 0
[pid=10293/tid=10308] ppid=10291 vsize=10618380 CPUtime=0.57 cores=1,3,5,7
/proc/10293/task/10308/stat : 10308 (java) S 10291 10293 8057 0 -1 4202560 4919 0 0 0 57 0 0 0 23 0 19 0 877560843 10873221120 98146 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 7 0 0 0
[pid=10293/tid=10309] ppid=10291 vsize=10618380 CPUtime=0.49 cores=1,3,5,7
/proc/10293/task/10309/stat : 10309 (java) S 10291 10293 8057 0 -1 4202560 7389 0 0 0 49 0 0 0 15 0 19 0 877560843 10873221120 98148 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 1 0 0 0
[pid=10293/tid=10310] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10310/stat : 10310 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877560843 10873221120 98150 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331289 0 4 0 16800975 18446604471161987328 0 0 -1 5 0 0 0
[pid=10293/tid=10311] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10311/stat : 10311 (java) S 10291 10293 8057 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877560843 10873221120 98152 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331904 0 4 0 16800975 18446604471161987328 0 0 -1 3 0 0 0
[pid=10293/tid=10312] ppid=10291 vsize=10618380 CPUtime=0 cores=1,3,5,7
/proc/10293/task/10312/stat : 10312 (java) S 10291 10293 8057 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877560852 10873221120 98154 33554432000 1073741824 1073778376 140736955345728 18446744073709551615 216646331904 0 4 0 16800975 18446604471161987328 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 10618380
Child status: 30
Real time (s): 1.36187
CPU time (s): 2.46163
CPU user time (s): 2.30565
CPU system time (s): 0.155976
CPU usage (%): 180.753
Max. virtual memory (cumulated for all children) (KiB): 10618380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.30565
system time used= 0.155976
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107723
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= 236
involuntary context switches= 27
runsolver used 0.000999 second user time and 0.011998 second system time
The end