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-4249248-1500694059/watcher-4249248-1500694059 -o /tmp/evaluation-result-4249248-1500694059/solver-4249248-1500694059 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node124-1500683887-7653 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1424740428 HOME/instance-4249248-1500694059.xml
pid=12578
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: 15.90 14.38 13.30 11/271 12581
/proc/meminfo: memFree=27637788/32770624 swapFree=5800/285276
[pid=12581] ppid=12578 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12581/stat : 12581 (xcsp3-exec) S 12578 12581 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4673624 9740288 346 33554432000 4194304 5098028 140732215309424 140732215307528 139928097612412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20475904 140732215313550 140732215313760 140732215313760 140732215316459 0
/proc/12581/statm: 2378 346 289 221 0 87 0
[startup+0.100117 s]
/proc/loadavg: 15.90 14.38 13.30 11/271 12581
/proc/meminfo: memFree=27637788/32770624 swapFree=5800/285276
[pid=12581] ppid=12578 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12581/stat : 12581 (xcsp3-exec) S 12578 12581 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4673624 9740288 346 33554432000 4194304 5098028 140732215309424 140732215307528 139928097612412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20475904 140732215313550 140732215313760 140732215313760 140732215316459 0
/proc/12581/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200341 s]
/proc/loadavg: 15.90 14.38 13.30 11/271 12581
/proc/meminfo: memFree=27637788/32770624 swapFree=5800/285276
[pid=12581] ppid=12578 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12581/stat : 12581 (xcsp3-exec) S 12578 12581 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4673624 9740288 346 33554432000 4194304 5098028 140732215309424 140732215307528 139928097612412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20475904 140732215313550 140732215313760 140732215313760 140732215316459 0
/proc/12581/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300277 s]
/proc/loadavg: 15.90 14.38 13.30 11/271 12581
/proc/meminfo: memFree=27637788/32770624 swapFree=5800/285276
[pid=12581] ppid=12578 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12581/stat : 12581 (xcsp3-exec) S 12578 12581 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4673624 9740288 346 33554432000 4194304 5098028 140732215309424 140732215307528 139928097612412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20475904 140732215313550 140732215313760 140732215313760 140732215316459 0
/proc/12581/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700276 s]
/proc/loadavg: 15.90 14.38 13.30 11/271 12581
/proc/meminfo: memFree=27637788/32770624 swapFree=5800/285276
[pid=12581] ppid=12578 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12581/stat : 12581 (xcsp3-exec) S 12578 12581 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4673624 9740288 346 33554432000 4194304 5098028 140732215309424 140732215307528 139928097612412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20475904 140732215313550 140732215313760 140732215313760 140732215316459 0
/proc/12581/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50085 s]
/proc/loadavg: 15.90 14.38 13.30 10/292 12602
/proc/meminfo: memFree=27554976/32770624 swapFree=5800/285216
[pid=12581] ppid=12578 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12581/stat : 12581 (xcsp3-exec) S 12578 12581 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4673624 9740288 346 33554432000 4194304 5098028 140732215309424 140732215307528 139928097612412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20475904 140732215313550 140732215313760 140732215313760 140732215316459 0
/proc/12581/statm: 2378 346 289 221 0 87 0
[pid=12582] ppid=12581 vsize=13269256 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/12582/stat : 12582 (java) S 12581 12581 7621 0 -1 1077944320 13571 0 0 0 245 6 0 0 20 0 20 0 4673624 13587718144 28432 33554432000 4194304 4196468 140727607798944 140727607781488 140394691399415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
/proc/12582/statm: 3317314 28432 3187 1 0 3304547 0
[pid=12582/tid=12583] ppid=12581 vsize=13269256 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12583/stat : 12583 (java) R 12581 12581 7621 0 -1 4202560 6875 0 0 0 144 3 0 0 20 0 20 0 4673624 13587718144 28432 33554432000 4194304 4196468 140727607798944 140394695637416 140394314033754 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12585] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12585/stat : 12585 (java) S 12581 12581 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4673625 13587718144 28432 33554432000 4194304 4196468 140727607798944 140394630363536 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12586] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12586/stat : 12586 (java) S 12581 12581 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4673625 13587718144 28432 33554432000 4194304 4196468 140727607798944 140394289912080 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12587] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12587/stat : 12587 (java) S 12581 12581 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4673625 13587718144 28432 33554432000 4194304 4196468 140727607798944 140394288859792 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12588] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12588/stat : 12588 (java) S 12581 12581 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4673625 13587718144 28432 33554432000 4194304 4196468 140727607798944 140394287806992 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12589] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12589/stat : 12589 (java) S 12581 12581 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4673625 13587718144 28432 33554432000 4194304 4196468 140727607798944 140394286754704 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12590] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12590/stat : 12590 (java) S 12581 12581 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4673625 13587718144 28432 33554432000 4194304 4196468 140727607798944 140394285701904 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12591] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12591/stat : 12591 (java) S 12581 12581 7621 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4673625 13587718144 28432 33554432000 4194304 4196468 140727607798944 140394284649616 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12592] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12592/stat : 12592 (java) S 12581 12581 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4673625 13587718144 28432 33554432000 4194304 4196468 140727607798944 140394283596816 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12593] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12593/stat : 12593 (java) S 12581 12581 7621 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 4673628 13587718144 28432 33554432000 4194304 4196468 140727607798944 140393884649584 140394691410562 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12594] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12594/stat : 12594 (java) S 12581 12581 7621 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4673628 13587718144 28432 33554432000 4194304 4196468 140727607798944 140393883595552 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12595] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12595/stat : 12595 (java) S 12581 12581 7621 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4673629 13587718144 28432 33554432000 4194304 4196468 140727607798944 140393882543216 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12596] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12596/stat : 12596 (java) S 12581 12581 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4673632 13587718144 28432 33554432000 4194304 4196468 140727607798944 140393881491536 140394691418011 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12597] ppid=12581 vsize=13269256 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12597/stat : 12597 (java) S 12581 12581 7621 0 -1 1077944384 1309 0 0 0 26 0 0 0 20 0 20 0 4673632 13587718144 28432 33554432000 4194304 4196468 140727607798944 140393880439408 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12598] ppid=12581 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12598/stat : 12598 (java) S 12581 12581 7621 0 -1 1077944384 918 0 0 0 21 0 0 0 20 0 20 0 4673632 13587718144 28432 33554432000 4194304 4196468 140727607798944 140393879386608 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12599] ppid=12581 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12599/stat : 12599 (java) S 12581 12581 7621 0 -1 1077944384 953 0 0 0 21 0 0 0 20 0 20 0 4673632 13587718144 28432 33554432000 4194304 4196468 140727607798944 140393878334320 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12600] ppid=12581 vsize=13269256 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12600/stat : 12600 (java) S 12581 12581 7621 0 -1 1077944384 2198 0 0 0 31 0 0 0 20 0 20 0 4673632 13587718144 28432 33554432000 4194304 4196468 140727607798944 140393877281520 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12601] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12601/stat : 12601 (java) S 12581 12581 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4673633 13587718144 28432 33554432000 4194304 4196468 140727607798944 140393876228448 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12602] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12602/stat : 12602 (java) S 12581 12581 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4673633 13587718144 28432 33554432000 4194304 4196468 140727607798944 140393875175728 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 13278768
[startup+3.10079 s]
/proc/loadavg: 15.90 14.38 13.30 10/292 12602
/proc/meminfo: memFree=27491616/32770624 swapFree=5800/285216
[pid=12581] ppid=12578 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12581/stat : 12581 (xcsp3-exec) S 12578 12581 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4673624 9740288 346 33554432000 4194304 5098028 140732215309424 140732215307528 139928097612412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20475904 140732215313550 140732215313760 140732215313760 140732215316459 0
/proc/12581/statm: 2378 346 289 221 0 87 0
[pid=12582] ppid=12581 vsize=13269256 CPUtime=5.25 cores=1,3,5,7,9,11,13,15
/proc/12582/stat : 12582 (java) S 12581 12581 7621 0 -1 1077944320 21036 0 0 0 482 43 0 0 20 0 20 0 4673624 13587718144 63582 33554432000 4194304 4196468 140727607798944 140727607781488 140394691399415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
/proc/12582/statm: 3317314 63582 3235 1 0 3304547 0
[pid=12582/tid=12583] ppid=12581 vsize=13269256 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12583/stat : 12583 (java) R 12581 12581 7621 0 -1 4202560 8704 0 0 0 294 5 0 0 20 0 20 0 4673624 13587718144 63582 33554432000 4194304 4196468 140727607798944 140394695630064 140394312528046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12585] ppid=12581 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12585/stat : 12585 (java) S 12581 12581 7621 0 -1 1077944384 320 0 0 0 3 4 0 0 20 0 20 0 4673625 13587718144 63582 33554432000 4194304 4196468 140727607798944 140394630363536 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12586] ppid=12581 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12586/stat : 12586 (java) S 12581 12581 7621 0 -1 1077944384 155 0 0 0 3 4 0 0 20 0 20 0 4673625 13587718144 63582 33554432000 4194304 4196468 140727607798944 140394289912080 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12587] ppid=12581 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12587/stat : 12587 (java) S 12581 12581 7621 0 -1 1077944384 78 0 0 0 3 4 0 0 20 0 20 0 4673625 13587718144 63582 33554432000 4194304 4196468 140727607798944 140394288859792 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12588] ppid=12581 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12588/stat : 12588 (java) S 12581 12581 7621 0 -1 1077944384 51 0 0 0 3 4 0 0 20 0 20 0 4673625 13587718144 63582 33554432000 4194304 4196468 140727607798944 140394287806992 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12589] ppid=12581 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12589/stat : 12589 (java) S 12581 12581 7621 0 -1 1077944384 57 0 0 0 3 4 0 0 20 0 20 0 4673625 13587718144 63582 33554432000 4194304 4196468 140727607798944 140394286754704 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12590] ppid=12581 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12590/stat : 12590 (java) S 12581 12581 7621 0 -1 1077944384 78 0 0 0 3 4 0 0 20 0 20 0 4673625 13587718144 63582 33554432000 4194304 4196468 140727607798944 140394285701904 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12591] ppid=12581 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12591/stat : 12591 (java) S 12581 12581 7621 0 -1 1077944384 66 0 0 0 3 4 0 0 20 0 20 0 4673625 13587718144 63582 33554432000 4194304 4196468 140727607798944 140394284649616 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12592] ppid=12581 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12592/stat : 12592 (java) S 12581 12581 7621 0 -1 1077944384 53 0 0 0 2 4 0 0 20 0 20 0 4673625 13587718144 63582 33554432000 4194304 4196468 140727607798944 140394283596816 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12593] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12593/stat : 12593 (java) S 12581 12581 7621 0 -1 1077944384 226 0 0 0 0 0 0 0 20 0 20 0 4673628 13587718144 63582 33554432000 4194304 4196468 140727607798944 140393884649584 140394691410562 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12594] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12594/stat : 12594 (java) S 12581 12581 7621 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4673628 13587718144 63582 33554432000 4194304 4196468 140727607798944 140393883595552 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12595] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12595/stat : 12595 (java) S 12581 12581 7621 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 20 0 4673629 13587718144 63582 33554432000 4194304 4196468 140727607798944 140393882543216 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12596] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12596/stat : 12596 (java) S 12581 12581 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4673632 13587718144 63582 33554432000 4194304 4196468 140727607798944 140393881491536 140394691418011 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12597] ppid=12581 vsize=13269256 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12597/stat : 12597 (java) R 12581 12581 7621 0 -1 4202560 2619 0 0 0 43 0 0 0 20 0 20 0 4673632 13587718144 63582 33554432000 4194304 4196468 140727607798944 140393880439408 140394671296433 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12598] ppid=12581 vsize=13269256 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12598/stat : 12598 (java) S 12581 12581 7621 0 -1 1077944384 2367 0 0 0 40 0 0 0 20 0 20 0 4673632 13587718144 63582 33554432000 4194304 4196468 140727607798944 140393879386608 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12599] ppid=12581 vsize=13269256 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12599/stat : 12599 (java) R 12581 12581 7621 0 -1 4202560 1906 0 0 0 37 0 0 0 20 0 20 0 4673632 13587718144 63582 33554432000 4194304 4196468 140727607798944 140393878334320 140394677413724 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12600] ppid=12581 vsize=13269256 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12600/stat : 12600 (java) R 12581 12581 7621 0 -1 4202560 3003 0 0 0 39 0 0 0 20 0 20 0 4673632 13587718144 63582 33554432000 4194304 4196468 140727607798944 140393877281520 140394675479902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12601] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12601/stat : 12601 (java) S 12581 12581 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4673633 13587718144 63582 33554432000 4194304 4196468 140727607798944 140393876228448 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12602] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12602/stat : 12602 (java) S 12581 12581 7621 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 4673633 13587718144 63582 33554432000 4194304 4196468 140727607798944 140393875175728 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
Current children cumulated CPU time (s) 5.25
Current children cumulated vsize (KiB) 13278768
[startup+6.30089 s]
/proc/loadavg: 15.91 14.40 13.31 11/292 12602
/proc/meminfo: memFree=27288368/32770624 swapFree=5800/285328
[pid=12581] ppid=12578 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12581/stat : 12581 (xcsp3-exec) S 12578 12581 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4673624 9740288 346 33554432000 4194304 5098028 140732215309424 140732215307528 139928097612412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20475904 140732215313550 140732215313760 140732215313760 140732215316459 0
/proc/12581/statm: 2378 346 289 221 0 87 0
[pid=12582] ppid=12581 vsize=13269256 CPUtime=9.49 cores=1,3,5,7,9,11,13,15
/proc/12582/stat : 12582 (java) S 12581 12581 7621 0 -1 1077944320 22120 0 0 0 858 91 0 0 20 0 20 0 4673624 13587718144 90009 33554432000 4194304 4196468 140727607798944 140727607781488 140394691399415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
/proc/12582/statm: 3317314 90009 3238 1 0 3304547 0
[pid=12582/tid=12583] ppid=12581 vsize=13269256 CPUtime=6.08 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12583/stat : 12583 (java) R 12581 12581 7621 0 -1 4202560 8806 0 0 0 603 5 0 0 20 0 20 0 4673624 13587718144 90009 33554432000 4194304 4196468 140727607798944 140394695634680 140394314033758 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12585] ppid=12581 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12585/stat : 12585 (java) S 12581 12581 7621 0 -1 1077944384 399 0 0 0 7 10 0 0 20 0 20 0 4673625 13587718144 90009 33554432000 4194304 4196468 140727607798944 140394630363536 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12586] ppid=12581 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12586/stat : 12586 (java) S 12581 12581 7621 0 -1 1077944384 229 0 0 0 7 10 0 0 20 0 20 0 4673625 13587718144 90009 33554432000 4194304 4196468 140727607798944 140394289912080 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12587] ppid=12581 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12587/stat : 12587 (java) S 12581 12581 7621 0 -1 1077944384 147 0 0 0 8 10 0 0 20 0 20 0 4673625 13587718144 90009 33554432000 4194304 4196468 140727607798944 140394288859792 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12588] ppid=12581 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12588/stat : 12588 (java) S 12581 12581 7621 0 -1 1077944384 107 0 0 0 7 10 0 0 20 0 20 0 4673625 13587718144 90009 33554432000 4194304 4196468 140727607798944 140394287806992 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12589] ppid=12581 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12589/stat : 12589 (java) S 12581 12581 7621 0 -1 1077944384 132 0 0 0 8 9 0 0 20 0 20 0 4673625 13587718144 90009 33554432000 4194304 4196468 140727607798944 140394286754704 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12590] ppid=12581 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12590/stat : 12590 (java) S 12581 12581 7621 0 -1 1077944384 149 0 0 0 8 9 0 0 20 0 20 0 4673625 13587718144 90009 33554432000 4194304 4196468 140727607798944 140394285701904 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12591] ppid=12581 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12591/stat : 12591 (java) S 12581 12581 7621 0 -1 1077944384 121 0 0 0 7 9 0 0 20 0 20 0 4673625 13587718144 90009 33554432000 4194304 4196468 140727607798944 140394284649616 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12592] ppid=12581 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12592/stat : 12592 (java) S 12581 12581 7621 0 -1 1077944384 120 0 0 0 7 10 0 0 20 0 20 0 4673625 13587718144 90009 33554432000 4194304 4196468 140727607798944 140394283596816 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12593] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12593/stat : 12593 (java) S 12581 12581 7621 0 -1 1077944384 227 0 0 0 0 0 0 0 20 0 20 0 4673628 13587718144 90009 33554432000 4194304 4196468 140727607798944 140393884649584 140394691410562 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12594] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12594/stat : 12594 (java) S 12581 12581 7621 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4673628 13587718144 90009 33554432000 4194304 4196468 140727607798944 140393883595616 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12595] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12595/stat : 12595 (java) S 12581 12581 7621 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 4673629 13587718144 90009 33554432000 4194304 4196468 140727607798944 140393882543232 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12596] ppid=12581 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12596/stat : 12596 (java) S 12581 12581 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4673632 13587718144 90009 33554432000 4194304 4196468 140727607798944 140393881491536 140394691418011 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
################
# More data... #
################
[pid=12582/tid=12777] ppid=12581 vsize=14068024 CPUtime=267.97 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12777/stat : 12777 (java) R 12581 12581 7621 0 -1 4202560 3880 0 0 0 26794 3 0 0 20 0 28 0 4674912 14405656576 428739 33554432000 4194304 4196468 140727607798944 140393858187224 140394317068012 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12778] ppid=12581 vsize=14068024 CPUtime=267.21 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12778/stat : 12778 (java) R 12581 12581 7621 0 -1 4202560 2538 0 0 0 26719 2 0 0 20 0 28 0 4674912 14405656576 428739 33554432000 4194304 4196468 140727607798944 140393866608312 140394311540556 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
Current children cumulated CPU time (s) 2175.54
Current children cumulated vsize (KiB) 14077536
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+310.501 s]
/proc/loadavg: 16.02 15.31 14.01 17/301 13149
/proc/meminfo: memFree=28095780/32770624 swapFree=5800/285792
[pid=12581] ppid=12578 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12581/stat : 12581 (xcsp3-exec) S 12578 12581 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4673624 9740288 346 33554432000 4194304 5098028 140732215309424 140732215307528 139928097612412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20475904 140732215313550 140732215313760 140732215313760 140732215316459 0
/proc/12581/statm: 2378 346 289 221 0 87 0
[pid=12582] ppid=12581 vsize=14068024 CPUtime=2400.12 cores=1,3,5,7,9,11,13,15
/proc/12582/stat : 12582 (java) S 12581 12581 7621 0 -1 1077944320 108497 0 0 0 239573 439 0 0 20 0 28 0 4673624 14405656576 429756 33554432000 4194304 4196468 140727607798944 140727607781488 140394691399415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
/proc/12582/statm: 3517006 429756 3294 1 0 3504239 0
[pid=12582/tid=12583] ppid=12581 vsize=14068024 CPUtime=9.83 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12583/stat : 12583 (java) S 12581 12581 7621 0 -1 1077944384 10920 0 0 0 975 8 0 0 20 0 28 0 4673624 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394695640192 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12585] ppid=12581 vsize=14068024 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12585/stat : 12585 (java) S 12581 12581 7621 0 -1 1077944384 1719 0 0 0 72 44 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394630363536 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12586] ppid=12581 vsize=14068024 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12586/stat : 12586 (java) S 12581 12581 7621 0 -1 1077944384 2255 0 0 0 74 44 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394289912080 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12587] ppid=12581 vsize=14068024 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12587/stat : 12587 (java) S 12581 12581 7621 0 -1 1077944384 1150 0 0 0 74 48 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394288859792 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12588] ppid=12581 vsize=14068024 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12588/stat : 12588 (java) S 12581 12581 7621 0 -1 1077944384 1664 0 0 0 74 45 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394287806992 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12589] ppid=12581 vsize=14068024 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12589/stat : 12589 (java) S 12581 12581 7621 0 -1 1077944384 2054 0 0 0 73 45 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394286754704 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12590] ppid=12581 vsize=14068024 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12590/stat : 12590 (java) S 12581 12581 7621 0 -1 1077944384 1381 0 0 0 75 45 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394285701904 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12591] ppid=12581 vsize=14068024 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12591/stat : 12591 (java) S 12581 12581 7621 0 -1 1077944384 1019 0 0 0 72 45 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394284649616 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12592] ppid=12581 vsize=14068024 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12592/stat : 12592 (java) S 12581 12581 7621 0 -1 1077944384 1209 0 0 0 73 47 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394283596816 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12593] ppid=12581 vsize=14068024 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12593/stat : 12593 (java) S 12581 12581 7621 0 -1 1077944384 4807 0 0 0 14 9 0 0 20 0 28 0 4673628 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393884649584 140394691410562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12594] ppid=12581 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12594/stat : 12594 (java) S 12581 12581 7621 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 4673628 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393883595616 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12595] ppid=12581 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12595/stat : 12595 (java) S 12581 12581 7621 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 4673629 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393882543232 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12596] ppid=12581 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12596/stat : 12596 (java) S 12581 12581 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4673632 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393881491536 140394691418011 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12597] ppid=12581 vsize=14068024 CPUtime=3.42 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12597/stat : 12597 (java) S 12581 12581 7621 0 -1 1077944384 14940 0 0 0 340 2 0 0 20 0 28 0 4673632 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393880439408 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12598] ppid=12581 vsize=14068024 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12598/stat : 12598 (java) S 12581 12581 7621 0 -1 1077944384 15621 0 0 0 337 3 0 0 20 0 28 0 4673632 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393879386608 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12599] ppid=12581 vsize=14068024 CPUtime=3.21 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12599/stat : 12599 (java) S 12581 12581 7621 0 -1 1077944384 12927 0 0 0 318 3 0 0 20 0 28 0 4673632 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393878334320 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12600] ppid=12581 vsize=14068024 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12600/stat : 12600 (java) S 12581 12581 7621 0 -1 1077944384 11742 0 0 0 117 3 0 0 20 0 28 0 4673632 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393877281520 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12601] ppid=12581 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12601/stat : 12601 (java) S 12581 12581 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4673633 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393876228448 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12602] ppid=12581 vsize=14068024 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12602/stat : 12602 (java) S 12581 12581 7621 0 -1 1077944384 604 0 0 0 9 11 0 0 20 0 28 0 4673633 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393875175728 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12771] ppid=12581 vsize=14068024 CPUtime=293.58 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12771/stat : 12771 (java) R 12581 12581 7621 0 -1 4202560 2326 0 0 0 29353 5 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393857133424 140394316367217 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12772] ppid=12581 vsize=14068024 CPUtime=293.78 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12772/stat : 12772 (java) R 12581 12581 7621 0 -1 4202560 2088 0 0 0 29374 4 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393861345144 140394316367217 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12773] ppid=12581 vsize=14068024 CPUtime=295.18 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12773/stat : 12773 (java) R 12581 12581 7621 0 -1 4202560 2160 0 0 0 29516 2 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393864505872 140394317067651 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12774] ppid=12581 vsize=14068024 CPUtime=295.78 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12774/stat : 12774 (java) R 12581 12581 7621 0 -1 4202560 3049 0 0 0 29573 5 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393867661432 140394316367217 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12775] ppid=12581 vsize=14068024 CPUtime=295.49 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12775/stat : 12775 (java) R 12581 12581 7621 0 -1 4202560 1891 0 0 0 29546 3 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393859240440 140394318140523 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12776] ppid=12581 vsize=14068024 CPUtime=295.32 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12776/stat : 12776 (java) R 12581 12581 7621 0 -1 4202560 1603 0 0 0 29530 2 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393862398328 140394317068136 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12777] ppid=12581 vsize=14068024 CPUtime=296.06 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12777/stat : 12777 (java) R 12581 12581 7621 0 -1 4202560 3990 0 0 0 29603 3 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393858186984 140394316367217 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12778] ppid=12581 vsize=14068024 CPUtime=295.35 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12778/stat : 12778 (java) R 12581 12581 7621 0 -1 4202560 2566 0 0 0 29533 2 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393866608168 140394317069761 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
Current children cumulated CPU time (s) 2400.12
Current children cumulated vsize (KiB) 14077536
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 12582 sig 9
??? kill 12581 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+310.501 s]
/proc/loadavg: 16.02 15.31 14.01 17/301 13149
/proc/meminfo: memFree=28095780/32770624 swapFree=5800/285792
[pid=12581] ppid=12578 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12581/stat : 12581 (xcsp3-exec) S 12578 12581 7621 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4673624 9740288 346 33554432000 4194304 5098028 140732215309424 140732215307528 139928097612412 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 20475904 140732215313550 140732215313760 140732215313760 140732215316459 0
/proc/12581/statm: 2378 346 289 221 0 87 0
[pid=12582] ppid=12581 vsize=14068024 CPUtime=2400.12 cores=1,3,5,7,9,11,13,15
/proc/12582/stat : 12582 (java) S 12581 12581 7621 0 -1 1077944320 108497 0 0 0 239573 439 0 0 20 0 28 0 4673624 14405656576 429756 33554432000 4194304 4196468 140727607798944 140727607781488 140394691399415 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
/proc/12582/statm: 3517006 429756 3294 1 0 3504239 0
[pid=12582/tid=12583] ppid=12581 vsize=14068024 CPUtime=9.83 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12583/stat : 12583 (java) S 12581 12581 7621 0 -1 1077944384 10920 0 0 0 975 8 0 0 20 0 28 0 4673624 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394695640192 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12585] ppid=12581 vsize=14068024 CPUtime=1.16 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12585/stat : 12585 (java) S 12581 12581 7621 0 -1 1077944384 1719 0 0 0 72 44 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394630363536 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12586] ppid=12581 vsize=14068024 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12586/stat : 12586 (java) S 12581 12581 7621 0 -1 1077944384 2255 0 0 0 74 44 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394289912080 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12587] ppid=12581 vsize=14068024 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12587/stat : 12587 (java) S 12581 12581 7621 0 -1 1077944384 1150 0 0 0 74 48 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394288859792 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12588] ppid=12581 vsize=14068024 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12588/stat : 12588 (java) S 12581 12581 7621 0 -1 1077944384 1664 0 0 0 74 45 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394287806992 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12589] ppid=12581 vsize=14068024 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12589/stat : 12589 (java) S 12581 12581 7621 0 -1 1077944384 2054 0 0 0 73 45 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394286754704 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12590] ppid=12581 vsize=14068024 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12590/stat : 12590 (java) S 12581 12581 7621 0 -1 1077944384 1381 0 0 0 75 45 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394285701904 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12591] ppid=12581 vsize=14068024 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12591/stat : 12591 (java) S 12581 12581 7621 0 -1 1077944384 1019 0 0 0 72 45 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394284649616 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12592] ppid=12581 vsize=14068024 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12592/stat : 12592 (java) S 12581 12581 7621 0 -1 1077944384 1209 0 0 0 73 47 0 0 20 0 28 0 4673625 14405656576 429756 33554432000 4194304 4196468 140727607798944 140394283596816 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12593] ppid=12581 vsize=14068024 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12593/stat : 12593 (java) S 12581 12581 7621 0 -1 1077944384 4807 0 0 0 14 9 0 0 20 0 28 0 4673628 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393884649584 140394691410562 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12594] ppid=12581 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12594/stat : 12594 (java) S 12581 12581 7621 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 28 0 4673628 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393883595616 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12595] ppid=12581 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12595/stat : 12595 (java) S 12581 12581 7621 0 -1 1077944384 100 0 0 0 0 0 0 0 20 0 28 0 4673629 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393882543232 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12596] ppid=12581 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12596/stat : 12596 (java) S 12581 12581 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4673632 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393881491536 140394691418011 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12597] ppid=12581 vsize=14068024 CPUtime=3.42 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12597/stat : 12597 (java) S 12581 12581 7621 0 -1 1077944384 14940 0 0 0 340 2 0 0 20 0 28 0 4673632 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393880439408 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12598] ppid=12581 vsize=14068024 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12598/stat : 12598 (java) S 12581 12581 7621 0 -1 1077944384 15621 0 0 0 337 3 0 0 20 0 28 0 4673632 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393879386608 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12599] ppid=12581 vsize=14068024 CPUtime=3.21 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12599/stat : 12599 (java) S 12581 12581 7621 0 -1 1077944384 12927 0 0 0 318 3 0 0 20 0 28 0 4673632 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393878334320 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12600] ppid=12581 vsize=14068024 CPUtime=1.2 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12600/stat : 12600 (java) S 12581 12581 7621 0 -1 1077944384 11742 0 0 0 117 3 0 0 20 0 28 0 4673632 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393877281520 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12601] ppid=12581 vsize=14068024 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12601/stat : 12601 (java) S 12581 12581 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4673633 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393876228448 140394691409621 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12602] ppid=12581 vsize=14068024 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12602/stat : 12602 (java) S 12581 12581 7621 0 -1 1077944384 604 0 0 0 9 11 0 0 20 0 28 0 4673633 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393875175728 140394691410562 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12771] ppid=12581 vsize=14068024 CPUtime=293.58 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12771/stat : 12771 (java) R 12581 12581 7621 0 -1 4202560 2326 0 0 0 29353 5 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393857133424 140394316367217 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12772] ppid=12581 vsize=14068024 CPUtime=293.78 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12772/stat : 12772 (java) R 12581 12581 7621 0 -1 4202560 2088 0 0 0 29374 4 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393861345144 140394316367217 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12773] ppid=12581 vsize=14068024 CPUtime=295.18 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12773/stat : 12773 (java) R 12581 12581 7621 0 -1 4202560 2160 0 0 0 29516 2 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393864505872 140394317067651 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12774] ppid=12581 vsize=14068024 CPUtime=295.78 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12774/stat : 12774 (java) R 12581 12581 7621 0 -1 4202560 3049 0 0 0 29573 5 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393867661432 140394316367217 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12775] ppid=12581 vsize=14068024 CPUtime=295.49 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12775/stat : 12775 (java) R 12581 12581 7621 0 -1 4202560 1891 0 0 0 29546 3 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393859240440 140394318140523 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12776] ppid=12581 vsize=14068024 CPUtime=295.32 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12776/stat : 12776 (java) R 12581 12581 7621 0 -1 4202560 1603 0 0 0 29530 2 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393862398328 140394317068136 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12777] ppid=12581 vsize=14068024 CPUtime=296.06 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12777/stat : 12777 (java) R 12581 12581 7621 0 -1 4202560 3990 0 0 0 29603 3 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393858186984 140394316367217 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
[pid=12582/tid=12778] ppid=12581 vsize=14068024 CPUtime=295.35 cores=1,3,5,7,9,11,13,15
/proc/12582/task/12778/stat : 12778 (java) R 12581 12581 7621 0 -1 4202560 2566 0 0 0 29533 2 0 0 20 0 28 0 4674912 14405656576 429756 33554432000 4194304 4196468 140727607798944 140393866608168 140394317069761 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29753344 140727607801020 140727607801196 140727607801196 140727607803855 0
Current children cumulated CPU time (s) 2400.12
Current children cumulated vsize (KiB) 14077536
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12581 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2821
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.002821
# while last known CPU time is 2400.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 310.512
CPU time (s): 2400.12
CPU user time (s): 2395.73
CPU system time (s): 4.39
CPU usage (%): 772.956
Max. virtual memory (cumulated for all children) (KiB): 14077536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002821
system time used= 0
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.5945 second user time and 4.47343 second system time
The end