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)	13	20093.7	2520.03

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409726-1569818877/watcher-4409726-1569818877 -o /tmp/evaluation-result-4409726-1569818877/solver-4409726-1569818877 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569816318-31364 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409726-1569818877.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=31645, runsolver pid=31642

[startup+0.100153 s]*
/proc/loadavg: 8.03 8.19 7.80 2/191 31646
/proc/meminfo: memFree=28558664/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=38236 memory=14372 CPUtime=0.1 cores=0-7
/proc/31645/stat : 31645 (cosoco) R 31642 31645 31337 0 -1 4202496 3805 0 0 0 10 0 0 0 20 0 1 0 558049170 39153664 3593 33554432000 4194304 6211132 140722404964656 140722404961192 140016501019776 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 9559 3593 806 493 0 2864 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38236 KiB
Current children cumulated memory: 14372 KiB

[startup+0.208772 s]*
/proc/loadavg: 8.03 8.19 7.80 2/191 31646
/proc/meminfo: memFree=28557920/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=38884 memory=14820 CPUtime=0.21 cores=0-7
/proc/31645/stat : 31645 (cosoco) R 31642 31645 31337 0 -1 4202496 4031 0 0 0 21 0 0 0 20 0 1 0 558049170 39817216 3705 33554432000 4194304 6211132 140722404964656 140722404961192 5735482 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 9721 3705 806 493 0 3026 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 38884 KiB
Current children cumulated memory: 14820 KiB

[startup+0.308574 s]*
/proc/loadavg: 8.03 8.19 7.80 2/191 31646
/proc/meminfo: memFree=28548868/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=49312 memory=25376 CPUtime=0.3 cores=0-7
/proc/31645/stat : 31645 (cosoco) R 31642 31645 31337 0 -1 4202496 6651 0 0 0 30 0 0 0 20 0 1 0 558049170 50495488 6278 33554432000 4194304 6211132 140722404964656 140722404961192 140016484957157 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 12328 6278 821 493 0 5633 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49312 KiB
Current children cumulated memory: 25376 KiB

[startup+0.700364 s]
/proc/loadavg: 8.03 8.19 7.80 2/191 31646
/proc/meminfo: memFree=28524688/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=95528 memory=71576 CPUtime=0.68 cores=0-7
/proc/31645/stat : 31645 (cosoco) R 31642 31645 31337 0 -1 4202496 18222 0 0 0 67 1 0 0 20 0 1 0 558049170 97820672 17894 33554432000 4194304 6211132 140722404964656 140722404959096 140016484957157 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 23882 17894 821 493 0 17187 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 95528 KiB
Current children cumulated memory: 71576 KiB

[startup+1.50034 s]
/proc/loadavg: 8.03 8.19 7.80 2/192 31648
/proc/meminfo: memFree=28464728/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=192240 memory=168200 CPUtime=1.48 cores=0-7
/proc/31645/stat : 31645 (cosoco) R 31642 31645 31337 0 -1 4202496 42369 0 0 0 142 6 0 0 20 0 1 0 558049170 196853760 42050 33554432000 4194304 6211132 140722404964656 140722404959096 140016484957157 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 48060 42050 821 493 0 41365 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 192240 KiB
Current children cumulated memory: 168200 KiB

[startup+3.10871 s]
/proc/loadavg: 8.03 8.19 7.80 2/192 31648
/proc/meminfo: memFree=28223180/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=386160 memory=361932 CPUtime=3.09 cores=0-7
/proc/31645/stat : 31645 (cosoco) R 31642 31645 31337 0 -1 4202496 92886 0 0 0 295 14 0 0 20 0 1 0 558049170 395427840 90483 33554432000 4194304 6211132 140722404964656 140722404959096 140016484957157 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 96540 90483 821 493 0 89845 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 386160 KiB
Current children cumulated memory: 361932 KiB

[startup+6.30072 s]
/proc/loadavg: 7.70 8.12 7.78 9/200 31656
/proc/meminfo: memFree=28142632/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=994396 memory=426848 CPUtime=27.12 cores=0-7
/proc/31645/stat : 31645 (cosoco) S 31642 31645 31337 0 -1 1077944320 341181 0 0 0 2643 69 0 0 20 0 9 0 558049170 1018261504 106712 33554432000 4194304 6211132 140722404964656 140722404962912 140016500997879 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 248599 106712 860 493 0 241904 0
[pid=31645/tid=31649] ppid=31642 vsize=994396 memory=56 CPUtime=2.99 cores=0-7
/proc/31645/task/31649/stat : 31649 (cosoco) R 31642 31645 31337 0 -1 4202560 27111 0 0 0 287 12 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016477855048 5409476 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31650] ppid=31642 vsize=994396 memory=140641693562495 CPUtime=2.97 cores=0-7
/proc/31645/task/31650/stat : 31650 (cosoco) R 31642 31645 31337 0 -1 4202560 27251 0 0 0 293 4 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016469462032 5397407 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31651] ppid=31642 vsize=994396 memory=0 CPUtime=2.99 cores=0-7
/proc/31645/task/31651/stat : 31651 (cosoco) R 31642 31645 31337 0 -1 4202560 18971 0 0 0 291 8 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016461069640 5165712 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31652] ppid=31642 vsize=994396 memory=-8823246064971903881 CPUtime=2.97 cores=0-7
/proc/31645/task/31652/stat : 31652 (cosoco) R 31642 31645 31337 0 -1 4202560 28201 0 0 0 293 4 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016452676624 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31653] ppid=31642 vsize=994396 memory=8622098092527037042 CPUtime=2.98 cores=0-7
/proc/31645/task/31653/stat : 31653 (cosoco) R 31642 31645 31337 0 -1 4202560 18820 0 0 0 291 7 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016444284232 5165656 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31654] ppid=31642 vsize=994396 memory=-8253362762723129977 CPUtime=2.99 cores=0-7
/proc/31645/task/31654/stat : 31654 (cosoco) R 31642 31645 31337 0 -1 4202560 32386 0 0 0 295 4 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016435891528 5008827 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31655] ppid=31642 vsize=994396 memory=57 CPUtime=2.97 cores=0-7
/proc/31645/task/31655/stat : 31655 (cosoco) R 31642 31645 31337 0 -1 4202560 23065 0 0 0 295 2 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016427498824 5397258 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31656] ppid=31642 vsize=994396 memory=1913023 CPUtime=2.91 cores=0-7
/proc/31645/task/31656/stat : 31656 (cosoco) R 31642 31645 31337 0 -1 4202560 15397 0 0 0 284 7 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016419106120 5409463 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
Current children cumulated CPU time: 27.12 s
Current children cumulated vsize: 994396 KiB
Current children cumulated memory: 426848 KiB

[startup+12.7007 s]
/proc/loadavg: 7.73 8.12 7.78 9/199 31656
/proc/meminfo: memFree=28143784/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=994396 memory=426848 CPUtime=78.22 cores=0-7
/proc/31645/stat : 31645 (cosoco) S 31642 31645 31337 0 -1 1077944320 686132 0 0 0 7700 122 0 0 20 0 9 0 558049170 1018261504 106712 33554432000 4194304 6211132 140722404964656 140722404962912 140016500997879 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 248599 106712 860 493 0 241904 0
[pid=31645/tid=31649] ppid=31642 vsize=994396 memory=426848 CPUtime=9.39 cores=0-7
/proc/31645/task/31649/stat : 31649 (cosoco) R 31642 31645 31337 0 -1 4202560 81896 0 0 0 920 19 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016477855048 5165632 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31650] ppid=31642 vsize=994396 memory=281274590059376 CPUtime=9.37 cores=0-7
/proc/31645/task/31650/stat : 31650 (cosoco) R 31642 31645 31337 0 -1 4202560 68635 0 0 0 928 9 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016469462032 5397407 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31651] ppid=31642 vsize=994396 memory=426848 CPUtime=9.39 cores=0-7
/proc/31645/task/31651/stat : 31651 (cosoco) R 31642 31645 31337 0 -1 4202560 54697 0 0 0 923 16 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016461069640 5165636 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31652] ppid=31642 vsize=994396 memory=426848 CPUtime=9.37 cores=0-7
/proc/31645/task/31652/stat : 31652 (cosoco) R 31642 31645 31337 0 -1 4202560 71711 0 0 0 928 9 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016452676624 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31653] ppid=31642 vsize=994396 memory=370140 CPUtime=9.38 cores=0-7
/proc/31645/task/31653/stat : 31653 (cosoco) R 31642 31645 31337 0 -1 4202560 53409 0 0 0 923 15 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016444284232 5397407 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31654] ppid=31642 vsize=994396 memory=0 CPUtime=9.38 cores=0-7
/proc/31645/task/31654/stat : 31654 (cosoco) R 31642 31645 31337 0 -1 4202560 91958 0 0 0 927 11 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016435891528 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31655] ppid=31642 vsize=994396 memory=33 CPUtime=9.38 cores=0-7
/proc/31645/task/31655/stat : 31655 (cosoco) R 31642 31645 31337 0 -1 4202560 64177 0 0 0 930 8 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016427498824 5397474 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31656] ppid=31642 vsize=994396 memory=0 CPUtime=9.22 cores=0-7
/proc/31645/task/31656/stat : 31656 (cosoco) R 31642 31645 31337 0 -1 4202560 49670 0 0 0 908 14 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016419106120 5008827 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
Current children cumulated CPU time: 78.22 s
Current children cumulated vsize: 994396 KiB
Current children cumulated memory: 426848 KiB

[startup+25.5007 s]
/proc/loadavg: 7.79 8.11 7.78 10/199 31656
/proc/meminfo: memFree=28143916/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=994396 memory=426848 CPUtime=180.42 cores=0-7
/proc/31645/stat : 31645 (cosoco) S 31642 31645 31337 0 -1 1077944320 943158 0 0 0 17881 161 0 0 20 0 9 0 558049170 1018261504 106712 33554432000 4194304 6211132 140722404964656 140722404962912 140016500997879 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 248599 106712 860 493 0 241904 0
[pid=31645/tid=31649] ppid=31642 vsize=994396 memory=57 CPUtime=22.19 cores=0-7
/proc/31645/task/31649/stat : 31649 (cosoco) R 31642 31645 31337 0 -1 4202560 124657 0 0 0 2194 25 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016477855048 5008852 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31650] ppid=31642 vsize=994396 memory=13572582809031387 CPUtime=22.17 cores=0-7
/proc/31645/task/31650/stat : 31650 (cosoco) R 31642 31645 31337 0 -1 4202560 96306 0 0 0 2204 13 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016469462032 5397407 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31651] ppid=31642 vsize=994396 memory=276535764383556 CPUtime=22.19 cores=0-7
/proc/31645/task/31651/stat : 31651 (cosoco) R 31642 31645 31337 0 -1 4202560 85289 0 0 0 2198 21 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016461069640 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31652] ppid=31642 vsize=994396 memory=276535764383557 CPUtime=22.17 cores=0-7
/proc/31645/task/31652/stat : 31652 (cosoco) R 31642 31645 31337 0 -1 4202560 101544 0 0 0 2203 14 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016452676624 5008994 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31653] ppid=31642 vsize=994396 memory=426848 CPUtime=22.18 cores=0-7
/proc/31645/task/31653/stat : 31653 (cosoco) R 31642 31645 31337 0 -1 4202560 82037 0 0 0 2197 21 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016444284232 5008827 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31654] ppid=31642 vsize=994396 memory=0 CPUtime=22.17 cores=0-7
/proc/31645/task/31654/stat : 31654 (cosoco) R 31642 31645 31337 0 -1 4202560 132456 0 0 0 2202 15 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016435891528 5397258 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31655] ppid=31642 vsize=994396 memory=2793 CPUtime=22.18 cores=0-7
/proc/31645/task/31655/stat : 31655 (cosoco) R 31642 31645 31337 0 -1 4202560 94651 0 0 0 2205 13 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016427498824 5008827 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31656] ppid=31642 vsize=994396 memory=309 CPUtime=21.83 cores=0-7
/proc/31645/task/31656/stat : 31656 (cosoco) R 31642 31645 31337 0 -1 4202560 76239 0 0 0 2164 19 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016419106120 5008994 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
Current children cumulated CPU time: 180.42 s
Current children cumulated vsize: 994396 KiB
Current children cumulated memory: 426848 KiB

[startup+51.1107 s]
/proc/loadavg: 7.86 8.10 7.79 9/199 31659
/proc/meminfo: memFree=28143568/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=994396 memory=426848 CPUtime=384.88 cores=0-7
/proc/31645/stat : 31645 (cosoco) S 31642 31645 31337 0 -1 1077944320 1202100 0 0 0 38286 202 0 0 20 0 9 0 558049170 1018261504 106712 33554432000 4194304 6211132 140722404964656 140722404962912 140016500997879 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 248599 106712 860 493 0 241904 0
[pid=31645/tid=31649] ppid=31642 vsize=994396 memory=6935054825532540783 CPUtime=47.79 cores=0-7
/proc/31645/task/31649/stat : 31649 (cosoco) R 31642 31645 31337 0 -1 4202560 166836 0 0 0 4748 31 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016477855048 5008827 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31650] ppid=31642 vsize=994396 memory=426848 CPUtime=47.78 cores=0-7
/proc/31645/task/31650/stat : 31650 (cosoco) R 31642 31645 31337 0 -1 4202560 126005 0 0 0 4759 19 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016469462032 5397407 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31651] ppid=31642 vsize=994396 memory=426848 CPUtime=47.8 cores=0-7
/proc/31645/task/31651/stat : 31651 (cosoco) R 31642 31645 31337 0 -1 4202560 116023 0 0 0 4755 25 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016461069640 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31652] ppid=31642 vsize=994396 memory=426848 CPUtime=47.77 cores=0-7
/proc/31645/task/31652/stat : 31652 (cosoco) R 31642 31645 31337 0 -1 4202560 131808 0 0 0 4759 18 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016452676624 5008827 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31653] ppid=31642 vsize=994396 memory=426848 CPUtime=47.79 cores=0-7
/proc/31645/task/31653/stat : 31653 (cosoco) R 31642 31645 31337 0 -1 4202560 110528 0 0 0 4753 26 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016444284232 5165642 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31654] ppid=31642 vsize=994396 memory=426848 CPUtime=47.79 cores=0-7
/proc/31645/task/31654/stat : 31654 (cosoco) R 31642 31645 31337 0 -1 4202560 174142 0 0 0 4758 21 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016435891528 5008827 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31655] ppid=31642 vsize=994396 memory=56 CPUtime=47.79 cores=0-7
/proc/31645/task/31655/stat : 31655 (cosoco) R 31642 31645 31337 0 -1 4202560 124778 0 0 0 4762 17 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016427498824 5008827 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31656] ppid=31642 vsize=994396 memory=97 CPUtime=47.03 cores=0-7
/proc/31645/task/31656/stat : 31656 (cosoco) R 31642 31645 31337 0 -1 4202560 102001 0 0 0 4679 24 0 0 20 0 9 0 558049498 1018261504 106712 33554432000 4194304 6211132 140722404964656 140016419106120 5008827 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
Current children cumulated CPU time: 384.88 s
Current children cumulated vsize: 994396 KiB
Current children cumulated memory: 426848 KiB

[startup+102.301 s]
/proc/loadavg: 8.01 8.10 7.80 9/199 31661
/proc/meminfo: memFree=28141472/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=994396 memory=426848 CPUtime=793.47 cores=0-7
/proc/31645/stat : 31645 (cosoco) S 31642 31645 31337 0 -1 1077944320 1460643 0 0 0 79104 243 0 0 20 0 9 0 558049170 1018261504 106712 33554432000 4194304 6211132 140722404964656 140722404962912 140016500997879 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 248599 106712 860 493 0 241904 0

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

/proc/31645/task/31651/stat : 31651 (cosoco) R 31642 31645 31337 0 -1 4202560 208505 0 0 0 225115 42 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016461069640 5165632 0 0 4096 8405026 0 0 0 -1 3 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31652] ppid=31642 vsize=994396 memory=427152 CPUtime=2244.85 cores=0-7
/proc/31645/task/31652/stat : 31652 (cosoco) R 31642 31645 31337 0 -1 4202560 215921 0 0 0 224448 37 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016452676624 5008827 0 0 4096 8405026 0 0 0 -1 7 0 0 14 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31653] ppid=31642 vsize=994396 memory=427152 CPUtime=2252.83 cores=0-7
/proc/31645/task/31653/stat : 31653 (cosoco) R 31642 31645 31337 0 -1 4202560 190275 0 0 0 225238 45 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016444284232 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 13 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31654] ppid=31642 vsize=994396 memory=427152 CPUtime=2257.92 cores=0-7
/proc/31645/task/31654/stat : 31654 (cosoco) R 31642 31645 31337 0 -1 4202560 285957 0 0 0 225750 42 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016435891528 5008827 0 0 4096 8405026 0 0 0 -1 2 0 0 13 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31655] ppid=31642 vsize=994396 memory=427152 CPUtime=2258.09 cores=0-7
/proc/31645/task/31655/stat : 31655 (cosoco) R 31642 31645 31337 0 -1 4202560 212717 0 0 0 225775 34 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016427498824 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 12 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31656] ppid=31642 vsize=994396 memory=1736 CPUtime=2251.24 cores=0-7
/proc/31645/task/31656/stat : 31656 (cosoco) R 31642 31645 31337 0 -1 4202560 177784 0 0 0 225083 41 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016419105728 5397407 0 0 4096 8405026 0 0 0 -1 1 0 0 13 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
Current children cumulated CPU time: 18036.2 s
Current children cumulated vsize: 994396 KiB
Current children cumulated memory: 427152 KiB

[startup+2322.3 s]
/proc/loadavg: 8.45 8.32 8.22 10/199 31854
/proc/meminfo: memFree=28143532/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=994396 memory=427152 CPUtime=18515.1 cores=0-7
/proc/31645/stat : 31645 (cosoco) S 31642 31645 31337 0 -1 1077944320 1941096 0 0 0 1851158 352 0 0 20 0 9 0 558049170 1018261504 106788 33554432000 4194304 6211132 140722404964656 140722404962912 140016500997879 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 248599 106788 860 493 0 241904 0
[pid=31645/tid=31649] ppid=31642 vsize=994396 memory=427152 CPUtime=2317.89 cores=0-7
/proc/31645/task/31649/stat : 31649 (cosoco) R 31642 31645 31337 0 -1 4202560 293158 0 0 0 231738 51 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016477855048 5008827 0 0 4096 8405026 0 0 0 -1 0 0 0 14 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31650] ppid=31642 vsize=994396 memory=427152 CPUtime=2318.37 cores=0-7
/proc/31645/task/31650/stat : 31650 (cosoco) R 31642 31645 31337 0 -1 4202560 200815 0 0 0 231800 37 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016469462032 5186358 0 0 4096 8405026 0 0 0 -1 4 0 0 13 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31651] ppid=31642 vsize=994396 memory=281274590365952 CPUtime=2311.57 cores=0-7
/proc/31645/task/31651/stat : 31651 (cosoco) R 31642 31645 31337 0 -1 4202560 209192 0 0 0 231114 43 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016461069640 5392375 0 0 4096 8405026 0 0 0 -1 3 0 0 16 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31652] ppid=31642 vsize=994396 memory=427152 CPUtime=2303.94 cores=0-7
/proc/31645/task/31652/stat : 31652 (cosoco) R 31642 31645 31337 0 -1 4202560 217281 0 0 0 230357 37 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016452676624 5392297 0 0 4096 8405026 0 0 0 -1 7 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31653] ppid=31642 vsize=994396 memory=427152 CPUtime=2312.83 cores=0-7
/proc/31645/task/31653/stat : 31653 (cosoco) R 31642 31645 31337 0 -1 4202560 191011 0 0 0 231237 46 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016444284232 5008827 0 0 4096 8405026 0 0 0 -1 5 0 0 14 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31654] ppid=31642 vsize=994396 memory=0 CPUtime=2317.87 cores=0-7
/proc/31645/task/31654/stat : 31654 (cosoco) R 31642 31645 31337 0 -1 4202560 286645 0 0 0 231745 42 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016435891528 5409481 0 0 4096 8405026 0 0 0 -1 2 0 0 14 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31655] ppid=31642 vsize=994396 memory=427152 CPUtime=2318.08 cores=0-7
/proc/31645/task/31655/stat : 31655 (cosoco) R 31642 31645 31337 0 -1 4202560 214235 0 0 0 231774 34 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016427498824 5008827 0 0 4096 8405026 0 0 0 -1 6 0 0 13 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31656] ppid=31642 vsize=994396 memory=427152 CPUtime=2311.21 cores=0-7
/proc/31645/task/31656/stat : 31656 (cosoco) R 31642 31645 31337 0 -1 4202560 178780 0 0 0 231080 41 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016419105728 5008827 0 0 4096 8405026 0 0 0 -1 1 0 0 14 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
Current children cumulated CPU time: 18515.1 s
Current children cumulated vsize: 994396 KiB
Current children cumulated memory: 427152 KiB

[startup+2382.3 s]
/proc/loadavg: 8.23 8.28 8.21 9/199 31857
/proc/meminfo: memFree=28144800/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=994396 memory=427152 CPUtime=18994.1 cores=0-7
/proc/31645/stat : 31645 (cosoco) S 31642 31645 31337 0 -1 1077944320 1942914 0 0 0 1899061 353 0 0 20 0 9 0 558049170 1018261504 106788 33554432000 4194304 6211132 140722404964656 140722404962912 140016500997879 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 248599 106788 860 493 0 241904 0
[pid=31645/tid=31649] ppid=31642 vsize=994396 memory=427152 CPUtime=2377.88 cores=0-7
/proc/31645/task/31649/stat : 31649 (cosoco) R 31642 31645 31337 0 -1 4202560 293555 0 0 0 237736 52 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016477855048 5008827 0 0 4096 8405026 0 0 0 -1 0 0 0 14 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31650] ppid=31642 vsize=994396 memory=427152 CPUtime=2378.37 cores=0-7
/proc/31645/task/31650/stat : 31650 (cosoco) R 31642 31645 31337 0 -1 4202560 201012 0 0 0 237800 37 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016469462032 5008827 0 0 4096 8405026 0 0 0 -1 4 0 0 13 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31651] ppid=31642 vsize=994396 memory=427152 CPUtime=2371.58 cores=0-7
/proc/31645/task/31651/stat : 31651 (cosoco) R 31642 31645 31337 0 -1 4202560 209322 0 0 0 237115 43 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016461069640 5397407 0 0 4096 8405026 0 0 0 -1 3 0 0 16 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31652] ppid=31642 vsize=994396 memory=427152 CPUtime=2363.02 cores=0-7
/proc/31645/task/31652/stat : 31652 (cosoco) R 31642 31645 31337 0 -1 4202560 217595 0 0 0 236265 37 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016452676624 5397407 0 0 4096 8405026 0 0 0 -1 7 0 0 16 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31653] ppid=31642 vsize=994396 memory=427152 CPUtime=2372.82 cores=0-7
/proc/31645/task/31653/stat : 31653 (cosoco) R 31642 31645 31337 0 -1 4202560 191154 0 0 0 237236 46 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016444284232 5397493 0 0 4096 8405026 0 0 0 -1 5 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31654] ppid=31642 vsize=994396 memory=427152 CPUtime=2377.85 cores=0-7
/proc/31645/task/31654/stat : 31654 (cosoco) R 31642 31645 31337 0 -1 4202560 286782 0 0 0 237743 42 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016435891528 5165636 0 0 4096 8405026 0 0 0 -1 2 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31655] ppid=31642 vsize=994396 memory=427152 CPUtime=2378.07 cores=0-7
/proc/31645/task/31655/stat : 31655 (cosoco) R 31642 31645 31337 0 -1 4202560 214546 0 0 0 237773 34 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016427498824 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 14 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31656] ppid=31642 vsize=994396 memory=427152 CPUtime=2371.21 cores=0-7
/proc/31645/task/31656/stat : 31656 (cosoco) R 31642 31645 31337 0 -1 4202560 178969 0 0 0 237080 41 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016419105728 5008827 0 0 4096 8405026 0 0 0 -1 1 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
Current children cumulated CPU time: 18994.1 s
Current children cumulated vsize: 994396 KiB
Current children cumulated memory: 427152 KiB

[startup+2442.3 s]
/proc/loadavg: 8.14 8.24 8.21 9/199 31862
/proc/meminfo: memFree=28145168/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=994396 memory=427152 CPUtime=19473.2 cores=0-7
/proc/31645/stat : 31645 (cosoco) S 31642 31645 31337 0 -1 1077944320 1943828 0 0 0 1946961 354 0 0 20 0 9 0 558049170 1018261504 106788 33554432000 4194304 6211132 140722404964656 140722404962912 140016500997879 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 248599 106788 860 493 0 241904 0
[pid=31645/tid=31649] ppid=31642 vsize=994396 memory=427152 CPUtime=2437.87 cores=0-7
/proc/31645/task/31649/stat : 31649 (cosoco) R 31642 31645 31337 0 -1 4202560 293710 0 0 0 243735 52 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016477855048 5392340 0 0 4096 8405026 0 0 0 -1 0 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31650] ppid=31642 vsize=994396 memory=427152 CPUtime=2438.33 cores=0-7
/proc/31645/task/31650/stat : 31650 (cosoco) R 31642 31645 31337 0 -1 4202560 201096 0 0 0 243796 37 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016469462032 5397414 0 0 4096 8405026 0 0 0 -1 4 0 0 13 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31651] ppid=31642 vsize=994396 memory=776 CPUtime=2431.57 cores=0-7
/proc/31645/task/31651/stat : 31651 (cosoco) R 31642 31645 31337 0 -1 4202560 209437 0 0 0 243114 43 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016461069640 5396432 0 0 4096 8405026 0 0 0 -1 3 0 0 16 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31652] ppid=31642 vsize=994396 memory=427152 CPUtime=2422.12 cores=0-7
/proc/31645/task/31652/stat : 31652 (cosoco) R 31642 31645 31337 0 -1 4202560 217720 0 0 0 242174 38 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016452676624 5397407 0 0 4096 8405026 0 0 0 -1 7 0 0 16 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31653] ppid=31642 vsize=994396 memory=427152 CPUtime=2432.81 cores=0-7
/proc/31645/task/31653/stat : 31653 (cosoco) R 31642 31645 31337 0 -1 4202560 191214 0 0 0 243235 46 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016444284232 5165640 0 0 4096 8405026 0 0 0 -1 5 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31654] ppid=31642 vsize=994396 memory=427152 CPUtime=2437.84 cores=0-7
/proc/31645/task/31654/stat : 31654 (cosoco) R 31642 31645 31337 0 -1 4202560 286846 0 0 0 243742 42 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016435891528 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31655] ppid=31642 vsize=994396 memory=427152 CPUtime=2438.06 cores=0-7
/proc/31645/task/31655/stat : 31655 (cosoco) R 31642 31645 31337 0 -1 4202560 214703 0 0 0 243772 34 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016427498824 5008827 0 0 4096 8405026 0 0 0 -1 6 0 0 14 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31656] ppid=31642 vsize=994396 memory=427152 CPUtime=2431.2 cores=0-7
/proc/31645/task/31656/stat : 31656 (cosoco) R 31642 31645 31337 0 -1 4202560 179123 0 0 0 243079 41 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016419105728 5397407 0 0 4096 8405026 0 0 0 -1 1 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
Current children cumulated CPU time: 19473.1 s
Current children cumulated vsize: 994396 KiB
Current children cumulated memory: 427152 KiB

[startup+2502.3 s]
/proc/loadavg: 8.05 8.20 8.20 9/199 31866
/proc/meminfo: memFree=28144932/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=994396 memory=427152 CPUtime=19952.2 cores=0-7
/proc/31645/stat : 31645 (cosoco) S 31642 31645 31337 0 -1 1077944320 1944724 0 0 0 1994864 355 0 0 20 0 9 0 558049170 1018261504 106788 33554432000 4194304 6211132 140722404964656 140722404962912 140016500997879 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 248599 106788 860 493 0 241904 0
[pid=31645/tid=31649] ppid=31642 vsize=994396 memory=427152 CPUtime=2497.85 cores=0-7
/proc/31645/task/31649/stat : 31649 (cosoco) R 31642 31645 31337 0 -1 4202560 293932 0 0 0 249733 52 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016477855048 5008827 0 0 4096 8405026 0 0 0 -1 0 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31650] ppid=31642 vsize=994396 memory=427152 CPUtime=2498.32 cores=0-7
/proc/31645/task/31650/stat : 31650 (cosoco) R 31642 31645 31337 0 -1 4202560 201184 0 0 0 249795 37 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016469462032 5165767 0 0 4096 8405026 0 0 0 -1 4 0 0 13 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31651] ppid=31642 vsize=994396 memory=427152 CPUtime=2491.56 cores=0-7
/proc/31645/task/31651/stat : 31651 (cosoco) R 31642 31645 31337 0 -1 4202560 209486 0 0 0 249113 43 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016461069640 5008918 0 0 4096 8405026 0 0 0 -1 3 0 0 16 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31652] ppid=31642 vsize=994396 memory=427152 CPUtime=2481.23 cores=0-7
/proc/31645/task/31652/stat : 31652 (cosoco) R 31642 31645 31337 0 -1 4202560 217829 0 0 0 248085 38 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016452676624 5008827 0 0 4096 8405026 0 0 0 -1 7 0 0 16 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31653] ppid=31642 vsize=994396 memory=427152 CPUtime=2492.8 cores=0-7
/proc/31645/task/31653/stat : 31653 (cosoco) R 31642 31645 31337 0 -1 4202560 191277 0 0 0 249234 46 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016444284232 5392301 0 0 4096 8405026 0 0 0 -1 5 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31654] ppid=31642 vsize=994396 memory=427152 CPUtime=2497.83 cores=0-7
/proc/31645/task/31654/stat : 31654 (cosoco) R 31642 31645 31337 0 -1 4202560 286920 0 0 0 249741 42 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016435891528 5397445 0 0 4096 8405026 0 0 0 -1 2 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31655] ppid=31642 vsize=994396 memory=427152 CPUtime=2498.06 cores=0-7
/proc/31645/task/31655/stat : 31655 (cosoco) R 31642 31645 31337 0 -1 4202560 214875 0 0 0 249772 34 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016427498824 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 14 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31656] ppid=31642 vsize=994396 memory=427152 CPUtime=2491.2 cores=0-7
/proc/31645/task/31656/stat : 31656 (cosoco) R 31642 31645 31337 0 -1 4202560 179242 0 0 0 249078 42 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016419105728 5008827 0 0 4096 8405026 0 0 0 -1 1 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
Current children cumulated CPU time: 19952.2 s
Current children cumulated vsize: 994396 KiB
Current children cumulated memory: 427152 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.04 8.18 8.19 9/199 31867
/proc/meminfo: memFree=28145472/32770624 swapFree=67002732/67108860
[pid=31645] ppid=31642 vsize=994396 memory=427152 CPUtime=20093.6 cores=0-7
/proc/31645/stat : 31645 (cosoco) S 31642 31645 31337 0 -1 1077944320 1944725 0 0 0 2009003 355 0 0 20 0 9 0 558049170 1018261504 106788 33554432000 4194304 6211132 140722404964656 140722404962912 140016500997879 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
/proc/31645/statm: 248599 106788 860 493 0 241904 0
[pid=31645/tid=31649] ppid=31642 vsize=994396 memory=7548 CPUtime=2515.55 cores=0-7
/proc/31645/task/31649/stat : 31649 (cosoco) R 31642 31645 31337 0 -1 4202560 293932 0 0 0 251503 52 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016477855048 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31650] ppid=31642 vsize=994396 memory=1398722017469774279 CPUtime=2516.03 cores=0-7
/proc/31645/task/31650/stat : 31650 (cosoco) R 31642 31645 31337 0 -1 4202560 201184 0 0 0 251566 37 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016469462032 5008827 0 0 4096 8405026 0 0 0 -1 4 0 0 13 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31651] ppid=31642 vsize=994396 memory=920 CPUtime=2509.27 cores=0-7
/proc/31645/task/31651/stat : 31651 (cosoco) R 31642 31645 31337 0 -1 4202560 209486 0 0 0 250884 43 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016461069640 5008827 0 0 4096 8405026 0 0 0 -1 3 0 0 16 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31652] ppid=31642 vsize=994396 memory=4132 CPUtime=2498.66 cores=0-7
/proc/31645/task/31652/stat : 31652 (cosoco) R 31642 31645 31337 0 -1 4202560 217829 0 0 0 249828 38 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016452676624 5008827 0 0 4096 8405026 0 0 0 -1 7 0 0 16 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31653] ppid=31642 vsize=994396 memory=4104 CPUtime=2510.51 cores=0-7
/proc/31645/task/31653/stat : 31653 (cosoco) R 31642 31645 31337 0 -1 4202560 191278 0 0 0 251005 46 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016444284232 5008827 0 0 4096 8405026 0 0 0 -1 5 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31654] ppid=31642 vsize=994396 memory=1404 CPUtime=2515.54 cores=0-7
/proc/31645/task/31654/stat : 31654 (cosoco) R 31642 31645 31337 0 -1 4202560 286920 0 0 0 251512 42 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016435891528 5008971 0 0 4096 8405026 0 0 0 -1 2 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31655] ppid=31642 vsize=994396 memory=2896 CPUtime=2515.77 cores=0-7
/proc/31645/task/31655/stat : 31655 (cosoco) R 31642 31645 31337 0 -1 4202560 214875 0 0 0 251543 34 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016427498824 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 14 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
[pid=31645/tid=31656] ppid=31642 vsize=994396 memory=427152 CPUtime=2508.91 cores=0-7
/proc/31645/task/31656/stat : 31656 (cosoco) R 31642 31645 31337 0 -1 4202560 179242 0 0 0 250849 42 0 0 20 0 9 0 558049498 1018261504 106788 33554432000 4194304 6211132 140722404964656 140016419105728 5008827 0 0 4096 8405026 0 0 0 -1 1 0 0 15 0 0 8312316 8317760 19472384 140722404967441 140722404967533 140722404967533 140722404970446 0
Current children cumulated CPU time: 20093.6 s
Current children cumulated vsize: 994396 KiB
Current children cumulated memory: 427152 KiB

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

[startup+2520.03 s]
# the end of solver process 31645 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20090.1 s, system=3.55466 s

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

Child status: 1
Real time (s): 2520.03
CPU time (s): 20093.7
CPU user time (s): 20090.1
CPU system time (s): 3.55466
CPU usage (%): 797.361
Max. virtual memory (cumulated for all children) (KiB): 1023096
Max. memory (cumulated for all children) (KiB): 448584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20090.1
system time used= 3.55466
maximum resident set size= 452016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1944775
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= 18257
involuntary context switches= 164146


# summary of solver processes directly reported to runsolver:
#   pid: 31645
#   total CPU time (s): 20093.7
#   total CPU user time (s): 20090.1
#   total CPU system time (s): 3.55466

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.3517 second user time and 23.901 second system time

The end

Begin job on node148 at 2019-09-30 06:47:19
IDJOB=4409726
IDBENCH=120595
IDSOLVER=2877
FILE ID=node148/4409726-1569818877
RUNJOBID= node148-1569816318-31364
PBS_JOBID= 21705905
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-school1.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4409726-1569818877/watcher-4409726-1569818877 -o /tmp/evaluation-result-4409726-1569818877/solver-4409726-1569818877 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node148-1569816318-31364 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4409726-1569818877.xml

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

MD5SUM BENCH= 9dec5151d217f705456bb861c341cf0d
RANDOM SEED=50578093

node148.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.13
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.13
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.13
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.13
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:        28568968 kB
MemAvailable:   31875360 kB
Buffers:          171400 kB
Cached:          3473024 kB
SwapCached:         3492 kB
Active:          2238880 kB
Inactive:        1410676 kB
Active(anon):      18292 kB
Inactive(anon):    67024 kB
Active(file):    2220588 kB
Inactive(file):  1343652 kB
Unevictable:      110988 kB
Mlocked:          110988 kB
SwapTotal:      67108860 kB
SwapFree:       67002732 kB
Dirty:              3236 kB
Writeback:            28 kB
AnonPages:        105148 kB
Mapped:            26268 kB
Shmem:             71796 kB
Slab:             144596 kB
SReclaimable:     115972 kB
SUnreclaim:        28624 kB
KernelStack:        3552 kB
PageTables:         6084 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     538564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     59392 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 62028 MiB
End job on node148 at 2019-09-30 07:29:19

Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-school1.xml
MD5SUM	9dec5151d217f705456bb861c341cf0d
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	13
Best CPU time to get the best result obtained on this benchmark	68.3294
Satisfiable
(Un)Satisfiability was proved
Number of variables	385
Number of constraints	19095
Number of domains	1
Minimum domain size	385
Maximum domain size	385
Distribution of domain sizes	[{"size":385,"count":385}]
Minimum variable degree	2
Maximum variable degree	283
Distribution of variable degrees	[{"degree":2,"count":8},{"degree":3,"count":2},{"degree":4,"count":3},{"degree":5,"count":2},{"degree":6,"count":1},{"degree":8,"count":1},{"degree":9,"count":4},{"degree":10,"count":1},{"degree":12,"count":1},{"degree":13,"count":4},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":19,"count":1},{"degree":20,"count":2},{"degree":22,"count":1},{"degree":24,"count":3},{"degree":25,"count":5},{"degree":26,"count":2},{"degree":27,"count":1},{"degree":29,"count":2},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":35,"count":2},{"degree":39,"count":1},"...",{"degree":150,"count":2}, {"degree":154,"count":3}, {"degree":155,"count":1}, {"degree":156,"count":2}, {"degree":160,"count":2}, {"degree":161,"count":3}, {"degree":163,"count":1}, {"degree":164,"count":1}, {"degree":167,"count":1}, {"degree":168,"count":1}, {"degree":172,"count":1}, {"degree":175,"count":1}, {"degree":177,"count":1}, {"degree":230,"count":2}, {"degree":246,"count":1}, {"degree":247,"count":1}, {"degree":252,"count":1}, {"degree":257,"count":1}, {"degree":260,"count":1}, {"degree":263,"count":1}, {"degree":265,"count":1}, {"degree":269,"count":2}, {"degree":271,"count":1}, {"degree":273,"count":1}, {"degree":283,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":19095}]
Number of extensional constraints	0
Number of intensional constraints	19095
Distribution of constraint types	[{"type":"intension","count":19095}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4409726

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data