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-3739559-1338732428/watcher-3739559-1338732428 -o /tmp/evaluation-result-3739559-1338732428/solver-3739559-1338732428 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3739559-1338732428.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.94 1.98 1.99 3/194 6550
/proc/meminfo: memFree=30307440/32873844 swapFree=8656/8656
[pid=6550] ppid=6548 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/6550/stat : 6550 (java) S 6548 6550 30888 0 -1 4202496 1175 0 0 0 0 0 0 0 20 0 2 0 339371393 91889664 894 33554432000 1073741824 1073778376 140735523072112 140735523063248 249653395517 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6550/statm: 22434 894 678 9 0 16769 0
[pid=6550/tid=6551] ppid=6548 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6551/stat : 6551 (java) D 6548 6550 30888 0 -1 4202560 59 0 0 0 0 0 0 0 20 0 2 0 339371393 94019584 917 33554432000 1073741824 1073778376 140735523072112 140593237446184 249640873255 0 0 4096 0 18446744072100588836 0 0 -1 3 0 0 0 0 0
[startup+0.0644479 s]
/proc/loadavg: 1.94 1.98 1.99 3/194 6550
/proc/meminfo: memFree=30307440/32873844 swapFree=8656/8656
[pid=6550] ppid=6548 vsize=2956804 CPUtime=0.05 cores=1,3,5,7
/proc/6550/stat : 6550 (java) S 6548 6550 30888 0 -1 4202496 3603 0 1 0 4 1 0 0 20 0 18 0 339371393 3027767296 5833 33554432000 1073741824 1073778376 140735523072112 140735523063248 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6550/statm: 739201 5833 1781 9 0 729885 0
[pid=6550/tid=6551] ppid=6548 vsize=2956804 CPUtime=0.04 cores=1,3,5,7
/proc/6550/task/6551/stat : 6551 (java) R 6548 6550 30888 0 -1 4202560 2393 0 1 0 4 0 0 0 20 0 18 0 339371393 3027767296 5833 33554432000 1073741824 1073778376 140735523072112 140593237453472 249653421325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2956804
[startup+0.10038 s]
/proc/loadavg: 1.94 1.98 1.99 3/194 6550
/proc/meminfo: memFree=30307440/32873844 swapFree=8656/8656
[pid=6550] ppid=6548 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/6550/stat : 6550 (java) S 6548 6550 30888 0 -1 4202496 4422 0 1 0 9 1 0 0 20 0 18 0 339371393 3028844544 7147 33554432000 1073741824 1073778376 140735523072112 140735523063248 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6550/statm: 739464 7147 2130 9 0 729885 0
[pid=6550/tid=6551] ppid=6548 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/6550/task/6551/stat : 6551 (java) R 6548 6550 30888 0 -1 4202560 2498 0 1 0 6 1 0 0 20 0 18 0 339371393 3028844544 7147 33554432000 1073741824 1073778376 140735523072112 140593237447976 249653421325 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.30033 s]
/proc/loadavg: 1.94 1.98 1.99 3/194 6550
/proc/meminfo: memFree=30307440/32873844 swapFree=8656/8656
[pid=6550] ppid=6548 vsize=2957856 CPUtime=0.46 cores=1,3,5,7
/proc/6550/stat : 6550 (java) S 6548 6550 30888 0 -1 4202496 5931 0 1 0 45 1 0 0 20 0 18 0 339371393 3028844544 10239 33554432000 1073741824 1073778376 140735523072112 140735523063248 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6550/statm: 739464 10239 2239 9 0 729885 0
[pid=6550/tid=6551] ppid=6548 vsize=2957856 CPUtime=0.27 cores=1,3,5,7
/proc/6550/task/6551/stat : 6551 (java) R 6548 6550 30888 0 -1 4202560 2510 0 1 0 26 1 0 0 20 0 18 0 339371393 3028844544 10239 33554432000 1073741824 1073778376 140735523072112 140593237451144 140593086922624 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2957856
[startup+0.700369 s]
/proc/loadavg: 1.94 1.98 1.99 3/194 6550
/proc/meminfo: memFree=30307440/32873844 swapFree=8656/8656
[pid=6550] ppid=6548 vsize=2957856 CPUtime=1.41 cores=1,3,5,7
/proc/6550/stat : 6550 (java) S 6548 6550 30888 0 -1 4202496 9495 0 1 0 137 4 0 0 20 0 18 0 339371393 3028844544 42006 33554432000 1073741824 1073778376 140735523072112 140735523063248 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6550/statm: 739464 42006 2261 9 0 729885 0
[pid=6550/tid=6551] ppid=6548 vsize=2957856 CPUtime=0.67 cores=1,3,5,7
/proc/6550/task/6551/stat : 6551 (java) R 6548 6550 30888 0 -1 4202560 2577 0 1 0 64 3 0 0 20 0 18 0 339371393 3028844544 42006 33554432000 1073741824 1073778376 140735523072112 140593237451144 140593087351409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 2957856
[startup+1.50081 s]
/proc/loadavg: 1.94 1.98 1.99 3/212 6568
/proc/meminfo: memFree=29993768/32873844 swapFree=8656/8656
[pid=6550] ppid=6548 vsize=3024420 CPUtime=2.78 cores=1,3,5,7
/proc/6550/stat : 6550 (java) S 6548 6550 30888 0 -1 4202496 14800 0 1 0 270 8 0 0 20 0 19 0 339371393 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140735523063248 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6550/statm: 756105 112095 2273 9 0 746526 0
[pid=6550/tid=6551] ppid=6548 vsize=3024420 CPUtime=1.47 cores=1,3,5,7
/proc/6550/task/6551/stat : 6551 (java) R 6548 6550 30888 0 -1 4202560 2717 0 1 0 141 6 0 0 20 0 19 0 339371393 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593237450952 140593087842976 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6553] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6553/stat : 6553 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593220876584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6554] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6554/stat : 6554 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593219823784 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6555] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6555/stat : 6555 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593218771496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6550/tid=6556] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6556/stat : 6556 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593217718696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6557] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6557/stat : 6557 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593216666408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6558] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6558/stat : 6558 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593215613608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6559] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6559/stat : 6559 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593214561320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6560] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6560/stat : 6560 (java) S 6548 6550 30888 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593213508520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6561] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6561/stat : 6561 (java) S 6548 6550 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339371395 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593082640616 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6562] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6562/stat : 6562 (java) S 6548 6550 30888 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 339371396 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593081586680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6563] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6563/stat : 6563 (java) S 6548 6550 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339371396 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593080534280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6564] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6564/stat : 6564 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371398 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593079482768 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6565] ppid=6548 vsize=3024420 CPUtime=0.59 cores=1,3,5,7
/proc/6550/task/6565/stat : 6565 (java) S 6548 6550 30888 0 -1 4202560 3910 0 0 0 59 0 0 0 20 0 19 0 339371398 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593078430392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6566] ppid=6548 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/6550/task/6566/stat : 6566 (java) S 6548 6550 30888 0 -1 4202560 6977 0 0 0 68 0 0 0 20 0 19 0 339371398 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593077377592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6567] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6567/stat : 6567 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371398 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593076325496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6568] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6568/stat : 6568 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371398 3097006080 112095 33554432000 1073741824 1073778376 140735523072112 140593075272904 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 3024420
[startup+3.10078 s]
/proc/loadavg: 1.94 1.98 1.99 3/213 6569
/proc/meminfo: memFree=29834832/32873844 swapFree=8656/8656
[pid=6550] ppid=6548 vsize=3024420 CPUtime=4.57 cores=1,3,5,7
/proc/6550/stat : 6550 (java) S 6548 6550 30888 0 -1 4202496 14878 0 1 0 445 12 0 0 20 0 19 0 339371393 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140735523063248 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6550/statm: 756105 119799 2287 9 0 746526 0
[pid=6550/tid=6551] ppid=6548 vsize=3024420 CPUtime=3.03 cores=1,3,5,7
/proc/6550/task/6551/stat : 6551 (java) R 6548 6550 30888 0 -1 4202560 2723 0 1 0 296 7 0 0 20 0 19 0 339371393 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593237451208 140593087849790 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6553] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6553/stat : 6553 (java) S 6548 6550 30888 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593220876584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6554] ppid=6548 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/6550/task/6554/stat : 6554 (java) S 6548 6550 30888 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 339371394 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593219823784 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6555] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6555/stat : 6555 (java) S 6548 6550 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593218771496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6556] ppid=6548 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/6550/task/6556/stat : 6556 (java) S 6548 6550 30888 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 339371394 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593217718696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6557] ppid=6548 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/6550/task/6557/stat : 6557 (java) S 6548 6550 30888 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 339371394 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593216666408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6550/tid=6558] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6558/stat : 6558 (java) S 6548 6550 30888 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593215613608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6559] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6559/stat : 6559 (java) S 6548 6550 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593214561320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6550/tid=6560] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6560/stat : 6560 (java) S 6548 6550 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593213508520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6561] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6561/stat : 6561 (java) S 6548 6550 30888 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339371395 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593082640616 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6562] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6562/stat : 6562 (java) S 6548 6550 30888 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339371396 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593081586680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6563] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6563/stat : 6563 (java) S 6548 6550 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339371396 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593080534280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6564] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6564/stat : 6564 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371398 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593079482768 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6565] ppid=6548 vsize=3024420 CPUtime=0.65 cores=1,3,5,7
/proc/6550/task/6565/stat : 6565 (java) S 6548 6550 30888 0 -1 4202560 3911 0 0 0 65 0 0 0 20 0 19 0 339371398 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593078430392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6566] ppid=6548 vsize=3024420 CPUtime=0.69 cores=1,3,5,7
/proc/6550/task/6566/stat : 6566 (java) S 6548 6550 30888 0 -1 4202560 6977 0 0 0 69 0 0 0 20 0 19 0 339371398 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593077377592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6567] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6567/stat : 6567 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371398 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593076325496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6568] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6568/stat : 6568 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371398 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593075272904 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6569] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6569/stat : 6569 (java) S 6548 6550 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339371529 3097006080 119799 33554432000 1073741824 1073778376 140735523072112 140593073140648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 3024420
[startup+6.30083 s]
/proc/loadavg: 1.94 1.98 1.99 3/213 6569
/proc/meminfo: memFree=29833172/32873844 swapFree=8656/8656
[pid=6550] ppid=6548 vsize=3024420 CPUtime=7.86 cores=1,3,5,7
/proc/6550/stat : 6550 (java) S 6548 6550 30888 0 -1 4202496 14884 0 1 0 774 12 0 0 20 0 19 0 339371393 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140735523063248 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6550/statm: 756105 119568 2290 9 0 746526 0
[pid=6550/tid=6551] ppid=6548 vsize=3024420 CPUtime=6.22 cores=1,3,5,7
/proc/6550/task/6551/stat : 6551 (java) R 6548 6550 30888 0 -1 4202560 2726 0 1 0 615 7 0 0 20 0 19 0 339371393 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593237449264 140593087906197 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6553] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6553/stat : 6553 (java) S 6548 6550 30888 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593220876584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6554] ppid=6548 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/6550/task/6554/stat : 6554 (java) S 6548 6550 30888 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 19 0 339371394 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593219823784 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6555] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6555/stat : 6555 (java) S 6548 6550 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593218771496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6556] ppid=6548 vsize=3024420 CPUtime=0.01 cores=1,3,5,7
/proc/6550/task/6556/stat : 6556 (java) S 6548 6550 30888 0 -1 4202560 16 0 0 0 1 0 0 0 20 0 19 0 339371394 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593217718696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6557] ppid=6548 vsize=3024420 CPUtime=0.02 cores=1,3,5,7
/proc/6550/task/6557/stat : 6557 (java) S 6548 6550 30888 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 339371394 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593216666408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6550/tid=6558] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6558/stat : 6558 (java) S 6548 6550 30888 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593215613608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6559] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6559/stat : 6559 (java) S 6548 6550 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593214561320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6550/tid=6560] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6560/stat : 6560 (java) S 6548 6550 30888 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 339371394 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593213508520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6561] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6561/stat : 6561 (java) S 6548 6550 30888 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 339371395 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593082640616 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6562] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6562/stat : 6562 (java) S 6548 6550 30888 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339371396 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593081586680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6563] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6563/stat : 6563 (java) S 6548 6550 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339371396 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593080534280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6564] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6564/stat : 6564 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371398 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593079482768 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6565] ppid=6548 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/6550/task/6565/stat : 6565 (java) S 6548 6550 30888 0 -1 4202560 3911 0 0 0 66 0 0 0 20 0 19 0 339371398 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593078430392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6566] ppid=6548 vsize=3024420 CPUtime=0.77 cores=1,3,5,7
/proc/6550/task/6566/stat : 6566 (java) S 6548 6550 30888 0 -1 4202560 6980 0 0 0 77 0 0 0 20 0 19 0 339371398 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593077377592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6567] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6567/stat : 6567 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371398 3097006080 119568 33554432000 1073741824 1073778376 140735523072112 140593076325496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
################
# More data... #
################
[pid=6550/tid=6565] ppid=6548 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/6550/task/6565/stat : 6565 (java) S 6548 6550 30888 0 -1 4202560 3918 0 0 0 68 0 0 0 20 0 19 0 339371398 3097006080 408923 33554432000 1073741824 1073778376 140735523072112 140593078430392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6566] ppid=6548 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/6550/task/6566/stat : 6566 (java) S 6548 6550 30888 0 -1 4202560 6985 0 0 0 83 0 0 0 20 0 19 0 339371398 3097006080 408923 33554432000 1073741824 1073778376 140735523072112 140593077377592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6567] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6567/stat : 6567 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371398 3097006080 408923 33554432000 1073741824 1073778376 140735523072112 140593076325496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6568] ppid=6548 vsize=3024420 CPUtime=0.84 cores=1,3,5,7
/proc/6550/task/6568/stat : 6568 (java) S 6548 6550 30888 0 -1 4202560 95 0 0 0 35 49 0 0 20 0 19 0 339371398 3097006080 408923 33554432000 1073741824 1073778376 140735523072112 140593075272904 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6569] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6569/stat : 6569 (java) S 6548 6550 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339371529 3097006080 408923 33554432000 1073741824 1073778376 140735523072112 140593073140648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1671.5
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 7493
/proc/meminfo: memFree=28839420/32873844 swapFree=8656/8656
[pid=6550] ppid=6548 vsize=3024420 CPUtime=1731.72 cores=1,3,5,7
/proc/6550/stat : 6550 (java) S 6548 6550 30888 0 -1 4202496 17910 0 1 0 172908 264 0 0 20 0 19 0 339371393 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140735523063248 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6550/statm: 756105 408964 2306 9 0 746526 0
[pid=6550/tid=6551] ppid=6548 vsize=3024420 CPUtime=1714.61 cores=1,3,5,7
/proc/6550/task/6551/stat : 6551 (java) R 6548 6550 30888 0 -1 4202560 2774 0 1 0 171426 35 0 0 20 0 19 0 339371393 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593237450064 140593087850219 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6553] ppid=6548 vsize=3024420 CPUtime=1.11 cores=1,3,5,7
/proc/6550/task/6553/stat : 6553 (java) S 6548 6550 30888 0 -1 4202560 365 0 0 0 89 22 0 0 20 0 19 0 339371394 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593220876584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6554] ppid=6548 vsize=3024420 CPUtime=1.41 cores=1,3,5,7
/proc/6550/task/6554/stat : 6554 (java) S 6548 6550 30888 0 -1 4202560 372 0 0 0 118 23 0 0 20 0 19 0 339371394 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593219823784 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6555] ppid=6548 vsize=3024420 CPUtime=1.09 cores=1,3,5,7
/proc/6550/task/6555/stat : 6555 (java) S 6548 6550 30888 0 -1 4202560 361 0 0 0 87 22 0 0 20 0 19 0 339371394 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593218771496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6556] ppid=6548 vsize=3024420 CPUtime=1.16 cores=1,3,5,7
/proc/6550/task/6556/stat : 6556 (java) S 6548 6550 30888 0 -1 4202560 349 0 0 0 96 20 0 0 20 0 19 0 339371394 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593217718696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6557] ppid=6548 vsize=3024420 CPUtime=1.17 cores=1,3,5,7
/proc/6550/task/6557/stat : 6557 (java) S 6548 6550 30888 0 -1 4202560 358 0 0 0 96 21 0 0 20 0 19 0 339371394 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593216666408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6558] ppid=6548 vsize=3024420 CPUtime=1.14 cores=1,3,5,7
/proc/6550/task/6558/stat : 6558 (java) S 6548 6550 30888 0 -1 4202560 355 0 0 0 92 22 0 0 20 0 19 0 339371394 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593215613608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6559] ppid=6548 vsize=3024420 CPUtime=1.18 cores=1,3,5,7
/proc/6550/task/6559/stat : 6559 (java) S 6548 6550 30888 0 -1 4202560 370 0 0 0 96 22 0 0 20 0 19 0 339371394 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593214561320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6550/tid=6560] ppid=6548 vsize=3024420 CPUtime=1.04 cores=1,3,5,7
/proc/6550/task/6560/stat : 6560 (java) S 6548 6550 30888 0 -1 4202560 315 0 0 0 85 19 0 0 20 0 19 0 339371394 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593213508520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6550/tid=6561] ppid=6548 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/6550/task/6561/stat : 6561 (java) S 6548 6550 30888 0 -1 4202560 108 0 0 0 47 3 0 0 20 0 19 0 339371395 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593082640616 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6562] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6562/stat : 6562 (java) S 6548 6550 30888 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339371396 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593081586680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6563] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6563/stat : 6563 (java) S 6548 6550 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339371396 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593080534280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6564] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6564/stat : 6564 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371398 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593079482768 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6565] ppid=6548 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/6550/task/6565/stat : 6565 (java) S 6548 6550 30888 0 -1 4202560 3918 0 0 0 68 0 0 0 20 0 19 0 339371398 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593078430392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6566] ppid=6548 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/6550/task/6566/stat : 6566 (java) S 6548 6550 30888 0 -1 4202560 6985 0 0 0 83 0 0 0 20 0 19 0 339371398 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593077377592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6567] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6567/stat : 6567 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371398 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593076325496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6568] ppid=6548 vsize=3024420 CPUtime=0.88 cores=1,3,5,7
/proc/6550/task/6568/stat : 6568 (java) S 6548 6550 30888 0 -1 4202560 99 0 0 0 37 51 0 0 20 0 19 0 339371398 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593075272904 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6569] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6569/stat : 6569 (java) S 6548 6550 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339371529 3097006080 408964 33554432000 1073741824 1073778376 140735523072112 140593073140648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1731.72
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/213 7493
/proc/meminfo: memFree=28718092/32873844 swapFree=8656/8656
[pid=6550] ppid=6548 vsize=3024420 CPUtime=1791.9 cores=1,3,5,7
/proc/6550/stat : 6550 (java) S 6548 6550 30888 0 -1 4202496 17944 0 1 0 178921 269 0 0 20 0 19 0 339371393 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140735523063248 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6550/statm: 756105 408991 2306 9 0 746526 0
[pid=6550/tid=6551] ppid=6548 vsize=3024420 CPUtime=1774.42 cores=1,3,5,7
/proc/6550/task/6551/stat : 6551 (java) R 6548 6550 30888 0 -1 4202560 2775 0 1 0 177407 35 0 0 20 0 19 0 339371393 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593237450016 140593087850105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6553] ppid=6548 vsize=3024420 CPUtime=1.13 cores=1,3,5,7
/proc/6550/task/6553/stat : 6553 (java) S 6548 6550 30888 0 -1 4202560 366 0 0 0 91 22 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593220876584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6554] ppid=6548 vsize=3024420 CPUtime=1.43 cores=1,3,5,7
/proc/6550/task/6554/stat : 6554 (java) S 6548 6550 30888 0 -1 4202560 372 0 0 0 120 23 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593219823784 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6550/tid=6555] ppid=6548 vsize=3024420 CPUtime=1.11 cores=1,3,5,7
/proc/6550/task/6555/stat : 6555 (java) S 6548 6550 30888 0 -1 4202560 361 0 0 0 89 22 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593218771496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6556] ppid=6548 vsize=3024420 CPUtime=1.18 cores=1,3,5,7
/proc/6550/task/6556/stat : 6556 (java) S 6548 6550 30888 0 -1 4202560 349 0 0 0 98 20 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593217718696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6557] ppid=6548 vsize=3024420 CPUtime=1.18 cores=1,3,5,7
/proc/6550/task/6557/stat : 6557 (java) S 6548 6550 30888 0 -1 4202560 358 0 0 0 97 21 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593216666408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6558] ppid=6548 vsize=3024420 CPUtime=1.18 cores=1,3,5,7
/proc/6550/task/6558/stat : 6558 (java) S 6548 6550 30888 0 -1 4202560 381 0 0 0 96 22 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593215613608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6559] ppid=6548 vsize=3024420 CPUtime=1.19 cores=1,3,5,7
/proc/6550/task/6559/stat : 6559 (java) S 6548 6550 30888 0 -1 4202560 370 0 0 0 97 22 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593214561320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6560] ppid=6548 vsize=3024420 CPUtime=1.05 cores=1,3,5,7
/proc/6550/task/6560/stat : 6560 (java) S 6548 6550 30888 0 -1 4202560 315 0 0 0 86 19 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593213508520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6561] ppid=6548 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/6550/task/6561/stat : 6561 (java) S 6548 6550 30888 0 -1 4202560 110 0 0 0 47 3 0 0 20 0 19 0 339371395 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593082640616 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6562] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6562/stat : 6562 (java) S 6548 6550 30888 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339371396 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593081586680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6563] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6563/stat : 6563 (java) S 6548 6550 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339371396 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593080534280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6564] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6564/stat : 6564 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371398 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593079482768 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6565] ppid=6548 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/6550/task/6565/stat : 6565 (java) S 6548 6550 30888 0 -1 4202560 3918 0 0 0 68 0 0 0 20 0 19 0 339371398 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593078430392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6566] ppid=6548 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/6550/task/6566/stat : 6566 (java) S 6548 6550 30888 0 -1 4202560 6985 0 0 0 83 0 0 0 20 0 19 0 339371398 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593077377592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6567] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6567/stat : 6567 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371398 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593076325496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6568] ppid=6548 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/6550/task/6568/stat : 6568 (java) S 6548 6550 30888 0 -1 4202560 103 0 0 0 39 53 0 0 20 0 19 0 339371398 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593075272904 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6569] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6569/stat : 6569 (java) S 6548 6550 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339371529 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593073140648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1791.9
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1790.4 s]
/proc/loadavg: 2.00 2.02 2.00 3/213 7493
/proc/meminfo: memFree=28705804/32873844 swapFree=8656/8656
[pid=6550] ppid=6548 vsize=3024420 CPUtime=1800.01 cores=1,3,5,7
/proc/6550/stat : 6550 (java) S 6548 6550 30888 0 -1 4202496 17944 0 1 0 179731 270 0 0 20 0 19 0 339371393 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140735523063248 249653395517 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/6550/statm: 756105 408991 2306 9 0 746526 0
[pid=6550/tid=6551] ppid=6548 vsize=3024420 CPUtime=1782.51 cores=1,3,5,7
/proc/6550/task/6551/stat : 6551 (java) R 6548 6550 30888 0 -1 4202560 2775 0 1 0 178215 36 0 0 20 0 19 0 339371393 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593237450016 140593087850134 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6553] ppid=6548 vsize=3024420 CPUtime=1.13 cores=1,3,5,7
/proc/6550/task/6553/stat : 6553 (java) S 6548 6550 30888 0 -1 4202560 366 0 0 0 91 22 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593220876584 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6554] ppid=6548 vsize=3024420 CPUtime=1.43 cores=1,3,5,7
/proc/6550/task/6554/stat : 6554 (java) S 6548 6550 30888 0 -1 4202560 372 0 0 0 120 23 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593219823784 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6550/tid=6555] ppid=6548 vsize=3024420 CPUtime=1.11 cores=1,3,5,7
/proc/6550/task/6555/stat : 6555 (java) S 6548 6550 30888 0 -1 4202560 361 0 0 0 89 22 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593218771496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6556] ppid=6548 vsize=3024420 CPUtime=1.18 cores=1,3,5,7
/proc/6550/task/6556/stat : 6556 (java) S 6548 6550 30888 0 -1 4202560 349 0 0 0 98 20 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593217718696 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6557] ppid=6548 vsize=3024420 CPUtime=1.18 cores=1,3,5,7
/proc/6550/task/6557/stat : 6557 (java) S 6548 6550 30888 0 -1 4202560 358 0 0 0 97 21 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593216666408 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6558] ppid=6548 vsize=3024420 CPUtime=1.18 cores=1,3,5,7
/proc/6550/task/6558/stat : 6558 (java) S 6548 6550 30888 0 -1 4202560 381 0 0 0 96 22 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593215613608 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6559] ppid=6548 vsize=3024420 CPUtime=1.19 cores=1,3,5,7
/proc/6550/task/6559/stat : 6559 (java) S 6548 6550 30888 0 -1 4202560 370 0 0 0 97 22 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593214561320 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6560] ppid=6548 vsize=3024420 CPUtime=1.05 cores=1,3,5,7
/proc/6550/task/6560/stat : 6560 (java) S 6548 6550 30888 0 -1 4202560 315 0 0 0 86 19 0 0 20 0 19 0 339371394 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593213508520 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6561] ppid=6548 vsize=3024420 CPUtime=0.5 cores=1,3,5,7
/proc/6550/task/6561/stat : 6561 (java) S 6548 6550 30888 0 -1 4202560 110 0 0 0 47 3 0 0 20 0 19 0 339371395 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593082640616 249653409705 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6562] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6562/stat : 6562 (java) S 6548 6550 30888 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 339371396 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593081586680 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6563] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6563/stat : 6563 (java) S 6548 6550 30888 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 339371396 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593080534280 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6564] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6564/stat : 6564 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371398 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593079482768 249653417760 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6565] ppid=6548 vsize=3024420 CPUtime=0.68 cores=1,3,5,7
/proc/6550/task/6565/stat : 6565 (java) S 6548 6550 30888 0 -1 4202560 3918 0 0 0 68 0 0 0 20 0 19 0 339371398 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593078430392 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6550/tid=6566] ppid=6548 vsize=3024420 CPUtime=0.83 cores=1,3,5,7
/proc/6550/task/6566/stat : 6566 (java) S 6548 6550 30888 0 -1 4202560 6985 0 0 0 83 0 0 0 20 0 19 0 339371398 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593077377592 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6567] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6567/stat : 6567 (java) S 6548 6550 30888 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 339371398 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593076325496 249653408828 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6550/tid=6568] ppid=6548 vsize=3024420 CPUtime=0.92 cores=1,3,5,7
/proc/6550/task/6568/stat : 6568 (java) S 6548 6550 30888 0 -1 4202560 103 0 0 0 39 53 0 0 20 0 19 0 339371398 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593075272904 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6550/tid=6569] ppid=6548 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/6550/task/6569/stat : 6569 (java) S 6548 6550 30888 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 339371529 3097006080 408991 33554432000 1073741824 1073778376 140735523072112 140593073140648 249653409705 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6550 and gives
# childrusage.ru_utime.tv_sec=1792
# childrusage.ru_utime.tv_usec=398514
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=772578
# CPU time returned by wait4() is 1795.17
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1790.42
CPU time (s): 1800.01
CPU user time (s): 1797.31
CPU system time (s): 2.7
CPU usage (%): 100.535
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.4
system time used= 2.77258
maximum resident set size= 1636080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17975
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39261
involuntary context switches= 23086
runsolver used 6.06308 second user time and 17.2214 second system time
The end