runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3730112-1338731377/watcher-3730112-1338731377 -o /tmp/evaluation-result-3730112-1338731377/solver-3730112-1338731377 -C 1800 -W 1900 -M 15500 java6 -server -Xms1300m -Xmx1300m -jar HOME/org.sat4j.pb.jar HOME/instance-3730112-1338731377.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: 2.11 2.07 2.02 3/194 11323
/proc/meminfo: memFree=29847736/32873844 swapFree=7116/7116
[pid=11323] ppid=11321 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/11323/stat : 11323 (java) R 11321 11323 2614 0 -1 4202496 1088 0 0 0 0 0 0 0 20 0 1 0 339262903 23793664 815 33554432000 1073741824 1073778376 140735900931120 140735900920184 139634616267715 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11323/statm: 5809 834 627 9 0 128 0
[startup+0.0300781 s]
/proc/loadavg: 2.11 2.07 2.02 3/194 11323
/proc/meminfo: memFree=29847736/32873844 swapFree=7116/7116
[pid=11323] ppid=11321 vsize=2182588 CPUtime=0.01 cores=1,3,5,7
/proc/11323/stat : 11323 (java) S 11321 11323 2614 0 -1 4202496 3569 0 1 0 0 1 0 0 20 0 11 0 339262903 2234970112 4778 33554432000 1073741824 1073778376 140735900931120 140735900922256 240568533053 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11323/statm: 545647 4778 1632 9 0 536348 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2182588
[startup+0.100335 s]
/proc/loadavg: 2.11 2.07 2.02 3/194 11323
/proc/meminfo: memFree=29847736/32873844 swapFree=7116/7116
[pid=11323] ppid=11321 vsize=2648568 CPUtime=0.1 cores=1,3,5,7
/proc/11323/stat : 11323 (java) S 11321 11323 2614 0 -1 4202496 4682 0 1 0 9 1 0 0 20 0 18 0 339262903 2712133632 6399 33554432000 1073741824 1073778376 140735900931120 140735900922256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11323/statm: 662142 6399 2109 9 0 652835 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2648568
[startup+0.300194 s]
/proc/loadavg: 2.11 2.07 2.02 3/194 11323
/proc/meminfo: memFree=29847736/32873844 swapFree=7116/7116
[pid=11323] ppid=11321 vsize=2648568 CPUtime=0.49 cores=1,3,5,7
/proc/11323/stat : 11323 (java) S 11321 11323 2614 0 -1 4202496 6181 0 1 0 48 1 0 0 20 0 18 0 339262903 2712133632 9227 33554432000 1073741824 1073778376 140735900931120 140735900922256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11323/statm: 662142 9227 2218 9 0 652835 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 2648568
[startup+0.700322 s]
/proc/loadavg: 2.11 2.07 2.02 3/194 11323
/proc/meminfo: memFree=29847736/32873844 swapFree=7116/7116
[pid=11323] ppid=11321 vsize=2648568 CPUtime=1.15 cores=1,3,5,7
/proc/11323/stat : 11323 (java) S 11321 11323 2614 0 -1 4202496 9103 0 1 0 110 5 0 0 20 0 18 0 339262903 2712133632 50503 33554432000 1073741824 1073778376 140735900931120 140735900922256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11323/statm: 662142 50503 2233 9 0 652835 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 2648568
[startup+1.50079 s]
/proc/loadavg: 2.11 2.07 2.02 3/212 11341
/proc/meminfo: memFree=29508744/32873844 swapFree=7116/7116
[pid=11323] ppid=11321 vsize=2648568 CPUtime=2.05 cores=1,3,5,7
/proc/11323/stat : 11323 (java) S 11321 11323 2614 0 -1 4202496 9231 0 1 0 196 9 0 0 20 0 18 0 339262903 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 140735900922256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11323/statm: 662142 95580 2249 9 0 652835 0
[pid=11323/tid=11324] ppid=11321 vsize=2648568 CPUtime=1.43 cores=1,3,5,7
/proc/11323/task/11324/stat : 11324 (java) R 11321 11323 2614 0 -1 4202560 2914 0 1 0 136 7 0 0 20 0 18 0 339262903 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634611519192 240568558861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11323/tid=11326] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11326/stat : 11326 (java) S 11321 11323 2614 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 339262904 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634595969704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11323/tid=11327] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11327/stat : 11327 (java) S 11321 11323 2614 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 18 0 339262904 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634594917160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11328] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11328/stat : 11328 (java) S 11321 11323 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 339262904 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634593864616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11329] ppid=11321 vsize=2648568 CPUtime=0.02 cores=1,3,5,7
/proc/11323/task/11329/stat : 11329 (java) S 11321 11323 2614 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 339262904 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634592812072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11330] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11330/stat : 11330 (java) S 11321 11323 2614 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 18 0 339262904 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634591758504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11331] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11331/stat : 11331 (java) S 11321 11323 2614 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 339262904 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634590705960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11332] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11332/stat : 11332 (java) S 11321 11323 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 339262904 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634589653416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11333] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11333/stat : 11333 (java) S 11321 11323 2614 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 339262904 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634588600872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11334] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11334/stat : 11334 (java) S 11321 11323 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339262905 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634576190056 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11335] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11335/stat : 11335 (java) S 11321 11323 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339262906 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634575136376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11336] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11336/stat : 11336 (java) S 11321 11323 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339262906 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634574083720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11337] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11337/stat : 11337 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262908 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634573032464 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11338] ppid=11321 vsize=2648568 CPUtime=0.24 cores=1,3,5,7
/proc/11323/task/11338/stat : 11338 (java) S 11321 11323 2614 0 -1 4202560 2794 0 0 0 24 0 0 0 20 0 18 0 339262908 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634571978808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11339] ppid=11321 vsize=2648568 CPUtime=0.2 cores=1,3,5,7
/proc/11323/task/11339/stat : 11339 (java) S 11321 11323 2614 0 -1 4202560 2295 0 0 0 20 0 0 0 20 0 18 0 339262908 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634570926264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11340] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11340/stat : 11340 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262908 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634569873912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11341] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11341/stat : 11341 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262909 2712133632 95580 33554432000 1073741824 1073778376 140735900931120 139634568821576 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.05
Current children cumulated vsize (KiB) 2648568
[startup+3.10075 s]
/proc/loadavg: 2.11 2.07 2.02 3/212 11341
/proc/meminfo: memFree=29444760/32873844 swapFree=7116/7116
[pid=11323] ppid=11321 vsize=2648568 CPUtime=3.98 cores=1,3,5,7
/proc/11323/stat : 11323 (java) S 11321 11323 2614 0 -1 4202496 9356 0 1 0 380 18 0 0 20 0 18 0 339262903 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 140735900922256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11323/statm: 662142 109418 2251 9 0 652835 0
[pid=11323/tid=11324] ppid=11321 vsize=2648568 CPUtime=2.92 cores=1,3,5,7
/proc/11323/task/11324/stat : 11324 (java) R 11321 11323 2614 0 -1 4202560 2916 0 1 0 285 7 0 0 20 0 18 0 339262903 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634611511664 139634437312379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11323/tid=11326] ppid=11321 vsize=2648568 CPUtime=0.11 cores=1,3,5,7
/proc/11323/task/11326/stat : 11326 (java) S 11321 11323 2614 0 -1 4202560 40 0 0 0 8 3 0 0 20 0 18 0 339262904 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634595969704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11327] ppid=11321 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/11323/task/11327/stat : 11327 (java) S 11321 11323 2614 0 -1 4202560 9 0 0 0 4 0 0 0 20 0 18 0 339262904 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634594917160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11328] ppid=11321 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/11323/task/11328/stat : 11328 (java) S 11321 11323 2614 0 -1 4202560 17 0 0 0 5 0 0 0 20 0 18 0 339262904 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634593864616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11329] ppid=11321 vsize=2648568 CPUtime=0.07 cores=1,3,5,7
/proc/11323/task/11329/stat : 11329 (java) S 11321 11323 2614 0 -1 4202560 24 0 0 0 6 1 0 0 20 0 18 0 339262904 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634592812072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11330] ppid=11321 vsize=2648568 CPUtime=0.05 cores=1,3,5,7
/proc/11323/task/11330/stat : 11330 (java) S 11321 11323 2614 0 -1 4202560 19 0 0 0 4 1 0 0 20 0 18 0 339262904 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634591758504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11331] ppid=11321 vsize=2648568 CPUtime=0.06 cores=1,3,5,7
/proc/11323/task/11331/stat : 11331 (java) S 11321 11323 2614 0 -1 4202560 19 0 0 0 4 2 0 0 20 0 18 0 339262904 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634590705960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11332] ppid=11321 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/11323/task/11332/stat : 11332 (java) S 11321 11323 2614 0 -1 4202560 21 0 0 0 3 1 0 0 20 0 18 0 339262904 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634589653416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11333] ppid=11321 vsize=2648568 CPUtime=0.04 cores=1,3,5,7
/proc/11323/task/11333/stat : 11333 (java) S 11321 11323 2614 0 -1 4202560 17 0 0 0 4 0 0 0 20 0 18 0 339262904 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634588600872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11334] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11334/stat : 11334 (java) S 11321 11323 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339262905 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634576190056 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11323/tid=11335] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11335/stat : 11335 (java) S 11321 11323 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339262906 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634575136376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11336] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11336/stat : 11336 (java) S 11321 11323 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339262906 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634574083720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11337] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11337/stat : 11337 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262908 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634573032464 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11338] ppid=11321 vsize=2648568 CPUtime=0.24 cores=1,3,5,7
/proc/11323/task/11338/stat : 11338 (java) S 11321 11323 2614 0 -1 4202560 2794 0 0 0 24 0 0 0 20 0 18 0 339262908 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634571978808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11339] ppid=11321 vsize=2648568 CPUtime=0.2 cores=1,3,5,7
/proc/11323/task/11339/stat : 11339 (java) S 11321 11323 2614 0 -1 4202560 2297 0 0 0 20 0 0 0 20 0 18 0 339262908 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634570926264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11340] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11340/stat : 11340 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262908 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634569873912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11341] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11341/stat : 11341 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262909 2712133632 109418 33554432000 1073741824 1073778376 140735900931120 139634568821576 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.98
Current children cumulated vsize (KiB) 2648568
[startup+6.30736 s]
/proc/loadavg: 2.10 2.07 2.02 3/212 11341
/proc/meminfo: memFree=29295132/32873844 swapFree=7116/7116
[pid=11323] ppid=11321 vsize=2648568 CPUtime=8.82 cores=1,3,5,7
/proc/11323/stat : 11323 (java) S 11321 11323 2614 0 -1 4202496 10113 0 1 0 845 37 0 0 20 0 18 0 339262903 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 140735900922256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11323/statm: 662142 140545 2251 9 0 652835 0
[pid=11323/tid=11324] ppid=11321 vsize=2648568 CPUtime=5.55 cores=1,3,5,7
/proc/11323/task/11324/stat : 11324 (java) R 11321 11323 2614 0 -1 4202560 2923 0 1 0 547 8 0 0 20 0 18 0 339262903 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634611518984 240568558861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11323/tid=11326] ppid=11321 vsize=2648568 CPUtime=0.4 cores=1,3,5,7
/proc/11323/task/11326/stat : 11326 (java) S 11321 11323 2614 0 -1 4202560 122 0 0 0 35 5 0 0 20 0 18 0 339262904 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634595969704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11327] ppid=11321 vsize=2648568 CPUtime=0.34 cores=1,3,5,7
/proc/11323/task/11327/stat : 11327 (java) S 11321 11323 2614 0 -1 4202560 114 0 0 0 32 2 0 0 20 0 18 0 339262904 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634594917160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11328] ppid=11321 vsize=2648568 CPUtime=0.26 cores=1,3,5,7
/proc/11323/task/11328/stat : 11328 (java) S 11321 11323 2614 0 -1 4202560 115 0 0 0 23 3 0 0 20 0 18 0 339262904 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634593864616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11329] ppid=11321 vsize=2648568 CPUtime=0.37 cores=1,3,5,7
/proc/11323/task/11329/stat : 11329 (java) S 11321 11323 2614 0 -1 4202560 91 0 0 0 32 5 0 0 20 0 18 0 339262904 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634592812072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11330] ppid=11321 vsize=2648568 CPUtime=0.34 cores=1,3,5,7
/proc/11323/task/11330/stat : 11330 (java) S 11321 11323 2614 0 -1 4202560 127 0 0 0 30 4 0 0 20 0 18 0 339262904 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634591758504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11331] ppid=11321 vsize=2648568 CPUtime=0.41 cores=1,3,5,7
/proc/11323/task/11331/stat : 11331 (java) S 11321 11323 2614 0 -1 4202560 94 0 0 0 38 3 0 0 20 0 18 0 339262904 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634590705960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11332] ppid=11321 vsize=2648568 CPUtime=0.27 cores=1,3,5,7
/proc/11323/task/11332/stat : 11332 (java) S 11321 11323 2614 0 -1 4202560 124 0 0 0 24 3 0 0 20 0 18 0 339262904 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634589653416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11333] ppid=11321 vsize=2648568 CPUtime=0.23 cores=1,3,5,7
/proc/11323/task/11333/stat : 11333 (java) S 11321 11323 2614 0 -1 4202560 115 0 0 0 20 3 0 0 20 0 18 0 339262904 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634588600872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11334] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11334/stat : 11334 (java) S 11321 11323 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339262905 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634576190056 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11323/tid=11335] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11335/stat : 11335 (java) S 11321 11323 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339262906 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634575136376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11336] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11336/stat : 11336 (java) S 11321 11323 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339262906 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634574083720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11337] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11337/stat : 11337 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262908 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634573032464 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11338] ppid=11321 vsize=2648568 CPUtime=0.24 cores=1,3,5,7
/proc/11323/task/11338/stat : 11338 (java) S 11321 11323 2614 0 -1 4202560 2794 0 0 0 24 0 0 0 20 0 18 0 339262908 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634571978808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11339] ppid=11321 vsize=2648568 CPUtime=0.22 cores=1,3,5,7
/proc/11323/task/11339/stat : 11339 (java) S 11321 11323 2614 0 -1 4202560 2311 0 0 0 22 0 0 0 20 0 18 0 339262908 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634570926264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11340] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11340/stat : 11340 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262908 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634569873912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11341] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11341/stat : 11341 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262909 2712133632 140545 33554432000 1073741824 1073778376 140735900931120 139634568821576 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.82
Current children cumulated vsize (KiB) 2648568
Solver just ended. Dumping a history of the last processes samples
[startup+7.10068 s]
/proc/loadavg: 2.10 2.07 2.02 3/212 11341
/proc/meminfo: memFree=29295132/32873844 swapFree=7116/7116
[pid=11323] ppid=11321 vsize=2648568 CPUtime=10.1 cores=1,3,5,7
/proc/11323/stat : 11323 (java) S 11321 11323 2614 0 -1 4202496 10383 0 1 0 967 43 0 0 20 0 18 0 339262903 2712133632 149959 33554432000 1073741824 1073778376 140735900931120 140735900922256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
################
# More data... #
################
[startup+10.3008 s]
/proc/loadavg: 2.09 2.07 2.02 3/212 11341
/proc/meminfo: memFree=29192928/32873844 swapFree=7116/7116
[pid=11323] ppid=11321 vsize=2648568 CPUtime=14.48 cores=1,3,5,7
/proc/11323/stat : 11323 (java) S 11321 11323 2614 0 -1 4202496 10861 0 1 0 1392 56 0 0 20 0 18 0 339262903 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 140735900922256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11323/statm: 662142 171277 2251 9 0 652835 0
[pid=11323/tid=11324] ppid=11321 vsize=2648568 CPUtime=8.96 cores=1,3,5,7
/proc/11323/task/11324/stat : 11324 (java) R 11321 11323 2614 0 -1 4202560 2931 0 1 0 887 9 0 0 20 0 18 0 339262903 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634611519096 240568558861 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=11323/tid=11326] ppid=11321 vsize=2648568 CPUtime=0.69 cores=1,3,5,7
/proc/11323/task/11326/stat : 11326 (java) S 11321 11323 2614 0 -1 4202560 224 0 0 0 62 7 0 0 20 0 18 0 339262904 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634595969704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11323/tid=11327] ppid=11321 vsize=2648568 CPUtime=0.62 cores=1,3,5,7
/proc/11323/task/11327/stat : 11327 (java) S 11321 11323 2614 0 -1 4202560 197 0 0 0 57 5 0 0 20 0 18 0 339262904 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634594917160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11328] ppid=11321 vsize=2648568 CPUtime=0.57 cores=1,3,5,7
/proc/11323/task/11328/stat : 11328 (java) S 11321 11323 2614 0 -1 4202560 222 0 0 0 52 5 0 0 20 0 18 0 339262904 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634593864616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11329] ppid=11321 vsize=2648568 CPUtime=0.66 cores=1,3,5,7
/proc/11323/task/11329/stat : 11329 (java) S 11321 11323 2614 0 -1 4202560 175 0 0 0 59 7 0 0 20 0 18 0 339262904 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634592812072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11330] ppid=11321 vsize=2648568 CPUtime=0.53 cores=1,3,5,7
/proc/11323/task/11330/stat : 11330 (java) S 11321 11323 2614 0 -1 4202560 187 0 0 0 48 5 0 0 20 0 18 0 339262904 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634591758504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11331] ppid=11321 vsize=2648568 CPUtime=0.73 cores=1,3,5,7
/proc/11323/task/11331/stat : 11331 (java) S 11321 11323 2614 0 -1 4202560 237 0 0 0 67 6 0 0 20 0 18 0 339262904 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634590705960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11332] ppid=11321 vsize=2648568 CPUtime=0.52 cores=1,3,5,7
/proc/11323/task/11332/stat : 11332 (java) S 11321 11323 2614 0 -1 4202560 199 0 0 0 47 5 0 0 20 0 18 0 339262904 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634589653416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11333] ppid=11321 vsize=2648568 CPUtime=0.53 cores=1,3,5,7
/proc/11323/task/11333/stat : 11333 (java) S 11321 11323 2614 0 -1 4202560 201 0 0 0 48 5 0 0 20 0 18 0 339262904 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634588600872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11334] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11334/stat : 11334 (java) S 11321 11323 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339262905 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634576190056 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11335] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11335/stat : 11335 (java) S 11321 11323 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339262906 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634575136376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11336] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11336/stat : 11336 (java) S 11321 11323 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339262906 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634574083720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11337] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11337/stat : 11337 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262908 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634573032464 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11338] ppid=11321 vsize=2648568 CPUtime=0.24 cores=1,3,5,7
/proc/11323/task/11338/stat : 11338 (java) S 11321 11323 2614 0 -1 4202560 2794 0 0 0 24 0 0 0 20 0 18 0 339262908 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634571978808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11339] ppid=11321 vsize=2648568 CPUtime=0.22 cores=1,3,5,7
/proc/11323/task/11339/stat : 11339 (java) S 11321 11323 2614 0 -1 4202560 2311 0 0 0 22 0 0 0 20 0 18 0 339262908 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634570926264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11340] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11340/stat : 11340 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262908 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634569873912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11341] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11341/stat : 11341 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262909 2712133632 171277 33554432000 1073741824 1073778376 140735900931120 139634568821576 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 14.48
Current children cumulated vsize (KiB) 2648568
[startup+11.1008 s]
/proc/loadavg: 2.09 2.07 2.02 10/212 11341
/proc/meminfo: memFree=29159788/32873844 swapFree=7116/7116
[pid=11323] ppid=11321 vsize=2648568 CPUtime=15.83 cores=1,3,5,7
/proc/11323/stat : 11323 (java) S 11321 11323 2614 0 -1 4202496 15945 0 1 0 1524 59 0 0 20 0 18 0 339262903 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 140735900922256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11323/statm: 662142 175929 2259 9 0 652835 0
[pid=11323/tid=11324] ppid=11321 vsize=2648568 CPUtime=9.69 cores=1,3,5,7
/proc/11323/task/11324/stat : 11324 (java) R 11321 11323 2614 0 -1 4202560 2940 0 1 0 959 10 0 0 20 0 18 0 339262903 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634611511856 139634437168286 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11326] ppid=11321 vsize=2648568 CPUtime=0.76 cores=1,3,5,7
/proc/11323/task/11326/stat : 11326 (java) S 11321 11323 2614 0 -1 4202560 241 0 0 0 68 8 0 0 20 0 18 0 339262904 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634595969704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11323/tid=11327] ppid=11321 vsize=2648568 CPUtime=0.66 cores=1,3,5,7
/proc/11323/task/11327/stat : 11327 (java) S 11321 11323 2614 0 -1 4202560 205 0 0 0 61 5 0 0 20 0 18 0 339262904 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634594917160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11328] ppid=11321 vsize=2648568 CPUtime=0.59 cores=1,3,5,7
/proc/11323/task/11328/stat : 11328 (java) S 11321 11323 2614 0 -1 4202560 237 0 0 0 54 5 0 0 20 0 18 0 339262904 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634593864616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11329] ppid=11321 vsize=2648568 CPUtime=0.69 cores=1,3,5,7
/proc/11323/task/11329/stat : 11329 (java) S 11321 11323 2614 0 -1 4202560 184 0 0 0 62 7 0 0 20 0 18 0 339262904 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634592812072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11330] ppid=11321 vsize=2648568 CPUtime=0.57 cores=1,3,5,7
/proc/11323/task/11330/stat : 11330 (java) S 11321 11323 2614 0 -1 4202560 197 0 0 0 52 5 0 0 20 0 18 0 339262904 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634591758504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11331] ppid=11321 vsize=2648568 CPUtime=0.75 cores=1,3,5,7
/proc/11323/task/11331/stat : 11331 (java) S 11321 11323 2614 0 -1 4202560 247 0 0 0 69 6 0 0 20 0 18 0 339262904 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634590705960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11332] ppid=11321 vsize=2648568 CPUtime=0.56 cores=1,3,5,7
/proc/11323/task/11332/stat : 11332 (java) S 11321 11323 2614 0 -1 4202560 202 0 0 0 50 6 0 0 20 0 18 0 339262904 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634589653416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11333] ppid=11321 vsize=2648568 CPUtime=0.55 cores=1,3,5,7
/proc/11323/task/11333/stat : 11333 (java) S 11321 11323 2614 0 -1 4202560 203 0 0 0 50 5 0 0 20 0 18 0 339262904 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634588600872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11334] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11334/stat : 11334 (java) S 11321 11323 2614 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 339262905 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634576190056 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11335] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11335/stat : 11335 (java) S 11321 11323 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339262906 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634575136376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11336] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11336/stat : 11336 (java) S 11321 11323 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339262906 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634574083720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11337] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11337/stat : 11337 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262908 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634573032464 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11338] ppid=11321 vsize=2648568 CPUtime=0.5 cores=1,3,5,7
/proc/11323/task/11338/stat : 11338 (java) S 11321 11323 2614 0 -1 4202560 6878 0 0 0 49 1 0 0 20 0 18 0 339262908 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634571978808 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11339] ppid=11321 vsize=2648568 CPUtime=0.31 cores=1,3,5,7
/proc/11323/task/11339/stat : 11339 (java) S 11321 11323 2614 0 -1 4202560 3228 0 0 0 31 0 0 0 20 0 18 0 339262908 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634570926264 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11340] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11340/stat : 11340 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262908 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634569873912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11341] ppid=11321 vsize=2648568 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11341/stat : 11341 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262909 2712133632 175929 33554432000 1073741824 1073778376 140735900931120 139634568821576 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 15.83
Current children cumulated vsize (KiB) 2648568
[startup+11.5007 s]
/proc/loadavg: 2.09 2.07 2.02 10/212 11341
/proc/meminfo: memFree=29159788/32873844 swapFree=7116/7116
[pid=11323] ppid=11321 vsize=2715132 CPUtime=16.76 cores=1,3,5,7
/proc/11323/stat : 11323 (java) S 11321 11323 2614 0 -1 4202496 18801 0 1 0 1615 61 0 0 20 0 19 0 339262903 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 140735900922256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11323/statm: 678783 179195 2267 9 0 669476 0
[pid=11323/tid=11324] ppid=11321 vsize=2715132 CPUtime=10.02 cores=1,3,5,7
/proc/11323/task/11324/stat : 11324 (java) R 11321 11323 2614 0 -1 4202560 2946 0 1 0 992 10 0 0 20 0 19 0 339262903 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634611518712 139634436759112 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11326] ppid=11321 vsize=2715132 CPUtime=0.82 cores=1,3,5,7
/proc/11323/task/11326/stat : 11326 (java) S 11321 11323 2614 0 -1 4202560 245 0 0 0 74 8 0 0 20 0 19 0 339262904 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634595969704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11323/tid=11327] ppid=11321 vsize=2715132 CPUtime=0.68 cores=1,3,5,7
/proc/11323/task/11327/stat : 11327 (java) S 11321 11323 2614 0 -1 4202560 218 0 0 0 62 6 0 0 20 0 19 0 339262904 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634594917160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11328] ppid=11321 vsize=2715132 CPUtime=0.61 cores=1,3,5,7
/proc/11323/task/11328/stat : 11328 (java) S 11321 11323 2614 0 -1 4202560 265 0 0 0 56 5 0 0 20 0 19 0 339262904 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634593864616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11329] ppid=11321 vsize=2715132 CPUtime=0.75 cores=1,3,5,7
/proc/11323/task/11329/stat : 11329 (java) S 11321 11323 2614 0 -1 4202560 189 0 0 0 68 7 0 0 20 0 19 0 339262904 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634592812072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11330] ppid=11321 vsize=2715132 CPUtime=0.58 cores=1,3,5,7
/proc/11323/task/11330/stat : 11330 (java) S 11321 11323 2614 0 -1 4202560 199 0 0 0 53 5 0 0 20 0 19 0 339262904 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634591758504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11331] ppid=11321 vsize=2715132 CPUtime=0.76 cores=1,3,5,7
/proc/11323/task/11331/stat : 11331 (java) S 11321 11323 2614 0 -1 4202560 250 0 0 0 70 6 0 0 20 0 19 0 339262904 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634590705960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11332] ppid=11321 vsize=2715132 CPUtime=0.59 cores=1,3,5,7
/proc/11323/task/11332/stat : 11332 (java) S 11321 11323 2614 0 -1 4202560 225 0 0 0 53 6 0 0 20 0 19 0 339262904 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634589653416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11333] ppid=11321 vsize=2715132 CPUtime=0.58 cores=1,3,5,7
/proc/11323/task/11333/stat : 11333 (java) S 11321 11323 2614 0 -1 4202560 204 0 0 0 53 5 0 0 20 0 19 0 339262904 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634588600872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11334] ppid=11321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11334/stat : 11334 (java) S 11321 11323 2614 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339262905 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634576190056 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11335] ppid=11321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11335/stat : 11335 (java) S 11321 11323 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339262906 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634575136376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11336] ppid=11321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11336/stat : 11336 (java) S 11321 11323 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339262906 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634574083720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11337] ppid=11321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11337/stat : 11337 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339262908 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634573032464 240568555296 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11338] ppid=11321 vsize=2715132 CPUtime=0.66 cores=1,3,5,7
/proc/11323/task/11338/stat : 11338 (java) R 11321 11323 2614 0 -1 4202560 6896 0 0 0 65 1 0 0 20 0 19 0 339262908 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634571978808 139634614445875 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11339] ppid=11321 vsize=2715132 CPUtime=0.49 cores=1,3,5,7
/proc/11323/task/11339/stat : 11339 (java) R 11321 11323 2614 0 -1 4202560 5972 0 0 0 49 0 0 0 20 0 19 0 339262908 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634570913672 139634618122175 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11340] ppid=11321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11340/stat : 11340 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339262908 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634569873912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11341] ppid=11321 vsize=2715132 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11341/stat : 11341 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339262909 2780295168 179195 33554432000 1073741824 1073778376 140735900931120 139634568821576 240568547241 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 16.76
Current children cumulated vsize (KiB) 2715132
[startup+11.6008 s]
/proc/loadavg: 2.09 2.07 2.02 10/212 11341
/proc/meminfo: memFree=29159788/32873844 swapFree=7116/7116
[pid=11323] ppid=11321 vsize=2781696 CPUtime=16.91 cores=1,3,5,7
/proc/11323/stat : 11323 (java) S 11321 11323 2614 0 -1 4202496 18827 0 1 0 1629 62 0 0 20 0 18 0 339262903 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 140735900922256 240568533053 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11323/statm: 695424 178641 2270 9 0 686117 0
[pid=11323/tid=11324] ppid=11321 vsize=2781696 CPUtime=10.1 cores=1,3,5,7
/proc/11323/task/11324/stat : 11324 (java) S 11321 11323 2614 0 -1 4202560 2948 0 1 0 1000 10 0 0 20 0 18 0 339262903 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634611520504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11326] ppid=11321 vsize=2781696 CPUtime=0.82 cores=1,3,5,7
/proc/11323/task/11326/stat : 11326 (java) S 11321 11323 2614 0 -1 4202560 245 0 0 0 74 8 0 0 20 0 18 0 339262904 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634595969704 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=11323/tid=11327] ppid=11321 vsize=2781696 CPUtime=0.68 cores=1,3,5,7
/proc/11323/task/11327/stat : 11327 (java) S 11321 11323 2614 0 -1 4202560 218 0 0 0 62 6 0 0 20 0 18 0 339262904 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634594917160 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11328] ppid=11321 vsize=2781696 CPUtime=0.61 cores=1,3,5,7
/proc/11323/task/11328/stat : 11328 (java) S 11321 11323 2614 0 -1 4202560 265 0 0 0 56 5 0 0 20 0 18 0 339262904 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634593864616 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11329] ppid=11321 vsize=2781696 CPUtime=0.75 cores=1,3,5,7
/proc/11323/task/11329/stat : 11329 (java) S 11321 11323 2614 0 -1 4202560 189 0 0 0 68 7 0 0 20 0 18 0 339262904 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634592812072 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11330] ppid=11321 vsize=2781696 CPUtime=0.58 cores=1,3,5,7
/proc/11323/task/11330/stat : 11330 (java) S 11321 11323 2614 0 -1 4202560 199 0 0 0 53 5 0 0 20 0 18 0 339262904 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634591758504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11331] ppid=11321 vsize=2781696 CPUtime=0.76 cores=1,3,5,7
/proc/11323/task/11331/stat : 11331 (java) S 11321 11323 2614 0 -1 4202560 250 0 0 0 70 6 0 0 20 0 18 0 339262904 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634590705960 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11332] ppid=11321 vsize=2781696 CPUtime=0.59 cores=1,3,5,7
/proc/11323/task/11332/stat : 11332 (java) S 11321 11323 2614 0 -1 4202560 225 0 0 0 53 6 0 0 20 0 18 0 339262904 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634589653416 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11333] ppid=11321 vsize=2781696 CPUtime=0.58 cores=1,3,5,7
/proc/11323/task/11333/stat : 11333 (java) S 11321 11323 2614 0 -1 4202560 204 0 0 0 53 5 0 0 20 0 18 0 339262904 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634588600872 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11334] ppid=11321 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11334/stat : 11334 (java) S 11321 11323 2614 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 339262905 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634576189608 240568547241 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11335] ppid=11321 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11335/stat : 11335 (java) S 11321 11323 2614 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 339262906 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634575136376 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11336] ppid=11321 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11336/stat : 11336 (java) S 11321 11323 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339262906 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634574083720 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11337] ppid=11321 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11337/stat : 11337 (java) S 11321 11323 2614 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 339262908 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634573031224 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=11323/tid=11338] ppid=11321 vsize=2781696 CPUtime=0.68 cores=1,3,5,7
/proc/11323/task/11338/stat : 11338 (java) S 11321 11323 2614 0 -1 4202560 6897 0 0 0 67 1 0 0 20 0 18 0 339262908 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634571965048 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=11323/tid=11339] ppid=11321 vsize=2781696 CPUtime=0.53 cores=1,3,5,7
/proc/11323/task/11339/stat : 11339 (java) S 11321 11323 2614 0 -1 4202560 5973 0 0 0 53 0 0 0 20 0 18 0 339262908 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634570912504 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=11323/tid=11340] ppid=11321 vsize=2781696 CPUtime=0 cores=1,3,5,7
/proc/11323/task/11340/stat : 11340 (java) S 11321 11323 2614 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 339262908 2848456704 178641 33554432000 1073741824 1073778376 140735900931120 139634569873912 240568546364 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 16.91
Current children cumulated vsize (KiB) 2781696
Child status: 10
Real time (s): 11.6132
CPU time (s): 16.9204
CPU user time (s): 16.2085
CPU system time (s): 0.711891
CPU usage (%): 145.699
Max. virtual memory (cumulated for all children) (KiB): 2781696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.2085
system time used= 0.711891
maximum resident set size= 717064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18827
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1207
involuntary context switches= 6105
runsolver used 0.06299 second user time and 0.100984 second system time
The end