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-4244471-1500683003/watcher-4244471-1500683003 -o /tmp/evaluation-result-4244471-1500683003/solver-4244471-1500683003 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1500682387-18841 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 703298655 HOME/instance-4244471-1500683003.xml
pid=19477
running on 8 cores: 0-3,8-11
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: 15.13 11.12 7.55 11/276 19480
/proc/meminfo: memFree=30592072/32770624 swapFree=5944/209676
[pid=19480] ppid=19477 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/19480/stat : 19480 (xcsp3-exec) S 19477 19480 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3567510 9740288 346 33554432000 4194304 5098028 140726868554800 140726868552904 140654813483644 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 32243712 140726868558991 140726868559200 140726868559200 140726868561899 0
/proc/19480/statm: 2378 346 289 221 0 87 0
[startup+0.100097 s]
/proc/loadavg: 15.13 11.12 7.55 11/276 19480
/proc/meminfo: memFree=30592072/32770624 swapFree=5944/209676
[pid=19480] ppid=19477 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/19480/stat : 19480 (xcsp3-exec) S 19477 19480 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3567510 9740288 346 33554432000 4194304 5098028 140726868554800 140726868552904 140654813483644 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 32243712 140726868558991 140726868559200 140726868559200 140726868561899 0
/proc/19480/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200308 s]
/proc/loadavg: 15.13 11.12 7.55 11/276 19480
/proc/meminfo: memFree=30592072/32770624 swapFree=5944/209676
[pid=19480] ppid=19477 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/19480/stat : 19480 (xcsp3-exec) S 19477 19480 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3567510 9740288 346 33554432000 4194304 5098028 140726868554800 140726868552904 140654813483644 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 32243712 140726868558991 140726868559200 140726868559200 140726868561899 0
/proc/19480/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300246 s]
/proc/loadavg: 15.13 11.12 7.55 11/276 19480
/proc/meminfo: memFree=30592072/32770624 swapFree=5944/209676
[pid=19480] ppid=19477 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/19480/stat : 19480 (xcsp3-exec) S 19477 19480 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3567510 9740288 346 33554432000 4194304 5098028 140726868554800 140726868552904 140654813483644 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 32243712 140726868558991 140726868559200 140726868559200 140726868561899 0
/proc/19480/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700187 s]
/proc/loadavg: 15.13 11.12 7.55 11/276 19480
/proc/meminfo: memFree=30592072/32770624 swapFree=5944/209676
[pid=19480] ppid=19477 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/19480/stat : 19480 (xcsp3-exec) S 19477 19480 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3567510 9740288 346 33554432000 4194304 5098028 140726868554800 140726868552904 140654813483644 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 32243712 140726868558991 140726868559200 140726868559200 140726868561899 0
/proc/19480/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50131 s]
/proc/loadavg: 15.13 11.12 7.55 19/305 19509
/proc/meminfo: memFree=30438072/32770624 swapFree=5944/210056
[pid=19480] ppid=19477 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/19480/stat : 19480 (xcsp3-exec) S 19477 19480 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3567510 9740288 346 33554432000 4194304 5098028 140726868554800 140726868552904 140654813483644 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 32243712 140726868558991 140726868559200 140726868559200 140726868561899 0
/proc/19480/statm: 2378 346 289 221 0 87 0
[pid=19481] ppid=19480 vsize=13801768 CPUtime=6.9 cores=0-3,8-11
/proc/19481/stat : 19481 (java) S 19480 19480 18810 0 -1 1077944320 26519 0 0 0 680 10 0 0 20 0 28 0 3567510 14133010432 51432 33554432000 4194304 4196468 140725716045328 140725716027872 139802106449655 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
/proc/19481/statm: 3450442 51432 3216 1 0 3437675 0
[pid=19481/tid=19482] ppid=19480 vsize=13801768 CPUtime=0.93 cores=0-3,8-11
/proc/19481/task/19482/stat : 19482 (java) S 19480 19480 18810 0 -1 1077944384 7081 0 0 0 90 3 0 0 20 0 28 0 3567511 14133010432 51432 33554432000 4194304 4196468 140725716045328 139802110690432 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19484] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19484/stat : 19484 (java) S 19480 19480 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 51432 33554432000 4194304 4196468 140725716045328 139802059070480 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19485] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19485/stat : 19485 (java) S 19480 19480 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801704987792 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19486] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19486/stat : 19486 (java) S 19480 19480 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801703934736 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19487] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19487/stat : 19487 (java) S 19480 19480 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801702882192 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19488] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19488/stat : 19488 (java) S 19480 19480 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801701829136 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19489] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19489/stat : 19489 (java) S 19480 19480 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801700776592 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19490] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19490/stat : 19490 (java) S 19480 19480 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801699723536 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19491] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19491/stat : 19491 (java) S 19480 19480 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801698670992 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19492] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19492/stat : 19492 (java) S 19480 19480 18810 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 3567514 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801300208368 139802106460802 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19493] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19493/stat : 19493 (java) S 19480 19480 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3567515 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801299154592 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19494] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19494/stat : 19494 (java) S 19480 19480 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3567515 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801298101488 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19495] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19495/stat : 19495 (java) S 19480 19480 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3567519 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801297050064 139802106468251 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19496] ppid=19480 vsize=13801768 CPUtime=0.77 cores=0-3,8-11
/proc/19481/task/19496/stat : 19496 (java) R 19480 19480 18810 0 -1 4202560 5041 0 0 0 76 1 0 0 20 0 28 0 3567519 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801295981720 139802091557699 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19497] ppid=19480 vsize=13801768 CPUtime=0.75 cores=0-3,8-11
/proc/19481/task/19497/stat : 19497 (java) R 19480 19480 18810 0 -1 4202560 5074 0 0 0 74 1 0 0 20 0 28 0 3567519 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801294928952 139802091552069 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19498] ppid=19480 vsize=13801768 CPUtime=0.78 cores=0-3,8-11
/proc/19481/task/19498/stat : 19498 (java) R 19480 19480 18810 0 -1 4202560 3437 0 0 0 78 0 0 0 20 0 28 0 3567519 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801293876120 139802091564927 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19499] ppid=19480 vsize=13801768 CPUtime=0.68 cores=0-3,8-11
/proc/19481/task/19499/stat : 19499 (java) S 19480 19480 18810 0 -1 1077944384 4102 0 0 0 67 1 0 0 20 0 28 0 3567519 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801292839024 139802106460802 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19500] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19500/stat : 19500 (java) S 19480 19480 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3567519 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801291787232 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19501] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19501/stat : 19501 (java) S 19480 19480 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3567520 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801290734768 139802106460802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19502] ppid=19480 vsize=13801768 CPUtime=0.35 cores=0-3,8-11
/proc/19481/task/19502/stat : 19502 (java) R 19480 19480 18810 0 -1 4202560 70 0 0 0 35 0 0 0 20 0 28 0 3567607 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801282719648 139801745358247 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19503] ppid=19480 vsize=13801768 CPUtime=0.38 cores=0-3,8-11
/proc/19481/task/19503/stat : 19503 (java) R 19480 19480 18810 0 -1 4202560 45 0 0 0 38 0 0 0 20 0 28 0 3567607 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801281666352 139801745358479 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19504] ppid=19480 vsize=13801768 CPUtime=0.41 cores=0-3,8-11
/proc/19481/task/19504/stat : 19504 (java) R 19480 19480 18810 0 -1 4202560 97 0 0 0 41 0 0 0 20 0 28 0 3567607 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801280616360 139801745359214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19505] ppid=19480 vsize=13801768 CPUtime=0.37 cores=0-3,8-11
/proc/19481/task/19505/stat : 19505 (java) R 19480 19480 18810 0 -1 4202560 78 0 0 0 37 0 0 0 20 0 28 0 3567607 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801279561032 139801745597680 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19506] ppid=19480 vsize=13801768 CPUtime=0.39 cores=0-3,8-11
/proc/19481/task/19506/stat : 19506 (java) R 19480 19480 18810 0 -1 4202560 94 0 0 0 39 0 0 0 20 0 28 0 3567607 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801278510952 139801745358590 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19507] ppid=19480 vsize=13801768 CPUtime=0.34 cores=0-3,8-11
/proc/19481/task/19507/stat : 19507 (java) R 19480 19480 18810 0 -1 4202560 28 0 0 0 34 0 0 0 20 0 28 0 3567607 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801277455816 139801745357652 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19508] ppid=19480 vsize=13801768 CPUtime=0.3 cores=0-3,8-11
/proc/19481/task/19508/stat : 19508 (java) R 19480 19480 18810 0 -1 4202560 35 0 0 0 30 0 0 0 20 0 28 0 3567607 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801276389520 139801745357652 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19509] ppid=19480 vsize=13801768 CPUtime=0.35 cores=0-3,8-11
/proc/19481/task/19509/stat : 19509 (java) R 19480 19480 18810 0 -1 4202560 28 0 0 0 35 0 0 0 20 0 28 0 3567607 14133010432 51432 33554432000 4194304 4196468 140725716045328 139801275350488 139801745357563 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
Current children cumulated CPU time (s) 6.9
Current children cumulated vsize (KiB) 13811280
[startup+3.10145 s]
/proc/loadavg: 14.88 11.13 7.58 20/305 19509
/proc/meminfo: memFree=30391080/32770624 swapFree=5944/210056
[pid=19480] ppid=19477 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/19480/stat : 19480 (xcsp3-exec) S 19477 19480 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3567510 9740288 346 33554432000 4194304 5098028 140726868554800 140726868552904 140654813483644 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 32243712 140726868558991 140726868559200 140726868559200 140726868561899 0
/proc/19480/statm: 2378 346 289 221 0 87 0
[pid=19481] ppid=19480 vsize=13801768 CPUtime=19.62 cores=0-3,8-11
/proc/19481/stat : 19481 (java) S 19480 19480 18810 0 -1 1077944320 39978 0 0 0 1950 12 0 0 20 0 28 0 3567510 14133010432 53570 33554432000 4194304 4196468 140725716045328 140725716027872 139802106449655 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
/proc/19481/statm: 3450442 53570 3224 1 0 3437675 0
[pid=19481/tid=19482] ppid=19480 vsize=13801768 CPUtime=0.93 cores=0-3,8-11
/proc/19481/task/19482/stat : 19482 (java) S 19480 19480 18810 0 -1 1077944384 7081 0 0 0 90 3 0 0 20 0 28 0 3567511 14133010432 53570 33554432000 4194304 4196468 140725716045328 139802110690432 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19484] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19484/stat : 19484 (java) S 19480 19480 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 53570 33554432000 4194304 4196468 140725716045328 139802059070480 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19485] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19485/stat : 19485 (java) S 19480 19480 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801704987792 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19486] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19486/stat : 19486 (java) S 19480 19480 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801703934736 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19487] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19487/stat : 19487 (java) S 19480 19480 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801702882192 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19488] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19488/stat : 19488 (java) S 19480 19480 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801701829136 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19489] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19489/stat : 19489 (java) S 19480 19480 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801700776592 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19490] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19490/stat : 19490 (java) S 19480 19480 18810 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801699723536 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19491] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19491/stat : 19491 (java) S 19480 19480 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3567512 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801698670992 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19492] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19492/stat : 19492 (java) S 19480 19480 18810 0 -1 1077944384 32 0 0 0 0 0 0 0 20 0 28 0 3567514 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801300208368 139802106460802 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19493] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19493/stat : 19493 (java) S 19480 19480 18810 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 3567515 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801299154592 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19494] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19494/stat : 19494 (java) S 19480 19480 18810 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 3567515 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801298101488 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19495] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19495/stat : 19495 (java) S 19480 19480 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3567519 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801297050064 139802106468251 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19496] ppid=19480 vsize=13801768 CPUtime=2.01 cores=0-3,8-11
/proc/19481/task/19496/stat : 19496 (java) R 19480 19480 18810 0 -1 4202560 8185 0 0 0 199 2 0 0 20 0 28 0 3567519 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801295983328 139802087993859 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19497] ppid=19480 vsize=13801768 CPUtime=1.84 cores=0-3,8-11
/proc/19481/task/19497/stat : 19497 (java) R 19480 19480 18810 0 -1 4202560 10284 0 0 0 182 2 0 0 20 0 28 0 3567519 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801294937112 139802089936196 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19498] ppid=19480 vsize=13801768 CPUtime=1.94 cores=0-3,8-11
/proc/19481/task/19498/stat : 19498 (java) R 19480 19480 18810 0 -1 4202560 7119 0 0 0 193 1 0 0 20 0 28 0 3567519 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801293880016 139802090738513 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19499] ppid=19480 vsize=13801768 CPUtime=0.77 cores=0-3,8-11
/proc/19481/task/19499/stat : 19499 (java) S 19480 19480 18810 0 -1 1077944384 4578 0 0 0 76 1 0 0 20 0 28 0 3567519 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801292839024 139802106460802 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19500] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19500/stat : 19500 (java) S 19480 19480 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3567519 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801291787232 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19501] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19501/stat : 19501 (java) S 19480 19480 18810 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 3567520 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801290734768 139802106460802 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19502] ppid=19480 vsize=13801768 CPUtime=1.54 cores=0-3,8-11
/proc/19481/task/19502/stat : 19502 (java) R 19480 19480 18810 0 -1 4202560 185 0 0 0 154 0 0 0 20 0 28 0 3567607 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801282717912 139801739249578 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19503] ppid=19480 vsize=13801768 CPUtime=1.6 cores=0-3,8-11
/proc/19481/task/19503/stat : 19503 (java) R 19480 19480 18810 0 -1 4202560 121 0 0 0 160 0 0 0 20 0 28 0 3567607 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801281669264 139801739164940 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19504] ppid=19480 vsize=13801768 CPUtime=1.51 cores=0-3,8-11
/proc/19481/task/19504/stat : 19504 (java) R 19480 19480 18810 0 -1 4202560 152 0 0 0 151 0 0 0 20 0 28 0 3567607 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801280616376 139801744973447 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19505] ppid=19480 vsize=13801768 CPUtime=1.4 cores=0-3,8-11
/proc/19481/task/19505/stat : 19505 (java) R 19480 19480 18810 0 -1 4202560 162 0 0 0 140 0 0 0 20 0 28 0 3567607 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801279563528 139801739164997 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19506] ppid=19480 vsize=13801768 CPUtime=1.48 cores=0-3,8-11
/proc/19481/task/19506/stat : 19506 (java) R 19480 19480 18810 0 -1 4202560 303 0 0 0 148 0 0 0 20 0 28 0 3567607 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801278509416 139801739268958 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19507] ppid=19480 vsize=13801768 CPUtime=1.44 cores=0-3,8-11
/proc/19481/task/19507/stat : 19507 (java) R 19480 19480 18810 0 -1 4202560 166 0 0 0 144 0 0 0 20 0 28 0 3567607 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801277458440 139801739164960 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19508] ppid=19480 vsize=13801768 CPUtime=1.59 cores=0-3,8-11
/proc/19481/task/19508/stat : 19508 (java) R 19480 19480 18810 0 -1 4202560 116 0 0 0 159 0 0 0 20 0 28 0 3567607 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801276405600 139801739165001 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19509] ppid=19480 vsize=13801768 CPUtime=1.49 cores=0-3,8-11
/proc/19481/task/19509/stat : 19509 (java) R 19480 19480 18810 0 -1 4202560 176 0 0 0 149 0 0 0 20 0 28 0 3567607 14133010432 53570 33554432000 4194304 4196468 140725716045328 139801275351576 139801739270303 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
Current children cumulated CPU time (s) 19.62
Current children cumulated vsize (KiB) 13811280
[startup+6.30356 s]
/proc/loadavg: 14.88 11.13 7.58 17/305 19509
/proc/meminfo: memFree=30337888/32770624 swapFree=5944/210068
################
# More data... #
################
[pid=19481/tid=19508] ppid=19480 vsize=13801768 CPUtime=277.08 cores=0-3,8-11
/proc/19481/task/19508/stat : 19508 (java) R 19480 19480 18810 0 -1 4202560 1145 0 0 0 27707 1 0 0 20 0 28 0 3567607 14133010432 81879 33554432000 4194304 4196468 140725716045328 139801276403784 139801747173638 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19509] ppid=19480 vsize=13801768 CPUtime=277.62 cores=0-3,8-11
/proc/19481/task/19509/stat : 19509 (java) R 19480 19480 18810 0 -1 4202560 1221 0 0 0 27760 2 0 0 20 0 28 0 3567607 14133010432 81879 33554432000 4194304 4196468 140725716045328 139801275351336 139801747206803 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
Current children cumulated CPU time (s) 2235.64
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+303.101 s]
/proc/loadavg: 15.94 14.22 9.91 17/303 19612
/proc/meminfo: memFree=30932836/32770624 swapFree=5944/210480
[pid=19480] ppid=19477 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/19480/stat : 19480 (xcsp3-exec) S 19477 19480 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3567510 9740288 346 33554432000 4194304 5098028 140726868554800 140726868552904 140654813483644 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 32243712 140726868558991 140726868559200 140726868559200 140726868561899 0
/proc/19480/statm: 2378 346 289 221 0 87 0
[pid=19481] ppid=19480 vsize=13801768 CPUtime=2400.4 cores=0-3,8-11
/proc/19481/stat : 19481 (java) S 19480 19480 18810 0 -1 1077944320 92963 0 0 0 239863 177 0 0 20 0 28 0 3567510 14133010432 83700 33554432000 4194304 4196468 140725716045328 140725716027872 139802106449655 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
/proc/19481/statm: 3450442 83700 3277 1 0 3437675 0
[pid=19481/tid=19482] ppid=19480 vsize=13801768 CPUtime=0.93 cores=0-3,8-11
/proc/19481/task/19482/stat : 19482 (java) S 19480 19480 18810 0 -1 1077944384 7081 0 0 0 90 3 0 0 20 0 28 0 3567511 14133010432 83700 33554432000 4194304 4196468 140725716045328 139802110690432 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19484] ppid=19480 vsize=13801768 CPUtime=0.44 cores=0-3,8-11
/proc/19481/task/19484/stat : 19484 (java) S 19480 19480 18810 0 -1 1077944384 1710 0 0 0 35 9 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139802059070480 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19485] ppid=19480 vsize=13801768 CPUtime=0.44 cores=0-3,8-11
/proc/19481/task/19485/stat : 19485 (java) S 19480 19480 18810 0 -1 1077944384 926 0 0 0 35 9 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801704987792 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19486] ppid=19480 vsize=13801768 CPUtime=0.42 cores=0-3,8-11
/proc/19481/task/19486/stat : 19486 (java) S 19480 19480 18810 0 -1 1077944384 653 0 0 0 34 8 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801703934736 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19487] ppid=19480 vsize=13801768 CPUtime=0.43 cores=0-3,8-11
/proc/19481/task/19487/stat : 19487 (java) S 19480 19480 18810 0 -1 1077944384 749 0 0 0 35 8 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801702882192 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19488] ppid=19480 vsize=13801768 CPUtime=0.45 cores=0-3,8-11
/proc/19481/task/19488/stat : 19488 (java) S 19480 19480 18810 0 -1 1077944384 1060 0 0 0 37 8 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801701829136 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19489] ppid=19480 vsize=13801768 CPUtime=0.44 cores=0-3,8-11
/proc/19481/task/19489/stat : 19489 (java) S 19480 19480 18810 0 -1 1077944384 2903 0 0 0 35 9 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801700776592 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19490] ppid=19480 vsize=13801768 CPUtime=0.43 cores=0-3,8-11
/proc/19481/task/19490/stat : 19490 (java) S 19480 19480 18810 0 -1 1077944384 1005 0 0 0 36 7 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801699723536 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19491] ppid=19480 vsize=13801768 CPUtime=0.44 cores=0-3,8-11
/proc/19481/task/19491/stat : 19491 (java) S 19480 19480 18810 0 -1 1077944384 1278 0 0 0 35 9 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801698670992 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19492] ppid=19480 vsize=13801768 CPUtime=1.22 cores=0-3,8-11
/proc/19481/task/19492/stat : 19492 (java) S 19480 19480 18810 0 -1 1077944384 2610 0 0 0 50 72 0 0 20 0 28 0 3567514 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801300208368 139802106460802 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19493] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19493/stat : 19493 (java) S 19480 19480 18810 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 3567515 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801299154656 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19494] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19494/stat : 19494 (java) S 19480 19480 18810 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3567515 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801298101504 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19495] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19495/stat : 19495 (java) S 19480 19480 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3567519 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801297050064 139802106468251 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19496] ppid=19480 vsize=13801768 CPUtime=4.47 cores=0-3,8-11
/proc/19481/task/19496/stat : 19496 (java) S 19480 19480 18810 0 -1 1077944384 14935 0 0 0 445 2 0 0 20 0 28 0 3567519 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801295997168 139802106460802 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 14 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19497] ppid=19480 vsize=13801768 CPUtime=3.82 cores=0-3,8-11
/proc/19481/task/19497/stat : 19497 (java) S 19480 19480 18810 0 -1 1077944384 17185 0 0 0 379 3 0 0 20 0 28 0 3567519 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801294944624 139802106460802 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 8 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19498] ppid=19480 vsize=13801768 CPUtime=3.81 cores=0-3,8-11
/proc/19481/task/19498/stat : 19498 (java) S 19480 19480 18810 0 -1 1077944384 15843 0 0 0 379 2 0 0 20 0 28 0 3567519 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801293891568 139802106460802 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 11 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19499] ppid=19480 vsize=13801768 CPUtime=1.18 cores=0-3,8-11
/proc/19481/task/19499/stat : 19499 (java) S 19480 19480 18810 0 -1 1077944384 11018 0 0 0 116 2 0 0 20 0 28 0 3567519 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801292839024 139802106460802 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 8 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19500] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19500/stat : 19500 (java) S 19480 19480 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3567519 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801291787232 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19501] ppid=19480 vsize=13801768 CPUtime=0.12 cores=0-3,8-11
/proc/19481/task/19501/stat : 19501 (java) S 19480 19480 18810 0 -1 1077944384 903 0 0 0 7 5 0 0 20 0 28 0 3567520 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801290734768 139802106460802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19502] ppid=19480 vsize=13801768 CPUtime=296.97 cores=0-3,8-11
/proc/19481/task/19502/stat : 19502 (java) R 19480 19480 18810 0 -1 4202560 1483 0 0 0 29696 1 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801282718840 139801750230295 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19503] ppid=19480 vsize=13801768 CPUtime=297.7 cores=0-3,8-11
/proc/19481/task/19503/stat : 19503 (java) R 19480 19480 18810 0 -1 4202560 1130 0 0 0 29769 1 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801281667448 139801747207108 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19504] ppid=19480 vsize=13801768 CPUtime=297.57 cores=0-3,8-11
/proc/19481/task/19504/stat : 19504 (java) R 19480 19480 18810 0 -1 4202560 1611 0 0 0 29755 2 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801280616704 139801750230330 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19505] ppid=19480 vsize=13801768 CPUtime=297.9 cores=0-3,8-11
/proc/19481/task/19505/stat : 19505 (java) R 19480 19480 18810 0 -1 4202560 2865 0 0 0 29789 1 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801279561312 139801750230322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19506] ppid=19480 vsize=13801768 CPUtime=297.34 cores=0-3,8-11
/proc/19481/task/19506/stat : 19506 (java) R 19480 19480 18810 0 -1 4202560 1350 0 0 0 29733 1 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801278508504 139801750230315 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19507] ppid=19480 vsize=13801768 CPUtime=298 cores=0-3,8-11
/proc/19481/task/19507/stat : 19507 (java) R 19480 19480 18810 0 -1 4202560 916 0 0 0 29798 2 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801277456088 139801747207030 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19508] ppid=19480 vsize=13801768 CPUtime=297.44 cores=0-3,8-11
/proc/19481/task/19508/stat : 19508 (java) R 19480 19480 18810 0 -1 4202560 1146 0 0 0 29743 1 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801276403784 139801747206756 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19509] ppid=19480 vsize=13801768 CPUtime=298.23 cores=0-3,8-11
/proc/19481/task/19509/stat : 19509 (java) R 19480 19480 18810 0 -1 4202560 1226 0 0 0 29821 2 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801275351512 139801747206997 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
Current children cumulated CPU time (s) 2400.4
Current children cumulated vsize (KiB) 13811280
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 19481 sig 9
??? kill 19480 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+303.101 s]
/proc/loadavg: 15.94 14.22 9.91 17/303 19612
/proc/meminfo: memFree=30932836/32770624 swapFree=5944/210480
[pid=19480] ppid=19477 vsize=9512 CPUtime=0 cores=0-3,8-11
/proc/19480/stat : 19480 (xcsp3-exec) S 19477 19480 18810 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3567510 9740288 346 33554432000 4194304 5098028 140726868554800 140726868552904 140654813483644 0 65536 4100 65538 18446744071579417331 0 0 17 10 0 0 0 0 0 7196144 7232144 32243712 140726868558991 140726868559200 140726868559200 140726868561899 0
/proc/19480/statm: 2378 346 289 221 0 87 0
[pid=19481] ppid=19480 vsize=13801768 CPUtime=2400.4 cores=0-3,8-11
/proc/19481/stat : 19481 (java) S 19480 19480 18810 0 -1 1077944320 92963 0 0 0 239863 177 0 0 20 0 28 0 3567510 14133010432 83700 33554432000 4194304 4196468 140725716045328 140725716027872 139802106449655 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
/proc/19481/statm: 3450442 83700 3277 1 0 3437675 0
[pid=19481/tid=19482] ppid=19480 vsize=13801768 CPUtime=0.93 cores=0-3,8-11
/proc/19481/task/19482/stat : 19482 (java) S 19480 19480 18810 0 -1 1077944384 7081 0 0 0 90 3 0 0 20 0 28 0 3567511 14133010432 83700 33554432000 4194304 4196468 140725716045328 139802110690432 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19484] ppid=19480 vsize=13801768 CPUtime=0.44 cores=0-3,8-11
/proc/19481/task/19484/stat : 19484 (java) S 19480 19480 18810 0 -1 1077944384 1710 0 0 0 35 9 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139802059070480 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19485] ppid=19480 vsize=13801768 CPUtime=0.44 cores=0-3,8-11
/proc/19481/task/19485/stat : 19485 (java) S 19480 19480 18810 0 -1 1077944384 926 0 0 0 35 9 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801704987792 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19486] ppid=19480 vsize=13801768 CPUtime=0.42 cores=0-3,8-11
/proc/19481/task/19486/stat : 19486 (java) S 19480 19480 18810 0 -1 1077944384 653 0 0 0 34 8 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801703934736 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19487] ppid=19480 vsize=13801768 CPUtime=0.43 cores=0-3,8-11
/proc/19481/task/19487/stat : 19487 (java) S 19480 19480 18810 0 -1 1077944384 749 0 0 0 35 8 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801702882192 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19488] ppid=19480 vsize=13801768 CPUtime=0.45 cores=0-3,8-11
/proc/19481/task/19488/stat : 19488 (java) S 19480 19480 18810 0 -1 1077944384 1060 0 0 0 37 8 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801701829136 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19489] ppid=19480 vsize=13801768 CPUtime=0.44 cores=0-3,8-11
/proc/19481/task/19489/stat : 19489 (java) S 19480 19480 18810 0 -1 1077944384 2903 0 0 0 35 9 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801700776592 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19490] ppid=19480 vsize=13801768 CPUtime=0.43 cores=0-3,8-11
/proc/19481/task/19490/stat : 19490 (java) S 19480 19480 18810 0 -1 1077944384 1005 0 0 0 36 7 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801699723536 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19491] ppid=19480 vsize=13801768 CPUtime=0.44 cores=0-3,8-11
/proc/19481/task/19491/stat : 19491 (java) S 19480 19480 18810 0 -1 1077944384 1278 0 0 0 35 9 0 0 20 0 28 0 3567512 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801698670992 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19492] ppid=19480 vsize=13801768 CPUtime=1.22 cores=0-3,8-11
/proc/19481/task/19492/stat : 19492 (java) S 19480 19480 18810 0 -1 1077944384 2610 0 0 0 50 72 0 0 20 0 28 0 3567514 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801300208368 139802106460802 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19493] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19493/stat : 19493 (java) S 19480 19480 18810 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 3567515 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801299154656 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19494] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19494/stat : 19494 (java) S 19480 19480 18810 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 3567515 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801298101504 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19495] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19495/stat : 19495 (java) S 19480 19480 18810 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3567519 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801297050064 139802106468251 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19496] ppid=19480 vsize=13801768 CPUtime=4.47 cores=0-3,8-11
/proc/19481/task/19496/stat : 19496 (java) S 19480 19480 18810 0 -1 1077944384 14935 0 0 0 445 2 0 0 20 0 28 0 3567519 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801295997168 139802106460802 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 14 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19497] ppid=19480 vsize=13801768 CPUtime=3.82 cores=0-3,8-11
/proc/19481/task/19497/stat : 19497 (java) S 19480 19480 18810 0 -1 1077944384 17185 0 0 0 379 3 0 0 20 0 28 0 3567519 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801294944624 139802106460802 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 8 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19498] ppid=19480 vsize=13801768 CPUtime=3.81 cores=0-3,8-11
/proc/19481/task/19498/stat : 19498 (java) S 19480 19480 18810 0 -1 1077944384 15843 0 0 0 379 2 0 0 20 0 28 0 3567519 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801293891568 139802106460802 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 11 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19499] ppid=19480 vsize=13801768 CPUtime=1.18 cores=0-3,8-11
/proc/19481/task/19499/stat : 19499 (java) S 19480 19480 18810 0 -1 1077944384 11018 0 0 0 116 2 0 0 20 0 28 0 3567519 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801292839024 139802106460802 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 8 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19500] ppid=19480 vsize=13801768 CPUtime=0 cores=0-3,8-11
/proc/19481/task/19500/stat : 19500 (java) S 19480 19480 18810 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3567519 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801291787232 139802106459861 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19501] ppid=19480 vsize=13801768 CPUtime=0.12 cores=0-3,8-11
/proc/19481/task/19501/stat : 19501 (java) S 19480 19480 18810 0 -1 1077944384 903 0 0 0 7 5 0 0 20 0 28 0 3567520 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801290734768 139802106460802 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 13 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19502] ppid=19480 vsize=13801768 CPUtime=296.97 cores=0-3,8-11
/proc/19481/task/19502/stat : 19502 (java) R 19480 19480 18810 0 -1 4202560 1483 0 0 0 29696 1 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801282718840 139801750230295 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19503] ppid=19480 vsize=13801768 CPUtime=297.7 cores=0-3,8-11
/proc/19481/task/19503/stat : 19503 (java) R 19480 19480 18810 0 -1 4202560 1130 0 0 0 29769 1 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801281667448 139801747207108 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19504] ppid=19480 vsize=13801768 CPUtime=297.57 cores=0-3,8-11
/proc/19481/task/19504/stat : 19504 (java) R 19480 19480 18810 0 -1 4202560 1611 0 0 0 29755 2 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801280616704 139801750230330 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19505] ppid=19480 vsize=13801768 CPUtime=297.9 cores=0-3,8-11
/proc/19481/task/19505/stat : 19505 (java) R 19480 19480 18810 0 -1 4202560 2865 0 0 0 29789 1 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801279561312 139801750230322 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19506] ppid=19480 vsize=13801768 CPUtime=297.34 cores=0-3,8-11
/proc/19481/task/19506/stat : 19506 (java) R 19480 19480 18810 0 -1 4202560 1350 0 0 0 29733 1 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801278508504 139801750230315 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19507] ppid=19480 vsize=13801768 CPUtime=298 cores=0-3,8-11
/proc/19481/task/19507/stat : 19507 (java) R 19480 19480 18810 0 -1 4202560 916 0 0 0 29798 2 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801277456088 139801747207030 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19508] ppid=19480 vsize=13801768 CPUtime=297.44 cores=0-3,8-11
/proc/19481/task/19508/stat : 19508 (java) R 19480 19480 18810 0 -1 4202560 1146 0 0 0 29743 1 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801276403784 139801747206756 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
[pid=19481/tid=19509] ppid=19480 vsize=13801768 CPUtime=298.23 cores=0-3,8-11
/proc/19481/task/19509/stat : 19509 (java) R 19480 19480 18810 0 -1 4202560 1226 0 0 0 29821 2 0 0 20 0 28 0 3567607 14133010432 83700 33554432000 4194304 4196468 140725716045328 139801275351512 139801747206997 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 13680640 140725716051132 140725716051308 140725716051308 140725716053967 0
Current children cumulated CPU time (s) 2400.4
Current children cumulated vsize (KiB) 13811280
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19480 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1942
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1529
# CPU time returned by wait4() is 0.003471
# while last known CPU time is 2400.4
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 303.112
CPU time (s): 2400.4
CPU user time (s): 2398.63
CPU system time (s): 1.77
CPU usage (%): 791.919
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001942
system time used= 0.001529
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.58872 second user time and 4.05085 second system time
The end