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

Solver Name	Answer	objective function	CPU time	Wall clock time
cosoco 2.0 parallel	SAT (TO)	24	20109.6	2520.02

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15388 MiB free)
  memory of node 1: 16384 MiB (15711 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409766-1569818638/watcher-4409766-1569818638 -o /tmp/evaluation-result-4409766-1569818638/solver-4409766-1569818638 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1569816069-18432 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409766-1569818638.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=18808, runsolver pid=18805

[startup+0.100057 s]*
/proc/loadavg: 7.85 8.23 7.87 2/192 18809
/proc/meminfo: memFree=31831892/32770624 swapFree=66947664/67108860
[pid=18808] ppid=18805 vsize=41600 memory=17680 CPUtime=0.1 cores=0-7
/proc/18808/stat : 18808 (cosoco) R 18805 18808 18405 0 -1 4202496 4642 0 0 0 10 0 0 0 20 0 1 0 558136206 42598400 4420 33554432000 4194304 6211132 140728425183408 140728425179944 5741262 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
/proc/18808/statm: 10400 4420 806 493 0 3705 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41600 KiB
Current children cumulated memory: 17680 KiB

[startup+0.208763 s]*
/proc/loadavg: 7.85 8.23 7.87 2/192 18809
/proc/meminfo: memFree=31818996/32770624 swapFree=66947664/67108860
[pid=18808] ppid=18805 vsize=55784 memory=31916 CPUtime=0.21 cores=0-7
/proc/18808/stat : 18808 (cosoco) R 18805 18808 18405 0 -1 4202496 8204 0 0 0 20 1 0 0 20 0 1 0 558136206 57122816 7979 33554432000 4194304 6211132 140728425183408 140728425179944 140470909987813 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
/proc/18808/statm: 13946 7979 821 493 0 7251 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 55784 KiB
Current children cumulated memory: 31916 KiB

[startup+0.308635 s]*
/proc/loadavg: 7.85 8.23 7.87 2/192 18809
/proc/meminfo: memFree=31805728/32770624 swapFree=66947664/67108860
[pid=18808] ppid=18805 vsize=68860 memory=44852 CPUtime=0.31 cores=0-7
/proc/18808/stat : 18808 (cosoco) R 18805 18808 18405 0 -1 4202496 11472 0 0 0 30 1 0 0 20 0 1 0 558136206 70512640 11213 33554432000 4194304 6211132 140728425183408 140728425179944 140470909987813 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
/proc/18808/statm: 17215 11213 821 493 0 10520 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 68860 KiB
Current children cumulated memory: 44852 KiB

[startup+0.700329 s]
/proc/loadavg: 7.85 8.23 7.87 2/192 18809
/proc/meminfo: memFree=31779316/32770624 swapFree=66947664/67108860
[pid=18808] ppid=18805 vsize=119328 memory=95276 CPUtime=0.69 cores=0-7
/proc/18808/stat : 18808 (cosoco) R 18805 18808 18405 0 -1 4202496 24094 0 0 0 66 3 0 0 20 0 1 0 558136206 122191872 23819 33554432000 4194304 6211132 140728425183408 140728425177848 140470909987813 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
/proc/18808/statm: 29832 23819 821 493 0 23137 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 119328 KiB
Current children cumulated memory: 95276 KiB

[startup+1.50112 s]
/proc/loadavg: 7.85 8.23 7.87 2/192 18809
/proc/meminfo: memFree=31715788/32770624 swapFree=66947664/67108860
[pid=18808] ppid=18805 vsize=802920 memory=189408 CPUtime=1.95 cores=0-7
/proc/18808/stat : 18808 (cosoco) S 18805 18808 18405 0 -1 1077944320 48050 0 0 0 188 7 0 0 20 0 9 0 558136206 822190080 47352 33554432000 4194304 6211132 140728425183408 140728425181664 140470926028535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
/proc/18808/statm: 200730 47352 841 493 0 194035 0
Current children cumulated CPU time: 1.95 s
Current children cumulated vsize: 802920 KiB
Current children cumulated memory: 189408 KiB

[startup+3.11012 s]
/proc/loadavg: 7.85 8.23 7.87 9/200 18817
/proc/meminfo: memFree=31571752/32770624 swapFree=66947664/67108860
[pid=18808] ppid=18805 vsize=827504 memory=279548 CPUtime=14.53 cores=0-7
/proc/18808/stat : 18808 (cosoco) S 18805 18808 18405 0 -1 1077944320 113465 0 0 0 1427 26 0 0 20 0 9 0 558136206 847364096 69887 33554432000 4194304 6211132 140728425183408 140728425181664 140470926028535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
/proc/18808/statm: 206876 69887 851 493 0 200181 0
[pid=18808/tid=18810] ppid=18805 vsize=827504 memory=6655300316396806240 CPUtime=1.63 cores=0-7
/proc/18808/task/18810/stat : 18810 (cosoco) R 18805 18808 18405 0 -1 4202560 4069 0 0 0 161 2 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470902885704 5390476 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18811] ppid=18805 vsize=827504 memory=6655300316396806240 CPUtime=1.64 cores=0-7
/proc/18808/task/18811/stat : 18811 (cosoco) R 18805 18808 18405 0 -1 4202560 11554 0 0 0 163 1 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470894492688 5397267 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18812] ppid=18805 vsize=827504 memory=6076 CPUtime=1.64 cores=0-7
/proc/18808/task/18812/stat : 18812 (cosoco) R 18805 18808 18405 0 -1 4202560 5806 0 0 0 161 3 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470886100296 5008971 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18813] ppid=18805 vsize=827504 memory=2651 CPUtime=1.63 cores=0-7
/proc/18808/task/18813/stat : 18813 (cosoco) R 18805 18808 18405 0 -1 4202560 12658 0 0 0 163 0 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470877707592 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18814] ppid=18805 vsize=827504 memory=0 CPUtime=1.62 cores=0-7
/proc/18808/task/18814/stat : 18814 (cosoco) R 18805 18808 18405 0 -1 4202560 6082 0 0 0 158 4 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470869314152 5165640 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18815] ppid=18805 vsize=827504 memory=6935054825532540783 CPUtime=1.64 cores=0-7
/proc/18808/task/18815/stat : 18815 (cosoco) R 18805 18808 18405 0 -1 4202560 9928 0 0 0 162 2 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470860921872 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18816] ppid=18805 vsize=827504 memory=9872 CPUtime=1.63 cores=0-7
/proc/18808/task/18816/stat : 18816 (cosoco) R 18805 18808 18405 0 -1 4202560 9592 0 0 0 162 1 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470852529480 5165653 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18817] ppid=18805 vsize=827504 memory=988 CPUtime=1.63 cores=0-7
/proc/18808/task/18817/stat : 18817 (cosoco) R 18805 18808 18405 0 -1 4202560 6109 0 0 0 159 4 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470844136776 5008918 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
Current children cumulated CPU time: 14.53 s
Current children cumulated vsize: 827504 KiB
Current children cumulated memory: 279548 KiB

[startup+6.30111 s]
/proc/loadavg: 7.86 8.22 7.88 9/200 18817
/proc/meminfo: memFree=31572628/32770624 swapFree=66947664/67108860
[pid=18808] ppid=18805 vsize=827504 memory=279548 CPUtime=40.01 cores=0-7
/proc/18808/stat : 18808 (cosoco) S 18805 18808 18405 0 -1 1077944320 232833 0 0 0 3957 44 0 0 20 0 9 0 558136206 847364096 69887 33554432000 4194304 6211132 140728425183408 140728425181664 140470926028535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
/proc/18808/statm: 206876 69887 851 493 0 200181 0
[pid=18808/tid=18810] ppid=18805 vsize=827504 memory=2209 CPUtime=4.81 cores=0-7
/proc/18808/task/18810/stat : 18810 (cosoco) R 18805 18808 18405 0 -1 4202560 18492 0 0 0 477 4 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470902885704 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18811] ppid=18805 vsize=827504 memory=0 CPUtime=4.83 cores=0-7
/proc/18808/task/18811/stat : 18811 (cosoco) R 18805 18808 18405 0 -1 4202560 25760 0 0 0 480 3 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470894492688 5392352 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18812] ppid=18805 vsize=827504 memory=6944652177228980320 CPUtime=4.82 cores=0-7
/proc/18808/task/18812/stat : 18812 (cosoco) R 18805 18808 18405 0 -1 4202560 20053 0 0 0 477 5 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470886100296 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18813] ppid=18805 vsize=827504 memory=422 CPUtime=4.82 cores=0-7
/proc/18808/task/18813/stat : 18813 (cosoco) R 18805 18808 18405 0 -1 4202560 31992 0 0 0 479 3 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470877707592 5392352 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18814] ppid=18805 vsize=827504 memory=422 CPUtime=4.76 cores=0-7
/proc/18808/task/18814/stat : 18814 (cosoco) R 18805 18808 18405 0 -1 4202560 19911 0 0 0 470 6 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470869314152 5165757 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18815] ppid=18805 vsize=827504 memory=3600 CPUtime=4.83 cores=0-7
/proc/18808/task/18815/stat : 18815 (cosoco) R 18805 18808 18405 0 -1 4202560 27489 0 0 0 479 4 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470860921872 5392340 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18816] ppid=18805 vsize=827504 memory=9872 CPUtime=4.82 cores=0-7
/proc/18808/task/18816/stat : 18816 (cosoco) R 18805 18808 18405 0 -1 4202560 22134 0 0 0 479 3 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470852529480 5392740 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18817] ppid=18805 vsize=827504 memory=56 CPUtime=4.82 cores=0-7
/proc/18808/task/18817/stat : 18817 (cosoco) R 18805 18808 18405 0 -1 4202560 19335 0 0 0 476 6 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470844136776 5165705 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
Current children cumulated CPU time: 40.01 s
Current children cumulated vsize: 827504 KiB
Current children cumulated memory: 279548 KiB

[startup+12.7011 s]
/proc/loadavg: 7.87 8.22 7.88 9/200 18817
/proc/meminfo: memFree=31573120/32770624 swapFree=66947664/67108860
[pid=18808] ppid=18805 vsize=827504 memory=279548 CPUtime=91.05 cores=0-7
/proc/18808/stat : 18808 (cosoco) S 18805 18808 18405 0 -1 1077944320 312041 0 0 0 9047 58 0 0 20 0 9 0 558136206 847364096 69887 33554432000 4194304 6211132 140728425183408 140728425181664 140470926028535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
/proc/18808/statm: 206876 69887 851 493 0 200181 0
[pid=18808/tid=18810] ppid=18805 vsize=827504 memory=279548 CPUtime=11.17 cores=0-7
/proc/18808/task/18810/stat : 18810 (cosoco) R 18805 18808 18405 0 -1 4202560 25945 0 0 0 1111 6 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470902885704 5397400 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18811] ppid=18805 vsize=827504 memory=279548 CPUtime=11.22 cores=0-7
/proc/18808/task/18811/stat : 18811 (cosoco) R 18805 18808 18405 0 -1 4202560 36175 0 0 0 1118 4 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470894492688 5390500 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18812] ppid=18805 vsize=827504 memory=161 CPUtime=11.21 cores=0-7
/proc/18808/task/18812/stat : 18812 (cosoco) R 18805 18808 18405 0 -1 4202560 28052 0 0 0 1114 7 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470886100296 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18813] ppid=18805 vsize=827504 memory=279548 CPUtime=11.21 cores=0-7
/proc/18808/task/18813/stat : 18813 (cosoco) R 18805 18808 18405 0 -1 4202560 47519 0 0 0 1117 4 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470877707592 5390520 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18814] ppid=18805 vsize=827504 memory=4629539461233085814 CPUtime=11.1 cores=0-7
/proc/18808/task/18814/stat : 18814 (cosoco) R 18805 18808 18405 0 -1 4202560 28043 0 0 0 1102 8 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470869314152 5165625 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18815] ppid=18805 vsize=827504 memory=9872 CPUtime=11.21 cores=0-7
/proc/18808/task/18815/stat : 18815 (cosoco) R 18805 18808 18405 0 -1 4202560 39148 0 0 0 1116 5 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470860921872 5392375 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18816] ppid=18805 vsize=827504 memory=988 CPUtime=11.21 cores=0-7
/proc/18808/task/18816/stat : 18816 (cosoco) R 18805 18808 18405 0 -1 4202560 30945 0 0 0 1116 5 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470852529480 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18817] ppid=18805 vsize=827504 memory=279548 CPUtime=11.21 cores=0-7
/proc/18808/task/18817/stat : 18817 (cosoco) R 18805 18808 18405 0 -1 4202560 28547 0 0 0 1113 8 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470844136776 5392293 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
Current children cumulated CPU time: 91.05 s
Current children cumulated vsize: 827504 KiB
Current children cumulated memory: 279548 KiB

[startup+25.5011 s]
/proc/loadavg: 7.90 8.21 7.88 9/201 18820
/proc/meminfo: memFree=31573496/32770624 swapFree=66947664/67108860
[pid=18808] ppid=18805 vsize=827504 memory=279548 CPUtime=193.18 cores=0-7
/proc/18808/stat : 18808 (cosoco) S 18805 18808 18405 0 -1 1077944320 420620 0 0 0 19240 78 0 0 20 0 9 0 558136206 847364096 69887 33554432000 4194304 6211132 140728425183408 140728425181664 140470926028535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
/proc/18808/statm: 206876 69887 851 493 0 200181 0
[pid=18808/tid=18810] ppid=18805 vsize=827504 memory=0 CPUtime=23.77 cores=0-7
/proc/18808/task/18810/stat : 18810 (cosoco) R 18805 18808 18405 0 -1 4202560 37673 0 0 0 2368 9 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470902885704 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18811] ppid=18805 vsize=827504 memory=279548 CPUtime=24 cores=0-7
/proc/18808/task/18811/stat : 18811 (cosoco) R 18805 18808 18405 0 -1 4202560 49912 0 0 0 2393 7 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470894492688 5397248 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18812] ppid=18805 vsize=827504 memory=0 CPUtime=24.01 cores=0-7
/proc/18808/task/18812/stat : 18812 (cosoco) R 18805 18808 18405 0 -1 4202560 40371 0 0 0 2391 10 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470886100296 5397400 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18813] ppid=18805 vsize=827504 memory=279548 CPUtime=24 cores=0-7
/proc/18808/task/18813/stat : 18813 (cosoco) R 18805 18808 18405 0 -1 4202560 66455 0 0 0 2394 6 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470877707592 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18814] ppid=18805 vsize=827504 memory=1420 CPUtime=23.89 cores=0-7
/proc/18808/task/18814/stat : 18814 (cosoco) R 18805 18808 18405 0 -1 4202560 42691 0 0 0 2379 10 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470869314152 5392289 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18815] ppid=18805 vsize=827504 memory=279548 CPUtime=24.01 cores=0-7
/proc/18808/task/18815/stat : 18815 (cosoco) R 18805 18808 18405 0 -1 4202560 54328 0 0 0 2394 7 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470860921872 5392384 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18816] ppid=18805 vsize=827504 memory=9872 CPUtime=24 cores=0-7
/proc/18808/task/18816/stat : 18816 (cosoco) R 18805 18808 18405 0 -1 4202560 42643 0 0 0 2393 7 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470852529480 5392297 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18817] ppid=18805 vsize=827504 memory=279548 CPUtime=23.99 cores=0-7
/proc/18808/task/18817/stat : 18817 (cosoco) R 18805 18808 18405 0 -1 4202560 38880 0 0 0 2389 10 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470844136776 5397407 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
Current children cumulated CPU time: 193.18 s
Current children cumulated vsize: 827504 KiB
Current children cumulated memory: 279548 KiB

[startup+51.1101 s]
/proc/loadavg: 7.93 8.19 7.88 9/200 18820
/proc/meminfo: memFree=31573148/32770624 swapFree=66947664/67108860
[pid=18808] ppid=18805 vsize=827504 memory=279548 CPUtime=397.53 cores=0-7
/proc/18808/stat : 18808 (cosoco) S 18805 18808 18405 0 -1 1077944320 634758 0 0 0 39638 115 0 0 20 0 9 0 558136206 847364096 69887 33554432000 4194304 6211132 140728425183408 140728425181664 140470926028535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
/proc/18808/statm: 206876 69887 851 493 0 200181 0
[pid=18808/tid=18810] ppid=18805 vsize=827504 memory=6935054825532540783 CPUtime=49.14 cores=0-7
/proc/18808/task/18810/stat : 18810 (cosoco) R 18805 18808 18405 0 -1 4202560 61291 0 0 0 4899 15 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470902885704 5165640 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18811] ppid=18805 vsize=827504 memory=6446745912524 CPUtime=49.6 cores=0-7
/proc/18808/task/18811/stat : 18811 (cosoco) R 18805 18808 18405 0 -1 4202560 75241 0 0 0 4947 13 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470894492688 5008827 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18812] ppid=18805 vsize=827504 memory=279548 CPUtime=49.45 cores=0-7
/proc/18808/task/18812/stat : 18812 (cosoco) R 18805 18808 18405 0 -1 4202560 64752 0 0 0 4930 15 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470886100296 5392297 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18813] ppid=18805 vsize=827504 memory=279548 CPUtime=49.59 cores=0-7
/proc/18808/task/18813/stat : 18813 (cosoco) R 18805 18808 18405 0 -1 4202560 102067 0 0 0 4948 11 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470877707592 5165653 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18814] ppid=18805 vsize=827504 memory=56 CPUtime=49.48 cores=0-7
/proc/18808/task/18814/stat : 18814 (cosoco) R 18805 18808 18405 0 -1 4202560 67646 0 0 0 4935 13 0 0 20 0 9 0 558136350 847364096 69887 33554432000 4194304 6211132 140728425183408 140470869314152 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0

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

/proc/18808/task/18812/stat : 18812 (cosoco) R 18805 18808 18405 0 -1 4202560 99058 0 0 0 225972 22 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470886100296 5392384 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18813] ppid=18805 vsize=827504 memory=1420 CPUtime=2255.37 cores=0-7
/proc/18808/task/18813/stat : 18813 (cosoco) R 18805 18808 18405 0 -1 4202560 147755 0 0 0 225518 19 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470877707592 5397227 0 0 4096 8405026 0 0 0 -1 0 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18814] ppid=18805 vsize=827504 memory=279796 CPUtime=2245.91 cores=0-7
/proc/18808/task/18814/stat : 18814 (cosoco) R 18805 18808 18405 0 -1 4202560 101122 0 0 0 224571 20 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470869314152 5409476 0 0 4096 8405026 0 0 0 -1 7 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18815] ppid=18805 vsize=827504 memory=3600 CPUtime=2260.36 cores=0-7
/proc/18808/task/18815/stat : 18815 (cosoco) R 18805 18808 18405 0 -1 4202560 126201 0 0 0 226019 17 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470860921872 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 4 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18816] ppid=18805 vsize=827504 memory=279796 CPUtime=2259.92 cores=0-7
/proc/18808/task/18816/stat : 18816 (cosoco) R 18805 18808 18405 0 -1 4202560 97539 0 0 0 225971 21 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470852529480 5397414 0 0 4096 8405026 0 0 0 -1 4 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18817] ppid=18805 vsize=827504 memory=800 CPUtime=2252.78 cores=0-7
/proc/18808/task/18817/stat : 18817 (cosoco) R 18805 18808 18405 0 -1 4202560 102205 0 0 0 225255 23 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470844136776 5112689 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
Current children cumulated CPU time: 18051.9 s
Current children cumulated vsize: 827504 KiB
Current children cumulated memory: 279796 KiB

[startup+2322.3 s]
/proc/loadavg: 8.21 8.28 8.24 9/201 19018
/proc/meminfo: memFree=31572976/32770624 swapFree=66947672/67108860
[pid=18808] ppid=18805 vsize=827504 memory=279796 CPUtime=18531 cores=0-7
/proc/18808/stat : 18808 (cosoco) S 18805 18808 18405 0 -1 1077944320 928356 0 0 0 1852919 177 0 0 20 0 9 0 558136206 847364096 69949 33554432000 4194304 6211132 140728425183408 140728425181664 140470926028535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
/proc/18808/statm: 206876 69949 851 493 0 200181 0
[pid=18808/tid=18810] ppid=18805 vsize=827504 memory=279796 CPUtime=2319.27 cores=0-7
/proc/18808/task/18810/stat : 18810 (cosoco) R 18805 18808 18405 0 -1 4202560 98402 0 0 0 231903 24 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470902885704 5392384 0 0 4096 8405026 0 0 0 -1 1 0 0 4 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18811] ppid=18805 vsize=827504 memory=279796 CPUtime=2316.82 cores=0-7
/proc/18808/task/18811/stat : 18811 (cosoco) R 18805 18808 18405 0 -1 4202560 107663 0 0 0 231662 20 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470894492688 5397258 0 0 4096 8405026 0 0 0 -1 3 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18812] ppid=18805 vsize=827504 memory=279796 CPUtime=2319.93 cores=0-7
/proc/18808/task/18812/stat : 18812 (cosoco) R 18805 18808 18405 0 -1 4202560 99191 0 0 0 231971 22 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470886100296 5392297 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18813] ppid=18805 vsize=827504 memory=224404 CPUtime=2315.35 cores=0-7
/proc/18808/task/18813/stat : 18813 (cosoco) R 18805 18808 18405 0 -1 4202560 147830 0 0 0 231516 19 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470877707592 5397400 0 0 4096 8405026 0 0 0 -1 0 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18814] ppid=18805 vsize=827504 memory=279796 CPUtime=2305.06 cores=0-7
/proc/18808/task/18814/stat : 18814 (cosoco) R 18805 18808 18405 0 -1 4202560 101290 0 0 0 230486 20 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470869314152 5165636 0 0 4096 8405026 0 0 0 -1 7 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18815] ppid=18805 vsize=827504 memory=279796 CPUtime=2320.34 cores=0-7
/proc/18808/task/18815/stat : 18815 (cosoco) R 18805 18808 18405 0 -1 4202560 126327 0 0 0 232017 17 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470860921872 5392352 0 0 4096 8405026 0 0 0 -1 2 0 0 4 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18816] ppid=18805 vsize=827504 memory=279796 CPUtime=2319.92 cores=0-7
/proc/18808/task/18816/stat : 18816 (cosoco) R 18805 18808 18405 0 -1 4202560 97651 0 0 0 231971 21 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470852529480 5392375 0 0 4096 8405026 0 0 0 -1 4 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18817] ppid=18805 vsize=827504 memory=279796 CPUtime=2312.77 cores=0-7
/proc/18808/task/18817/stat : 18817 (cosoco) R 18805 18808 18405 0 -1 4202560 102335 0 0 0 231254 23 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470844136776 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
Current children cumulated CPU time: 18531 s
Current children cumulated vsize: 827504 KiB
Current children cumulated memory: 279796 KiB

[startup+2382.3 s]
/proc/loadavg: 8.14 8.24 8.23 9/200 19021
/proc/meminfo: memFree=31573388/32770624 swapFree=66947672/67108860
[pid=18808] ppid=18805 vsize=827504 memory=279796 CPUtime=19010 cores=0-7
/proc/18808/stat : 18808 (cosoco) S 18805 18808 18405 0 -1 1077944320 929385 0 0 0 1900824 177 0 0 20 0 9 0 558136206 847364096 69949 33554432000 4194304 6211132 140728425183408 140728425181664 140470926028535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
/proc/18808/statm: 206876 69949 851 493 0 200181 0
[pid=18808/tid=18810] ppid=18805 vsize=827504 memory=279796 CPUtime=2379.27 cores=0-7
/proc/18808/task/18810/stat : 18810 (cosoco) R 18805 18808 18405 0 -1 4202560 98512 0 0 0 237903 24 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470902885704 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 4 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18811] ppid=18805 vsize=827504 memory=279796 CPUtime=2376.8 cores=0-7
/proc/18808/task/18811/stat : 18811 (cosoco) R 18805 18808 18405 0 -1 4202560 107816 0 0 0 237660 20 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470894492688 5397258 0 0 4096 8405026 0 0 0 -1 3 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18812] ppid=18805 vsize=827504 memory=279796 CPUtime=2379.91 cores=0-7
/proc/18808/task/18812/stat : 18812 (cosoco) R 18805 18808 18405 0 -1 4202560 99378 0 0 0 237969 22 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470886100296 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18813] ppid=18805 vsize=827504 memory=279796 CPUtime=2375.33 cores=0-7
/proc/18808/task/18813/stat : 18813 (cosoco) R 18805 18808 18405 0 -1 4202560 147961 0 0 0 237514 19 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470877707592 5165656 0 0 4096 8405026 0 0 0 -1 0 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18814] ppid=18805 vsize=827504 memory=279796 CPUtime=2364.2 cores=0-7
/proc/18808/task/18814/stat : 18814 (cosoco) R 18805 18808 18405 0 -1 4202560 101391 0 0 0 236400 20 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470869314152 5392293 0 0 4096 8405026 0 0 0 -1 7 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18815] ppid=18805 vsize=827504 memory=279796 CPUtime=2380.33 cores=0-7
/proc/18808/task/18815/stat : 18815 (cosoco) R 18805 18808 18405 0 -1 4202560 126422 0 0 0 238016 17 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470860921872 5392384 0 0 4096 8405026 0 0 0 -1 2 0 0 4 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18816] ppid=18805 vsize=827504 memory=279796 CPUtime=2379.91 cores=0-7
/proc/18808/task/18816/stat : 18816 (cosoco) R 18805 18808 18405 0 -1 4202560 97793 0 0 0 237970 21 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470852529480 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18817] ppid=18805 vsize=827504 memory=280847509632096 CPUtime=2372.75 cores=0-7
/proc/18808/task/18817/stat : 18817 (cosoco) R 18805 18808 18405 0 -1 4202560 102445 0 0 0 237252 23 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470844136776 5008827 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
Current children cumulated CPU time: 19010 s
Current children cumulated vsize: 827504 KiB
Current children cumulated memory: 279796 KiB

[startup+2442.3 s]
/proc/loadavg: 8.05 8.20 8.22 9/200 19024
/proc/meminfo: memFree=31573140/32770624 swapFree=66947672/67108860
[pid=18808] ppid=18805 vsize=827504 memory=279796 CPUtime=19489.1 cores=0-7
/proc/18808/stat : 18808 (cosoco) S 18805 18808 18405 0 -1 1077944320 930408 0 0 0 1948731 177 0 0 20 0 9 0 558136206 847364096 69949 33554432000 4194304 6211132 140728425183408 140728425181664 140470926028535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
/proc/18808/statm: 206876 69949 851 493 0 200181 0
[pid=18808/tid=18810] ppid=18805 vsize=827504 memory=279796 CPUtime=2439.26 cores=0-7
/proc/18808/task/18810/stat : 18810 (cosoco) R 18805 18808 18405 0 -1 4202560 98656 0 0 0 243902 24 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470902885704 5392297 0 0 4096 8405026 0 0 0 -1 1 0 0 4 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18811] ppid=18805 vsize=827504 memory=279796 CPUtime=2436.78 cores=0-7
/proc/18808/task/18811/stat : 18811 (cosoco) R 18805 18808 18405 0 -1 4202560 107920 0 0 0 243658 20 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470894492688 5009182 0 0 4096 8405026 0 0 0 -1 3 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18812] ppid=18805 vsize=827504 memory=279796 CPUtime=2439.91 cores=0-7
/proc/18808/task/18812/stat : 18812 (cosoco) R 18805 18808 18405 0 -1 4202560 99507 0 0 0 243969 22 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470886100296 5392297 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18813] ppid=18805 vsize=827504 memory=279796 CPUtime=2435.32 cores=0-7
/proc/18808/task/18813/stat : 18813 (cosoco) R 18805 18808 18405 0 -1 4202560 148053 0 0 0 243513 19 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470877707592 5397407 0 0 4096 8405026 0 0 0 -1 0 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18814] ppid=18805 vsize=827504 memory=279796 CPUtime=2423.37 cores=0-7
/proc/18808/task/18814/stat : 18814 (cosoco) R 18805 18808 18405 0 -1 4202560 101537 0 0 0 242317 20 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470869314152 5397407 0 0 4096 8405026 0 0 0 -1 7 0 0 6 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18815] ppid=18805 vsize=827504 memory=279796 CPUtime=2440.31 cores=0-7
/proc/18808/task/18815/stat : 18815 (cosoco) R 18805 18808 18405 0 -1 4202560 126601 0 0 0 244014 17 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470860921872 5390476 0 0 4096 8405026 0 0 0 -1 2 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18816] ppid=18805 vsize=827504 memory=6248 CPUtime=2439.88 cores=0-7
/proc/18808/task/18816/stat : 18816 (cosoco) R 18805 18808 18405 0 -1 4202560 97907 0 0 0 243967 21 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470852529480 5392352 0 0 4096 8405026 0 0 0 -1 4 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18817] ppid=18805 vsize=827504 memory=6935054825532540783 CPUtime=2432.74 cores=0-7
/proc/18808/task/18817/stat : 18817 (cosoco) R 18805 18808 18405 0 -1 4202560 102560 0 0 0 243251 23 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470844136776 5008827 0 0 4096 8405026 0 0 0 -1 5 0 0 4 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
Current children cumulated CPU time: 19489.1 s
Current children cumulated vsize: 827504 KiB
Current children cumulated memory: 279796 KiB

[startup+2502.3 s]
/proc/loadavg: 8.02 8.16 8.21 9/201 19029
/proc/meminfo: memFree=31573700/32770624 swapFree=66947672/67108860
[pid=18808] ppid=18805 vsize=827504 memory=279796 CPUtime=19968.1 cores=0-7
/proc/18808/stat : 18808 (cosoco) S 18805 18808 18405 0 -1 1077944320 931430 0 0 0 1996636 177 0 0 20 0 9 0 558136206 847364096 69949 33554432000 4194304 6211132 140728425183408 140728425181664 140470926028535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
/proc/18808/statm: 206876 69949 851 493 0 200181 0
[pid=18808/tid=18810] ppid=18805 vsize=827504 memory=279796 CPUtime=2499.25 cores=0-7
/proc/18808/task/18810/stat : 18810 (cosoco) R 18805 18808 18405 0 -1 4202560 98825 0 0 0 249901 24 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470902885704 5397407 0 0 4096 8405026 0 0 0 -1 1 0 0 4 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18811] ppid=18805 vsize=827504 memory=279796 CPUtime=2496.76 cores=0-7
/proc/18808/task/18811/stat : 18811 (cosoco) R 18805 18808 18405 0 -1 4202560 107999 0 0 0 249656 20 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470894492688 5165760 0 0 4096 8405026 0 0 0 -1 3 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18812] ppid=18805 vsize=827504 memory=1420 CPUtime=2499.9 cores=0-7
/proc/18808/task/18812/stat : 18812 (cosoco) R 18805 18808 18405 0 -1 4202560 99613 0 0 0 249968 22 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470886100296 5392297 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18813] ppid=18805 vsize=827504 memory=279796 CPUtime=2495.3 cores=0-7
/proc/18808/task/18813/stat : 18813 (cosoco) R 18805 18808 18405 0 -1 4202560 148144 0 0 0 249511 19 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470877707592 5165712 0 0 4096 8405026 0 0 0 -1 0 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18814] ppid=18805 vsize=827504 memory=0 CPUtime=2482.51 cores=0-7
/proc/18808/task/18814/stat : 18814 (cosoco) R 18805 18808 18405 0 -1 4202560 101657 0 0 0 248231 20 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470869314152 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 6 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18815] ppid=18805 vsize=827504 memory=279796 CPUtime=2500.3 cores=0-7
/proc/18808/task/18815/stat : 18815 (cosoco) R 18805 18808 18405 0 -1 4202560 126731 0 0 0 250013 17 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470860921872 5392736 0 0 4096 8405026 0 0 0 -1 2 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18816] ppid=18805 vsize=827504 memory=279796 CPUtime=2499.88 cores=0-7
/proc/18808/task/18816/stat : 18816 (cosoco) R 18805 18808 18405 0 -1 4202560 98050 0 0 0 249967 21 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470852529480 5392293 0 0 4096 8405026 0 0 0 -1 4 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18817] ppid=18805 vsize=827504 memory=1420 CPUtime=2492.71 cores=0-7
/proc/18808/task/18817/stat : 18817 (cosoco) R 18805 18808 18405 0 -1 4202560 102744 0 0 0 249248 23 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470844136776 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
Current children cumulated CPU time: 19968.1 s
Current children cumulated vsize: 827504 KiB
Current children cumulated memory: 279796 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.01 8.15 8.20 9/199 19030
/proc/meminfo: memFree=31573856/32770624 swapFree=66947672/67108860
[pid=18808] ppid=18805 vsize=827504 memory=279796 CPUtime=20109.5 cores=0-7
/proc/18808/stat : 18808 (cosoco) S 18805 18808 18405 0 -1 1077944320 932442 0 0 0 2010774 178 0 0 20 0 9 0 558136206 847364096 69949 33554432000 4194304 6211132 140728425183408 140728425181664 140470926028535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
/proc/18808/statm: 206876 69949 851 493 0 200181 0
[pid=18808/tid=18810] ppid=18805 vsize=827504 memory=6935054825532540783 CPUtime=2516.96 cores=0-7
/proc/18808/task/18810/stat : 18810 (cosoco) R 18805 18808 18405 0 -1 4202560 98961 0 0 0 251672 24 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470902885704 5008971 0 0 4096 8405026 0 0 0 -1 1 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18811] ppid=18805 vsize=827504 memory=4126316290023845779 CPUtime=2514.45 cores=0-7
/proc/18808/task/18811/stat : 18811 (cosoco) R 18805 18808 18405 0 -1 4202560 108168 0 0 0 251425 20 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470894492688 5165642 0 0 4096 8405026 0 0 0 -1 3 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18812] ppid=18805 vsize=827504 memory=4108 CPUtime=2517.62 cores=0-7
/proc/18808/task/18812/stat : 18812 (cosoco) R 18805 18808 18405 0 -1 4202560 99723 0 0 0 251739 23 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470886100296 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18813] ppid=18805 vsize=827504 memory=1804 CPUtime=2513.01 cores=0-7
/proc/18808/task/18813/stat : 18813 (cosoco) R 18805 18808 18405 0 -1 4202560 148239 0 0 0 251282 19 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470877707592 5392293 0 0 4096 8405026 0 0 0 -1 0 0 0 6 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18814] ppid=18805 vsize=827504 memory=916 CPUtime=2499.97 cores=0-7
/proc/18808/task/18814/stat : 18814 (cosoco) R 18805 18808 18405 0 -1 4202560 101790 0 0 0 249977 20 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470869314152 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 6 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18815] ppid=18805 vsize=827504 memory=4132 CPUtime=2518.01 cores=0-7
/proc/18808/task/18815/stat : 18815 (cosoco) R 18805 18808 18405 0 -1 4202560 126880 0 0 0 251784 17 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470860921872 5392293 0 0 4096 8405026 0 0 0 -1 2 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18816] ppid=18805 vsize=827504 memory=1408 CPUtime=2517.59 cores=0-7
/proc/18808/task/18816/stat : 18816 (cosoco) R 18805 18808 18405 0 -1 4202560 98161 0 0 0 251738 21 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470852529480 5397407 0 0 4096 8405026 0 0 0 -1 4 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
[pid=18808/tid=18817] ppid=18805 vsize=827504 memory=2928 CPUtime=2510.41 cores=0-7
/proc/18808/task/18817/stat : 18817 (cosoco) R 18805 18808 18405 0 -1 4202560 102853 0 0 0 251018 23 0 0 20 0 9 0 558136350 847364096 69949 33554432000 4194304 6211132 140728425183408 140470844136776 5392297 0 0 4096 8405026 0 0 0 -1 5 0 0 5 0 0 8312316 8317760 29544448 140728425186321 140728425186413 140728425186413 140728425189326 0
Current children cumulated CPU time: 20109.5 s
Current children cumulated vsize: 827504 KiB
Current children cumulated memory: 279796 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.02 s]
# the end of solver process 18808 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20107.8 s, system=1.78371 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520.02
CPU time (s): 20109.6
CPU user time (s): 20107.8
CPU system time (s): 1.78371
CPU usage (%): 797.993
Max. virtual memory (cumulated for all children) (KiB): 827504
Max. memory (cumulated for all children) (KiB): 279796

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20107.8
system time used= 1.78371
maximum resident set size= 307916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 932494
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= 10390
involuntary context switches= 164168


# summary of solver processes directly reported to runsolver:
#   pid: 18808
#   total CPU time (s): 20109.6
#   total CPU user time (s): 20107.8
#   total CPU system time (s): 1.78371

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.2308 second user time and 22.0398 second system time

The end

Begin job on node150 at 2019-09-30 06:43:16
IDJOB=4409766
IDBENCH=120557
IDSOLVER=2877
FILE ID=node150/4409766-1569818638
RUNJOBID= node150-1569816069-18432
PBS_JOBID= 21705902
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-lei450-25a.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409766-1569818638/watcher-4409766-1569818638 -o /tmp/evaluation-result-4409766-1569818638/solver-4409766-1569818638 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node150-1569816069-18432 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409766-1569818638.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 395c447fdc403b125102e151795ddb76
RANDOM SEED=680224342

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

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/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	: 4
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.79
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 4
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.79
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 4
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.79
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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	: 4
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.79
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		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
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:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31846872 kB
MemAvailable:   31931424 kB
Buffers:          146832 kB
Cached:           224404 kB
SwapCached:         5500 kB
Active:           158780 kB
Inactive:         220572 kB
Active(anon):       9764 kB
Inactive(anon):    22264 kB
Active(file):     149016 kB
Inactive(file):   198308 kB
Unevictable:      109544 kB
Mlocked:          109544 kB
SwapTotal:      67108860 kB
SwapFree:       66947664 kB
Dirty:              3328 kB
Writeback:             0 kB
AnonPages:        255740 kB
Mapped:            26556 kB
Shmem:             15684 kB
Slab:             134804 kB
SReclaimable:     106124 kB
SUnreclaim:        28680 kB
KernelStack:        3728 kB
PageTables:         5440 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     538744 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       99712 kB
DirectMap2M:    33445888 kB

Free space on /tmp at the end= 62028 MiB
End job on node150 at 2019-09-30 07:25:17

Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-lei450-25a.xml
MD5SUM	395c447fdc403b125102e151795ddb76
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	24
Best CPU time to get the best result obtained on this benchmark	29.6788
Satisfiable
(Un)Satisfiability was proved
Number of variables	450
Number of constraints	8260
Number of domains	1
Minimum domain size	450
Maximum domain size	450
Distribution of domain sizes	[{"size":450,"count":450}]
Minimum variable degree	3
Maximum variable degree	129
Distribution of variable degrees	[{"degree":3,"count":4},{"degree":4,"count":9},{"degree":5,"count":12},{"degree":6,"count":13},{"degree":7,"count":7},{"degree":8,"count":10},{"degree":9,"count":2},{"degree":10,"count":8},{"degree":11,"count":3},{"degree":12,"count":4},{"degree":13,"count":5},{"degree":14,"count":1},{"degree":15,"count":4},{"degree":16,"count":1},{"degree":17,"count":5},{"degree":18,"count":4},{"degree":19,"count":7},{"degree":20,"count":13},{"degree":21,"count":10},{"degree":22,"count":8},{"degree":23,"count":4},{"degree":24,"count":2},{"degree":25,"count":11},{"degree":26,"count":11},{"degree":27,"count":3},"...",{"degree":72,"count":1}, {"degree":73,"count":1}, {"degree":74,"count":1}, {"degree":75,"count":1}, {"degree":76,"count":3}, {"degree":77,"count":7}, {"degree":78,"count":4}, {"degree":79,"count":6}, {"degree":81,"count":1}, {"degree":82,"count":1}, {"degree":83,"count":2}, {"degree":84,"count":1}, {"degree":85,"count":2}, {"degree":86,"count":1}, {"degree":87,"count":2}, {"degree":89,"count":1}, {"degree":90,"count":2}, {"degree":91,"count":1}, {"degree":92,"count":1}, {"degree":93,"count":1}, {"degree":96,"count":1}, {"degree":98,"count":1}, {"degree":99,"count":1}, {"degree":107,"count":1}, {"degree":129,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":8260}]
Number of extensional constraints	0
Number of intensional constraints	8260
Distribution of constraint types	[{"type":"intension","count":8260}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4409766

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