2019 XCSP3 competition: fast COP track (sequential and parallel solvers) competition: execution trace

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

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 (15196 MiB free)
  memory of node 1: 16384 MiB (15045 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4410066-1569828158/watcher-4410066-1569828158 -o /tmp/evaluation-result-4410066-1569828158/solver-4410066-1569828158 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569818144-9348 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410066-1569828158.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
solver pid=11122, runsolver pid=11119
Current StackSize limit: 8192 KiB


[startup+0.100155 s]*
/proc/loadavg: 8.40 8.27 8.27 2/191 11123
/proc/meminfo: memFree=30953764/32770624 swapFree=66997268/67108860
[pid=11122] ppid=11119 vsize=41600 memory=17680 CPUtime=0.09 cores=0-7
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9321 0 -1 4202496 4641 0 0 0 9 0 0 0 20 0 1 0 558754021 42598400 4420 33554432000 4194304 6211132 140728555135072 140728555131608 5810265 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
/proc/11122/statm: 10400 4420 806 493 0 3705 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41600 KiB
Current children cumulated memory: 17680 KiB

[startup+0.208968 s]*
/proc/loadavg: 8.40 8.27 8.27 2/191 11123
/proc/meminfo: memFree=30941116/32770624 swapFree=66997268/67108860
[pid=11122] ppid=11119 vsize=55388 memory=31388 CPUtime=0.21 cores=0-7
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9321 0 -1 4202496 8097 0 0 0 20 1 0 0 20 0 1 0 558754021 56717312 7847 33554432000 4194304 6211132 140728555135072 140728555131608 140463028259813 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
/proc/11122/statm: 13847 7847 821 493 0 7152 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 55388 KiB
Current children cumulated memory: 31388 KiB

[startup+0.30862 s]*
/proc/loadavg: 8.40 8.27 8.27 2/191 11123
/proc/meminfo: memFree=30928096/32770624 swapFree=66997268/67108860
[pid=11122] ppid=11119 vsize=68200 memory=44324 CPUtime=0.3 cores=0-7
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9321 0 -1 4202496 11314 0 0 0 29 1 0 0 20 0 1 0 558754021 69836800 11081 33554432000 4194304 6211132 140728555135072 140728555131608 140463028259813 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
/proc/11122/statm: 17050 11081 821 493 0 10355 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 68200 KiB
Current children cumulated memory: 44324 KiB

[startup+0.700326 s]
/proc/loadavg: 8.40 8.27 8.27 2/191 11123
/proc/meminfo: memFree=30902340/32770624 swapFree=66997268/67108860
[pid=11122] ppid=11119 vsize=118140 memory=94220 CPUtime=0.69 cores=0-7
/proc/11122/stat : 11122 (cosoco) R 11119 11122 9321 0 -1 4202496 23807 0 0 0 66 3 0 0 20 0 1 0 558754021 120975360 23555 33554432000 4194304 6211132 140728555135072 140728555129512 140463028259813 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
/proc/11122/statm: 29535 23555 821 493 0 22840 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 118140 KiB
Current children cumulated memory: 94220 KiB

[startup+1.50051 s]
/proc/loadavg: 8.40 8.27 8.27 2/191 11123
/proc/meminfo: memFree=30838304/32770624 swapFree=66997268/67108860
[pid=11122] ppid=11119 vsize=802920 memory=189412 CPUtime=1.83 cores=0-7
/proc/11122/stat : 11122 (cosoco) S 11119 11122 9321 0 -1 1077944320 47951 0 0 0 175 8 0 0 20 0 9 0 558754021 822190080 47353 33554432000 4194304 6211132 140728555135072 140728555133328 140463044300535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
/proc/11122/statm: 200730 47353 841 493 0 194035 0
Current children cumulated CPU time: 1.83 s
Current children cumulated vsize: 802920 KiB
Current children cumulated memory: 189412 KiB

[startup+3.1105 s]
/proc/loadavg: 8.37 8.27 8.27 9/199 11131
/proc/meminfo: memFree=30699776/32770624 swapFree=66997268/67108860
[pid=11122] ppid=11119 vsize=823412 memory=272148 CPUtime=14.45 cores=0-7
/proc/11122/stat : 11122 (cosoco) S 11119 11122 9321 0 -1 1077944320 116117 0 0 0 1412 33 0 0 20 0 9 0 558754021 843173888 68037 33554432000 4194304 6211132 140728555135072 140728555133328 140463044300535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
/proc/11122/statm: 205853 68037 851 493 0 199158 0
[pid=11122/tid=11124] ppid=11119 vsize=823412 memory=0 CPUtime=1.61 cores=0-7
/proc/11122/task/11124/stat : 11124 (cosoco) R 11119 11122 9321 0 -1 4202560 5571 0 0 0 158 3 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463021157704 5165656 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11125] ppid=11119 vsize=823412 memory=281229224084681 CPUtime=1.63 cores=0-7
/proc/11122/task/11125/stat : 11125 (cosoco) R 11119 11122 9321 0 -1 4202560 9293 0 0 0 161 2 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463012765000 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11126] ppid=11119 vsize=823412 memory=272148 CPUtime=1.63 cores=0-7
/proc/11122/task/11126/stat : 11126 (cosoco) R 11119 11122 9321 0 -1 4202560 6706 0 0 0 159 4 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463004371480 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11127] ppid=11119 vsize=823412 memory=0 CPUtime=1.62 cores=0-7
/proc/11122/task/11127/stat : 11127 (cosoco) R 11119 11122 9321 0 -1 4202560 10405 0 0 0 161 1 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462995979280 5392297 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11128] ppid=11119 vsize=823412 memory=0 CPUtime=1.59 cores=0-7
/proc/11122/task/11128/stat : 11128 (cosoco) R 11119 11122 9321 0 -1 4202560 6412 0 0 0 155 4 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462987586888 5392297 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11129] ppid=11119 vsize=823412 memory=667680 CPUtime=1.62 cores=0-7
/proc/11122/task/11129/stat : 11129 (cosoco) R 11119 11122 9321 0 -1 4202560 11230 0 0 0 161 1 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462979193872 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11130] ppid=11119 vsize=823412 memory=0 CPUtime=1.63 cores=0-7
/proc/11122/task/11130/stat : 11130 (cosoco) R 11119 11122 9321 0 -1 4202560 11128 0 0 0 161 2 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462970801168 5008964 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11131] ppid=11119 vsize=823412 memory=0 CPUtime=1.62 cores=0-7
/proc/11122/task/11131/stat : 11131 (cosoco) R 11119 11122 9321 0 -1 4202560 7705 0 0 0 157 5 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462962408776 5409463 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
Current children cumulated CPU time: 14.45 s
Current children cumulated vsize: 823412 KiB
Current children cumulated memory: 272148 KiB

[startup+6.3005 s]
/proc/loadavg: 8.37 8.27 8.27 9/199 11131
/proc/meminfo: memFree=30700060/32770624 swapFree=66997268/67108860
[pid=11122] ppid=11119 vsize=823412 memory=272148 CPUtime=39.92 cores=0-7
/proc/11122/stat : 11122 (cosoco) S 11119 11122 9321 0 -1 1077944320 205349 0 0 0 3946 46 0 0 20 0 9 0 558754021 843173888 68037 33554432000 4194304 6211132 140728555135072 140728555133328 140463044300535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
/proc/11122/statm: 205853 68037 851 493 0 199158 0
[pid=11122/tid=11124] ppid=11119 vsize=823412 memory=192548 CPUtime=4.81 cores=0-7
/proc/11122/task/11124/stat : 11124 (cosoco) R 11119 11122 9321 0 -1 4202560 13820 0 0 0 476 5 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463021157704 5392293 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11125] ppid=11119 vsize=823412 memory=272148 CPUtime=4.81 cores=0-7
/proc/11122/task/11125/stat : 11125 (cosoco) R 11119 11122 9321 0 -1 4202560 21187 0 0 0 478 3 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463012765000 5165640 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11126] ppid=11119 vsize=823412 memory=6272 CPUtime=4.82 cores=0-7
/proc/11122/task/11126/stat : 11126 (cosoco) R 11119 11122 9321 0 -1 4202560 15346 0 0 0 476 6 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463004371480 5392293 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11127] ppid=11119 vsize=823412 memory=612 CPUtime=4.8 cores=0-7
/proc/11122/task/11127/stat : 11127 (cosoco) R 11119 11122 9321 0 -1 4202560 25332 0 0 0 478 2 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462995979280 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11128] ppid=11119 vsize=823412 memory=10516 CPUtime=4.73 cores=0-7
/proc/11122/task/11128/stat : 11128 (cosoco) R 11119 11122 9321 0 -1 4202560 16327 0 0 0 468 5 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462987586888 5392740 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11129] ppid=11119 vsize=823412 memory=988 CPUtime=4.81 cores=0-7
/proc/11122/task/11129/stat : 11129 (cosoco) R 11119 11122 9321 0 -1 4202560 23129 0 0 0 478 3 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462979193872 5165656 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11130] ppid=11119 vsize=823412 memory=2016 CPUtime=4.81 cores=0-7
/proc/11122/task/11130/stat : 11130 (cosoco) R 11119 11122 9321 0 -1 4202560 24381 0 0 0 478 3 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462970801168 5009101 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11131] ppid=11119 vsize=823412 memory=1424 CPUtime=4.81 cores=0-7
/proc/11122/task/11131/stat : 11131 (cosoco) R 11119 11122 9321 0 -1 4202560 18160 0 0 0 474 7 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462962408776 5009314 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
Current children cumulated CPU time: 39.92 s
Current children cumulated vsize: 823412 KiB
Current children cumulated memory: 272148 KiB

[startup+12.7015 s]
/proc/loadavg: 8.34 8.26 8.27 10/199 11131
/proc/meminfo: memFree=30699008/32770624 swapFree=66997268/67108860
[pid=11122] ppid=11119 vsize=823412 memory=272148 CPUtime=90.98 cores=0-7
/proc/11122/stat : 11122 (cosoco) S 11119 11122 9321 0 -1 1077944320 330676 0 0 0 9033 65 0 0 20 0 9 0 558754021 843173888 68037 33554432000 4194304 6211132 140728555135072 140728555133328 140463044300535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
/proc/11122/statm: 205853 68037 851 493 0 199158 0
[pid=11122/tid=11124] ppid=11119 vsize=823412 memory=56 CPUtime=11.2 cores=0-7
/proc/11122/task/11124/stat : 11124 (cosoco) R 11119 11122 9321 0 -1 4202560 26264 0 0 0 1112 8 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463021157704 5397397 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11125] ppid=11119 vsize=823412 memory=281229224281970 CPUtime=11.21 cores=0-7
/proc/11122/task/11125/stat : 11125 (cosoco) R 11119 11122 9321 0 -1 4202560 36178 0 0 0 1115 6 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463012765000 5392352 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11126] ppid=11119 vsize=823412 memory=1220 CPUtime=11.22 cores=0-7
/proc/11122/task/11126/stat : 11126 (cosoco) R 11119 11122 9321 0 -1 4202560 29133 0 0 0 1113 9 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463004371480 5112713 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11127] ppid=11119 vsize=823412 memory=14004 CPUtime=11.2 cores=0-7
/proc/11122/task/11127/stat : 11127 (cosoco) R 11119 11122 9321 0 -1 4202560 44814 0 0 0 1116 4 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462995979280 5392301 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11128] ppid=11119 vsize=823412 memory=0 CPUtime=11.04 cores=0-7
/proc/11122/task/11128/stat : 11128 (cosoco) R 11119 11122 9321 0 -1 4202560 29017 0 0 0 1097 7 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462987586888 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11129] ppid=11119 vsize=823412 memory=188368675690221 CPUtime=11.2 cores=0-7
/proc/11122/task/11129/stat : 11129 (cosoco) R 11119 11122 9321 0 -1 4202560 38264 0 0 0 1115 5 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462979193872 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11130] ppid=11119 vsize=823412 memory=56 CPUtime=11.2 cores=0-7
/proc/11122/task/11130/stat : 11130 (cosoco) R 11119 11122 9321 0 -1 4202560 44216 0 0 0 1114 6 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462970801168 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11131] ppid=11119 vsize=823412 memory=297291452416000290 CPUtime=11.2 cores=0-7
/proc/11122/task/11131/stat : 11131 (cosoco) R 11119 11122 9321 0 -1 4202560 35123 0 0 0 1111 9 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462962408776 5009195 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
Current children cumulated CPU time: 90.98 s
Current children cumulated vsize: 823412 KiB
Current children cumulated memory: 272148 KiB

[startup+25.5015 s]
/proc/loadavg: 8.26 8.25 8.26 9/199 11131
/proc/meminfo: memFree=30699276/32770624 swapFree=66997268/67108860
[pid=11122] ppid=11119 vsize=823412 memory=272148 CPUtime=193.12 cores=0-7
/proc/11122/stat : 11122 (cosoco) S 11119 11122 9321 0 -1 1077944320 447634 0 0 0 19231 81 0 0 20 0 9 0 558754021 843173888 68037 33554432000 4194304 6211132 140728555135072 140728555133328 140463044300535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
/proc/11122/statm: 205853 68037 851 493 0 199158 0
[pid=11122/tid=11124] ppid=11119 vsize=823412 memory=272148 CPUtime=23.98 cores=0-7
/proc/11122/task/11124/stat : 11124 (cosoco) R 11119 11122 9321 0 -1 4202560 38655 0 0 0 2389 9 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463021157704 5392375 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11125] ppid=11119 vsize=823412 memory=2380 CPUtime=24 cores=0-7
/proc/11122/task/11125/stat : 11125 (cosoco) R 11119 11122 9321 0 -1 4202560 49790 0 0 0 2392 8 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463012765000 5112709 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11126] ppid=11119 vsize=823412 memory=56 CPUtime=24 cores=0-7
/proc/11122/task/11126/stat : 11126 (cosoco) R 11119 11122 9321 0 -1 4202560 40828 0 0 0 2389 11 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463004371480 5008827 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11127] ppid=11119 vsize=823412 memory=56 CPUtime=23.99 cores=0-7
/proc/11122/task/11127/stat : 11127 (cosoco) R 11119 11122 9321 0 -1 4202560 63673 0 0 0 2393 6 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462995979280 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11128] ppid=11119 vsize=823412 memory=3616445700238290207 CPUtime=23.65 cores=0-7
/proc/11122/task/11128/stat : 11128 (cosoco) R 11119 11122 9321 0 -1 4202560 39642 0 0 0 2356 9 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462987586888 5008831 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11129] ppid=11119 vsize=823412 memory=6935054825532540783 CPUtime=24 cores=0-7
/proc/11122/task/11129/stat : 11129 (cosoco) R 11119 11122 9321 0 -1 4202560 54176 0 0 0 2393 7 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462979193872 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11130] ppid=11119 vsize=823412 memory=988 CPUtime=24 cores=0-7
/proc/11122/task/11130/stat : 11130 (cosoco) R 11119 11122 9321 0 -1 4202560 61626 0 0 0 2392 8 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462970801168 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11131] ppid=11119 vsize=823412 memory=3624 CPUtime=23.99 cores=0-7
/proc/11122/task/11131/stat : 11131 (cosoco) R 11119 11122 9321 0 -1 4202560 51577 0 0 0 2388 11 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462962408776 5165712 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
Current children cumulated CPU time: 193.12 s
Current children cumulated vsize: 823412 KiB
Current children cumulated memory: 272148 KiB

[startup+51.1105 s]
/proc/loadavg: 8.30 8.26 8.27 9/199 11134
/proc/meminfo: memFree=30698088/32770624 swapFree=66997268/67108860
[pid=11122] ppid=11119 vsize=823412 memory=272148 CPUtime=397.4 cores=0-7
/proc/11122/stat : 11122 (cosoco) S 11119 11122 9321 0 -1 1077944320 607417 0 0 0 39634 106 0 0 20 0 9 0 558754021 843173888 68037 33554432000 4194304 6211132 140728555135072 140728555133328 140463044300535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
/proc/11122/statm: 205853 68037 851 493 0 199158 0
[pid=11122/tid=11124] ppid=11119 vsize=823412 memory=56 CPUtime=49.57 cores=0-7
/proc/11122/task/11124/stat : 11124 (cosoco) R 11119 11122 9321 0 -1 4202560 54416 0 0 0 4944 13 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463021157704 5392740 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11125] ppid=11119 vsize=823412 memory=272148 CPUtime=49.58 cores=0-7
/proc/11122/task/11125/stat : 11125 (cosoco) R 11119 11122 9321 0 -1 4202560 68374 0 0 0 4947 11 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463012765000 5392375 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11126] ppid=11119 vsize=823412 memory=272148 CPUtime=49.58 cores=0-7
/proc/11122/task/11126/stat : 11126 (cosoco) R 11119 11122 9321 0 -1 4202560 57868 0 0 0 4944 14 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463004371480 5165625 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11127] ppid=11119 vsize=823412 memory=272148 CPUtime=49.57 cores=0-7
/proc/11122/task/11127/stat : 11127 (cosoco) R 11119 11122 9321 0 -1 4202560 87394 0 0 0 4948 9 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462995979280 5397461 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11128] ppid=11119 vsize=823412 memory=272148 CPUtime=49.12 cores=0-7
/proc/11122/task/11128/stat : 11128 (cosoco) R 11119 11122 9321 0 -1 4202560 57095 0 0 0 4900 12 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462987586888 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11129] ppid=11119 vsize=823412 memory=3624 CPUtime=49.58 cores=0-7
/proc/11122/task/11129/stat : 11129 (cosoco) R 11119 11122 9321 0 -1 4202560 74271 0 0 0 4947 11 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462979193872 5392040 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11130] ppid=11119 vsize=823412 memory=0 CPUtime=49.58 cores=0-7
/proc/11122/task/11130/stat : 11130 (cosoco) R 11119 11122 9321 0 -1 4202560 85803 0 0 0 4947 11 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462970801168 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11131] ppid=11119 vsize=823412 memory=140612934314907 CPUtime=49.3 cores=0-7
/proc/11122/task/11131/stat : 11131 (cosoco) R 11119 11122 9321 0 -1 4202560 74529 0 0 0 4916 14 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462962408776 5392340 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
Current children cumulated CPU time: 397.4 s
Current children cumulated vsize: 823412 KiB
Current children cumulated memory: 272148 KiB

[startup+102.302 s]
/proc/loadavg: 8.13 8.22 8.25 9/199 11137
/proc/meminfo: memFree=30696992/32770624 swapFree=66997268/67108860
[pid=11122] ppid=11119 vsize=823412 memory=272148 CPUtime=805.76 cores=0-7
/proc/11122/stat : 11122 (cosoco) S 11119 11122 9321 0 -1 1077944320 694526 0 0 0 80453 123 0 0 20 0 9 0 558754021 843173888 68037 33554432000 4194304 6211132 140728555135072 140728555133328 140463044300535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
/proc/11122/statm: 205853 68037 851 493 0 199158 0
[pid=11122/tid=11124] ppid=11119 vsize=823412 memory=272148 CPUtime=100.7 cores=0-7
/proc/11122/task/11124/stat : 11124 (cosoco) R 11119 11122 9321 0 -1 4202560 62990 0 0 0 10055 15 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463021157704 5165616 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11125] ppid=11119 vsize=823412 memory=272148 CPUtime=100.53 cores=0-7
/proc/11122/task/11125/stat : 11125 (cosoco) R 11119 11122 9321 0 -1 4202560 77667 0 0 0 10039 14 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463012765000 5392297 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11126] ppid=11119 vsize=823412 memory=272148 CPUtime=100.74 cores=0-7
/proc/11122/task/11126/stat : 11126 (cosoco) R 11119 11122 9321 0 -1 4202560 68077 0 0 0 10057 17 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140463004371480 5392282 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11127] ppid=11119 vsize=823412 memory=56 CPUtime=100.68 cores=0-7
/proc/11122/task/11127/stat : 11127 (cosoco) R 11119 11122 9321 0 -1 4202560 101011 0 0 0 10057 11 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462995979280 5392384 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11128] ppid=11119 vsize=823412 memory=988 CPUtime=99.77 cores=0-7
/proc/11122/task/11128/stat : 11128 (cosoco) R 11119 11122 9321 0 -1 4202560 67039 0 0 0 9963 14 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462987586888 5008827 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11129] ppid=11119 vsize=823412 memory=2016 CPUtime=100.73 cores=0-7
/proc/11122/task/11129/stat : 11129 (cosoco) R 11119 11122 9321 0 -1 4202560 85092 0 0 0 10061 12 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462979193792 5397419 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11130] ppid=11119 vsize=823412 memory=6935054825532540783 CPUtime=100.73 cores=0-7
/proc/11122/task/11130/stat : 11130 (cosoco) R 11119 11122 9321 0 -1 4202560 99646 0 0 0 10060 13 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462970801168 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11131] ppid=11119 vsize=823412 memory=612 CPUtime=100.37 cores=0-7
/proc/11122/task/11131/stat : 11131 (cosoco) R 11119 11122 9321 0 -1 4202560 85337 0 0 0 10021 16 0 0 20 0 9 0 558754166 843173888 68037 33554432000 4194304 6211132 140728555135072 140462962408776 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
Current children cumulated CPU time: 805.76 s
Current children cumulated vsize: 823412 KiB
Current children cumulated memory: 272148 KiB

[startup+162.301 s]
/proc/loadavg: 8.12 8.20 8.24 9/199 11140
/proc/meminfo: memFree=30698172/32770624 swapFree=66997268/67108860
[pid=11122] ppid=11119 vsize=823412 memory=274400 CPUtime=1284.7 cores=0-7
/proc/11122/stat : 11122 (cosoco) S 11119 11122 9321 0 -1 1077944320 779102 0 0 0 128333 137 0 0 20 0 9 0 558754021 843173888 68600 33554432000 4194304 6211132 140728555135072 140728555133328 140463044300535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
/proc/11122/statm: 205853 68600 851 493 0 199158 0
[pid=11122/tid=11124] ppid=11119 vsize=823412 memory=274348 CPUtime=160.67 cores=0-7
/proc/11122/task/11124/stat : 11124 (cosoco) R 11119 11122 9321 0 -1 4202560 72495 0 0 0 16050 17 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140463021157704 5186231 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11125] ppid=11119 vsize=823412 memory=274400 CPUtime=160.51 cores=0-7
/proc/11122/task/11125/stat : 11125 (cosoco) R 11119 11122 9321 0 -1 4202560 87864 0 0 0 16035 16 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140463012765000 5165656 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11126] ppid=11119 vsize=823412 memory=274348 CPUtime=160.71 cores=0-7
/proc/11122/task/11126/stat : 11126 (cosoco) R 11119 11122 9321 0 -1 4202560 78541 0 0 0 16053 18 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140463004371480 5392375 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11127] ppid=11119 vsize=823412 memory=274348 CPUtime=160.66 cores=0-7
/proc/11122/task/11127/stat : 11127 (cosoco) R 11119 11122 9321 0 -1 4202560 113305 0 0 0 16053 13 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140462995979280 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11128] ppid=11119 vsize=823412 memory=0 CPUtime=158.88 cores=0-7
/proc/11122/task/11128/stat : 11128 (cosoco) R 11119 11122 9321 0 -1 4202560 76934 0 0 0 15872 16 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140462987586888 5008831 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11129] ppid=11119 vsize=823412 memory=274360 CPUtime=160.71 cores=0-7
/proc/11122/task/11129/stat : 11129 (cosoco) R 11119 11122 9321 0 -1 4202560 93293 0 0 0 16057 14 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140462979193792 5165625 0 0 4096 8405026 0 0 0 -1 4 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11130] ppid=11119 vsize=823412 memory=274400 CPUtime=160.7 cores=0-7
/proc/11122/task/11130/stat : 11130 (cosoco) R 11119 11122 9321 0 -1 4202560 112250 0 0 0 16056 14 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140462970801168 5397407 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11131] ppid=11119 vsize=823412 memory=274348 CPUtime=160.34 cores=0-7
/proc/11122/task/11131/stat : 11131 (cosoco) R 11119 11122 9321 0 -1 4202560 96753 0 0 0 16017 17 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140462962408776 5165636 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
Current children cumulated CPU time: 1284.7 s
Current children cumulated vsize: 823412 KiB
Current children cumulated memory: 274400 KiB

[startup+222.301 s]
/proc/loadavg: 8.08 8.18 8.23 9/200 11146
/proc/meminfo: memFree=30696644/32770624 swapFree=66997268/67108860
[pid=11122] ppid=11119 vsize=823412 memory=274400 CPUtime=1763.75 cores=0-7
/proc/11122/stat : 11122 (cosoco) S 11119 11122 9321 0 -1 1077944320 787311 0 0 0 176236 139 0 0 20 0 9 0 558754021 843173888 68600 33554432000 4194304 6211132 140728555135072 140728555133328 140463044300535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
/proc/11122/statm: 205853 68600 851 493 0 199158 0
[pid=11122/tid=11124] ppid=11119 vsize=823412 memory=274400 CPUtime=220.66 cores=0-7
/proc/11122/task/11124/stat : 11124 (cosoco) R 11119 11122 9321 0 -1 4202560 73274 0 0 0 22049 17 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140463021157704 5392352 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11125] ppid=11119 vsize=823412 memory=274400 CPUtime=220.51 cores=0-7
/proc/11122/task/11125/stat : 11125 (cosoco) R 11119 11122 9321 0 -1 4202560 89007 0 0 0 22034 17 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140463012765000 5392352 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11126] ppid=11119 vsize=823412 memory=274400 CPUtime=220.68 cores=0-7
/proc/11122/task/11126/stat : 11126 (cosoco) R 11119 11122 9321 0 -1 4202560 79137 0 0 0 22050 18 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140463004371480 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11127] ppid=11119 vsize=823412 memory=3624 CPUtime=220.66 cores=0-7
/proc/11122/task/11127/stat : 11127 (cosoco) R 11119 11122 9321 0 -1 4202560 114509 0 0 0 22053 13 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140462995979280 5392375 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11128] ppid=11119 vsize=823412 memory=274400 CPUtime=218.02 cores=0-7
/proc/11122/task/11128/stat : 11128 (cosoco) R 11119 11122 9321 0 -1 4202560 77783 0 0 0 21786 16 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140462987586888 5392293 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11129] ppid=11119 vsize=823412 memory=274400 CPUtime=220.69 cores=0-7
/proc/11122/task/11129/stat : 11129 (cosoco) R 11119 11122 9321 0 -1 4202560 94425 0 0 0 22055 14 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140462979193792 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11130] ppid=11119 vsize=823412 memory=274400 CPUtime=220.7 cores=0-7
/proc/11122/task/11130/stat : 11130 (cosoco) R 11119 11122 9321 0 -1 4202560 113430 0 0 0 22055 15 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140462970801168 5392751 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11131] ppid=11119 vsize=823412 memory=274400 CPUtime=220.34 cores=0-7
/proc/11122/task/11131/stat : 11131 (cosoco) R 11119 11122 9321 0 -1 4202560 98079 0 0 0 22016 18 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140462962408776 5397427 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
Current children cumulated CPU time: 1763.75 s
Current children cumulated vsize: 823412 KiB
Current children cumulated memory: 274400 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.38 8.24 8.25 9/199 11146
/proc/meminfo: memFree=30699152/32770624 swapFree=66997268/67108860
[pid=11122] ppid=11119 vsize=823412 memory=274400 CPUtime=2000.98 cores=0-7
/proc/11122/stat : 11122 (cosoco) S 11119 11122 9321 0 -1 1077944320 795146 0 0 0 199958 140 0 0 20 0 9 0 558754021 843173888 68600 33554432000 4194304 6211132 140728555135072 140728555133328 140463044300535 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
/proc/11122/statm: 205853 68600 851 493 0 199158 0
[pid=11122/tid=11124] ppid=11119 vsize=823412 memory=274400 CPUtime=250.37 cores=0-7
/proc/11122/task/11124/stat : 11124 (cosoco) R 11119 11122 9321 0 -1 4202560 74368 0 0 0 25020 17 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140463021157704 5392297 0 0 4096 8405026 0 0 0 -1 6 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11125] ppid=11119 vsize=823412 memory=612 CPUtime=250.2 cores=0-7
/proc/11122/task/11125/stat : 11125 (cosoco) R 11119 11122 9321 0 -1 4202560 89813 0 0 0 25003 17 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140463012765000 5009142 0 0 4096 8405026 0 0 0 -1 3 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11126] ppid=11119 vsize=823412 memory=1220 CPUtime=250.39 cores=0-7
/proc/11122/task/11126/stat : 11126 (cosoco) R 11119 11122 9321 0 -1 4202560 80167 0 0 0 25020 19 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140463004371480 5392297 0 0 4096 8405026 0 0 0 -1 5 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11127] ppid=11119 vsize=823412 memory=4872558044660077418 CPUtime=250.36 cores=0-7
/proc/11122/task/11127/stat : 11127 (cosoco) R 11119 11122 9321 0 -1 4202560 115573 0 0 0 25023 13 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140462995979280 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11128] ppid=11119 vsize=823412 memory=10596 CPUtime=247.31 cores=0-7
/proc/11122/task/11128/stat : 11128 (cosoco) R 11119 11122 9321 0 -1 4202560 78536 0 0 0 24715 16 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140462987586888 5193728 0 0 4096 8405026 0 0 0 -1 7 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11129] ppid=11119 vsize=823412 memory=1708 CPUtime=250.4 cores=0-7
/proc/11122/task/11129/stat : 11129 (cosoco) R 11119 11122 9321 0 -1 4202560 95357 0 0 0 25026 14 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140462979193792 5009218 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11130] ppid=11119 vsize=823412 memory=988 CPUtime=250.4 cores=0-7
/proc/11122/task/11130/stat : 11130 (cosoco) R 11119 11122 9321 0 -1 4202560 114555 0 0 0 25025 15 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140462970801168 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
[pid=11122/tid=11131] ppid=11119 vsize=823412 memory=4016 CPUtime=250.04 cores=0-7
/proc/11122/task/11131/stat : 11131 (cosoco) R 11119 11122 9321 0 -1 4202560 99110 0 0 0 24986 18 0 0 20 0 9 0 558754166 843173888 68600 33554432000 4194304 6211132 140728555135072 140462962408776 5397407 0 0 4096 8405026 0 0 0 -1 1 0 0 1 0 0 8312316 8317760 25268224 140728555144214 140728555144306 140728555144306 140728555147214 0
Current children cumulated CPU time: 2000.98 s
Current children cumulated vsize: 823412 KiB
Current children cumulated memory: 274400 KiB

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

[startup+252.029 s]
# the end of solver process 11122 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1999.69 s, system=1.40815 s

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

Child status: 1
Real time (s): 252.029
CPU time (s): 2001.1
CPU user time (s): 1999.69
CPU system time (s): 1.40815
CPU usage (%): 793.996
Max. virtual memory (cumulated for all children) (KiB): 839804
Max. memory (cumulated for all children) (KiB): 283872

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1999.69
system time used= 1.40815
maximum resident set size= 293824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 795197
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= 10249
involuntary context switches= 17717


# summary of solver processes directly reported to runsolver:
#   pid: 11122
#   total CPU time (s): 2001.1
#   total CPU user time (s): 1999.69
#   total CPU system time (s): 1.40815

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34793 second user time and 2.20799 second system time

The end

Begin job on node140 at 2019-09-30 09:21:56
IDJOB=4410066
IDBENCH=120557
IDSOLVER=2878
FILE ID=node140/4410066-1569828158
RUNJOBID= node140-1569818144-9348
PBS_JOBID= 21705927
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-4410066-1569828158/watcher-4410066-1569828158 -o /tmp/evaluation-result-4410066-1569828158/solver-4410066-1569828158 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569818144-9348 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4410066-1569828158.xml

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

MD5SUM BENCH= 395c447fdc403b125102e151795ddb76
RANDOM SEED=122141790

node140.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.43
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.43
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.43
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.43
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:        30968316 kB
MemAvailable:   31873832 kB
Buffers:          118540 kB
Cached:          1124308 kB
SwapCached:         3040 kB
Active:           893312 kB
Inactive:         357700 kB
Active(anon):       4056 kB
Inactive(anon):    83760 kB
Active(file):     889256 kB
Inactive(file):   273940 kB
Unevictable:      107704 kB
Mlocked:          107704 kB
SwapTotal:      67108860 kB
SwapFree:       66997268 kB
Dirty:              3184 kB
Writeback:             8 kB
AnonPages:        123420 kB
Mapped:            26304 kB
Shmem:             71168 kB
Slab:             144792 kB
SReclaimable:     116308 kB
SUnreclaim:        28484 kB
KernelStack:        3712 kB
PageTables:         5092 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     539632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      105856 kB
DirectMap2M:    33439744 kB

Free space on /tmp at the end= 62028 MiB
End job on node140 at 2019-09-30 09:26:08

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	31.2143
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 4410066

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