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.O parallel	SAT (TO)	12	20123.2	2520.02

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

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398301-1568598330/watcher-4398301-1568598330 -o /tmp/evaluation-result-4398301-1568598330/solver-4398301-1568598330 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568598287-9694 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398301-1568598330.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=9711, runsolver pid=9708

[startup+0.100169 s]*
/proc/loadavg: 1.00 1.01 1.09 2/192 9712
/proc/meminfo: memFree=29741044/32770624 swapFree=66957020/67108860
[pid=9711] ppid=9708 vsize=58676 memory=35104 CPUtime=0.1 cores=0-7
/proc/9711/stat : 9711 (cosoco) R 9708 9711 9667 0 -1 4202496 8941 0 0 0 9 1 0 0 20 0 1 0 435746836 60084224 8776 33554432000 4194304 6211092 140732641214496 140732641211032 140418429643749 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
/proc/9711/statm: 14669 8776 821 493 0 7974 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 58676 KiB
Current children cumulated memory: 35104 KiB

[startup+0.209367 s]*
/proc/loadavg: 1.00 1.01 1.09 2/192 9712
/proc/meminfo: memFree=29724676/32770624 swapFree=66957020/67108860
[pid=9711] ppid=9708 vsize=74912 memory=51208 CPUtime=0.2 cores=0-7
/proc/9711/stat : 9711 (cosoco) R 9708 9711 9667 0 -1 4202496 13004 0 0 0 19 1 0 0 20 0 1 0 435746836 76709888 12802 33554432000 4194304 6211092 140732641214496 140732641211032 140418429643749 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
/proc/9711/statm: 18728 12802 821 493 0 12033 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 74912 KiB
Current children cumulated memory: 51208 KiB

[startup+0.309474 s]*
/proc/loadavg: 1.00 1.01 1.09 2/192 9712
/proc/meminfo: memFree=29710168/32770624 swapFree=66957020/67108860
[pid=9711] ppid=9708 vsize=612692 memory=64976 CPUtime=0.34 cores=0-7
/proc/9711/stat : 9711 (cosoco) S 9708 9711 9667 0 -1 1077944320 16424 0 0 0 32 2 0 0 20 0 9 0 435746836 627396608 16244 33554432000 4194304 6211092 140732641214496 140732641212752 140418445684471 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
/proc/9711/statm: 153173 16244 864 493 0 146478 0
[pid=9711/tid=9713] ppid=9708 vsize=612692 memory=-7035114785800479027 CPUtime=0 cores=0-7
/proc/9711/task/9713/stat : 9713 (cosoco) D 9708 9711 9667 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 435746867 627396608 16244 33554432000 4194304 6211092 140732641214496 140418422541496 140418430119511 0 0 4096 8405026 18446744071582151463 0 0 -1 2 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9714] ppid=9708 vsize=612692 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/9711/task/9714/stat : 9714 (cosoco) R 9708 9711 9667 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 9 0 435746867 627396608 16244 33554432000 4194304 6211092 140732641214496 140418414148792 5392352 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9715] ppid=9708 vsize=612692 memory=0 CPUtime=0 cores=0-7
/proc/9711/task/9715/stat : 9715 (cosoco) R 9708 9711 9667 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 435746867 627396608 16244 33554432000 4194304 6211092 140732641214496 140418405756088 140418429643749 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9716] ppid=9708 vsize=612692 memory=0 CPUtime=0 cores=0-7
/proc/9711/task/9716/stat : 9716 (cosoco) R 9708 9711 9667 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 9 0 435746867 627396608 16244 33554432000 4194304 6211092 140732641214496 140418397363808 5397226 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9717] ppid=9708 vsize=612692 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/9711/task/9717/stat : 9717 (cosoco) R 9708 9711 9667 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 9 0 435746867 627396608 16244 33554432000 4194304 6211092 140732641214496 140418388970680 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9718] ppid=9708 vsize=612692 memory=0 CPUtime=0 cores=0-7
/proc/9711/task/9718/stat : 9718 (cosoco) R 9708 9711 9667 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 435746867 627396608 16244 33554432000 4194304 6211092 140732641214496 140418380577976 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9719] ppid=9708 vsize=612692 memory=0 CPUtime=0 cores=0-7
/proc/9711/task/9719/stat : 9719 (cosoco) R 9708 9711 9667 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 435746867 627396608 16244 33554432000 4194304 6211092 140732641214496 140418372185272 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9720] ppid=9708 vsize=612692 memory=0 CPUtime=0 cores=0-7
/proc/9711/task/9720/stat : 9720 (cosoco) D 9708 9711 9667 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 9 0 435746867 627396608 16244 33554432000 4194304 6211092 140732641214496 140418363792568 140418429663211 0 0 4096 8405026 18446744071582151416 0 0 -1 6 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 612692 KiB
Current children cumulated memory: 64976 KiB

[startup+0.700623 s]
/proc/loadavg: 1.00 1.01 1.09 9/200 9720
/proc/meminfo: memFree=29708824/32770624 swapFree=66957020/67108860
[pid=9711] ppid=9708 vsize=700784 memory=115560 CPUtime=3.22 cores=0-7
/proc/9711/stat : 9711 (cosoco) S 9708 9711 9667 0 -1 1077944320 30601 0 0 0 316 6 0 0 20 0 9 0 435746836 717602816 28890 33554432000 4194304 6211092 140732641214496 140732641212752 140418445684471 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
/proc/9711/statm: 175196 28890 873 493 0 168501 0
[pid=9711/tid=9713] ppid=9708 vsize=700784 memory=2520 CPUtime=0.36 cores=0-7
/proc/9711/task/9713/stat : 9713 (cosoco) D 9708 9711 9667 0 -1 4202560 1676 0 0 0 36 0 0 0 20 0 9 0 435746867 717602816 28890 33554432000 4194304 6211092 140732641214496 140418422541176 140418429643749 0 0 4096 8405026 18446744071582151416 0 0 -1 2 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9714] ppid=9708 vsize=700784 memory=1760 CPUtime=0.36 cores=0-7
/proc/9711/task/9714/stat : 9714 (cosoco) D 9708 9711 9667 0 -1 4202560 1749 0 0 0 36 0 0 0 20 0 9 0 435746867 717602816 28890 33554432000 4194304 6211092 140732641214496 140418414148472 140418429643749 0 0 4096 8405026 18446744071582151416 0 0 -1 0 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9715] ppid=9708 vsize=700784 memory=1660 CPUtime=0.36 cores=0-7
/proc/9711/task/9715/stat : 9715 (cosoco) D 9708 9711 9667 0 -1 4202560 1916 0 0 0 36 0 0 0 20 0 9 0 435746867 717602816 28890 33554432000 4194304 6211092 140732641214496 140418405755672 140418430119511 0 0 4096 8405026 18446744071582151463 0 0 -1 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9716] ppid=9708 vsize=700784 memory=111632 CPUtime=0.36 cores=0-7
/proc/9711/task/9716/stat : 9716 (cosoco) R 9708 9711 9667 0 -1 4202560 1706 0 0 0 36 0 0 0 20 0 9 0 435746867 717602816 28890 33554432000 4194304 6211092 140732641214496 140418397362968 140418429643749 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9717] ppid=9708 vsize=700784 memory=796 CPUtime=0.35 cores=0-7
/proc/9711/task/9717/stat : 9717 (cosoco) D 9708 9711 9667 0 -1 4202560 1569 0 0 0 35 0 0 0 20 0 9 0 435746867 717602816 28890 33554432000 4194304 6211092 140732641214496 140418388970216 140418429639486 0 0 4096 8405026 18446744071582151416 0 0 -1 1 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9718] ppid=9708 vsize=700784 memory=-7175204567652784766 CPUtime=0.36 cores=0-7
/proc/9711/task/9718/stat : 9718 (cosoco) D 9708 9711 9667 0 -1 4202560 1759 0 0 0 36 0 0 0 20 0 9 0 435746867 717602816 28890 33554432000 4194304 6211092 140732641214496 140418380577656 140418429643749 0 0 4096 8405026 18446744071582151416 0 0 -1 4 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9719] ppid=9708 vsize=700784 memory=7100839861465685612 CPUtime=0.33 cores=0-7
/proc/9711/task/9719/stat : 9719 (cosoco) R 9708 9711 9667 0 -1 4202560 2191 0 0 0 33 0 0 0 20 0 9 0 435746867 717602816 28890 33554432000 4194304 6211092 140732641214496 140418372184952 140418430119511 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9720] ppid=9708 vsize=700784 memory=3054156605268465310 CPUtime=0.36 cores=0-7
/proc/9711/task/9720/stat : 9720 (cosoco) D 9708 9711 9667 0 -1 4202560 1625 0 0 0 36 0 0 0 20 0 9 0 435746867 717602816 28890 33554432000 4194304 6211092 140732641214496 140418363792152 140418429639486 0 0 4096 8405026 18446744071582151416 0 0 -1 6 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
Current children cumulated CPU time: 3.22 s
Current children cumulated vsize: 700784 KiB
Current children cumulated memory: 115560 KiB

[startup+1.50102 s]
/proc/loadavg: 1.00 1.01 1.09 9/200 9720
/proc/meminfo: memFree=29596480/32770624 swapFree=66957020/67108860
[pid=9711] ppid=9708 vsize=694616 memory=176204 CPUtime=9.31 cores=0-7
/proc/9711/stat : 9711 (cosoco) S 9708 9711 9667 0 -1 1077944320 61514 0 0 0 913 18 0 0 20 0 9 0 435746836 711286784 44051 33554432000 4194304 6211092 140732641214496 140732641212752 140418445684471 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
/proc/9711/statm: 173654 44051 873 493 0 166959 0
[pid=9711/tid=9713] ppid=9708 vsize=694616 memory=0 CPUtime=1.12 cores=0-7
/proc/9711/task/9713/stat : 9713 (cosoco) R 9708 9711 9667 0 -1 4202560 4936 0 0 0 110 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418422541640 5392265 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9714] ppid=9708 vsize=694616 memory=279506674249536 CPUtime=1.12 cores=0-7
/proc/9711/task/9714/stat : 9714 (cosoco) R 9708 9711 9667 0 -1 4202560 4989 0 0 0 110 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418414148936 5392343 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9715] ppid=9708 vsize=694616 memory=139753336992208 CPUtime=1.12 cores=0-7
/proc/9711/task/9715/stat : 9715 (cosoco) R 9708 9711 9667 0 -1 4202560 5990 0 0 0 111 1 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418405756232 5392261 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9716] ppid=9708 vsize=694616 memory=0 CPUtime=1.1 cores=0-7
/proc/9711/task/9716/stat : 9716 (cosoco) R 9708 9711 9667 0 -1 4202560 5934 0 0 0 109 1 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418397363528 5165624 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9717] ppid=9708 vsize=694616 memory=0 CPUtime=1.14 cores=0-7
/proc/9711/task/9717/stat : 9717 (cosoco) R 9708 9711 9667 0 -1 4202560 6969 0 0 0 112 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418388970512 5009142 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9718] ppid=9708 vsize=694616 memory=0 CPUtime=1.13 cores=0-7
/proc/9711/task/9718/stat : 9718 (cosoco) R 9708 9711 9667 0 -1 4202560 4645 0 0 0 111 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418380578120 5009098 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9719] ppid=9708 vsize=694616 memory=0 CPUtime=1.09 cores=0-7
/proc/9711/task/9719/stat : 9719 (cosoco) R 9708 9711 9667 0 -1 4202560 6669 0 0 0 108 1 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418372185416 5397375 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9720] ppid=9708 vsize=694616 memory=7598824234097836114 CPUtime=1.11 cores=0-7
/proc/9711/task/9720/stat : 9720 (cosoco) R 9708 9711 9667 0 -1 4202560 4972 0 0 0 109 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418363792712 5112695 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
Current children cumulated CPU time: 9.31 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 176204 KiB

[startup+3.11002 s]
/proc/loadavg: 1.56 1.13 1.13 9/200 9720
/proc/meminfo: memFree=29600180/32770624 swapFree=66957020/67108860
[pid=9711] ppid=9708 vsize=694616 memory=176204 CPUtime=22.15 cores=0-7
/proc/9711/stat : 9711 (cosoco) S 9708 9711 9667 0 -1 1077944320 61651 0 0 0 2197 18 0 0 20 0 9 0 435746836 711286784 44051 33554432000 4194304 6211092 140732641214496 140732641212752 140418445684471 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
/proc/9711/statm: 173654 44051 873 493 0 166959 0
[pid=9711/tid=9713] ppid=9708 vsize=694616 memory=288370133515133999 CPUtime=2.73 cores=0-7
/proc/9711/task/9713/stat : 9713 (cosoco) R 9708 9711 9667 0 -1 4202560 4936 0 0 0 271 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418422541640 5392343 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9714] ppid=9708 vsize=694616 memory=3512 CPUtime=2.73 cores=0-7
/proc/9711/task/9714/stat : 9714 (cosoco) R 9708 9711 9667 0 -1 4202560 4992 0 0 0 271 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418414148936 5392261 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9715] ppid=9708 vsize=694616 memory=45856 CPUtime=2.73 cores=0-7
/proc/9711/task/9715/stat : 9715 (cosoco) R 9708 9711 9667 0 -1 4202560 5997 0 0 0 272 1 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418405756232 5397375 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9716] ppid=9708 vsize=694616 memory=55 CPUtime=2.68 cores=0-7
/proc/9711/task/9716/stat : 9716 (cosoco) R 9708 9711 9667 0 -1 4202560 6038 0 0 0 267 1 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418397363528 5392343 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9717] ppid=9708 vsize=694616 memory=-3258418265892434876 CPUtime=2.74 cores=0-7
/proc/9711/task/9717/stat : 9717 (cosoco) R 9708 9711 9667 0 -1 4202560 6969 0 0 0 272 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418388970512 5392281 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9718] ppid=9708 vsize=694616 memory=0 CPUtime=2.74 cores=0-7
/proc/9711/task/9718/stat : 9718 (cosoco) R 9708 9711 9667 0 -1 4202560 4665 0 0 0 272 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418380578120 5392261 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9719] ppid=9708 vsize=694616 memory=3512 CPUtime=2.7 cores=0-7
/proc/9711/task/9719/stat : 9719 (cosoco) R 9708 9711 9667 0 -1 4202560 6672 0 0 0 269 1 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418372185416 5392339 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9720] ppid=9708 vsize=694616 memory=2241 CPUtime=2.72 cores=0-7
/proc/9711/task/9720/stat : 9720 (cosoco) R 9708 9711 9667 0 -1 4202560 4972 0 0 0 270 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418363792712 5392343 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
Current children cumulated CPU time: 22.15 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 176204 KiB

[startup+6.30102 s]
/proc/loadavg: 1.56 1.13 1.13 9/200 9720
/proc/meminfo: memFree=29600360/32770624 swapFree=66957020/67108860
[pid=9711] ppid=9708 vsize=694616 memory=176204 CPUtime=47.64 cores=0-7
/proc/9711/stat : 9711 (cosoco) S 9708 9711 9667 0 -1 1077944320 100607 0 0 0 4742 22 0 0 20 0 9 0 435746836 711286784 44051 33554432000 4194304 6211092 140732641214496 140732641212752 140418445684471 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
/proc/9711/statm: 173654 44051 873 493 0 166959 0
[pid=9711/tid=9713] ppid=9708 vsize=694616 memory=6382321403051 CPUtime=5.92 cores=0-7
/proc/9711/task/9713/stat : 9713 (cosoco) R 9708 9711 9667 0 -1 4202560 9252 0 0 0 589 3 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418422541640 5009012 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9714] ppid=9708 vsize=694616 memory=139757790471807 CPUtime=5.92 cores=0-7
/proc/9711/task/9714/stat : 9714 (cosoco) R 9708 9711 9667 0 -1 4202560 9722 0 0 0 590 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418414148936 5397226 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9715] ppid=9708 vsize=694616 memory=176204 CPUtime=5.92 cores=0-7
/proc/9711/task/9715/stat : 9715 (cosoco) R 9708 9711 9667 0 -1 4202560 11826 0 0 0 591 1 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418405756232 5392265 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9716] ppid=9708 vsize=694616 memory=55 CPUtime=5.84 cores=0-7
/proc/9711/task/9716/stat : 9716 (cosoco) R 9708 9711 9667 0 -1 4202560 12421 0 0 0 582 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418397363528 5392265 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9717] ppid=9708 vsize=694616 memory=0 CPUtime=5.93 cores=0-7
/proc/9711/task/9717/stat : 9717 (cosoco) R 9708 9711 9667 0 -1 4202560 11841 0 0 0 591 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418388970512 5193728 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9718] ppid=9708 vsize=694616 memory=288230621787193645 CPUtime=5.93 cores=0-7
/proc/9711/task/9718/stat : 9718 (cosoco) R 9708 9711 9667 0 -1 4202560 7583 0 0 0 591 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418380578120 5392261 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9719] ppid=9708 vsize=694616 memory=0 CPUtime=5.9 cores=0-7
/proc/9711/task/9719/stat : 9719 (cosoco) R 9708 9711 9667 0 -1 4202560 11794 0 0 0 588 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418372185416 5165712 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9720] ppid=9708 vsize=694616 memory=181445188406245 CPUtime=5.91 cores=0-7
/proc/9711/task/9720/stat : 9720 (cosoco) R 9708 9711 9667 0 -1 4202560 9758 0 0 0 588 3 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418363792712 5392265 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
Current children cumulated CPU time: 47.64 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 176204 KiB

[startup+12.701 s]
/proc/loadavg: 2.08 1.25 1.16 9/200 9721
/proc/meminfo: memFree=29600488/32770624 swapFree=66957020/67108860
[pid=9711] ppid=9708 vsize=694616 memory=176204 CPUtime=98.75 cores=0-7
/proc/9711/stat : 9711 (cosoco) S 9708 9711 9667 0 -1 1077944320 139988 0 0 0 9847 28 0 0 20 0 9 0 435746836 711286784 44051 33554432000 4194304 6211092 140732641214496 140732641212752 140418445684471 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
/proc/9711/statm: 173654 44051 873 493 0 166959 0
[pid=9711/tid=9713] ppid=9708 vsize=694616 memory=176204 CPUtime=12.32 cores=0-7
/proc/9711/task/9713/stat : 9713 (cosoco) R 9708 9711 9667 0 -1 4202560 12941 0 0 0 1228 4 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418422541640 5392320 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9714] ppid=9708 vsize=694616 memory=1196 CPUtime=12.31 cores=0-7
/proc/9711/task/9714/stat : 9714 (cosoco) R 9708 9711 9667 0 -1 4202560 14639 0 0 0 1228 3 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418414148936 5112672 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9715] ppid=9708 vsize=694616 memory=279506674247936 CPUtime=12.32 cores=0-7
/proc/9711/task/9715/stat : 9715 (cosoco) R 9708 9711 9667 0 -1 4202560 17313 0 0 0 1230 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418405756232 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9716] ppid=9708 vsize=694616 memory=176204 CPUtime=12.16 cores=0-7
/proc/9711/task/9716/stat : 9716 (cosoco) R 9708 9711 9667 0 -1 4202560 17310 0 0 0 1214 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418397363528 5392714 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9717] ppid=9708 vsize=694616 memory=176204 CPUtime=12.33 cores=0-7
/proc/9711/task/9717/stat : 9717 (cosoco) R 9708 9711 9667 0 -1 4202560 16908 0 0 0 1230 3 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418388970512 5392265 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9718] ppid=9708 vsize=694616 memory=176204 CPUtime=12.33 cores=0-7
/proc/9711/task/9718/stat : 9718 (cosoco) R 9708 9711 9667 0 -1 4202560 11874 0 0 0 1230 3 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418380578120 5392343 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9719] ppid=9708 vsize=694616 memory=0 CPUtime=12.28 cores=0-7
/proc/9711/task/9719/stat : 9719 (cosoco) R 9708 9711 9667 0 -1 4202560 17671 0 0 0 1226 2 0 0 20 0 9 0 435746867 711286784 44051 33554432000 4194304 6211092 140732641214496 140418372185416 5392343 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0

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

/proc/9711/task/9715/stat : 9715 (cosoco) R 9708 9711 9667 0 -1 4202560 37648 0 0 0 226160 5 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418405756232 5165680 0 0 4096 8405026 0 0 0 -1 5 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9716] ppid=9708 vsize=694616 memory=176504 CPUtime=2259.88 cores=0-7
/proc/9711/task/9716/stat : 9716 (cosoco) R 9708 9711 9667 0 -1 4202560 38455 0 0 0 225981 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418397363136 5392343 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9717] ppid=9708 vsize=694616 memory=176504 CPUtime=2261.61 cores=0-7
/proc/9711/task/9717/stat : 9717 (cosoco) R 9708 9711 9667 0 -1 4202560 34005 0 0 0 226155 6 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418388970512 5392261 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9718] ppid=9708 vsize=694616 memory=176504 CPUtime=2261.24 cores=0-7
/proc/9711/task/9718/stat : 9718 (cosoco) R 9708 9711 9667 0 -1 4202560 26725 0 0 0 226117 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418380578120 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9719] ppid=9708 vsize=694616 memory=176504 CPUtime=2261.53 cores=0-7
/proc/9711/task/9719/stat : 9719 (cosoco) R 9708 9711 9667 0 -1 4202560 37269 0 0 0 226148 5 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418372185416 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9720] ppid=9708 vsize=694616 memory=1108 CPUtime=2261.46 cores=0-7
/proc/9711/task/9720/stat : 9720 (cosoco) R 9708 9711 9667 0 -1 4202560 32670 0 0 0 226139 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418363792712 5392343 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
Current children cumulated CPU time: 18064.8 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 176504 KiB

[startup+2322.3 s]
/proc/loadavg: 8.65 8.31 7.70 9/200 9964
/proc/meminfo: memFree=29588716/32770624 swapFree=66957020/67108860
[pid=9711] ppid=9708 vsize=694616 memory=176504 CPUtime=18544 cores=0-7
/proc/9711/stat : 9711 (cosoco) S 9708 9711 9667 0 -1 1077944320 289735 0 0 0 1854339 62 0 0 20 0 9 0 435746836 711286784 44126 33554432000 4194304 6211092 140732641214496 140732641212752 140418445684471 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
/proc/9711/statm: 173654 44126 873 493 0 166959 0
[pid=9711/tid=9713] ppid=9708 vsize=694616 memory=176504 CPUtime=2321.16 cores=0-7
/proc/9711/task/9713/stat : 9713 (cosoco) R 9708 9711 9667 0 -1 4202560 32144 0 0 0 232107 9 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418422541640 5186262 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9714] ppid=9708 vsize=694616 memory=176504 CPUtime=2295.12 cores=0-7
/proc/9711/task/9714/stat : 9714 (cosoco) R 9708 9711 9667 0 -1 4202560 34043 0 0 0 229502 10 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418414148936 5165617 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9715] ppid=9708 vsize=694616 memory=176504 CPUtime=2321.64 cores=0-7
/proc/9711/task/9715/stat : 9715 (cosoco) R 9708 9711 9667 0 -1 4202560 37691 0 0 0 232159 5 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418405756232 5392265 0 0 4096 8405026 0 0 0 -1 5 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9716] ppid=9708 vsize=694616 memory=279506674876032 CPUtime=2319.86 cores=0-7
/proc/9711/task/9716/stat : 9716 (cosoco) R 9708 9711 9667 0 -1 4202560 38508 0 0 0 231979 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418397363136 5392261 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9717] ppid=9708 vsize=694616 memory=176504 CPUtime=2321.61 cores=0-7
/proc/9711/task/9717/stat : 9717 (cosoco) R 9708 9711 9667 0 -1 4202560 34061 0 0 0 232155 6 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418388970512 5392320 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9718] ppid=9708 vsize=694616 memory=176504 CPUtime=2321.24 cores=0-7
/proc/9711/task/9718/stat : 9718 (cosoco) R 9708 9711 9667 0 -1 4202560 26791 0 0 0 232117 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418380578120 5409461 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9719] ppid=9708 vsize=694616 memory=176504 CPUtime=2321.53 cores=0-7
/proc/9711/task/9719/stat : 9719 (cosoco) R 9708 9711 9667 0 -1 4202560 37342 0 0 0 232148 5 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418372185416 5392343 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9720] ppid=9708 vsize=694616 memory=176504 CPUtime=2321.46 cores=0-7
/proc/9711/task/9720/stat : 9720 (cosoco) R 9708 9711 9667 0 -1 4202560 32745 0 0 0 232139 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418363792712 5392320 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
Current children cumulated CPU time: 18544 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 176504 KiB

[startup+2382.3 s]
/proc/loadavg: 8.34 8.30 7.74 9/200 9967
/proc/meminfo: memFree=29588488/32770624 swapFree=66957020/67108860
[pid=9711] ppid=9708 vsize=694616 memory=176504 CPUtime=19023.2 cores=0-7
/proc/9711/stat : 9711 (cosoco) S 9708 9711 9667 0 -1 1077944320 290214 0 0 0 1902261 62 0 0 20 0 9 0 435746836 711286784 44126 33554432000 4194304 6211092 140732641214496 140732641212752 140418445684471 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
/proc/9711/statm: 173654 44126 873 493 0 166959 0
[pid=9711/tid=9713] ppid=9708 vsize=694616 memory=176504 CPUtime=2381.16 cores=0-7
/proc/9711/task/9713/stat : 9713 (cosoco) R 9708 9711 9667 0 -1 4202560 32193 0 0 0 238107 9 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418422541640 5390463 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9714] ppid=9708 vsize=694616 memory=176504 CPUtime=2354.39 cores=0-7
/proc/9711/task/9714/stat : 9714 (cosoco) R 9708 9711 9667 0 -1 4202560 34119 0 0 0 235429 10 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418414148936 5392343 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9715] ppid=9708 vsize=694616 memory=176504 CPUtime=2381.64 cores=0-7
/proc/9711/task/9715/stat : 9715 (cosoco) R 9708 9711 9667 0 -1 4202560 37760 0 0 0 238159 5 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418405756232 5409465 0 0 4096 8405026 0 0 0 -1 5 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9716] ppid=9708 vsize=694616 memory=176504 CPUtime=2379.86 cores=0-7
/proc/9711/task/9716/stat : 9716 (cosoco) R 9708 9711 9667 0 -1 4202560 38562 0 0 0 237979 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418397363136 5392261 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9717] ppid=9708 vsize=694616 memory=176504 CPUtime=2381.6 cores=0-7
/proc/9711/task/9717/stat : 9717 (cosoco) R 9708 9711 9667 0 -1 4202560 34095 0 0 0 238154 6 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418388970512 5397375 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9718] ppid=9708 vsize=694616 memory=756 CPUtime=2381.23 cores=0-7
/proc/9711/task/9718/stat : 9718 (cosoco) R 9708 9711 9667 0 -1 4202560 26856 0 0 0 238116 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418380578120 5392343 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9719] ppid=9708 vsize=694616 memory=176504 CPUtime=2381.51 cores=0-7
/proc/9711/task/9719/stat : 9719 (cosoco) R 9708 9711 9667 0 -1 4202560 37399 0 0 0 238146 5 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418372185416 5392343 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9720] ppid=9708 vsize=694616 memory=176504 CPUtime=2381.45 cores=0-7
/proc/9711/task/9720/stat : 9720 (cosoco) R 9708 9711 9667 0 -1 4202560 32820 0 0 0 238138 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418363792712 5392261 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
Current children cumulated CPU time: 19023.2 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 176504 KiB

[startup+2442.3 s]
/proc/loadavg: 8.19 8.26 7.76 9/199 9971
/proc/meminfo: memFree=29589056/32770624 swapFree=66957020/67108860
[pid=9711] ppid=9708 vsize=694616 memory=176504 CPUtime=19502.4 cores=0-7
/proc/9711/stat : 9711 (cosoco) S 9708 9711 9667 0 -1 1077944320 290693 0 0 0 1950183 62 0 0 20 0 9 0 435746836 711286784 44126 33554432000 4194304 6211092 140732641214496 140732641212752 140418445684471 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
/proc/9711/statm: 173654 44126 873 493 0 166959 0
[pid=9711/tid=9713] ppid=9708 vsize=694616 memory=176504 CPUtime=2441.15 cores=0-7
/proc/9711/task/9713/stat : 9713 (cosoco) R 9708 9711 9667 0 -1 4202560 32254 0 0 0 244106 9 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418422541640 5193728 0 0 4096 8405026 0 0 0 -1 2 0 0 1 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9714] ppid=9708 vsize=694616 memory=176504 CPUtime=2413.67 cores=0-7
/proc/9711/task/9714/stat : 9714 (cosoco) R 9708 9711 9667 0 -1 4202560 34178 0 0 0 241357 10 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418414148936 5392265 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9715] ppid=9708 vsize=694616 memory=176504 CPUtime=2441.63 cores=0-7
/proc/9711/task/9715/stat : 9715 (cosoco) R 9708 9711 9667 0 -1 4202560 37796 0 0 0 244158 5 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418405756232 5009195 0 0 4096 8405026 0 0 0 -1 5 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9716] ppid=9708 vsize=694616 memory=176504 CPUtime=2439.86 cores=0-7
/proc/9711/task/9716/stat : 9716 (cosoco) R 9708 9711 9667 0 -1 4202560 38638 0 0 0 243979 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418397363136 5392352 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9717] ppid=9708 vsize=694616 memory=176504 CPUtime=2441.59 cores=0-7
/proc/9711/task/9717/stat : 9717 (cosoco) R 9708 9711 9667 0 -1 4202560 34152 0 0 0 244153 6 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418388970512 5112713 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9718] ppid=9708 vsize=694616 memory=176504 CPUtime=2441.23 cores=0-7
/proc/9711/task/9718/stat : 9718 (cosoco) R 9708 9711 9667 0 -1 4202560 26916 0 0 0 244116 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418380578120 5392320 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9719] ppid=9708 vsize=694616 memory=176504 CPUtime=2441.49 cores=0-7
/proc/9711/task/9719/stat : 9719 (cosoco) R 9708 9711 9667 0 -1 4202560 37464 0 0 0 244144 5 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418372185416 5397375 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9720] ppid=9708 vsize=694616 memory=176504 CPUtime=2441.45 cores=0-7
/proc/9711/task/9720/stat : 9720 (cosoco) R 9708 9711 9667 0 -1 4202560 32885 0 0 0 244138 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418363792712 5392269 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
Current children cumulated CPU time: 19502.4 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 176504 KiB

[startup+2502.3 s]
/proc/loadavg: 8.07 8.21 7.78 9/199 9976
/proc/meminfo: memFree=29588132/32770624 swapFree=66957020/67108860
[pid=9711] ppid=9708 vsize=694616 memory=176504 CPUtime=19981.7 cores=0-7
/proc/9711/stat : 9711 (cosoco) S 9708 9711 9667 0 -1 1077944320 291175 0 0 0 1998105 62 0 0 20 0 9 0 435746836 711286784 44126 33554432000 4194304 6211092 140732641214496 140732641212752 140418445684471 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
/proc/9711/statm: 173654 44126 873 493 0 166959 0
[pid=9711/tid=9713] ppid=9708 vsize=694616 memory=2020 CPUtime=2501.14 cores=0-7
/proc/9711/task/9713/stat : 9713 (cosoco) R 9708 9711 9667 0 -1 4202560 32327 0 0 0 250105 9 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418422541640 5392265 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9714] ppid=9708 vsize=694616 memory=176504 CPUtime=2472.95 cores=0-7
/proc/9711/task/9714/stat : 9714 (cosoco) R 9708 9711 9667 0 -1 4202560 34234 0 0 0 247285 10 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418414148936 5392719 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9715] ppid=9708 vsize=694616 memory=176504 CPUtime=2501.63 cores=0-7
/proc/9711/task/9715/stat : 9715 (cosoco) R 9708 9711 9667 0 -1 4202560 37873 0 0 0 250158 5 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418405756232 5392269 0 0 4096 8405026 0 0 0 -1 5 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9716] ppid=9708 vsize=694616 memory=176504 CPUtime=2499.83 cores=0-7
/proc/9711/task/9716/stat : 9716 (cosoco) R 9708 9711 9667 0 -1 4202560 38696 0 0 0 249976 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418397363136 5193728 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9717] ppid=9708 vsize=694616 memory=176504 CPUtime=2501.58 cores=0-7
/proc/9711/task/9717/stat : 9717 (cosoco) R 9708 9711 9667 0 -1 4202560 34213 0 0 0 250152 6 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418388970512 5112713 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9718] ppid=9708 vsize=694616 memory=176504 CPUtime=2501.22 cores=0-7
/proc/9711/task/9718/stat : 9718 (cosoco) R 9708 9711 9667 0 -1 4202560 26985 0 0 0 250115 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418380578120 5193728 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9719] ppid=9708 vsize=694616 memory=176504 CPUtime=2501.48 cores=0-7
/proc/9711/task/9719/stat : 9719 (cosoco) R 9708 9711 9667 0 -1 4202560 37505 0 0 0 250143 5 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418372185416 5193728 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9720] ppid=9708 vsize=694616 memory=176504 CPUtime=2501.45 cores=0-7
/proc/9711/task/9720/stat : 9720 (cosoco) R 9708 9711 9667 0 -1 4202560 32932 0 0 0 250138 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418363792712 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
Current children cumulated CPU time: 19981.7 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 176504 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.05 8.20 7.78 9/199 9976
/proc/meminfo: memFree=29588288/32770624 swapFree=66957020/67108860
[pid=9711] ppid=9708 vsize=694616 memory=176504 CPUtime=20123.1 cores=0-7
/proc/9711/stat : 9711 (cosoco) S 9708 9711 9667 0 -1 1077944320 291175 0 0 0 2012248 62 0 0 20 0 9 0 435746836 711286784 44126 33554432000 4194304 6211092 140732641214496 140732641212752 140418445684471 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
/proc/9711/statm: 173654 44126 873 493 0 166959 0
[pid=9711/tid=9713] ppid=9708 vsize=694616 memory=-6733704525061579059 CPUtime=2518.85 cores=0-7
/proc/9711/task/9713/stat : 9713 (cosoco) R 9708 9711 9667 0 -1 4202560 32327 0 0 0 251876 9 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418422541640 5392343 0 0 4096 8405026 0 0 0 -1 2 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9714] ppid=9708 vsize=694616 memory=4126316290023845779 CPUtime=2490.44 cores=0-7
/proc/9711/task/9714/stat : 9714 (cosoco) R 9708 9711 9667 0 -1 4202560 34234 0 0 0 249034 10 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418414148936 5392343 0 0 4096 8405026 0 0 0 -1 7 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9715] ppid=9708 vsize=694616 memory=2124 CPUtime=2519.34 cores=0-7
/proc/9711/task/9715/stat : 9715 (cosoco) R 9708 9711 9667 0 -1 4202560 37873 0 0 0 251929 5 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418405756232 5392265 0 0 4096 8405026 0 0 0 -1 5 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9716] ppid=9708 vsize=694616 memory=24376 CPUtime=2517.53 cores=0-7
/proc/9711/task/9716/stat : 9716 (cosoco) R 9708 9711 9667 0 -1 4202560 38696 0 0 0 251746 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418397363136 5392261 0 0 4096 8405026 0 0 0 -1 0 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9717] ppid=9708 vsize=694616 memory=3512 CPUtime=2519.28 cores=0-7
/proc/9711/task/9717/stat : 9717 (cosoco) R 9708 9711 9667 0 -1 4202560 34213 0 0 0 251922 6 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418388970512 5392257 0 0 4096 8405026 0 0 0 -1 1 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9718] ppid=9708 vsize=694616 memory=288230574492221466 CPUtime=2518.93 cores=0-7
/proc/9711/task/9718/stat : 9718 (cosoco) R 9708 9711 9667 0 -1 4202560 26985 0 0 0 251886 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418380578120 5392269 0 0 4096 8405026 0 0 0 -1 4 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9719] ppid=9708 vsize=694616 memory=290763892299399478 CPUtime=2519.19 cores=0-7
/proc/9711/task/9719/stat : 9719 (cosoco) R 9708 9711 9667 0 -1 4202560 37505 0 0 0 251914 5 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418372185416 5392320 0 0 4096 8405026 0 0 0 -1 6 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
[pid=9711/tid=9720] ppid=9708 vsize=694616 memory=15252640887999028 CPUtime=2519.15 cores=0-7
/proc/9711/task/9720/stat : 9720 (cosoco) R 9708 9711 9667 0 -1 4202560 32932 0 0 0 251908 7 0 0 20 0 9 0 435746867 711286784 44126 33554432000 4194304 6211092 140732641214496 140418363792712 5193728 0 0 4096 8405026 0 0 0 -1 3 0 0 2 0 0 8312316 8317760 27258880 140732641219601 140732641219693 140732641219693 140732641222606 0
Current children cumulated CPU time: 20123.1 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 176504 KiB

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

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

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

Child status: 1
Real time (s): 2520.02
CPU time (s): 20123.2
CPU user time (s): 20122.6
CPU system time (s): 0.627723
CPU usage (%): 798.533
Max. virtual memory (cumulated for all children) (KiB): 735604
Max. memory (cumulated for all children) (KiB): 206800

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20122.6
system time used= 0.627723
maximum resident set size= 207592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291223
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= 15401
involuntary context switches= 171804


# summary of solver processes directly reported to runsolver:
#   pid: 9711
#   total CPU time (s): 20123.2
#   total CPU user time (s): 20122.6
#   total CPU system time (s): 0.627723

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1875 second user time and 19.1251 second system time

The end

Begin job on node147 at 2019-09-16 03:44:47
IDJOB=4398301
IDBENCH=120594
IDSOLVER=2851
FILE ID=node147/4398301-1568598330
RUNJOBID= node147-1568598287-9694
PBS_JOBID= 21703424
Free space on /tmp= 58880 MiB

SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-homer.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398301-1568598330/watcher-4398301-1568598330 -o /tmp/evaluation-result-4398301-1568598330/solver-4398301-1568598330 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node147-1568598287-9694 --watchdog 2580  cosoco -model -nbcores=8 HOME/instance-4398301-1568598330.xml

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

MD5SUM BENCH= 4034cc1c4ef788f4220b0fc076e8c883
RANDOM SEED=1163038145

node147.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.52
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.52
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.52
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.52
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:        29771376 kB
MemAvailable:   31830148 kB
Buffers:          103320 kB
Cached:          2232828 kB
SwapCached:        48484 kB
Active:          1311020 kB
Inactive:        1077680 kB
Active(anon):       5192 kB
Inactive(anon):    96804 kB
Active(file):    1305828 kB
Inactive(file):   980876 kB
Unevictable:      109256 kB
Mlocked:          109256 kB
SwapTotal:      67108860 kB
SwapFree:       66957020 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:        117620 kB
Mapped:            46784 kB
Shmem:             40992 kB
Slab:             204788 kB
SReclaimable:     175808 kB
SUnreclaim:        28980 kB
KernelStack:        3312 kB
PageTables:         5252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     71680 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 58876 MiB
End job on node147 at 2019-09-16 04:26:47

Name	GraphColoring/GraphColoring-m1-mono/ GraphColoring-homer.xml
MD5SUM	4034cc1c4ef788f4220b0fc076e8c883
Bench Category	COP (optimization problem)
Best result obtained on this benchmark	OPT
Best value of the objective obtained on this benchmark	12
Best CPU time to get the best result obtained on this benchmark	28.0774
Satisfiable
(Un)Satisfiability was proved
Number of variables	561
Number of constraints	1628
Number of domains	1
Minimum domain size	561
Maximum domain size	561
Distribution of domain sizes	[{"size":561,"count":561}]
Minimum variable degree	1
Maximum variable degree	100
Distribution of variable degrees	[{"degree":1,"count":5},{"degree":2,"count":208},{"degree":3,"count":104},{"degree":4,"count":48},{"degree":5,"count":28},{"degree":6,"count":18},{"degree":7,"count":15},{"degree":8,"count":19},{"degree":9,"count":15},{"degree":10,"count":12},{"degree":11,"count":8},{"degree":12,"count":5},{"degree":13,"count":11},{"degree":14,"count":7},{"degree":15,"count":11},{"degree":16,"count":3},{"degree":17,"count":3},{"degree":18,"count":4},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":3},{"degree":22,"count":3},{"degree":24,"count":1},{"degree":25,"count":4},{"degree":26,"count":2},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":36,"count":1},{"degree":37,"count":1},{"degree":38,"count":1},{"degree":39,"count":1},{"degree":40,"count":2},{"degree":41,"count":1},{"degree":43,"count":2},{"degree":46,"count":1},{"degree":51,"count":1},{"degree":53,"count":1},{"degree":55,"count":1},{"degree":56,"count":1},{"degree":57,"count":1},{"degree":62,"count":1},{"degree":66,"count":1},{"degree":78,"count":1},{"degree":100,"count":1}]
Minimum constraint arity	2
Maximum constraint arity	2
Distribution of constraint arities	[{"arity":2,"count":1628}]
Number of extensional constraints	0
Number of intensional constraints	1628
Distribution of constraint types	[{"type":"intension","count":1628}]
Optimization problem	YES
Type of objective	min MAXIMUM

Trace number 4398301

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data