2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	objective function	CPU time	Wall clock time
R1: choco-solver 4.0.5 (2017-07-05)	SAT (TO)	41	2400.1	305.833

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-4245125-1500685087/watcher-4245125-1500685087 -o /tmp/evaluation-result-4245125-1500685087/solver-4245125-1500685087 -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 1024302128 HOME/instance-4245125-1500685087.xml 

pid=25739
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: 10.29 11.95 10.23 10/270 25742
/proc/meminfo: memFree=30661784/32770624 swapFree=5800/237708
[pid=25742] ppid=25739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25742/stat : 25742 (xcsp3-exec) S 25739 25742 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3776515 9740288 346 33554432000 4194304 5098028 140727781640272 140727781638376 139902030160508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29814784 140727781647502 140727781647712 140727781647712 140727781650411 0
/proc/25742/statm: 2378 346 289 221 0 87 0

[startup+0.100101 s]
/proc/loadavg: 10.29 11.95 10.23 10/270 25742
/proc/meminfo: memFree=30661784/32770624 swapFree=5800/237708
[pid=25742] ppid=25739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25742/stat : 25742 (xcsp3-exec) S 25739 25742 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3776515 9740288 346 33554432000 4194304 5098028 140727781640272 140727781638376 139902030160508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29814784 140727781647502 140727781647712 140727781647712 140727781650411 0
/proc/25742/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.2003 s]
/proc/loadavg: 10.29 11.95 10.23 10/270 25742
/proc/meminfo: memFree=30661784/32770624 swapFree=5800/237708
[pid=25742] ppid=25739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25742/stat : 25742 (xcsp3-exec) S 25739 25742 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3776515 9740288 346 33554432000 4194304 5098028 140727781640272 140727781638376 139902030160508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29814784 140727781647502 140727781647712 140727781647712 140727781650411 0
/proc/25742/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300307 s]
/proc/loadavg: 10.29 11.95 10.23 10/270 25742
/proc/meminfo: memFree=30661784/32770624 swapFree=5800/237708
[pid=25742] ppid=25739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25742/stat : 25742 (xcsp3-exec) S 25739 25742 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3776515 9740288 346 33554432000 4194304 5098028 140727781640272 140727781638376 139902030160508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29814784 140727781647502 140727781647712 140727781647712 140727781650411 0
/proc/25742/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700224 s]
/proc/loadavg: 10.29 11.95 10.23 10/270 25742
/proc/meminfo: memFree=30661784/32770624 swapFree=5800/237708
[pid=25742] ppid=25739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25742/stat : 25742 (xcsp3-exec) S 25739 25742 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3776515 9740288 346 33554432000 4194304 5098028 140727781640272 140727781638376 139902030160508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29814784 140727781647502 140727781647712 140727781647712 140727781650411 0
/proc/25742/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50077 s]
/proc/loadavg: 10.29 11.95 10.23 14/291 25763
/proc/meminfo: memFree=30443120/32770624 swapFree=5800/237784
[pid=25742] ppid=25739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25742/stat : 25742 (xcsp3-exec) S 25739 25742 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3776515 9740288 346 33554432000 4194304 5098028 140727781640272 140727781638376 139902030160508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29814784 140727781647502 140727781647712 140727781647712 140727781650411 0
/proc/25742/statm: 2378 346 289 221 0 87 0
[pid=25743] ppid=25742 vsize=13269256 CPUtime=5.01 cores=1,3,5,7,9,11,13,15
/proc/25743/stat : 25743 (java) S 25742 25742 7621 0 -1 1077944320 15421 0 0 0 473 28 0 0 20 0 20 0 3776515 13587718144 59753 33554432000 4194304 4196468 140725605400272 140725605382816 140400438861559 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
/proc/25743/statm: 3317314 59753 3241 1 0 3304547 0
[pid=25743/tid=25744] ppid=25742 vsize=13269256 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25744/stat : 25744 (java) R 25742 25742 7621 0 -1 4202560 6856 0 0 0 136 4 0 0 20 0 20 0 3776516 13587718144 59753 33554432000 4194304 4196468 140725605400272 140400443097632 140400080600774 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25746] ppid=25742 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25746/stat : 25746 (java) S 25742 25742 7621 0 -1 1077944384 78 0 0 0 4 1 0 0 20 0 20 0 3776517 13587718144 59753 33554432000 4194304 4196468 140725605400272 140400401967376 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25747] ppid=25742 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25747/stat : 25747 (java) S 25742 25742 7621 0 -1 1077944384 55 0 0 0 2 2 0 0 20 0 20 0 3776517 13587718144 59753 33554432000 4194304 4196468 140725605400272 140400037132688 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25748] ppid=25742 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25748/stat : 25748 (java) S 25742 25742 7621 0 -1 1077944384 28 0 0 0 3 3 0 0 20 0 20 0 3776517 13587718144 59753 33554432000 4194304 4196468 140725605400272 140400036080144 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25749] ppid=25742 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25749/stat : 25749 (java) S 25742 25742 7621 0 -1 1077944384 47 0 0 0 3 3 0 0 20 0 20 0 3776517 13587718144 59753 33554432000 4194304 4196468 140725605400272 140400035027600 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25750] ppid=25742 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25750/stat : 25750 (java) S 25742 25742 7621 0 -1 1077944384 13 0 0 0 1 1 0 0 20 0 20 0 3776517 13587718144 59753 33554432000 4194304 4196468 140725605400272 140400033975056 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25751] ppid=25742 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25751/stat : 25751 (java) S 25742 25742 7621 0 -1 1077944384 27 0 0 0 2 3 0 0 20 0 20 0 3776517 13587718144 59753 33554432000 4194304 4196468 140725605400272 140400032922512 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25752] ppid=25742 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25752/stat : 25752 (java) S 25742 25742 7621 0 -1 1077944384 26 0 0 0 3 2 0 0 20 0 20 0 3776517 13587718144 59753 33554432000 4194304 4196468 140725605400272 140400031869968 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25753] ppid=25742 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25753/stat : 25753 (java) S 25742 25742 7621 0 -1 1077944384 38 0 0 0 3 2 0 0 20 0 20 0 3776517 13587718144 59753 33554432000 4194304 4196468 140725605400272 140400030817424 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25754] ppid=25742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25754/stat : 25754 (java) S 25742 25742 7621 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 3776519 13587718144 59753 33554432000 4194304 4196468 140725605400272 140399901071344 140400438872706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25755] ppid=25742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25755/stat : 25755 (java) S 25742 25742 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3776520 13587718144 59753 33554432000 4194304 4196468 140725605400272 140399900017632 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25756] ppid=25742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25756/stat : 25756 (java) S 25742 25742 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3776520 13587718144 59753 33554432000 4194304 4196468 140725605400272 140399898964992 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25757] ppid=25742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25757/stat : 25757 (java) S 25742 25742 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3776524 13587718144 59753 33554432000 4194304 4196468 140725605400272 140399897913552 140400438880155 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25758] ppid=25742 vsize=13269256 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25758/stat : 25758 (java) R 25742 25742 7621 0 -1 4202560 1948 0 0 0 83 0 0 0 20 0 20 0 3776524 13587718144 59753 33554432000 4194304 4196468 140725605400272 140399896847392 140400424875880 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25759] ppid=25742 vsize=13269256 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25759/stat : 25759 (java) R 25742 25742 7621 0 -1 4202560 1398 0 0 0 80 0 0 0 20 0 20 0 3776524 13587718144 59753 33554432000 4194304 4196468 140725605400272 140399895789312 140400423770463 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25760] ppid=25742 vsize=13269256 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25760/stat : 25760 (java) R 25742 25742 7621 0 -1 4202560 1768 0 0 0 93 0 0 0 20 0 20 0 3776524 13587718144 59753 33554432000 4194304 4196468 140725605400272 140399894743440 140400418108345 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25761] ppid=25742 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25761/stat : 25761 (java) S 25742 25742 7621 0 -1 1077944384 1759 0 0 0 53 1 0 0 20 0 20 0 3776524 13587718144 59753 33554432000 4194304 4196468 140725605400272 140399893703536 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25762] ppid=25742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25762/stat : 25762 (java) S 25742 25742 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3776525 13587718144 59753 33554432000 4194304 4196468 140725605400272 140399892650208 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25763] ppid=25742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25763/stat : 25763 (java) S 25742 25742 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3776525 13587718144 59753 33554432000 4194304 4196468 140725605400272 140399891597744 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
Current children cumulated CPU time (s) 5.01
Current children cumulated vsize (KiB) 13278768

[startup+3.10112 s]
/proc/loadavg: 10.29 11.95 10.23 17/291 25763
/proc/meminfo: memFree=30092680/32770624 swapFree=5800/237784
[pid=25742] ppid=25739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25742/stat : 25742 (xcsp3-exec) S 25739 25742 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3776515 9740288 346 33554432000 4194304 5098028 140727781640272 140727781638376 139902030160508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29814784 140727781647502 140727781647712 140727781647712 140727781650411 0
/proc/25742/statm: 2378 346 289 221 0 87 0
[pid=25743] ppid=25742 vsize=13269256 CPUtime=9.82 cores=1,3,5,7,9,11,13,15
/proc/25743/stat : 25743 (java) S 25742 25742 7621 0 -1 1077944320 17830 0 0 0 869 113 0 0 20 0 20 0 3776515 13587718144 183434 33554432000 4194304 4196468 140725605400272 140725605382816 140400438861559 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
/proc/25743/statm: 3317314 183434 3264 1 0 3304547 0
[pid=25743/tid=25744] ppid=25742 vsize=13269256 CPUtime=2.76 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25744/stat : 25744 (java) R 25742 25742 7621 0 -1 4202560 7150 0 0 0 268 8 0 0 20 0 20 0 3776516 13587718144 183434 33554432000 4194304 4196468 140725605400272 140400443098040 140400081490460 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25746] ppid=25742 vsize=13269256 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25746/stat : 25746 (java) S 25742 25742 7621 0 -1 1077944384 146 0 0 0 15 11 0 0 20 0 20 0 3776517 13587718144 183434 33554432000 4194304 4196468 140725605400272 140400401967376 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25747] ppid=25742 vsize=13269256 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25747/stat : 25747 (java) S 25742 25742 7621 0 -1 1077944384 201 0 0 0 13 13 0 0 20 0 20 0 3776517 13587718144 183434 33554432000 4194304 4196468 140725605400272 140400037132688 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25748] ppid=25742 vsize=13269256 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25748/stat : 25748 (java) S 25742 25742 7621 0 -1 1077944384 214 0 0 0 13 13 0 0 20 0 20 0 3776517 13587718144 183434 33554432000 4194304 4196468 140725605400272 140400036080144 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25749] ppid=25742 vsize=13269256 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25749/stat : 25749 (java) S 25742 25742 7621 0 -1 1077944384 210 0 0 0 14 14 0 0 20 0 20 0 3776517 13587718144 183434 33554432000 4194304 4196468 140725605400272 140400035027600 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25750] ppid=25742 vsize=13269256 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25750/stat : 25750 (java) S 25742 25742 7621 0 -1 1077944384 289 0 0 0 13 11 0 0 20 0 20 0 3776517 13587718144 183434 33554432000 4194304 4196468 140725605400272 140400033975056 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25751] ppid=25742 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25751/stat : 25751 (java) S 25742 25742 7621 0 -1 1077944384 173 0 0 0 12 10 0 0 20 0 20 0 3776517 13587718144 183434 33554432000 4194304 4196468 140725605400272 140400032922512 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25752] ppid=25742 vsize=13269256 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25752/stat : 25752 (java) S 25742 25742 7621 0 -1 1077944384 163 0 0 0 15 12 0 0 20 0 20 0 3776517 13587718144 183434 33554432000 4194304 4196468 140725605400272 140400031869968 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25753] ppid=25742 vsize=13269256 CPUtime=0.28 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25753/stat : 25753 (java) S 25742 25742 7621 0 -1 1077944384 144 0 0 0 15 13 0 0 20 0 20 0 3776517 13587718144 183434 33554432000 4194304 4196468 140725605400272 140400030817424 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25754] ppid=25742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25754/stat : 25754 (java) S 25742 25742 7621 0 -1 1077944384 519 0 0 0 0 0 0 0 20 0 20 0 3776519 13587718144 183434 33554432000 4194304 4196468 140725605400272 140399901071344 140400438872706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25755] ppid=25742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25755/stat : 25755 (java) S 25742 25742 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3776520 13587718144 183434 33554432000 4194304 4196468 140725605400272 140399900017632 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25756] ppid=25742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25756/stat : 25756 (java) S 25742 25742 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 3776520 13587718144 183434 33554432000 4194304 4196468 140725605400272 140399898964992 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25757] ppid=25742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25757/stat : 25757 (java) S 25742 25742 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3776524 13587718144 183434 33554432000 4194304 4196468 140725605400272 140399897913552 140400438880155 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25758] ppid=25742 vsize=13269256 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25758/stat : 25758 (java) S 25742 25742 7621 0 -1 1077944384 2024 0 0 0 134 0 0 0 20 0 20 0 3776524 13587718144 183434 33554432000 4194304 4196468 140725605400272 140399896861168 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25759] ppid=25742 vsize=13269256 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25759/stat : 25759 (java) R 25742 25742 7621 0 -1 4202560 1625 0 0 0 140 0 0 0 20 0 20 0 3776524 13587718144 183434 33554432000 4194304 4196468 140725605400272 140399895801584 140400420384886 0 4 0 16800975 0 0 0 -1 3 0 0 16 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25760] ppid=25742 vsize=13269256 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25760/stat : 25760 (java) S 25742 25742 7621 0 -1 1077944384 1842 0 0 0 147 0 0 0 20 0 20 0 3776524 13587718144 183434 33554432000 4194304 4196468 140725605400272 140399894756080 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25761] ppid=25742 vsize=13269256 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25761/stat : 25761 (java) S 25742 25742 7621 0 -1 1077944384 1831 0 0 0 61 1 0 0 20 0 20 0 3776524 13587718144 183434 33554432000 4194304 4196468 140725605400272 140399893703536 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25762] ppid=25742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25762/stat : 25762 (java) S 25742 25742 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3776525 13587718144 183434 33554432000 4194304 4196468 140725605400272 140399892650208 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25763] ppid=25742 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25763/stat : 25763 (java) S 25742 25742 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3776525 13587718144 183434 33554432000 4194304 4196468 140725605400272 140399891597744 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 14 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (KiB) 13278768

[startup+6.30134 s]
/proc/loadavg: 10.26 11.92 10.23 20/299 25771
/proc/meminfo: memFree=28954892/32770624 swapFree=5800/237796
[pid=25742] ppid=25739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25742/stat : 25742 (xcsp3-exec) S 25739 25742 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3776515 9740288 346 33554432000 4194304 5098028 140727781640272 140727781638376 139902030160508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29814784 140727781647502 140727781647712 140727781647712 140727781650411 0
/proc/25742/statm: 2378 346 289 221 0 87 0
[pid=25743] ppid=25742 vsize=13801768 CPUtime=23.41 cores=1,3,5,7,9,11,13,15
/proc/25743/stat : 25743 (java) S 25742 25742 7621 0 -1 1077944320 27047 0 0 0 2134 207 0 0 20 0 28 0 3776515 14133010432 352370 33554432000 4194304 4196468 140725605400272 140725605382816 140400438861559 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
/proc/25743/statm: 3450442 352370 3278 1 0 3437675 0
[pid=25743/tid=25744] ppid=25742 vsize=13801768 CPUtime=4.33 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25744/stat : 25744 (java) S 25742 25742 7621 0 -1 1077944384 7605 0 0 0 419 14 0 0 20 0 28 0 3776516 14133010432 352370 33554432000 4194304 4196468 140725605400272 140400443102336 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25746] ppid=25742 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25746/stat : 25746 (java) S 25742 25742 7621 0 -1 1077944384 222 0 0 0 28 21 0 0 20 0 28 0 3776517 14133010432 352370 33554432000 4194304 4196468 140725605400272 140400401967376 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25747] ppid=25742 vsize=13801768 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25747/stat : 25747 (java) S 25742 25742 7621 0 -1 1077944384 279 0 0 0 26 24 0 0 20 0 28 0 3776517 14133010432 352370 33554432000 4194304 4196468 140725605400272 140400037132688 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25748] ppid=25742 vsize=13801768 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25748/stat : 25748 (java) S 25742 25742 7621 0 -1 1077944384 357 0 0 0 25 24 0 0 20 0 28 0 3776517 14133010432 352370 33554432000 4194304 4196468 140725605400272 140400036080144 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25749] ppid=25742 vsize=13801768 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25749/stat : 25749 (java) S 25742 25742 7621 0 -1 1077944384 289 0 0 0 28 23 0 0 20 0 28 0 3776517 14133010432 352370 33554432000 4194304 4196468 140725605400272 140400035027600 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25750] ppid=25742 vsize=13801768 CPUtime=0.48 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25750/stat : 25750 (java) S 25742 25742 7621 0 -1 1077944384 398 0 0 0 26 22 0 0 20 0 28 0 3776517 14133010432 352370 33554432000 4194304 4196468 140725605400272 140400033975056 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25751] ppid=25742 vsize=13801768 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25751/stat : 25751 (java) S 25742 25742 7621 0 -1 1077944384 241 0 0 0 23 20 0 0 20 0 28 0 3776517 14133010432 352370 33554432000 4194304 4196468 140725605400272 140400032922512 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25752] ppid=25742 vsize=13801768 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25752/stat : 25752 (java) S 25742 25742 7621 0 -1 1077944384 239 0 0 0 28 22 0 0 20 0 28 0 3776517 14133010432 352370 33554432000 4194304 4196468 140725605400272 140400031869968 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25753] ppid=25742 vsize=13801768 CPUtime=0.52 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25753/stat : 25753 (java) S 25742 25742 7621 0 -1 1077944384 237 0 0 0 28 24 0 0 20 0 28 0 3776517 14133010432 352370 33554432000 4194304 4196468 140725605400272 140400030817424 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25754] ppid=25742 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25754/stat : 25754 (java) S 25742 25742 7621 0 -1 1077944384 1068 0 0 0 1 0 0 0 20 0 28 0 3776519 14133010432 352370 33554432000 4194304 4196468 140725605400272 140399901071344 140400438872706 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25755] ppid=25742 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25755/stat : 25755 (java) S 25742 25742 7621 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3776520 14133010432 352370 33554432000 4194304 4196468 140725605400272 140399900017632 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25756] ppid=25742 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25756/stat : 25756 (java) S 25742 25742 7621 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3776520 14133010432 352370 33554432000 4194304 4196468 140725605400272 140399898964992 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25757] ppid=25742 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25757/stat : 25757 (java) S 25742 25742 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3776524 14133010432 352370 33554432000 4194304 4196468 140725605400272 140399897913552 140400438880155 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0

################
# More data... #
################

/proc/25743/task/26097/stat : 26097 (java) R 25742 25742 7621 0 -1 4202560 5714 0 0 0 12423 2 0 0 20 0 28 0 3786129 14201171968 942497 33554432000 4194304 4196468 140725605400272 140399878319568 140400084013619 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26098] ppid=25742 vsize=13868332 CPUtime=125.77 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26098/stat : 26098 (java) R 25742 25742 7621 0 -1 4202560 1076 0 0 0 12577 0 0 0 20 0 28 0 3786129 14201171968 942497 33554432000 4194304 4196468 140725605400272 140399883583384 140400083129356 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
Current children cumulated CPU time (s) 1735.5
Current children cumulated vsize (KiB) 13877844

[startup+282.302 s]
/proc/loadavg: 15.98 14.45 11.74 17/302 26131
/proc/meminfo: memFree=24648788/32770624 swapFree=5800/238224
[pid=25742] ppid=25739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25742/stat : 25742 (xcsp3-exec) S 25739 25742 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3776515 9740288 346 33554432000 4194304 5098028 140727781640272 140727781638376 139902030160508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29814784 140727781647502 140727781647712 140727781647712 140727781650411 0
/proc/25742/statm: 2378 346 289 221 0 87 0
[pid=25743] ppid=25742 vsize=13868332 CPUtime=2213.02 cores=1,3,5,7,9,11,13,15
/proc/25743/stat : 25743 (java) S 25742 25742 7621 0 -1 1077944320 164344 0 0 0 220761 541 0 0 20 0 28 0 3776515 14201171968 946093 33554432000 4194304 4196468 140725605400272 140725605382816 140400438861559 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
/proc/25743/statm: 3467083 946093 3309 1 0 3454316 0
[pid=25743/tid=25744] ppid=25742 vsize=13868332 CPUtime=4.34 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25744/stat : 25744 (java) S 25742 25742 7621 0 -1 1077944384 7893 0 0 0 420 14 0 0 20 0 28 0 3776516 14201171968 946093 33554432000 4194304 4196468 140725605400272 140400443102336 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25746] ppid=25742 vsize=13868332 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25746/stat : 25746 (java) S 25742 25742 7621 0 -1 1077944384 2221 0 0 0 123 52 0 0 20 0 28 0 3776517 14201171968 946093 33554432000 4194304 4196468 140725605400272 140400401967376 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25747] ppid=25742 vsize=13868332 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25747/stat : 25747 (java) S 25742 25742 7621 0 -1 1077944384 2556 0 0 0 123 53 0 0 20 0 28 0 3776517 14201171968 946093 33554432000 4194304 4196468 140725605400272 140400037132688 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25748] ppid=25742 vsize=13868332 CPUtime=1.72 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25748/stat : 25748 (java) S 25742 25742 7621 0 -1 1077944384 2322 0 0 0 117 55 0 0 20 0 28 0 3776517 14201171968 946093 33554432000 4194304 4196468 140725605400272 140400036080144 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25749] ppid=25742 vsize=13868332 CPUtime=1.79 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25749/stat : 25749 (java) S 25742 25742 7621 0 -1 1077944384 2102 0 0 0 124 55 0 0 20 0 28 0 3776517 14201171968 946093 33554432000 4194304 4196468 140725605400272 140400035027600 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25750] ppid=25742 vsize=13868332 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25750/stat : 25750 (java) S 25742 25742 7621 0 -1 1077944384 2158 0 0 0 130 50 0 0 20 0 28 0 3776517 14201171968 946093 33554432000 4194304 4196468 140725605400272 140400033975056 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25751] ppid=25742 vsize=13868332 CPUtime=1.71 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25751/stat : 25751 (java) S 25742 25742 7621 0 -1 1077944384 1556 0 0 0 121 50 0 0 20 0 28 0 3776517 14201171968 946093 33554432000 4194304 4196468 140725605400272 140400032922512 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25752] ppid=25742 vsize=13868332 CPUtime=1.73 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25752/stat : 25752 (java) S 25742 25742 7621 0 -1 1077944384 2017 0 0 0 121 52 0 0 20 0 28 0 3776517 14201171968 946093 33554432000 4194304 4196468 140725605400272 140400031869968 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25753] ppid=25742 vsize=13868332 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25753/stat : 25753 (java) S 25742 25742 7621 0 -1 1077944384 1683 0 0 0 122 54 0 0 20 0 28 0 3776517 14201171968 946093 33554432000 4194304 4196468 140725605400272 140400030817424 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25754] ppid=25742 vsize=13868332 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25754/stat : 25754 (java) S 25742 25742 7621 0 -1 1077944384 7412 0 0 0 27 7 0 0 20 0 28 0 3776519 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399901071344 140400438872706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25755] ppid=25742 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25755/stat : 25755 (java) S 25742 25742 7621 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3776520 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399900017632 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25756] ppid=25742 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25756/stat : 25756 (java) S 25742 25742 7621 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3776520 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399898964992 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25757] ppid=25742 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25757/stat : 25757 (java) S 25742 25742 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3776524 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399897913552 140400438880155 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25758] ppid=25742 vsize=13868332 CPUtime=4.95 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25758/stat : 25758 (java) S 25742 25742 7621 0 -1 1077944384 16726 0 0 0 492 3 0 0 20 0 28 0 3776524 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399896861168 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25759] ppid=25742 vsize=13868332 CPUtime=5.16 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25759/stat : 25759 (java) S 25742 25742 7621 0 -1 1077944384 19753 0 0 0 513 3 0 0 20 0 28 0 3776524 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399895808624 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 16 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25760] ppid=25742 vsize=13868332 CPUtime=5.19 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25760/stat : 25760 (java) S 25742 25742 7621 0 -1 1077944384 18152 0 0 0 517 2 0 0 20 0 28 0 3776524 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399894756080 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25761] ppid=25742 vsize=13868332 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25761/stat : 25761 (java) S 25742 25742 7621 0 -1 1077944384 9550 0 0 0 125 3 0 0 20 0 28 0 3776524 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399893703536 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25762] ppid=25742 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25762/stat : 25762 (java) S 25742 25742 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3776525 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399892650208 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25763] ppid=25742 vsize=13868332 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25763/stat : 25763 (java) S 25742 25742 7621 0 -1 1077944384 2788 0 0 0 8 10 0 0 20 0 28 0 3776525 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399891597744 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 14 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26091] ppid=25742 vsize=13868332 CPUtime=185.46 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26091/stat : 26091 (java) R 25742 25742 7621 0 -1 4202560 2451 0 0 0 18545 1 0 0 20 0 28 0 3786129 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399882532304 140400084013571 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26092] ppid=25742 vsize=13868332 CPUtime=184.67 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26092/stat : 26092 (java) R 25742 25742 7621 0 -1 4202560 2811 0 0 0 18465 2 0 0 20 0 28 0 3786129 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399877267480 140400080777023 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26093] ppid=25742 vsize=13868332 CPUtime=185.41 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26093/stat : 26093 (java) R 25742 25742 7621 0 -1 4202560 7353 0 0 0 18538 3 0 0 20 0 28 0 3786129 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399875162216 140400080777402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26094] ppid=25742 vsize=13868332 CPUtime=185.57 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26094/stat : 26094 (java) R 25742 25742 7621 0 -1 4202560 3089 0 0 0 18556 1 0 0 20 0 28 0 3786129 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399876215064 140400081783659 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26095] ppid=25742 vsize=13868332 CPUtime=184.22 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26095/stat : 26095 (java) R 25742 25742 7621 0 -1 4202560 2924 0 0 0 18420 2 0 0 20 0 28 0 3786129 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399881478432 140400076751563 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26096] ppid=25742 vsize=13868332 CPUtime=184.41 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26096/stat : 26096 (java) R 25742 25742 7621 0 -1 4202560 420 0 0 0 18440 1 0 0 20 0 28 0 3786129 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399880426008 140400083639720 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26097] ppid=25742 vsize=13868332 CPUtime=183.82 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26097/stat : 26097 (java) R 25742 25742 7621 0 -1 4202560 7390 0 0 0 18379 3 0 0 20 0 28 0 3786129 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399878319648 140400078300220 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26098] ppid=25742 vsize=13868332 CPUtime=185.62 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26098/stat : 26098 (java) R 25742 25742 7621 0 -1 4202560 1195 0 0 0 18562 0 0 0 20 0 28 0 3786129 14201171968 946093 33554432000 4194304 4196468 140725605400272 140399883583160 140400083129356 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
Current children cumulated CPU time (s) 2213.02
Current children cumulated vsize (KiB) 13877844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+305.802 s]
/proc/loadavg: 15.99 14.57 11.86 17/302 26132
/proc/meminfo: memFree=24623980/32770624 swapFree=5800/238256
[pid=25742] ppid=25739 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25742/stat : 25742 (xcsp3-exec) S 25739 25742 7621 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3776515 9740288 346 33554432000 4194304 5098028 140727781640272 140727781638376 139902030160508 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 29814784 140727781647502 140727781647712 140727781647712 140727781650411 0
/proc/25742/statm: 2378 346 289 221 0 87 0
[pid=25743] ppid=25742 vsize=13868332 CPUtime=2400.1 cores=1,3,5,7,9,11,13,15
/proc/25743/stat : 25743 (java) S 25742 25742 7621 0 -1 1077944320 170631 0 0 0 239459 551 0 0 20 0 28 0 3776515 14201171968 950199 33554432000 4194304 4196468 140725605400272 140725605382816 140400438861559 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
/proc/25743/statm: 3467083 950199 3309 1 0 3454316 0
[pid=25743/tid=25744] ppid=25742 vsize=13868332 CPUtime=4.34 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25744/stat : 25744 (java) S 25742 25742 7621 0 -1 1077944384 7893 0 0 0 420 14 0 0 20 0 28 0 3776516 14201171968 950199 33554432000 4194304 4196468 140725605400272 140400443102336 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25746] ppid=25742 vsize=13868332 CPUtime=1.78 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25746/stat : 25746 (java) S 25742 25742 7621 0 -1 1077944384 2604 0 0 0 126 52 0 0 20 0 28 0 3776517 14201171968 950199 33554432000 4194304 4196468 140725605400272 140400401967376 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25747] ppid=25742 vsize=13868332 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25747/stat : 25747 (java) S 25742 25742 7621 0 -1 1077944384 2610 0 0 0 126 54 0 0 20 0 28 0 3776517 14201171968 950199 33554432000 4194304 4196468 140725605400272 140400037132688 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25748] ppid=25742 vsize=13868332 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25748/stat : 25748 (java) S 25742 25742 7621 0 -1 1077944384 2346 0 0 0 120 56 0 0 20 0 28 0 3776517 14201171968 950199 33554432000 4194304 4196468 140725605400272 140400036080144 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25749] ppid=25742 vsize=13868332 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25749/stat : 25749 (java) S 25742 25742 7621 0 -1 1077944384 2148 0 0 0 126 56 0 0 20 0 28 0 3776517 14201171968 950199 33554432000 4194304 4196468 140725605400272 140400035027600 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25750] ppid=25742 vsize=13868332 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25750/stat : 25750 (java) S 25742 25742 7621 0 -1 1077944384 2177 0 0 0 132 51 0 0 20 0 28 0 3776517 14201171968 950199 33554432000 4194304 4196468 140725605400272 140400033975056 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25751] ppid=25742 vsize=13868332 CPUtime=1.75 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25751/stat : 25751 (java) S 25742 25742 7621 0 -1 1077944384 1662 0 0 0 124 51 0 0 20 0 28 0 3776517 14201171968 950199 33554432000 4194304 4196468 140725605400272 140400032922512 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25752] ppid=25742 vsize=13868332 CPUtime=1.76 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25752/stat : 25752 (java) S 25742 25742 7621 0 -1 1077944384 2122 0 0 0 123 53 0 0 20 0 28 0 3776517 14201171968 950199 33554432000 4194304 4196468 140725605400272 140400031869968 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25753] ppid=25742 vsize=13868332 CPUtime=1.79 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25753/stat : 25753 (java) S 25742 25742 7621 0 -1 1077944384 1823 0 0 0 124 55 0 0 20 0 28 0 3776517 14201171968 950199 33554432000 4194304 4196468 140725605400272 140400030817424 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25754] ppid=25742 vsize=13868332 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25754/stat : 25754 (java) S 25742 25742 7621 0 -1 1077944384 7681 0 0 0 28 8 0 0 20 0 28 0 3776519 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399901071344 140400438872706 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25755] ppid=25742 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25755/stat : 25755 (java) S 25742 25742 7621 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 3776520 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399900017632 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25756] ppid=25742 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25756/stat : 25756 (java) S 25742 25742 7621 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 3776520 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399898964992 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25757] ppid=25742 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25757/stat : 25757 (java) S 25742 25742 7621 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3776524 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399897913552 140400438880155 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25758] ppid=25742 vsize=13868332 CPUtime=4.95 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25758/stat : 25758 (java) S 25742 25742 7621 0 -1 1077944384 16729 0 0 0 492 3 0 0 20 0 28 0 3776524 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399896861168 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25759] ppid=25742 vsize=13868332 CPUtime=5.16 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25759/stat : 25759 (java) S 25742 25742 7621 0 -1 1077944384 20161 0 0 0 513 3 0 0 20 0 28 0 3776524 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399895808624 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 16 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25760] ppid=25742 vsize=13868332 CPUtime=5.24 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25760/stat : 25760 (java) S 25742 25742 7621 0 -1 1077944384 19761 0 0 0 521 3 0 0 20 0 28 0 3776524 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399894756080 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25761] ppid=25742 vsize=13868332 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25761/stat : 25761 (java) S 25742 25742 7621 0 -1 1077944384 9559 0 0 0 125 3 0 0 20 0 28 0 3776524 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399893703536 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25762] ppid=25742 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25762/stat : 25762 (java) S 25742 25742 7621 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3776525 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399892650208 140400438871765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=25763] ppid=25742 vsize=13868332 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/25743/task/25763/stat : 25763 (java) S 25742 25742 7621 0 -1 1077944384 2808 0 0 0 9 10 0 0 20 0 28 0 3776525 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399891597744 140400438872706 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 14 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26091] ppid=25742 vsize=13868332 CPUtime=208.89 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26091/stat : 26091 (java) R 25742 25742 7621 0 -1 4202560 2799 0 0 0 20888 1 0 0 20 0 28 0 3786129 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399882529624 140400083640131 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26092] ppid=25742 vsize=13868332 CPUtime=208.11 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26092/stat : 26092 (java) R 25742 25742 7621 0 -1 4202560 2985 0 0 0 20808 3 0 0 20 0 28 0 3786129 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399877267272 140400084013544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26093] ppid=25742 vsize=13868332 CPUtime=208.54 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26093/stat : 26093 (java) R 25742 25742 7621 0 -1 4202560 8032 0 0 0 20850 4 0 0 20 0 28 0 3786129 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399875165056 140400075548174 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26094] ppid=25742 vsize=13868332 CPUtime=209.01 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26094/stat : 26094 (java) R 25742 25742 7621 0 -1 4202560 3348 0 0 0 20900 1 0 0 20 0 28 0 3786129 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399876215000 140400080777249 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26095] ppid=25742 vsize=13868332 CPUtime=207.66 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26095/stat : 26095 (java) R 25742 25742 7621 0 -1 4202560 3116 0 0 0 20764 2 0 0 20 0 28 0 3786129 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399881478240 140400076751616 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26096] ppid=25742 vsize=13868332 CPUtime=207.84 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26096/stat : 26096 (java) R 25742 25742 7621 0 -1 4202560 489 0 0 0 20783 1 0 0 20 0 28 0 3786129 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399880426008 140400078694408 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26097] ppid=25742 vsize=13868332 CPUtime=206.8 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26097/stat : 26097 (java) R 25742 25742 7621 0 -1 4202560 8632 0 0 0 20677 3 0 0 20 0 28 0 3786129 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399878319720 140400080798416 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
[pid=25743/tid=26098] ppid=25742 vsize=13868332 CPUtime=209.05 cores=1,3,5,7,9,11,13,15
/proc/25743/task/26098/stat : 26098 (java) R 25742 25742 7621 0 -1 4202560 1324 0 0 0 20905 0 0 0 20 0 28 0 3786129 14201171968 950199 33554432000 4194304 4196468 140725605400272 140399883583048 140400083129463 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7135232 140725605401788 140725605401964 140725605401964 140725605404623 0
Current children cumulated CPU time (s) 2400.1
Current children cumulated vsize (KiB) 13877844

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 25743 sig 9
??? kill 25742 sig 9
??? kill -25742 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25742 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=1014
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=2028
# CPU time returned by wait4() is 0.003042
# while last known CPU time is 2400.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 305.833
CPU time (s): 2400.1
CPU user time (s): 2394.59
CPU system time (s): 5.51
CPU usage (%): 784.774
Max. virtual memory (cumulated for all children) (KiB): 13880056

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001014
system time used= 0.002028
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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.71542 second user time and 4.83282 second system time

The end

Begin job on node124 at 2017-07-22 02:58:08
IDJOB=4245125
IDBENCH=120572
IDSOLVER=2625
FILE ID=node124/4245125-1500685087
RUNJOBID= node124-1500683887-7653
PBS_JOBID= 20623343
Free space on /tmp= 62000 MiB

SOLVER NAME= choco-solver 4.0.5
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-wap06a.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245125-1500685087/watcher-4245125-1500685087 -o /tmp/evaluation-result-4245125-1500685087/solver-4245125-1500685087 -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 1024302128 HOME/instance-4245125-1500685087.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= a8532fde929f2c832645b1246a7d35a6
RANDOM SEED=1024302128

node124.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.16
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30662344 kB
MemAvailable:   30706200 kB
Buffers:           48880 kB
Cached:           305580 kB
SwapCached:            0 kB
Active:          1484704 kB
Inactive:         246452 kB
Active(anon):    1378832 kB
Inactive(anon):     8744 kB
Active(file):     105872 kB
Inactive(file):   237708 kB
Unevictable:        5800 kB
Mlocked:            5800 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              9488 kB
Writeback:             0 kB
AnonPages:       1408160 kB
Mapped:            42552 kB
Shmem:              8840 kB
Slab:              65444 kB
SReclaimable:      32224 kB
SUnreclaim:        33220 kB
KernelStack:        4992 kB
PageTables:         8016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2128564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1243136 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      112000 kB
DirectMap2M:    33433600 kB

Free space on /tmp at the end= 61992 MiB
End job on node124 at 2017-07-22 03:03:14

Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-wap06a.xml
MD5SUM	a8532fde929f2c832645b1246a7d35a6
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	SAT TO
Best value of the objective obtained on this benchmark	40
Best CPU time to get the best result obtained on this benchmark	2400.07
Satisfiable
(Un)Satisfiability was proved
Number of variables	947
Number of constraints	43571
Number of domains	1
Minimum domain size	947
Maximum domain size	947
Distribution of domain sizes	[{"size":947,"count":947}]
Minimum variable degree	10
Maximum variable degree	231
Distribution of variable degrees	[{"degree":10,"count":2},{"degree":13,"count":3},{"degree":15,"count":1},{"degree":16,"count":4},{"degree":17,"count":3},{"degree":20,"count":1},{"degree":24,"count":4},{"degree":26,"count":1},{"degree":29,"count":3},{"degree":31,"count":7},{"degree":32,"count":5},{"degree":33,"count":5},{"degree":34,"count":9},{"degree":35,"count":30},{"degree":36,"count":21},{"degree":37,"count":9},{"degree":38,"count":23},{"degree":39,"count":11},{"degree":40,"count":88},{"degree":41,"count":1},{"degree":42,"count":1},{"degree":43,"count":4},{"degree":44,"count":10},{"degree":45,"count":2},{"degree":46,"count":8},"...",{"degree":184,"count":2}, {"degree":185,"count":5}, {"degree":186,"count":2}, {"degree":187,"count":1}, {"degree":188,"count":1}, {"degree":189,"count":1}, {"degree":190,"count":1}, {"degree":191,"count":2}, {"degree":192,"count":2}, {"degree":193,"count":1}, {"degree":194,"count":2}, {"degree":195,"count":2}, {"degree":196,"count":1}, {"degree":199,"count":2}, {"degree":200,"count":1}, {"degree":202,"count":1}, {"degree":205,"count":1}, {"degree":207,"count":1}, {"degree":210,"count":1}, {"degree":211,"count":1}, {"degree":213,"count":1}, {"degree":218,"count":1}, {"degree":219,"count":1}, {"degree":224,"count":2}, {"degree":231,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":43571}]
Number of extensional constraints	0
Number of intensional constraints	43571
Distribution of constraint types	[{"type":"intension","count":43571}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4245125

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data