runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4244361-1500682923/watcher-4244361-1500682923 -o /tmp/evaluation-result-4244361-1500682923/solver-4244361-1500682923 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 200492689 HOME/instance-4244361-1500682923.xml
pid=8008
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 14.33 14.56 10.15 3/239 8011
/proc/meminfo: memFree=32000180/32770624 swapFree=5860/231708
[pid=8011] ppid=8008 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8011/stat : 8011 (xcsp3-exec) S 8008 8011 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3559725 9740288 346 33554432000 4194304 5098028 140720821081088 140720821079192 139955982873212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24113152 140720821085327 140720821085536 140720821085536 140720821088235 0
/proc/8011/statm: 2378 346 289 221 0 87 0
[startup+0.100073 s]
/proc/loadavg: 14.33 14.56 10.15 3/239 8011
/proc/meminfo: memFree=32000180/32770624 swapFree=5860/231708
[pid=8011] ppid=8008 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8011/stat : 8011 (xcsp3-exec) S 8008 8011 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3559725 9740288 346 33554432000 4194304 5098028 140720821081088 140720821079192 139955982873212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24113152 140720821085327 140720821085536 140720821085536 140720821088235 0
/proc/8011/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200317 s]
/proc/loadavg: 14.33 14.56 10.15 3/239 8011
/proc/meminfo: memFree=32000180/32770624 swapFree=5860/231708
[pid=8011] ppid=8008 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8011/stat : 8011 (xcsp3-exec) S 8008 8011 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3559725 9740288 346 33554432000 4194304 5098028 140720821081088 140720821079192 139955982873212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24113152 140720821085327 140720821085536 140720821085536 140720821088235 0
/proc/8011/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300269 s]
/proc/loadavg: 14.33 14.56 10.15 3/239 8011
/proc/meminfo: memFree=32000180/32770624 swapFree=5860/231708
[pid=8011] ppid=8008 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8011/stat : 8011 (xcsp3-exec) S 8008 8011 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3559725 9740288 346 33554432000 4194304 5098028 140720821081088 140720821079192 139955982873212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24113152 140720821085327 140720821085536 140720821085536 140720821088235 0
/proc/8011/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700281 s]
/proc/loadavg: 14.33 14.56 10.15 3/239 8011
/proc/meminfo: memFree=32000180/32770624 swapFree=5860/231708
[pid=8011] ppid=8008 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8011/stat : 8011 (xcsp3-exec) S 8008 8011 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3559725 9740288 346 33554432000 4194304 5098028 140720821081088 140720821079192 139955982873212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24113152 140720821085327 140720821085536 140720821085536 140720821088235 0
/proc/8011/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50132 s]
/proc/loadavg: 14.33 14.56 10.15 17/292 8086
/proc/meminfo: memFree=31798208/32770624 swapFree=5860/231824
[pid=8011] ppid=8008 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8011/stat : 8011 (xcsp3-exec) S 8008 8011 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3559725 9740288 346 33554432000 4194304 5098028 140720821081088 140720821079192 139955982873212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24113152 140720821085327 140720821085536 140720821085536 140720821088235 0
/proc/8011/statm: 2378 346 289 221 0 87 0
[pid=8015] ppid=8011 vsize=13801768 CPUtime=7.64 cores=1,3,5,7,9,11,13,15
/proc/8015/stat : 8015 (java) S 8011 8011 7411 0 -1 1077944320 24453 0 0 0 753 11 0 0 20 0 28 0 3559725 14133010432 38072 33554432000 4194304 4196468 140734337220064 140734337202608 140446610775799 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
/proc/8015/statm: 3450442 38072 3208 1 0 3437675 0
[pid=8015/tid=8016] ppid=8011 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8016/stat : 8016 (java) S 8011 8011 7411 0 -1 1077944384 7032 0 0 0 69 4 0 0 20 0 28 0 3559725 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446615016576 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8021] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8021/stat : 8021 (java) S 8011 8011 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446210177296 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8022] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8022/stat : 8022 (java) S 8011 8011 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446209124752 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8023] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8023/stat : 8023 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446208072208 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8024] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8024/stat : 8024 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446207019664 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8025] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8025/stat : 8025 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446205967120 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8026] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8026/stat : 8026 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446204914576 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8027] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8027/stat : 8027 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446203862032 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8028] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8028/stat : 8028 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446202809488 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8032] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8032/stat : 8032 (java) S 8011 8011 7411 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 3559729 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446073104368 140446610786946 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8033] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8033/stat : 8033 (java) S 8011 8011 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3559729 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446072050592 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8034] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8034/stat : 8034 (java) S 8011 8011 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3559730 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446070998000 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8039] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8039/stat : 8039 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559734 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446069946576 140446610794395 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8040] ppid=8011 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8040/stat : 8040 (java) R 8011 8011 7411 0 -1 4202560 3427 0 0 0 65 0 0 0 20 0 28 0 3559734 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446068875208 140446595164657 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8041] ppid=8011 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8041/stat : 8041 (java) R 8011 8011 7411 0 -1 4202560 5078 0 0 0 73 1 0 0 20 0 28 0 3559734 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446067827672 140446592297073 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8042] ppid=8011 vsize=13801768 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8042/stat : 8042 (java) R 8011 8011 7411 0 -1 4202560 3812 0 0 0 65 0 0 0 20 0 28 0 3559734 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446066774608 140446595885257 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8043] ppid=8011 vsize=13801768 CPUtime=0.6 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8043/stat : 8043 (java) S 8011 8011 7411 0 -1 1077944384 3309 0 0 0 59 1 0 0 20 0 28 0 3559734 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446065736560 140446610786946 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8044] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8044/stat : 8044 (java) S 8011 8011 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3559734 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446064683232 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8045] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8045/stat : 8045 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559734 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446063630768 140446610786946 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8079] ppid=8011 vsize=13801768 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8079/stat : 8079 (java) R 8011 8011 7411 0 -1 4202560 111 0 0 0 42 0 0 0 20 0 28 0 3559802 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446055615864 140446254278894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8080] ppid=8011 vsize=13801768 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8080/stat : 8080 (java) R 8011 8011 7411 0 -1 4202560 39 0 0 0 47 0 0 0 20 0 28 0 3559802 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446054562568 140446254277529 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8081] ppid=8011 vsize=13801768 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8081/stat : 8081 (java) R 8011 8011 7411 0 -1 4202560 53 0 0 0 66 0 0 0 20 0 28 0 3559802 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446053513576 140446252461813 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8082] ppid=8011 vsize=13801768 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8082/stat : 8082 (java) R 8011 8011 7411 0 -1 4202560 71 0 0 0 61 0 0 0 20 0 28 0 3559802 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446052461448 140446254278066 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8083] ppid=8011 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8083/stat : 8083 (java) R 8011 8011 7411 0 -1 4202560 76 0 0 0 52 0 0 0 20 0 28 0 3559802 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446051405384 140446253649396 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8084] ppid=8011 vsize=13801768 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8084/stat : 8084 (java) R 8011 8011 7411 0 -1 4202560 36 0 0 0 51 0 0 0 20 0 28 0 3559802 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446050356152 140446254279112 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8085] ppid=8011 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8085/stat : 8085 (java) R 8011 8011 7411 0 -1 4202560 57 0 0 0 49 0 0 0 20 0 28 0 3559802 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446049300320 140446253819794 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8086] ppid=8011 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8086/stat : 8086 (java) R 8011 8011 7411 0 -1 4202560 41 0 0 0 48 0 0 0 20 0 28 0 3559802 14133010432 38072 33554432000 4194304 4196468 140734337220064 140446048249768 140446254056282 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
Current children cumulated CPU time (s) 7.64
Current children cumulated vsize (KiB) 13811280
[startup+3.10136 s]
/proc/loadavg: 14.33 14.56 10.15 23/300 8094
/proc/meminfo: memFree=31673848/32770624 swapFree=5860/231824
[pid=8011] ppid=8008 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8011/stat : 8011 (xcsp3-exec) S 8008 8011 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3559725 9740288 346 33554432000 4194304 5098028 140720821081088 140720821079192 139955982873212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24113152 140720821085327 140720821085536 140720821085536 140720821088235 0
/proc/8011/statm: 2378 346 289 221 0 87 0
[pid=8015] ppid=8011 vsize=13801768 CPUtime=20.36 cores=1,3,5,7,9,11,13,15
/proc/8015/stat : 8015 (java) S 8011 8011 7411 0 -1 1077944320 45059 0 0 0 2022 14 0 0 20 0 28 0 3559725 14133010432 43463 33554432000 4194304 4196468 140734337220064 140734337202608 140446610775799 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
/proc/8015/statm: 3450442 43463 3213 1 0 3437675 0
[pid=8015/tid=8016] ppid=8011 vsize=13801768 CPUtime=0.73 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8016/stat : 8016 (java) S 8011 8011 7411 0 -1 1077944384 7032 0 0 0 69 4 0 0 20 0 28 0 3559725 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446615016576 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8021] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8021/stat : 8021 (java) S 8011 8011 7411 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446210177296 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8022] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8022/stat : 8022 (java) S 8011 8011 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446209124752 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8023] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8023/stat : 8023 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446208072208 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8024] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8024/stat : 8024 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446207019664 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8025] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8025/stat : 8025 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446205967120 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8026] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8026/stat : 8026 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446204914576 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8027] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8027/stat : 8027 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446203862032 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8028] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8028/stat : 8028 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559726 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446202809488 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8032] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8032/stat : 8032 (java) S 8011 8011 7411 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 3559729 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446073104368 140446610786946 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8033] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8033/stat : 8033 (java) S 8011 8011 7411 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3559729 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446072050592 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8034] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8034/stat : 8034 (java) S 8011 8011 7411 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3559730 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446070998000 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8039] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8039/stat : 8039 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559734 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446069946576 140446610794395 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8040] ppid=8011 vsize=13801768 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8040/stat : 8040 (java) R 8011 8011 7411 0 -1 4202560 11823 0 0 0 182 1 0 0 20 0 28 0 3559734 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446068875208 140446588370544 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8041] ppid=8011 vsize=13801768 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8041/stat : 8041 (java) R 8011 8011 7411 0 -1 4202560 9869 0 0 0 184 1 0 0 20 0 28 0 3559734 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446067827672 140446592297190 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8042] ppid=8011 vsize=13801768 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8042/stat : 8042 (java) R 8011 8011 7411 0 -1 4202560 9976 0 0 0 192 0 0 0 20 0 28 0 3559734 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446066781592 140446591475336 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8043] ppid=8011 vsize=13801768 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8043/stat : 8043 (java) S 8011 8011 7411 0 -1 1077944384 3841 0 0 0 67 2 0 0 20 0 28 0 3559734 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446065736560 140446610786946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8044] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8044/stat : 8044 (java) S 8011 8011 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3559734 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446064683232 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8045] ppid=8011 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8045/stat : 8045 (java) S 8011 8011 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3559734 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446063630768 140446610786946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8079] ppid=8011 vsize=13801768 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8079/stat : 8079 (java) R 8011 8011 7411 0 -1 4202560 186 0 0 0 141 0 0 0 20 0 28 0 3559802 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446055614344 140446254279056 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8080] ppid=8011 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8080/stat : 8080 (java) R 8011 8011 7411 0 -1 4202560 107 0 0 0 181 0 0 0 20 0 28 0 3559802 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446054563672 140446254279112 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8081] ppid=8011 vsize=13801768 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8081/stat : 8081 (java) R 8011 8011 7411 0 -1 4202560 109 0 0 0 173 0 0 0 20 0 28 0 3559802 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446053511072 140446253408775 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8082] ppid=8011 vsize=13801768 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8082/stat : 8082 (java) R 8011 8011 7411 0 -1 4202560 184 0 0 0 181 0 0 0 20 0 28 0 3559802 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446052457736 140446254278677 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8083] ppid=8011 vsize=13801768 CPUtime=1.63 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8083/stat : 8083 (java) R 8011 8011 7411 0 -1 4202560 115 0 0 0 163 0 0 0 20 0 28 0 3559802 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446051404944 140446254278552 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8084] ppid=8011 vsize=13801768 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8084/stat : 8084 (java) R 8011 8011 7411 0 -1 4202560 84 0 0 0 153 0 0 0 20 0 28 0 3559802 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446050352760 140446254278445 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8085] ppid=8011 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8085/stat : 8085 (java) R 8011 8011 7411 0 -1 4202560 291 0 0 0 165 0 0 0 20 0 28 0 3559802 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446049299912 140446255210682 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8086] ppid=8011 vsize=13801768 CPUtime=1.64 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8086/stat : 8086 (java) R 8011 8011 7411 0 -1 4202560 94 0 0 0 164 0 0 0 20 0 28 0 3559802 14133010432 43463 33554432000 4194304 4196468 140734337220064 140446048245544 140446254277251 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
Current children cumulated CPU time (s) 20.36
Current children cumulated vsize (KiB) 13811280
[startup+6.30157 s]
/proc/loadavg: 14.47 14.59 10.18 20/300 8110
/proc/meminfo: memFree=31544436/32770624 swapFree=5860/231812
################
# More data... #
################
[pid=8015/tid=8409] ppid=8011 vsize=13870380 CPUtime=64.65 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8409/stat : 8409 (java) R 8011 8011 7411 0 -1 4202560 1890 0 0 0 6465 0 0 0 20 0 28 0 3581397 14203269120 84139 33554432000 4194304 4196468 140734337220064 140446051404888 140446255899303 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8410] ppid=8011 vsize=13870380 CPUtime=64.82 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8410/stat : 8410 (java) R 8011 8011 7411 0 -1 4202560 750 0 0 0 6482 0 0 0 20 0 28 0 3581397 14203269120 84139 33554432000 4194304 4196468 140734337220064 140446055615960 140446253649448 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
Current children cumulated CPU time (s) 1913.12
Current children cumulated vsize (KiB) 13879892
[startup+342.302 s]
/proc/loadavg: 14.73 14.25 11.31 17/299 8524
/proc/meminfo: memFree=31314232/32770624 swapFree=5860/232244
[pid=8011] ppid=8008 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8011/stat : 8011 (xcsp3-exec) S 8008 8011 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3559725 9740288 346 33554432000 4194304 5098028 140720821081088 140720821079192 139955982873212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24113152 140720821085327 140720821085536 140720821085536 140720821088235 0
/proc/8011/statm: 2378 346 289 221 0 87 0
[pid=8015] ppid=8011 vsize=13870380 CPUtime=2282.24 cores=1,3,5,7,9,11,13,15
/proc/8015/stat : 8015 (java) S 8011 8011 7411 0 -1 1077944320 267762 0 0 0 227989 235 0 0 20 0 28 0 3559725 14203269120 97085 33554432000 4194304 4196468 140734337220064 140734337202608 140446610775799 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
/proc/8015/statm: 3467595 97085 3273 1 0 3454828 0
[pid=8015/tid=8016] ppid=8011 vsize=13870380 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8016/stat : 8016 (java) S 8011 8011 7411 0 -1 1077944384 11907 0 0 0 72 5 0 0 20 0 28 0 3559725 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446615016576 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8021] ppid=8011 vsize=13870380 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8021/stat : 8021 (java) S 8011 8011 7411 0 -1 1077944384 5812 0 0 0 37 10 0 0 20 0 28 0 3559726 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446210177296 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8022] ppid=8011 vsize=13870380 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8022/stat : 8022 (java) S 8011 8011 7411 0 -1 1077944384 5040 0 0 0 36 9 0 0 20 0 28 0 3559726 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446209124752 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8023] ppid=8011 vsize=13870380 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8023/stat : 8023 (java) S 8011 8011 7411 0 -1 1077944384 4563 0 0 0 36 9 0 0 20 0 28 0 3559726 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446208072208 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8024] ppid=8011 vsize=13870380 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8024/stat : 8024 (java) S 8011 8011 7411 0 -1 1077944384 4161 0 0 0 33 9 0 0 20 0 28 0 3559726 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446207019664 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8025] ppid=8011 vsize=13870380 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8025/stat : 8025 (java) S 8011 8011 7411 0 -1 1077944384 5901 0 0 0 36 9 0 0 20 0 28 0 3559726 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446205967120 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8026] ppid=8011 vsize=13870380 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8026/stat : 8026 (java) S 8011 8011 7411 0 -1 1077944384 6552 0 0 0 35 11 0 0 20 0 28 0 3559726 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446204914576 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8027] ppid=8011 vsize=13870380 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8027/stat : 8027 (java) S 8011 8011 7411 0 -1 1077944384 6748 0 0 0 33 8 0 0 20 0 28 0 3559726 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446203862032 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8028] ppid=8011 vsize=13870380 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8028/stat : 8028 (java) S 8011 8011 7411 0 -1 1077944384 6091 0 0 0 35 9 0 0 20 0 28 0 3559726 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446202809488 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8032] ppid=8011 vsize=13870380 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8032/stat : 8032 (java) S 8011 8011 7411 0 -1 1077944384 18266 0 0 0 65 100 0 0 20 0 28 0 3559729 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446073104368 140446610786946 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8033] ppid=8011 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8033/stat : 8033 (java) S 8011 8011 7411 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3559729 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446072050656 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8034] ppid=8011 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8034/stat : 8034 (java) S 8011 8011 7411 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3559730 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446070998000 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8039] ppid=8011 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8039/stat : 8039 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559734 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446069946576 140446610794395 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8040] ppid=8011 vsize=13870380 CPUtime=6.16 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8040/stat : 8040 (java) S 8011 8011 7411 0 -1 1077944384 33345 0 0 0 613 3 0 0 20 0 28 0 3559734 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446068894192 140446610786946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8041] ppid=8011 vsize=13870380 CPUtime=6.08 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8041/stat : 8041 (java) S 8011 8011 7411 0 -1 1077944384 26405 0 0 0 604 4 0 0 20 0 28 0 3559734 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446067841648 140446610786946 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8042] ppid=8011 vsize=13870380 CPUtime=5.96 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8042/stat : 8042 (java) S 8011 8011 7411 0 -1 1077944384 26700 0 0 0 594 2 0 0 20 0 28 0 3559734 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446066789104 140446610786946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8043] ppid=8011 vsize=13870380 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8043/stat : 8043 (java) S 8011 8011 7411 0 -1 1077944384 23487 0 0 0 117 4 0 0 20 0 28 0 3559734 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446065736560 140446610786946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8044] ppid=8011 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8044/stat : 8044 (java) S 8011 8011 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3559734 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446064683232 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8045] ppid=8011 vsize=13870380 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8045/stat : 8045 (java) S 8011 8011 7411 0 -1 1077944384 3257 0 0 0 6 8 0 0 20 0 28 0 3559734 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446063630768 140446610786946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8517] ppid=8011 vsize=13870380 CPUtime=34.63 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8517/stat : 8517 (java) R 8011 8011 7411 0 -1 4202560 704 0 0 0 3463 0 0 0 20 0 28 0 3590422 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446048246376 140446257314004 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8518] ppid=8011 vsize=13870380 CPUtime=34.81 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8518/stat : 8518 (java) R 8011 8011 7411 0 -1 4202560 1026 0 0 0 3481 0 0 0 20 0 28 0 3590422 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446053510720 140446259305642 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8519] ppid=8011 vsize=13870380 CPUtime=35.06 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8519/stat : 8519 (java) R 8011 8011 7411 0 -1 4202560 848 0 0 0 3506 0 0 0 20 0 28 0 3590422 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446051408272 140446259305666 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8520] ppid=8011 vsize=13870380 CPUtime=34.98 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8520/stat : 8520 (java) R 8011 8011 7411 0 -1 4202560 710 0 0 0 3498 0 0 0 20 0 28 0 3590422 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446052458456 140446255320383 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8521] ppid=8011 vsize=13870380 CPUtime=35.07 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8521/stat : 8521 (java) R 8011 8011 7411 0 -1 4202560 399 0 0 0 3507 0 0 0 20 0 28 0 3590422 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446049300664 140446259305639 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8522] ppid=8011 vsize=13870380 CPUtime=34.99 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8522/stat : 8522 (java) R 8011 8011 7411 0 -1 4202560 529 0 0 0 3499 0 0 0 20 0 28 0 3590422 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446055616728 140446255696200 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8523] ppid=8011 vsize=13870380 CPUtime=35.03 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8523/stat : 8523 (java) R 8011 8011 7411 0 -1 4202560 1151 0 0 0 3503 0 0 0 20 0 28 0 3590422 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446054563160 140446255696390 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8524] ppid=8011 vsize=13870380 CPUtime=34.8 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8524/stat : 8524 (java) R 8011 8011 7411 0 -1 4202560 623 0 0 0 3480 0 0 0 20 0 28 0 3590422 14203269120 97085 33554432000 4194304 4196468 140734337220064 140446047194392 140446255696240 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
Current children cumulated CPU time (s) 2282.24
Current children cumulated vsize (KiB) 13879892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+357.201 s]
/proc/loadavg: 15.01 14.33 11.39 17/299 8524
/proc/meminfo: memFree=31314844/32770624 swapFree=5860/232252
[pid=8011] ppid=8008 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8011/stat : 8011 (xcsp3-exec) S 8008 8011 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3559725 9740288 346 33554432000 4194304 5098028 140720821081088 140720821079192 139955982873212 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 24113152 140720821085327 140720821085536 140720821085536 140720821088235 0
/proc/8011/statm: 2378 346 289 221 0 87 0
[pid=8015] ppid=8011 vsize=13870380 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15
/proc/8015/stat : 8015 (java) S 8011 8011 7411 0 -1 1077944320 268381 0 0 0 239756 249 0 0 20 0 28 0 3559725 14203269120 99645 33554432000 4194304 4196468 140734337220064 140734337202608 140446610775799 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
/proc/8015/statm: 3467595 99645 3273 1 0 3454828 0
[pid=8015/tid=8016] ppid=8011 vsize=13870380 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8016/stat : 8016 (java) S 8011 8011 7411 0 -1 1077944384 11907 0 0 0 72 5 0 0 20 0 28 0 3559725 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446615016576 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8021] ppid=8011 vsize=13870380 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8021/stat : 8021 (java) S 8011 8011 7411 0 -1 1077944384 5872 0 0 0 38 10 0 0 20 0 28 0 3559726 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446210177296 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8022] ppid=8011 vsize=13870380 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8022/stat : 8022 (java) S 8011 8011 7411 0 -1 1077944384 5144 0 0 0 37 10 0 0 20 0 28 0 3559726 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446209124752 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8023] ppid=8011 vsize=13870380 CPUtime=0.47 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8023/stat : 8023 (java) S 8011 8011 7411 0 -1 1077944384 4590 0 0 0 38 9 0 0 20 0 28 0 3559726 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446208072208 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8024] ppid=8011 vsize=13870380 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8024/stat : 8024 (java) S 8011 8011 7411 0 -1 1077944384 4283 0 0 0 35 9 0 0 20 0 28 0 3559726 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446207019664 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8025] ppid=8011 vsize=13870380 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8025/stat : 8025 (java) S 8011 8011 7411 0 -1 1077944384 5906 0 0 0 38 10 0 0 20 0 28 0 3559726 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446205967120 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8026] ppid=8011 vsize=13870380 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8026/stat : 8026 (java) S 8011 8011 7411 0 -1 1077944384 6597 0 0 0 37 11 0 0 20 0 28 0 3559726 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446204914576 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8027] ppid=8011 vsize=13870380 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8027/stat : 8027 (java) S 8011 8011 7411 0 -1 1077944384 6818 0 0 0 35 9 0 0 20 0 28 0 3559726 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446203862032 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8028] ppid=8011 vsize=13870380 CPUtime=0.46 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8028/stat : 8028 (java) S 8011 8011 7411 0 -1 1077944384 6109 0 0 0 37 9 0 0 20 0 28 0 3559726 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446202809488 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8032] ppid=8011 vsize=13870380 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8032/stat : 8032 (java) S 8011 8011 7411 0 -1 1077944384 18274 0 0 0 70 110 0 0 20 0 28 0 3559729 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446073104368 140446610786946 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8033] ppid=8011 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8033/stat : 8033 (java) S 8011 8011 7411 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3559729 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446072050656 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8034] ppid=8011 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8034/stat : 8034 (java) S 8011 8011 7411 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3559730 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446070998000 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8039] ppid=8011 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8039/stat : 8039 (java) S 8011 8011 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3559734 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446069946576 140446610794395 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8040] ppid=8011 vsize=13870380 CPUtime=6.16 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8040/stat : 8040 (java) S 8011 8011 7411 0 -1 1077944384 33345 0 0 0 613 3 0 0 20 0 28 0 3559734 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446068894192 140446610786946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8041] ppid=8011 vsize=13870380 CPUtime=6.08 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8041/stat : 8041 (java) S 8011 8011 7411 0 -1 1077944384 26405 0 0 0 604 4 0 0 20 0 28 0 3559734 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446067841648 140446610786946 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8042] ppid=8011 vsize=13870380 CPUtime=5.96 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8042/stat : 8042 (java) S 8011 8011 7411 0 -1 1077944384 26700 0 0 0 594 2 0 0 20 0 28 0 3559734 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446066789104 140446610786946 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8043] ppid=8011 vsize=13870380 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8043/stat : 8043 (java) S 8011 8011 7411 0 -1 1077944384 23487 0 0 0 117 4 0 0 20 0 28 0 3559734 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446065736560 140446610786946 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8044] ppid=8011 vsize=13870380 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8044/stat : 8044 (java) S 8011 8011 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3559734 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446064683232 140446610786005 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8045] ppid=8011 vsize=13870380 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8045/stat : 8045 (java) S 8011 8011 7411 0 -1 1077944384 3257 0 0 0 6 9 0 0 20 0 28 0 3559734 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446063630768 140446610786946 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8517] ppid=8011 vsize=13870380 CPUtime=49.3 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8517/stat : 8517 (java) R 8011 8011 7411 0 -1 4202560 723 0 0 0 4930 0 0 0 20 0 28 0 3590422 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446048246232 140446255696492 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8518] ppid=8011 vsize=13870380 CPUtime=49.52 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8518/stat : 8518 (java) R 8011 8011 7411 0 -1 4202560 1047 0 0 0 4952 0 0 0 20 0 28 0 3590422 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446053510968 140446259305669 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8519] ppid=8011 vsize=13870380 CPUtime=49.75 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8519/stat : 8519 (java) R 8011 8011 7411 0 -1 4202560 881 0 0 0 4975 0 0 0 20 0 28 0 3590422 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446051408272 140446259305666 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8520] ppid=8011 vsize=13870380 CPUtime=49.75 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8520/stat : 8520 (java) R 8011 8011 7411 0 -1 4202560 748 0 0 0 4975 0 0 0 20 0 28 0 3590422 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446052458304 140446259305632 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8521] ppid=8011 vsize=13870380 CPUtime=49.75 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8521/stat : 8521 (java) R 8011 8011 7411 0 -1 4202560 409 0 0 0 4975 0 0 0 20 0 28 0 3590422 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446049300568 140446257769138 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8522] ppid=8011 vsize=13870380 CPUtime=49.54 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8522/stat : 8522 (java) R 8011 8011 7411 0 -1 4202560 530 0 0 0 4954 0 0 0 20 0 28 0 3590422 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446055616728 140446253649437 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8523] ppid=8011 vsize=13870380 CPUtime=49.72 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8523/stat : 8523 (java) R 8011 8011 7411 0 -1 4202560 1179 0 0 0 4972 0 0 0 20 0 28 0 3590422 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446054563336 140446259305666 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
[pid=8015/tid=8524] ppid=8011 vsize=13870380 CPUtime=49.5 cores=1,3,5,7,9,11,13,15
/proc/8015/task/8524/stat : 8524 (java) R 8011 8011 7411 0 -1 4202560 633 0 0 0 4950 0 0 0 20 0 28 0 3590422 14203269120 99645 33554432000 4194304 4196468 140734337220064 140446047194392 140446257509552 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14376960 140734337221820 140734337221996 140734337221996 140734337224655 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 13879892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8015 sig 9
??? kill 8011 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8011 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2015
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1007
# CPU time returned by wait4() is 0.003022
# while last known CPU time is 2400.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 357.212
CPU time (s): 2400.05
CPU user time (s): 2397.56
CPU system time (s): 2.49
CPU usage (%): 671.884
Max. virtual memory (cumulated for all children) (KiB): 13879892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002015
system time used= 0.001007
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.05859 second user time and 4.2509 second system time
The end