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-4246709-1500688226/watcher-4246709-1500688226 -o /tmp/evaluation-result-4246709-1500688226/solver-4246709-1500688226 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1220125212 HOME/instance-4246709-1500688226.xml
pid=24566
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: 13.79 12.14 13.16 10/271 24569
/proc/meminfo: memFree=26826676/32770624 swapFree=5884/275872
[pid=24569] ppid=24566 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24569/stat : 24569 (xcsp3-exec) S 24566 24569 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4090398 9740288 345 33554432000 4194304 5098028 140727628557408 140727628555512 140519788585596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8871936 140727628559502 140727628559712 140727628559712 140727628562411 0
/proc/24569/statm: 2378 345 289 221 0 87 0
[startup+0.100135 s]
/proc/loadavg: 13.79 12.14 13.16 10/271 24569
/proc/meminfo: memFree=26826676/32770624 swapFree=5884/275872
[pid=24569] ppid=24566 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24569/stat : 24569 (xcsp3-exec) S 24566 24569 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4090398 9740288 345 33554432000 4194304 5098028 140727628557408 140727628555512 140519788585596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8871936 140727628559502 140727628559712 140727628559712 140727628562411 0
/proc/24569/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200327 s]
/proc/loadavg: 13.79 12.14 13.16 10/271 24569
/proc/meminfo: memFree=26826676/32770624 swapFree=5884/275872
[pid=24569] ppid=24566 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24569/stat : 24569 (xcsp3-exec) S 24566 24569 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4090398 9740288 345 33554432000 4194304 5098028 140727628557408 140727628555512 140519788585596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8871936 140727628559502 140727628559712 140727628559712 140727628562411 0
/proc/24569/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300307 s]
/proc/loadavg: 13.79 12.14 13.16 10/271 24569
/proc/meminfo: memFree=26826676/32770624 swapFree=5884/275872
[pid=24569] ppid=24566 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24569/stat : 24569 (xcsp3-exec) S 24566 24569 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4090398 9740288 345 33554432000 4194304 5098028 140727628557408 140727628555512 140519788585596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8871936 140727628559502 140727628559712 140727628559712 140727628562411 0
/proc/24569/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700224 s]
/proc/loadavg: 13.79 12.14 13.16 10/271 24569
/proc/meminfo: memFree=26826676/32770624 swapFree=5884/275872
[pid=24569] ppid=24566 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24569/stat : 24569 (xcsp3-exec) S 24566 24569 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4090398 9740288 345 33554432000 4194304 5098028 140727628557408 140727628555512 140519788585596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8871936 140727628559502 140727628559712 140727628559712 140727628562411 0
/proc/24569/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50149 s]
/proc/loadavg: 13.79 12.14 13.16 21/300 24614
/proc/meminfo: memFree=26688692/32770624 swapFree=5884/275900
[pid=24569] ppid=24566 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24569/stat : 24569 (xcsp3-exec) S 24566 24569 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4090398 9740288 345 33554432000 4194304 5098028 140727628557408 140727628555512 140519788585596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8871936 140727628559502 140727628559712 140727628559712 140727628562411 0
/proc/24569/statm: 2378 345 289 221 0 87 0
[pid=24570] ppid=24569 vsize=13801768 CPUtime=7.37 cores=1,3,5,7,9,11,13,15
/proc/24570/stat : 24570 (java) S 24569 24569 8571 0 -1 1077944320 17713 0 0 0 728 9 0 0 20 0 28 0 4090398 14133010432 44433 33554432000 4194304 4196468 140731457934320 140731457916864 140310331973367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
/proc/24570/statm: 3450442 44433 3218 1 0 3437675 0
[pid=24570/tid=24571] ppid=24569 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24571/stat : 24571 (java) S 24569 24569 8571 0 -1 1077944384 6931 0 0 0 71 3 0 0 20 0 28 0 4090399 14133010432 44433 33554432000 4194304 4196468 140731457934320 140310336214144 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24573] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24573/stat : 24573 (java) S 24569 24569 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 44433 33554432000 4194304 4196468 140731457934320 140310284594064 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24574] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24574/stat : 24574 (java) S 24569 24569 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 44433 33554432000 4194304 4196468 140731457934320 140310283541264 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24575] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24575/stat : 24575 (java) S 24569 24569 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 44433 33554432000 4194304 4196468 140731457934320 140310282488976 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24576] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24576/stat : 24576 (java) S 24569 24569 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 44433 33554432000 4194304 4196468 140731457934320 140310281436176 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24577] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24577/stat : 24577 (java) S 24569 24569 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 44433 33554432000 4194304 4196468 140731457934320 140310280382864 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24578] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24578/stat : 24578 (java) S 24569 24569 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 44433 33554432000 4194304 4196468 140731457934320 140310279330064 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24579] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24579/stat : 24579 (java) S 24569 24569 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 44433 33554432000 4194304 4196468 140731457934320 140310278277776 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24580] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24580/stat : 24580 (java) S 24569 24569 8571 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 44433 33554432000 4194304 4196468 140731457934320 140310277224976 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24581] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24581/stat : 24581 (java) S 24569 24569 8571 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4090402 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309794085488 140310331984514 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24582] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24582/stat : 24582 (java) S 24569 24569 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4090403 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309793031456 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24583] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24583/stat : 24583 (java) S 24569 24569 8571 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4090403 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309791979120 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24584] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24584/stat : 24584 (java) S 24569 24569 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4090407 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309790927440 140310331991963 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24585] ppid=24569 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24585/stat : 24585 (java) R 24569 24569 8571 0 -1 4202560 1967 0 0 0 72 0 0 0 20 0 28 0 4090407 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309789860312 140310316901883 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24586] ppid=24569 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24586/stat : 24586 (java) R 24569 24569 8571 0 -1 4202560 2315 0 0 0 79 0 0 0 20 0 28 0 4090407 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309788807544 140310313345909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24587] ppid=24569 vsize=13801768 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24587/stat : 24587 (java) R 24569 24569 8571 0 -1 4202560 1882 0 0 0 76 1 0 0 20 0 28 0 4090407 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309787755224 140310313494432 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24588] ppid=24569 vsize=13801768 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24588/stat : 24588 (java) S 24569 24569 8571 0 -1 1077944384 2599 0 0 0 67 0 0 0 20 0 28 0 4090407 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309786716400 140310331984514 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24589] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24589/stat : 24589 (java) S 24569 24569 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4090407 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309785664352 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24590] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24590/stat : 24590 (java) S 24569 24569 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4090407 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309784611632 140310331984514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24607] ppid=24569 vsize=13801768 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24607/stat : 24607 (java) R 24569 24569 8571 0 -1 4202560 20 0 0 0 35 0 0 0 20 0 28 0 4090508 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309771333104 140309954879483 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24608] ppid=24569 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24608/stat : 24608 (java) R 24569 24569 8571 0 -1 4202560 24 0 0 0 20 0 0 0 20 0 28 0 4090508 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309774492504 140309959577011 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24609] ppid=24569 vsize=13801768 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24609/stat : 24609 (java) R 24569 24569 8571 0 -1 4202560 21 0 0 0 24 0 0 0 20 0 28 0 4090508 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309772382448 140309960255019 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24610] ppid=24569 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24610/stat : 24610 (java) R 24569 24569 8571 0 -1 4202560 22 0 0 0 21 0 0 0 20 0 28 0 4090508 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309769228344 140309959720007 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24611] ppid=24569 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24611/stat : 24611 (java) R 24569 24569 8571 0 -1 4202560 19 0 0 0 27 0 0 0 20 0 28 0 4090508 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309775544536 140309960899082 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24612] ppid=24569 vsize=13801768 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24612/stat : 24612 (java) R 24569 24569 8571 0 -1 4202560 20 0 0 0 21 0 0 0 20 0 28 0 4090508 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309770279952 140309960460154 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24613] ppid=24569 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24613/stat : 24613 (java) R 24569 24569 8571 0 -1 4202560 29 0 0 0 29 0 0 0 20 0 28 0 4090508 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309773439176 140309960115575 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24614] ppid=24569 vsize=13801768 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24614/stat : 24614 (java) R 24569 24569 8571 0 -1 4202560 21 0 0 0 29 0 0 0 20 0 28 0 4090508 14133010432 44433 33554432000 4194304 4196468 140731457934320 140309776595976 140309960246876 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
Current children cumulated CPU time (s) 7.37
Current children cumulated vsize (KiB) 13811280
[startup+3.10126 s]
/proc/loadavg: 13.79 12.14 13.16 21/300 24646
/proc/meminfo: memFree=26632904/32770624 swapFree=5884/275900
[pid=24569] ppid=24566 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24569/stat : 24569 (xcsp3-exec) S 24566 24569 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4090398 9740288 345 33554432000 4194304 5098028 140727628557408 140727628555512 140519788585596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8871936 140727628559502 140727628559712 140727628559712 140727628562411 0
/proc/24569/statm: 2378 345 289 221 0 87 0
[pid=24570] ppid=24569 vsize=13801768 CPUtime=19.87 cores=1,3,5,7,9,11,13,15
/proc/24570/stat : 24570 (java) S 24569 24569 8571 0 -1 1077944320 20147 0 0 0 1971 16 0 0 20 0 28 0 4090398 14133010432 51894 33554432000 4194304 4196468 140731457934320 140731457916864 140310331973367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
/proc/24570/statm: 3450442 51894 3247 1 0 3437675 0
[pid=24570/tid=24571] ppid=24569 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24571/stat : 24571 (java) S 24569 24569 8571 0 -1 1077944384 6932 0 0 0 71 3 0 0 20 0 28 0 4090399 14133010432 51894 33554432000 4194304 4196468 140731457934320 140310336214144 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24573] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24573/stat : 24573 (java) S 24569 24569 8571 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 51894 33554432000 4194304 4196468 140731457934320 140310284594064 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24574] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24574/stat : 24574 (java) S 24569 24569 8571 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 51894 33554432000 4194304 4196468 140731457934320 140310283541264 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24575] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24575/stat : 24575 (java) S 24569 24569 8571 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 51894 33554432000 4194304 4196468 140731457934320 140310282488976 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24576] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24576/stat : 24576 (java) S 24569 24569 8571 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 51894 33554432000 4194304 4196468 140731457934320 140310281436176 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24577] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24577/stat : 24577 (java) S 24569 24569 8571 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 51894 33554432000 4194304 4196468 140731457934320 140310280382864 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24578] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24578/stat : 24578 (java) S 24569 24569 8571 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 51894 33554432000 4194304 4196468 140731457934320 140310279330064 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24579] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24579/stat : 24579 (java) S 24569 24569 8571 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 51894 33554432000 4194304 4196468 140731457934320 140310278277776 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24580] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24580/stat : 24580 (java) S 24569 24569 8571 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4090400 14133010432 51894 33554432000 4194304 4196468 140731457934320 140310277224976 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24581] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24581/stat : 24581 (java) S 24569 24569 8571 0 -1 1077944384 20 0 0 0 0 0 0 0 20 0 28 0 4090402 14133010432 51894 33554432000 4194304 4196468 140731457934320 140309794085488 140310331984514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24582] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24582/stat : 24582 (java) S 24569 24569 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4090403 14133010432 51894 33554432000 4194304 4196468 140731457934320 140309793031456 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24583] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24583/stat : 24583 (java) S 24569 24569 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 4090403 14133010432 51894 33554432000 4194304 4196468 140731457934320 140309791979120 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24584] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24584/stat : 24584 (java) S 24569 24569 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4090407 14133010432 51894 33554432000 4194304 4196468 140731457934320 140309790927440 140310331991963 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24585] ppid=24569 vsize=13801768 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24585/stat : 24585 (java) R 24569 24569 8571 0 -1 4202560 3070 0 0 0 190 0 0 0 20 0 28 0 4090407 14133010432 51894 33554432000 4194304 4196468 140731457934320 140309789864096 140310309568144 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24586] ppid=24569 vsize=13801768 CPUtime=1.86 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24586/stat : 24586 (java) R 24569 24569 8571 0 -1 4202560 2422 0 0 0 186 0 0 0 20 0 28 0 4090407 14133010432 51894 33554432000 4194304 4196468 140731457934320 140309788807328 140310311827252 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24587] ppid=24569 vsize=13801768 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24587/stat : 24587 (java) R 24569 24569 8571 0 -1 4202560 2021 0 0 0 195 1 0 0 20 0 28 0 4090407 14133010432 51894 33554432000 4194304 4196468 140731457934320 140309787755664 140310317340624 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24588] ppid=24569 vsize=13801768 CPUtime=0.88 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24588/stat : 24588 (java) S 24569 24569 8571 0 -1 1077944384 2868 0 0 0 88 0 0 0 20 0 28 0 4090407 14133010432 51894 33554432000 4194304 4196468 140731457934320 140309786716400 140310331984514 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24589] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24589/stat : 24589 (java) S 24569 24569 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4090407 14133010432 51894 33554432000 4194304 4196468 140731457934320 140309785664352 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24590] ppid=24569 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24590/stat : 24590 (java) S 24569 24569 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4090407 14133010432 51894 33554432000 4194304 4196468 140731457934320 140309784611632 140310331984514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
Current children cumulated CPU time (s) 19.87
Current children cumulated vsize (KiB) 13811280
[startup+6.30162 s]
/proc/loadavg: 13.97 12.21 13.17 19/300 24678
/proc/meminfo: memFree=26609584/32770624 swapFree=5884/275908
[pid=24569] ppid=24566 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24569/stat : 24569 (xcsp3-exec) S 24566 24569 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4090398 9740288 345 33554432000 4194304 5098028 140727628557408 140727628555512 140519788585596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8871936 140727628559502 140727628559712 140727628559712 140727628562411 0
/proc/24569/statm: 2378 345 289 221 0 87 0
[pid=24570] ppid=24569 vsize=14135616 CPUtime=45.02 cores=1,3,5,7,9,11,13,15
/proc/24570/stat : 24570 (java) S 24569 24569 8571 0 -1 1077944320 31547 0 0 0 4476 26 0 0 20 0 28 0 4090398 14474870784 57428 33554432000 4194304 4196468 140731457934320 140731457916864 140310331973367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
/proc/24570/statm: 3533904 57428 3276 1 0 3521137 0
[pid=24570/tid=24571] ppid=24569 vsize=14135616 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24571/stat : 24571 (java) S 24569 24569 8571 0 -1 1077944384 7021 0 0 0 72 3 0 0 20 0 28 0 4090399 14474870784 57428 33554432000 4194304 4196468 140731457934320 140310336214144 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24573] ppid=24569 vsize=14135616 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24573/stat : 24573 (java) S 24569 24569 8571 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 4090400 14474870784 57428 33554432000 4194304 4196468 140731457934320 140310284594064 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24574] ppid=24569 vsize=14135616 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24574/stat : 24574 (java) S 24569 24569 8571 0 -1 1077944384 32 0 0 0 1 1 0 0 20 0 28 0 4090400 14474870784 57428 33554432000 4194304 4196468 140731457934320 140310283541264 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24575] ppid=24569 vsize=14135616 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24575/stat : 24575 (java) S 24569 24569 8571 0 -1 1077944384 116 0 0 0 1 1 0 0 20 0 28 0 4090400 14474870784 57428 33554432000 4194304 4196468 140731457934320 140310282488976 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24576] ppid=24569 vsize=14135616 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24576/stat : 24576 (java) S 24569 24569 8571 0 -1 1077944384 44 0 0 0 1 1 0 0 20 0 28 0 4090400 14474870784 57428 33554432000 4194304 4196468 140731457934320 140310281436176 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
################
# More data... #
################
/proc/24570/task/24847/stat : 24847 (java) R 24569 24569 8571 0 -1 4202560 5738 0 0 0 7990 1 0 0 20 0 28 0 4110455 14474870784 84102 33554432000 4194304 4196468 140731457934320 140309763965080 140309961460475 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24848] ppid=24569 vsize=14135616 CPUtime=80.04 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24848/stat : 24848 (java) R 24569 24569 8571 0 -1 4202560 614 0 0 0 8004 0 0 0 20 0 28 0 4110455 14474870784 84102 33554432000 4194304 4196468 140731457934320 140309769228312 140309959977044 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
Current children cumulated CPU time (s) 2224.64
Current children cumulated vsize (KiB) 14145128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+304.702 s]
/proc/loadavg: 11.18 12.81 13.29 17/299 24867
/proc/meminfo: memFree=29892596/32770624 swapFree=5884/276284
[pid=24569] ppid=24566 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24569/stat : 24569 (xcsp3-exec) S 24566 24569 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4090398 9740288 345 33554432000 4194304 5098028 140727628557408 140727628555512 140519788585596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8871936 140727628559502 140727628559712 140727628559712 140727628562411 0
/proc/24569/statm: 2378 345 289 221 0 87 0
[pid=24570] ppid=24569 vsize=14135616 CPUtime=2400.42 cores=1,3,5,7,9,11,13,15
/proc/24570/stat : 24570 (java) S 24569 24569 8571 0 -1 1077944320 142378 0 0 0 239754 288 0 0 20 0 28 0 4090398 14474870784 80477 33554432000 4194304 4196468 140731457934320 140731457916864 140310331973367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
/proc/24570/statm: 3533904 80477 3297 1 0 3521137 0
[pid=24570/tid=24571] ppid=24569 vsize=14135616 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24571/stat : 24571 (java) S 24569 24569 8571 0 -1 1077944384 7586 0 0 0 72 3 0 0 20 0 28 0 4090399 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310336214144 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24573] ppid=24569 vsize=14135616 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24573/stat : 24573 (java) S 24569 24569 8571 0 -1 1077944384 3516 0 0 0 96 14 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310284594064 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24574] ppid=24569 vsize=14135616 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24574/stat : 24574 (java) S 24569 24569 8571 0 -1 1077944384 3740 0 0 0 96 15 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310283541264 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24575] ppid=24569 vsize=14135616 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24575/stat : 24575 (java) S 24569 24569 8571 0 -1 1077944384 4554 0 0 0 99 14 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310282488976 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24576] ppid=24569 vsize=14135616 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24576/stat : 24576 (java) S 24569 24569 8571 0 -1 1077944384 2191 0 0 0 95 13 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310281436176 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24577] ppid=24569 vsize=14135616 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24577/stat : 24577 (java) S 24569 24569 8571 0 -1 1077944384 4103 0 0 0 97 13 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310280382864 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24578] ppid=24569 vsize=14135616 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24578/stat : 24578 (java) S 24569 24569 8571 0 -1 1077944384 2140 0 0 0 96 13 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310279330064 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24579] ppid=24569 vsize=14135616 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24579/stat : 24579 (java) S 24569 24569 8571 0 -1 1077944384 2466 0 0 0 98 13 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310278277776 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24580] ppid=24569 vsize=14135616 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24580/stat : 24580 (java) S 24569 24569 8571 0 -1 1077944384 3619 0 0 0 96 13 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310277224976 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24581] ppid=24569 vsize=14135616 CPUtime=2.42 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24581/stat : 24581 (java) S 24569 24569 8571 0 -1 1077944384 11458 0 0 0 115 127 0 0 20 0 28 0 4090402 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309794085488 140310331984514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24582] ppid=24569 vsize=14135616 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24582/stat : 24582 (java) S 24569 24569 8571 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 4090403 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309793031520 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24583] ppid=24569 vsize=14135616 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24583/stat : 24583 (java) S 24569 24569 8571 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4090403 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309791979136 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24584] ppid=24569 vsize=14135616 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24584/stat : 24584 (java) S 24569 24569 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4090407 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309790927440 140310331991963 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24585] ppid=24569 vsize=14135616 CPUtime=3.22 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24585/stat : 24585 (java) S 24569 24569 8571 0 -1 1077944384 12165 0 0 0 320 2 0 0 20 0 28 0 4090407 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309789874288 140310331984514 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24586] ppid=24569 vsize=14135616 CPUtime=3.17 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24586/stat : 24586 (java) S 24569 24569 8571 0 -1 1077944384 12245 0 0 0 316 1 0 0 20 0 28 0 4090407 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309788821488 140310331984514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24587] ppid=24569 vsize=14135616 CPUtime=3.37 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24587/stat : 24587 (java) S 24569 24569 8571 0 -1 1077944384 17514 0 0 0 334 3 0 0 20 0 28 0 4090407 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309787769200 140310331984514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24588] ppid=24569 vsize=14135616 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24588/stat : 24588 (java) S 24569 24569 8571 0 -1 1077944384 10978 0 0 0 103 1 0 0 20 0 28 0 4090407 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309786716400 140310331984514 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24589] ppid=24569 vsize=14135616 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24589/stat : 24589 (java) S 24569 24569 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4090407 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309785664352 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24590] ppid=24569 vsize=14135616 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24590/stat : 24590 (java) S 24569 24569 8571 0 -1 1077944384 1083 0 0 0 6 8 0 0 20 0 28 0 4090407 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309784611632 140310331984514 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24841] ppid=24569 vsize=14135616 CPUtime=101.77 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24841/stat : 24841 (java) R 24569 24569 8571 0 -1 4202560 3051 0 0 0 10175 2 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309765016856 140309963811906 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24842] ppid=24569 vsize=14135616 CPUtime=101.77 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24842/stat : 24842 (java) S 24569 24569 8571 0 -1 1077944384 3166 0 0 0 10176 1 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309770283808 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24843] ppid=24569 vsize=14135616 CPUtime=102.04 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24843/stat : 24843 (java) R 24569 24569 8571 0 -1 4202560 1629 0 0 0 10204 0 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309767122584 140309963500738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24844] ppid=24569 vsize=14135616 CPUtime=101.87 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24844/stat : 24844 (java) S 24569 24569 8571 0 -1 1077944384 1086 0 0 0 10186 1 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309762912480 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24845] ppid=24569 vsize=14135616 CPUtime=101.38 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24845/stat : 24845 (java) S 24569 24569 8571 0 -1 1077944384 4843 0 0 0 10137 1 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309766070128 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24846] ppid=24569 vsize=14135616 CPUtime=101.92 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24846/stat : 24846 (java) S 24569 24569 8571 0 -1 1077944384 379 0 0 0 10191 1 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309768175408 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24847] ppid=24569 vsize=14135616 CPUtime=101.72 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24847/stat : 24847 (java) S 24569 24569 8571 0 -1 1077944384 5831 0 0 0 10171 1 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309763965072 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24848] ppid=24569 vsize=14135616 CPUtime=101.73 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24848/stat : 24848 (java) S 24569 24569 8571 0 -1 1077944384 683 0 0 0 10173 0 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309769228016 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
Current children cumulated CPU time (s) 2400.42
Current children cumulated vsize (KiB) 14145128
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 24570 sig 9
??? kill 24569 sig 9
??? kill -24569 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+304.702 s]
/proc/loadavg: 11.18 12.81 13.29 17/299 24867
/proc/meminfo: memFree=29892596/32770624 swapFree=5884/276284
[pid=24569] ppid=24566 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24569/stat : 24569 (xcsp3-exec) S 24566 24569 8571 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 4090398 9740288 345 33554432000 4194304 5098028 140727628557408 140727628555512 140519788585596 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 8871936 140727628559502 140727628559712 140727628559712 140727628562411 0
/proc/24569/statm: 2378 345 289 221 0 87 0
[pid=24570] ppid=24569 vsize=14135616 CPUtime=2400.42 cores=1,3,5,7,9,11,13,15
/proc/24570/stat : 24570 (java) S 24569 24569 8571 0 -1 1077944320 142378 0 0 0 239754 288 0 0 20 0 28 0 4090398 14474870784 80477 33554432000 4194304 4196468 140731457934320 140731457916864 140310331973367 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
/proc/24570/statm: 3533904 80477 3297 1 0 3521137 0
[pid=24570/tid=24571] ppid=24569 vsize=14135616 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24571/stat : 24571 (java) S 24569 24569 8571 0 -1 1077944384 7586 0 0 0 72 3 0 0 20 0 28 0 4090399 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310336214144 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24573] ppid=24569 vsize=14135616 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24573/stat : 24573 (java) S 24569 24569 8571 0 -1 1077944384 3516 0 0 0 96 14 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310284594064 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24574] ppid=24569 vsize=14135616 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24574/stat : 24574 (java) S 24569 24569 8571 0 -1 1077944384 3740 0 0 0 96 15 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310283541264 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24575] ppid=24569 vsize=14135616 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24575/stat : 24575 (java) S 24569 24569 8571 0 -1 1077944384 4554 0 0 0 99 14 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310282488976 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24576] ppid=24569 vsize=14135616 CPUtime=1.08 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24576/stat : 24576 (java) S 24569 24569 8571 0 -1 1077944384 2191 0 0 0 95 13 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310281436176 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24577] ppid=24569 vsize=14135616 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24577/stat : 24577 (java) S 24569 24569 8571 0 -1 1077944384 4103 0 0 0 97 13 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310280382864 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24578] ppid=24569 vsize=14135616 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24578/stat : 24578 (java) S 24569 24569 8571 0 -1 1077944384 2140 0 0 0 96 13 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310279330064 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24579] ppid=24569 vsize=14135616 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24579/stat : 24579 (java) S 24569 24569 8571 0 -1 1077944384 2466 0 0 0 98 13 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310278277776 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24580] ppid=24569 vsize=14135616 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24580/stat : 24580 (java) S 24569 24569 8571 0 -1 1077944384 3619 0 0 0 96 13 0 0 20 0 28 0 4090400 14474870784 80477 33554432000 4194304 4196468 140731457934320 140310277224976 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24581] ppid=24569 vsize=14135616 CPUtime=2.42 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24581/stat : 24581 (java) S 24569 24569 8571 0 -1 1077944384 11458 0 0 0 115 127 0 0 20 0 28 0 4090402 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309794085488 140310331984514 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24582] ppid=24569 vsize=14135616 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24582/stat : 24582 (java) S 24569 24569 8571 0 -1 1077944384 37 0 0 0 0 0 0 0 20 0 28 0 4090403 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309793031520 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24583] ppid=24569 vsize=14135616 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24583/stat : 24583 (java) S 24569 24569 8571 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4090403 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309791979136 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24584] ppid=24569 vsize=14135616 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24584/stat : 24584 (java) S 24569 24569 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4090407 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309790927440 140310331991963 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24585] ppid=24569 vsize=14135616 CPUtime=3.22 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24585/stat : 24585 (java) S 24569 24569 8571 0 -1 1077944384 12165 0 0 0 320 2 0 0 20 0 28 0 4090407 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309789874288 140310331984514 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24586] ppid=24569 vsize=14135616 CPUtime=3.17 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24586/stat : 24586 (java) S 24569 24569 8571 0 -1 1077944384 12245 0 0 0 316 1 0 0 20 0 28 0 4090407 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309788821488 140310331984514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24587] ppid=24569 vsize=14135616 CPUtime=3.37 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24587/stat : 24587 (java) S 24569 24569 8571 0 -1 1077944384 17514 0 0 0 334 3 0 0 20 0 28 0 4090407 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309787769200 140310331984514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24588] ppid=24569 vsize=14135616 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24588/stat : 24588 (java) S 24569 24569 8571 0 -1 1077944384 10978 0 0 0 103 1 0 0 20 0 28 0 4090407 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309786716400 140310331984514 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24589] ppid=24569 vsize=14135616 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24589/stat : 24589 (java) S 24569 24569 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4090407 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309785664352 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24590] ppid=24569 vsize=14135616 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24590/stat : 24590 (java) S 24569 24569 8571 0 -1 1077944384 1083 0 0 0 6 8 0 0 20 0 28 0 4090407 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309784611632 140310331984514 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24841] ppid=24569 vsize=14135616 CPUtime=101.77 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24841/stat : 24841 (java) R 24569 24569 8571 0 -1 4202560 3051 0 0 0 10175 2 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309765016856 140309963811906 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24842] ppid=24569 vsize=14135616 CPUtime=101.77 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24842/stat : 24842 (java) S 24569 24569 8571 0 -1 1077944384 3166 0 0 0 10176 1 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309770283808 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24843] ppid=24569 vsize=14135616 CPUtime=102.04 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24843/stat : 24843 (java) R 24569 24569 8571 0 -1 4202560 1629 0 0 0 10204 0 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309767122584 140309963500738 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24844] ppid=24569 vsize=14135616 CPUtime=101.87 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24844/stat : 24844 (java) S 24569 24569 8571 0 -1 1077944384 1086 0 0 0 10186 1 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309762912480 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24845] ppid=24569 vsize=14135616 CPUtime=101.38 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24845/stat : 24845 (java) S 24569 24569 8571 0 -1 1077944384 4843 0 0 0 10137 1 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309766070128 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24846] ppid=24569 vsize=14135616 CPUtime=101.92 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24846/stat : 24846 (java) S 24569 24569 8571 0 -1 1077944384 379 0 0 0 10191 1 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309768175408 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24847] ppid=24569 vsize=14135616 CPUtime=101.72 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24847/stat : 24847 (java) S 24569 24569 8571 0 -1 1077944384 5831 0 0 0 10171 1 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309763965072 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
[pid=24570/tid=24848] ppid=24569 vsize=14135616 CPUtime=101.73 cores=1,3,5,7,9,11,13,15
/proc/24570/task/24848/stat : 24848 (java) S 24569 24569 8571 0 -1 1077944384 683 0 0 0 10173 0 0 0 20 0 28 0 4110455 14474870784 80477 33554432000 4194304 4196468 140731457934320 140309769228016 140310331983573 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34435072 140731457938620 140731457938796 140731457938796 140731457941455 0
Current children cumulated CPU time (s) 2400.42
Current children cumulated vsize (KiB) 14145128
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24569 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1877
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=938
# CPU time returned by wait4() is 0.002815
# while last known CPU time is 2400.42
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 304.731
CPU time (s): 2400.42
CPU user time (s): 2397.54
CPU system time (s): 2.88
CPU usage (%): 787.718
Max. virtual memory (cumulated for all children) (KiB): 14145128
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001877
system time used= 0.000938
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 516
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.95794 second user time and 4.49588 second system time
The end