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

Solver Name	Answer	objective function	CPU time	Wall clock time
cosoco 2.0 parallel	SAT (TO)	12	2010.25	252.025

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409861-1569828203/watcher-4409861-1569828203 -o /tmp/evaluation-result-4409861-1569828203/solver-4409861-1569828203 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node146-1569818084-23682 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4409861-1569828203.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=25584, runsolver pid=25581
Current StackSize limit: 8192 KiB


[startup+0.100158 s]*
/proc/loadavg: 6.93 7.96 8.15 2/191 25585
/proc/meminfo: memFree=30267340/32770624 swapFree=67002424/67108860
[pid=25584] ppid=25581 vsize=59204 memory=35368 CPUtime=0.09 cores=0-7
/proc/25584/stat : 25584 (cosoco) R 25581 25584 23655 0 -1 4202496 9055 0 0 0 8 1 0 0 20 0 1 0 558734184 60624896 8842 33554432000 4194304 6211132 140737385725904 140737385722440 140125641145317 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
/proc/25584/statm: 14801 8842 821 493 0 8106 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 59204 KiB
Current children cumulated memory: 35368 KiB

[startup+0.208881 s]*
/proc/loadavg: 6.93 7.96 8.15 2/191 25585
/proc/meminfo: memFree=30250972/32770624 swapFree=67002424/67108860
[pid=25584] ppid=25581 vsize=75572 memory=52000 CPUtime=0.21 cores=0-7
/proc/25584/stat : 25584 (cosoco) R 25581 25584 23655 0 -1 4202496 13167 0 0 0 19 2 0 0 20 0 1 0 558734184 77385728 13000 33554432000 4194304 6211132 140737385725904 140737385722440 140125641145317 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
/proc/25584/statm: 18893 13000 821 493 0 12198 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 75572 KiB
Current children cumulated memory: 52000 KiB

[startup+0.31633 s]*
/proc/loadavg: 6.93 7.96 8.15 10/199 25593
/proc/meminfo: memFree=30236708/32770624 swapFree=67002424/67108860
[pid=25584] ppid=25581 vsize=678228 memory=64976 CPUtime=0.45 cores=0-7
/proc/25584/stat : 25584 (cosoco) S 25581 25584 23655 0 -1 1077944320 16452 0 0 0 42 3 0 0 20 0 9 0 558734184 694505472 16244 33554432000 4194304 6211132 140737385725904 140737385724160 140125657186039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
/proc/25584/statm: 169557 16244 864 493 0 162862 0
[pid=25584/tid=25586] ppid=25581 vsize=678228 memory=1398722017469774279 CPUtime=0.02 cores=0-7
/proc/25584/task/25586/stat : 25586 (cosoco) R 25581 25584 23655 0 -1 4202560 4 0 0 0 2 0 0 0 20 0 9 0 558734215 694505472 16244 33554432000 4194304 6211132 140737385725904 140125634043064 5392375 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25587] ppid=25581 vsize=678228 memory=4872558044660077418 CPUtime=0.02 cores=0-7
/proc/25584/task/25587/stat : 25587 (cosoco) R 25581 25584 23655 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 9 0 558734215 694505472 16244 33554432000 4194304 6211132 140737385725904 140125625650784 140125641145317 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25588] ppid=25581 vsize=678228 memory=0 CPUtime=0.02 cores=0-7
/proc/25584/task/25588/stat : 25588 (cosoco) R 25581 25584 23655 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 9 0 558734215 694505472 16244 33554432000 4194304 6211132 140737385725904 140125617257656 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25589] ppid=25581 vsize=678228 memory=0 CPUtime=0.01 cores=0-7
/proc/25584/task/25589/stat : 25589 (cosoco) R 25581 25584 23655 0 -1 4202560 6 0 0 0 1 0 0 0 20 0 9 0 558734215 694505472 16244 33554432000 4194304 6211132 140737385725904 140125608865376 140125641145317 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25590] ppid=25581 vsize=678228 memory=6656426216303648864 CPUtime=0.01 cores=0-7
/proc/25584/task/25590/stat : 25590 (cosoco) R 25581 25584 23655 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 9 0 558734215 694505472 16244 33554432000 4194304 6211132 140737385725904 140125600472672 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25591] ppid=25581 vsize=678228 memory=0 CPUtime=0.01 cores=0-7
/proc/25584/task/25591/stat : 25591 (cosoco) R 25581 25584 23655 0 -1 4202560 2 0 0 0 1 0 0 0 20 0 9 0 558734215 694505472 16244 33554432000 4194304 6211132 140737385725904 140125592079968 5392293 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25592] ppid=25581 vsize=678228 memory=0 CPUtime=0.02 cores=0-7
/proc/25584/task/25592/stat : 25592 (cosoco) R 25581 25584 23655 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 9 0 558734215 694505472 16244 33554432000 4194304 6211132 140737385725904 140125583686840 5392375 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25593] ppid=25581 vsize=678228 memory=0 CPUtime=0.01 cores=0-7
/proc/25584/task/25593/stat : 25593 (cosoco) R 25581 25584 23655 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 9 0 558734215 694505472 16244 33554432000 4194304 6211132 140737385725904 140125575294136 5397400 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
Current children cumulated CPU time: 0.45 s
Current children cumulated vsize: 678228 KiB
Current children cumulated memory: 64976 KiB

[startup+0.701331 s]
/proc/loadavg: 7.01 7.96 8.15 9/199 25593
/proc/meminfo: memFree=30236088/32770624 swapFree=67002424/67108860
[pid=25584] ppid=25581 vsize=678228 memory=69432 CPUtime=3.41 cores=0-7
/proc/25584/stat : 25584 (cosoco) S 25581 25584 23655 0 -1 1077944320 17774 0 0 0 337 4 0 0 20 0 9 0 558734184 694505472 17358 33554432000 4194304 6211132 140737385725904 140737385724160 140125657186039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
/proc/25584/statm: 169557 17358 870 493 0 162862 0
[pid=25584/tid=25586] ppid=25581 vsize=678228 memory=1224 CPUtime=0.39 cores=0-7
/proc/25584/task/25586/stat : 25586 (cosoco) R 25581 25584 23655 0 -1 4202560 144 0 0 0 39 0 0 0 20 0 9 0 558734215 694505472 17358 33554432000 4194304 6211132 140737385725904 140125634043008 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25587] ppid=25581 vsize=678228 memory=6268 CPUtime=0.39 cores=0-7
/proc/25584/task/25587/stat : 25587 (cosoco) R 25581 25584 23655 0 -1 4202560 220 0 0 0 39 0 0 0 20 0 9 0 558734215 694505472 17358 33554432000 4194304 6211132 140737385725904 140125625650064 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25588] ppid=25581 vsize=678228 memory=772 CPUtime=0.39 cores=0-7
/proc/25584/task/25588/stat : 25588 (cosoco) R 25581 25584 23655 0 -1 4202560 151 0 0 0 39 0 0 0 20 0 9 0 558734215 694505472 17358 33554432000 4194304 6211132 140737385725904 140125617257504 5392293 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25589] ppid=25581 vsize=678228 memory=1556 CPUtime=0.38 cores=0-7
/proc/25584/task/25589/stat : 25589 (cosoco) R 25581 25584 23655 0 -1 4202560 194 0 0 0 38 0 0 0 20 0 9 0 558734215 694505472 17358 33554432000 4194304 6211132 140737385725904 140125608864896 5112709 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25590] ppid=25581 vsize=678228 memory=1056 CPUtime=0.38 cores=0-7
/proc/25584/task/25590/stat : 25590 (cosoco) R 25581 25584 23655 0 -1 4202560 201 0 0 0 38 0 0 0 20 0 9 0 558734215 694505472 17358 33554432000 4194304 6211132 140737385725904 140125600471736 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25591] ppid=25581 vsize=678228 memory=140187032757887 CPUtime=0.38 cores=0-7
/proc/25584/task/25591/stat : 25591 (cosoco) R 25581 25584 23655 0 -1 4202560 193 0 0 0 38 0 0 0 20 0 9 0 558734215 694505472 17358 33554432000 4194304 6211132 140737385725904 140125592079032 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25592] ppid=25581 vsize=678228 memory=7588935179160282176 CPUtime=0.39 cores=0-7
/proc/25584/task/25592/stat : 25592 (cosoco) R 25581 25584 23655 0 -1 4202560 144 0 0 0 39 0 0 0 20 0 9 0 558734215 694505472 17358 33554432000 4194304 6211132 140737385725904 140125583686200 5392375 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25593] ppid=25581 vsize=678228 memory=6083912753928885861 CPUtime=0.36 cores=0-7
/proc/25584/task/25593/stat : 25593 (cosoco) R 25581 25584 23655 0 -1 4202560 118 0 0 0 36 0 0 0 20 0 9 0 558734215 694505472 17358 33554432000 4194304 6211132 140737385725904 140125575293624 5193760 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
Current children cumulated CPU time: 3.41 s
Current children cumulated vsize: 678228 KiB
Current children cumulated memory: 69432 KiB

[startup+1.50133 s]
/proc/loadavg: 7.01 7.96 8.15 9/199 25593
/proc/meminfo: memFree=30231664/32770624 swapFree=67002424/67108860
[pid=25584] ppid=25581 vsize=678228 memory=72992 CPUtime=9.8 cores=0-7
/proc/25584/stat : 25584 (cosoco) S 25581 25584 23655 0 -1 1077944320 36054 0 0 0 970 10 0 0 20 0 9 0 558734184 694505472 18248 33554432000 4194304 6211132 140737385725904 140737385724160 140125657186039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
/proc/25584/statm: 169557 18248 873 493 0 162862 0
[pid=25584/tid=25586] ppid=25581 vsize=678228 memory=0 CPUtime=1.18 cores=0-7
/proc/25584/task/25586/stat : 25586 (cosoco) R 25581 25584 23655 0 -1 4202560 1658 0 0 0 117 1 0 0 20 0 9 0 558734215 694505472 18248 33554432000 4194304 6211132 140737385725904 140125634042912 5392378 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25587] ppid=25581 vsize=678228 memory=1768 CPUtime=1.18 cores=0-7
/proc/25584/task/25587/stat : 25587 (cosoco) R 25581 25584 23655 0 -1 4202560 3309 0 0 0 118 0 0 0 20 0 9 0 558734215 694505472 18248 33554432000 4194304 6211132 140737385725904 140125625650192 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25588] ppid=25581 vsize=678228 memory=111636 CPUtime=1.18 cores=0-7
/proc/25584/task/25588/stat : 25588 (cosoco) R 25581 25584 23655 0 -1 4202560 2761 0 0 0 118 0 0 0 20 0 9 0 558734215 694505472 18248 33554432000 4194304 6211132 140737385725904 140125617257064 5009098 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25589] ppid=25581 vsize=678228 memory=4872558142750483006 CPUtime=1.18 cores=0-7
/proc/25584/task/25589/stat : 25589 (cosoco) R 25581 25584 23655 0 -1 4202560 2004 0 0 0 118 0 0 0 20 0 9 0 558734215 694505472 18248 33554432000 4194304 6211132 140737385725904 140125608864896 5193760 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25590] ppid=25581 vsize=678228 memory=280365264959264 CPUtime=1.17 cores=0-7
/proc/25584/task/25590/stat : 25590 (cosoco) R 25581 25584 23655 0 -1 4202560 1731 0 0 0 116 1 0 0 20 0 9 0 558734215 694505472 18248 33554432000 4194304 6211132 140737385725904 140125600472192 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25591] ppid=25581 vsize=678228 memory=3472468478860155360 CPUtime=1.18 cores=0-7
/proc/25584/task/25591/stat : 25591 (cosoco) R 25581 25584 23655 0 -1 4202560 3177 0 0 0 118 0 0 0 20 0 9 0 558734215 694505472 18248 33554432000 4194304 6211132 140737385725904 140125592079376 5392378 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25592] ppid=25581 vsize=678228 memory=6656426216303648864 CPUtime=1.18 cores=0-7
/proc/25584/task/25592/stat : 25592 (cosoco) R 25581 25584 23655 0 -1 4202560 1759 0 0 0 117 1 0 0 20 0 9 0 558734215 694505472 18248 33554432000 4194304 6211132 140737385725904 140125583686688 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25593] ppid=25581 vsize=678228 memory=0 CPUtime=1.16 cores=0-7
/proc/25584/task/25593/stat : 25593 (cosoco) R 25581 25584 23655 0 -1 4202560 3246 0 0 0 116 0 0 0 20 0 9 0 558734215 694505472 18248 33554432000 4194304 6211132 140737385725904 140125575293544 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
Current children cumulated CPU time: 9.8 s
Current children cumulated vsize: 678228 KiB
Current children cumulated memory: 72992 KiB

[startup+3.11033 s]
/proc/loadavg: 7.01 7.96 8.15 9/199 25593
/proc/meminfo: memFree=30228052/32770624 swapFree=67002424/67108860
[pid=25584] ppid=25581 vsize=678228 memory=73236 CPUtime=22.54 cores=0-7
/proc/25584/stat : 25584 (cosoco) S 25581 25584 23655 0 -1 1077944320 36291 0 0 0 2244 10 0 0 20 0 9 0 558734184 694505472 18309 33554432000 4194304 6211132 140737385725904 140737385724160 140125657186039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
/proc/25584/statm: 169557 18309 873 493 0 162862 0
[pid=25584/tid=25586] ppid=25581 vsize=678228 memory=0 CPUtime=2.77 cores=0-7
/proc/25584/task/25586/stat : 25586 (cosoco) R 25581 25584 23655 0 -1 4202560 1714 0 0 0 276 1 0 0 20 0 9 0 558734215 694505472 18309 33554432000 4194304 6211132 140737385725904 140125634042744 5392352 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25587] ppid=25581 vsize=678228 memory=0 CPUtime=2.78 cores=0-7
/proc/25584/task/25587/stat : 25587 (cosoco) R 25581 25584 23655 0 -1 4202560 3324 0 0 0 278 0 0 0 20 0 9 0 558734215 694505472 18309 33554432000 4194304 6211132 140737385725904 140125625650304 5392378 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25588] ppid=25581 vsize=678228 memory=3616 CPUtime=2.78 cores=0-7
/proc/25584/task/25588/stat : 25588 (cosoco) R 25581 25584 23655 0 -1 4202560 2792 0 0 0 278 0 0 0 20 0 9 0 558734215 694505472 18309 33554432000 4194304 6211132 140737385725904 140125617257360 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25589] ppid=25581 vsize=678228 memory=10528 CPUtime=2.76 cores=0-7
/proc/25584/task/25589/stat : 25589 (cosoco) R 25581 25584 23655 0 -1 4202560 2047 0 0 0 276 0 0 0 20 0 9 0 558734215 694505472 18309 33554432000 4194304 6211132 140737385725904 140125608864536 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25590] ppid=25581 vsize=678228 memory=988 CPUtime=2.76 cores=0-7
/proc/25584/task/25590/stat : 25590 (cosoco) R 25581 25584 23655 0 -1 4202560 1761 0 0 0 275 1 0 0 20 0 9 0 558734215 694505472 18309 33554432000 4194304 6211132 140737385725904 140125600471832 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25591] ppid=25581 vsize=678228 memory=73036 CPUtime=2.78 cores=0-7
/proc/25584/task/25591/stat : 25591 (cosoco) R 25581 25584 23655 0 -1 4202560 3189 0 0 0 278 0 0 0 20 0 9 0 558734215 694505472 18309 33554432000 4194304 6211132 140737385725904 140125592079488 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25592] ppid=25581 vsize=678228 memory=0 CPUtime=2.78 cores=0-7
/proc/25584/task/25592/stat : 25592 (cosoco) R 25581 25584 23655 0 -1 4202560 1787 0 0 0 277 1 0 0 20 0 9 0 558734215 694505472 18309 33554432000 4194304 6211132 140737385725904 140125583686520 5392375 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25593] ppid=25581 vsize=678228 memory=0 CPUtime=2.76 cores=0-7
/proc/25584/task/25593/stat : 25593 (cosoco) R 25581 25584 23655 0 -1 4202560 3268 0 0 0 276 0 0 0 20 0 9 0 558734215 694505472 18309 33554432000 4194304 6211132 140737385725904 140125575293984 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
Current children cumulated CPU time: 22.54 s
Current children cumulated vsize: 678228 KiB
Current children cumulated memory: 73236 KiB

[startup+6.30133 s]
/proc/loadavg: 7.09 7.96 8.15 9/199 25593
/proc/meminfo: memFree=30087104/32770624 swapFree=67002424/67108860
[pid=25584] ppid=25581 vsize=694616 memory=214392 CPUtime=47.58 cores=0-7
/proc/25584/stat : 25584 (cosoco) S 25581 25584 23655 0 -1 1077944320 96505 0 0 0 4732 26 0 0 20 0 9 0 558734184 711286784 53598 33554432000 4194304 6211132 140737385725904 140737385724160 140125657186039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
/proc/25584/statm: 173654 53598 873 493 0 166959 0
[pid=25584/tid=25586] ppid=25581 vsize=694616 memory=193 CPUtime=5.91 cores=0-7
/proc/25584/task/25586/stat : 25586 (cosoco) R 25581 25584 23655 0 -1 4202560 8031 0 0 0 588 3 0 0 20 0 9 0 558734215 711286784 53598 33554432000 4194304 6211132 140737385725904 140125634043208 5392352 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25587] ppid=25581 vsize=694616 memory=56 CPUtime=5.91 cores=0-7
/proc/25584/task/25587/stat : 25587 (cosoco) R 25581 25584 23655 0 -1 4202560 10159 0 0 0 590 1 0 0 20 0 9 0 558734215 711286784 53598 33554432000 4194304 6211132 140737385725904 140125625650192 5409476 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25588] ppid=25581 vsize=694616 memory=1980 CPUtime=5.92 cores=0-7
/proc/25584/task/25588/stat : 25588 (cosoco) R 25581 25584 23655 0 -1 4202560 14492 0 0 0 589 3 0 0 20 0 9 0 558734215 711286784 53598 33554432000 4194304 6211132 140737385725904 140125617257488 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25589] ppid=25581 vsize=694616 memory=214392 CPUtime=5.87 cores=0-7
/proc/25584/task/25589/stat : 25589 (cosoco) R 25581 25584 23655 0 -1 4202560 9477 0 0 0 585 2 0 0 20 0 9 0 558734215 711286784 53598 33554432000 4194304 6211132 140737385725904 140125608864784 5392375 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25590] ppid=25581 vsize=694616 memory=2012 CPUtime=5.89 cores=0-7
/proc/25584/task/25590/stat : 25590 (cosoco) R 25581 25584 23655 0 -1 4202560 8704 0 0 0 586 3 0 0 20 0 9 0 558734215 711286784 53598 33554432000 4194304 6211132 140737385725904 140125600472192 5112672 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25591] ppid=25581 vsize=694616 memory=1424 CPUtime=5.91 cores=0-7
/proc/25584/task/25591/stat : 25591 (cosoco) R 25581 25584 23655 0 -1 4202560 10362 0 0 0 589 2 0 0 20 0 9 0 558734215 711286784 53598 33554432000 4194304 6211132 140737385725904 140125592079376 5392293 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25592] ppid=25581 vsize=694616 memory=764 CPUtime=5.92 cores=0-7
/proc/25584/task/25592/stat : 25592 (cosoco) R 25581 25584 23655 0 -1 4202560 8096 0 0 0 589 3 0 0 20 0 9 0 558734215 711286784 53598 33554432000 4194304 6211132 140737385725904 140125583686984 5397258 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25593] ppid=25581 vsize=694616 memory=1692 CPUtime=5.88 cores=0-7
/proc/25584/task/25593/stat : 25593 (cosoco) R 25581 25584 23655 0 -1 4202560 10775 0 0 0 586 2 0 0 20 0 9 0 558734215 711286784 53598 33554432000 4194304 6211132 140737385725904 140125575293968 5409459 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
Current children cumulated CPU time: 47.58 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 214392 KiB

[startup+12.7013 s]
/proc/loadavg: 7.16 7.96 8.15 9/200 25595
/proc/meminfo: memFree=30087112/32770624 swapFree=67002424/67108860
[pid=25584] ppid=25581 vsize=694616 memory=215224 CPUtime=98.67 cores=0-7
/proc/25584/stat : 25584 (cosoco) S 25581 25584 23655 0 -1 1077944320 123701 0 0 0 9836 31 0 0 20 0 9 0 558734184 711286784 53806 33554432000 4194304 6211132 140737385725904 140737385724160 140125657186039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
/proc/25584/statm: 173654 53806 873 493 0 166959 0
[pid=25584/tid=25586] ppid=25581 vsize=694616 memory=0 CPUtime=12.31 cores=0-7
/proc/25584/task/25586/stat : 25586 (cosoco) R 25581 25584 23655 0 -1 4202560 11405 0 0 0 1227 4 0 0 20 0 9 0 558734215 711286784 53806 33554432000 4194304 6211132 140737385725904 140125634043208 5112709 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25587] ppid=25581 vsize=694616 memory=0 CPUtime=12.31 cores=0-7
/proc/25584/task/25587/stat : 25587 (cosoco) R 25581 25584 23655 0 -1 4202560 13249 0 0 0 1229 2 0 0 20 0 9 0 558734215 711286784 53806 33554432000 4194304 6211132 140737385725904 140125625650192 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25588] ppid=25581 vsize=694616 memory=3616 CPUtime=12.31 cores=0-7
/proc/25584/task/25588/stat : 25588 (cosoco) R 25581 25584 23655 0 -1 4202560 18380 0 0 0 1228 3 0 0 20 0 9 0 558734215 711286784 53806 33554432000 4194304 6211132 140737385725904 140125617257488 5397267 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25589] ppid=25581 vsize=694616 memory=140182632421944 CPUtime=12.26 cores=0-7
/proc/25584/task/25589/stat : 25589 (cosoco) R 25581 25584 23655 0 -1 4202560 13004 0 0 0 1223 3 0 0 20 0 9 0 558734215 711286784 53806 33554432000 4194304 6211132 140737385725904 140125608864784 5392297 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25590] ppid=25581 vsize=694616 memory=215224 CPUtime=12.21 cores=0-7
/proc/25584/task/25590/stat : 25590 (cosoco) R 25581 25584 23655 0 -1 4202560 11402 0 0 0 1217 4 0 0 20 0 9 0 558734215 711286784 53806 33554432000 4194304 6211132 140737385725904 140125600472192 5392297 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25591] ppid=25581 vsize=694616 memory=193 CPUtime=12.31 cores=0-7
/proc/25584/task/25591/stat : 25591 (cosoco) R 25581 25584 23655 0 -1 4202560 13799 0 0 0 1229 2 0 0 20 0 9 0 558734215 711286784 53806 33554432000 4194304 6211132 140737385725904 140125592079376 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25592] ppid=25581 vsize=694616 memory=421 CPUtime=12.31 cores=0-7
/proc/25584/task/25592/stat : 25592 (cosoco) R 25581 25584 23655 0 -1 4202560 11580 0 0 0 1228 3 0 0 20 0 9 0 558734215 711286784 53806 33554432000 4194304 6211132 140737385725904 140125583686984 5392293 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0

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

/proc/25584/task/25588/stat : 25588 (cosoco) R 25581 25584 23655 0 -1 4202560 20647 0 0 0 2508 3 0 0 20 0 9 0 558734215 711286784 53806 33554432000 4194304 6211132 140737385725904 140125617257488 5392375 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25589] ppid=25581 vsize=694616 memory=215224 CPUtime=25.07 cores=0-7
/proc/25584/task/25589/stat : 25589 (cosoco) R 25581 25584 23655 0 -1 4202560 14566 0 0 0 2503 4 0 0 20 0 9 0 558734215 711286784 53806 33554432000 4194304 6211132 140737385725904 140125608864784 5193760 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25590] ppid=25581 vsize=694616 memory=280365264837544 CPUtime=24.85 cores=0-7
/proc/25584/task/25590/stat : 25590 (cosoco) R 25581 25584 23655 0 -1 4202560 13810 0 0 0 2481 4 0 0 20 0 9 0 558734215 711286784 53806 33554432000 4194304 6211132 140737385725904 140125600472192 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25591] ppid=25581 vsize=694616 memory=3616 CPUtime=25.11 cores=0-7
/proc/25584/task/25591/stat : 25591 (cosoco) R 25581 25584 23655 0 -1 4202560 16099 0 0 0 2508 3 0 0 20 0 9 0 558734215 711286784 53806 33554432000 4194304 6211132 140737385725904 140125592079376 5165640 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25592] ppid=25581 vsize=694616 memory=16336 CPUtime=25.12 cores=0-7
/proc/25584/task/25592/stat : 25592 (cosoco) R 25581 25584 23655 0 -1 4202560 13597 0 0 0 2508 4 0 0 20 0 9 0 558734215 711286784 53806 33554432000 4194304 6211132 140737385725904 140125583686984 5008994 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25593] ppid=25581 vsize=694616 memory=2040 CPUtime=25.06 cores=0-7
/proc/25584/task/25593/stat : 25593 (cosoco) R 25581 25584 23655 0 -1 4202560 16130 0 0 0 2503 3 0 0 20 0 9 0 558734215 711286784 53806 33554432000 4194304 6211132 140737385725904 140125575293968 5392378 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
Current children cumulated CPU time: 200.87 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 215224 KiB

[startup+51.1103 s]
/proc/loadavg: 7.83 8.03 8.16 9/199 25595
/proc/meminfo: memFree=30088896/32770624 swapFree=67002424/67108860
[pid=25584] ppid=25581 vsize=694616 memory=215260 CPUtime=405.41 cores=0-7
/proc/25584/stat : 25584 (cosoco) S 25581 25584 23655 0 -1 1077944320 160933 0 0 0 40505 36 0 0 20 0 9 0 558734184 711286784 53815 33554432000 4194304 6211132 140737385725904 140737385724160 140125657186039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
/proc/25584/statm: 173654 53815 873 493 0 166959 0
[pid=25584/tid=25586] ppid=25581 vsize=694616 memory=215224 CPUtime=50.7 cores=0-7
/proc/25584/task/25586/stat : 25586 (cosoco) R 25581 25584 23655 0 -1 4202560 15461 0 0 0 5066 4 0 0 20 0 9 0 558734215 711286784 53815 33554432000 4194304 6211132 140737385725904 140125634043208 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25587] ppid=25581 vsize=694616 memory=215224 CPUtime=50.71 cores=0-7
/proc/25584/task/25587/stat : 25587 (cosoco) R 25581 25584 23655 0 -1 4202560 17862 0 0 0 5068 3 0 0 20 0 9 0 558734215 711286784 53815 33554432000 4194304 6211132 140737385725904 140125625650192 5392297 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25588] ppid=25581 vsize=694616 memory=215260 CPUtime=50.71 cores=0-7
/proc/25584/task/25588/stat : 25588 (cosoco) R 25581 25584 23655 0 -1 4202560 23122 0 0 0 5068 3 0 0 20 0 9 0 558734215 711286784 53815 33554432000 4194304 6211132 140737385725904 140125617257488 5397361 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25589] ppid=25581 vsize=694616 memory=215224 CPUtime=50.67 cores=0-7
/proc/25584/task/25589/stat : 25589 (cosoco) R 25581 25584 23655 0 -1 4202560 16471 0 0 0 5063 4 0 0 20 0 9 0 558734215 711286784 53815 33554432000 4194304 6211132 140737385725904 140125608864784 5392384 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25590] ppid=25581 vsize=694616 memory=280365264535792 CPUtime=50.13 cores=0-7
/proc/25584/task/25590/stat : 25590 (cosoco) R 25581 25584 23655 0 -1 4202560 16409 0 0 0 5009 4 0 0 20 0 9 0 558734215 711286784 53815 33554432000 4194304 6211132 140737385725904 140125600472192 5392297 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25591] ppid=25581 vsize=694616 memory=280365264754544 CPUtime=50.71 cores=0-7
/proc/25584/task/25591/stat : 25591 (cosoco) R 25581 25584 23655 0 -1 4202560 19152 0 0 0 5068 3 0 0 20 0 9 0 558734215 711286784 53815 33554432000 4194304 6211132 140737385725904 140125592079376 5392297 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25592] ppid=25581 vsize=694616 memory=6935054825532540783 CPUtime=50.72 cores=0-7
/proc/25584/task/25592/stat : 25592 (cosoco) R 25581 25584 23655 0 -1 4202560 16956 0 0 0 5068 4 0 0 20 0 9 0 558734215 711286784 53815 33554432000 4194304 6211132 140737385725904 140125583686984 5397407 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25593] ppid=25581 vsize=694616 memory=1724 CPUtime=50.66 cores=0-7
/proc/25584/task/25593/stat : 25593 (cosoco) R 25581 25584 23655 0 -1 4202560 19091 0 0 0 5063 3 0 0 20 0 9 0 558734215 711286784 53815 33554432000 4194304 6211132 140737385725904 140125575293968 5193760 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
Current children cumulated CPU time: 405.41 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 215260 KiB

[startup+102.301 s]
/proc/loadavg: 8.32 8.15 8.19 9/200 25600
/proc/meminfo: memFree=30088616/32770624 swapFree=67002424/67108860
[pid=25584] ppid=25581 vsize=694616 memory=215388 CPUtime=814.28 cores=0-7
/proc/25584/stat : 25584 (cosoco) S 25581 25584 23655 0 -1 1077944320 166230 0 0 0 81391 37 0 0 20 0 9 0 558734184 711286784 53847 33554432000 4194304 6211132 140737385725904 140737385724160 140125657186039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
/proc/25584/statm: 173654 53847 873 493 0 166959 0
[pid=25584/tid=25586] ppid=25581 vsize=694616 memory=215352 CPUtime=101.9 cores=0-7
/proc/25584/task/25586/stat : 25586 (cosoco) R 25581 25584 23655 0 -1 4202560 16388 0 0 0 10185 5 0 0 20 0 9 0 558734215 711286784 53847 33554432000 4194304 6211132 140737385725904 140125634043208 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25587] ppid=25581 vsize=694616 memory=215388 CPUtime=101.9 cores=0-7
/proc/25584/task/25587/stat : 25587 (cosoco) R 25581 25584 23655 0 -1 4202560 18250 0 0 0 10187 3 0 0 20 0 9 0 558734215 711286784 53847 33554432000 4194304 6211132 140737385725904 140125625650192 5392293 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25588] ppid=25581 vsize=694616 memory=215388 CPUtime=101.9 cores=0-7
/proc/25584/task/25588/stat : 25588 (cosoco) R 25581 25584 23655 0 -1 4202560 24048 0 0 0 10187 3 0 0 20 0 9 0 558734215 711286784 53847 33554432000 4194304 6211132 140737385725904 140125617257488 5392297 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25589] ppid=25581 vsize=694616 memory=215388 CPUtime=101.84 cores=0-7
/proc/25584/task/25589/stat : 25589 (cosoco) R 25581 25584 23655 0 -1 4202560 17272 0 0 0 10180 4 0 0 20 0 9 0 558734215 711286784 53847 33554432000 4194304 6211132 140737385725904 140125608864784 5392749 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25590] ppid=25581 vsize=694616 memory=3616 CPUtime=100.69 cores=0-7
/proc/25584/task/25590/stat : 25590 (cosoco) R 25581 25584 23655 0 -1 4202560 16874 0 0 0 10064 5 0 0 20 0 9 0 558734215 711286784 53847 33554432000 4194304 6211132 140737385725904 140125600472192 5009314 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25591] ppid=25581 vsize=694616 memory=10528 CPUtime=101.9 cores=0-7
/proc/25584/task/25591/stat : 25591 (cosoco) R 25581 25584 23655 0 -1 4202560 19691 0 0 0 10187 3 0 0 20 0 9 0 558734215 711286784 53847 33554432000 4194304 6211132 140737385725904 140125592079376 5392293 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25592] ppid=25581 vsize=694616 memory=215388 CPUtime=101.91 cores=0-7
/proc/25584/task/25592/stat : 25592 (cosoco) R 25581 25584 23655 0 -1 4202560 17565 0 0 0 10187 4 0 0 20 0 9 0 558734215 711286784 53847 33554432000 4194304 6211132 140737385725904 140125583686984 5392297 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25593] ppid=25581 vsize=694616 memory=3616 CPUtime=101.86 cores=0-7
/proc/25584/task/25593/stat : 25593 (cosoco) R 25581 25584 23655 0 -1 4202560 19733 0 0 0 10182 4 0 0 20 0 9 0 558734215 711286784 53847 33554432000 4194304 6211132 140737385725904 140125575293968 5392384 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
Current children cumulated CPU time: 814.28 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 215388 KiB

[startup+162.301 s]
/proc/loadavg: 8.50 8.25 8.23 9/199 25604
/proc/meminfo: memFree=30087504/32770624 swapFree=67002424/67108860
[pid=25584] ppid=25581 vsize=694616 memory=215464 CPUtime=1293.55 cores=0-7
/proc/25584/stat : 25584 (cosoco) S 25581 25584 23655 0 -1 1077944320 170825 0 0 0 129317 38 0 0 20 0 9 0 558734184 711286784 53866 33554432000 4194304 6211132 140737385725904 140737385724160 140125657186039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
/proc/25584/statm: 173654 53866 873 493 0 166959 0
[pid=25584/tid=25586] ppid=25581 vsize=694616 memory=4000 CPUtime=161.9 cores=0-7
/proc/25584/task/25586/stat : 25586 (cosoco) R 25581 25584 23655 0 -1 4202560 17104 0 0 0 16185 5 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125634043208 5392740 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25587] ppid=25581 vsize=694616 memory=215464 CPUtime=161.9 cores=0-7
/proc/25584/task/25587/stat : 25587 (cosoco) R 25581 25584 23655 0 -1 4202560 18791 0 0 0 16187 3 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125625650192 5409476 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25588] ppid=25581 vsize=694616 memory=215464 CPUtime=161.91 cores=0-7
/proc/25584/task/25588/stat : 25588 (cosoco) R 25581 25584 23655 0 -1 4202560 24380 0 0 0 16187 4 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125617257488 5193760 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25589] ppid=25581 vsize=694616 memory=215464 CPUtime=161.84 cores=0-7
/proc/25584/task/25589/stat : 25589 (cosoco) R 25581 25584 23655 0 -1 4202560 17596 0 0 0 16180 4 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125608864784 5392384 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25590] ppid=25581 vsize=694616 memory=215464 CPUtime=159.97 cores=0-7
/proc/25584/task/25590/stat : 25590 (cosoco) R 25581 25584 23655 0 -1 4202560 17502 0 0 0 15992 5 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125600472192 5193760 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25591] ppid=25581 vsize=694616 memory=215464 CPUtime=161.9 cores=0-7
/proc/25584/task/25591/stat : 25591 (cosoco) R 25581 25584 23655 0 -1 4202560 20400 0 0 0 16187 3 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125592079376 5409471 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25592] ppid=25581 vsize=694616 memory=215464 CPUtime=161.9 cores=0-7
/proc/25584/task/25592/stat : 25592 (cosoco) R 25581 25584 23655 0 -1 4202560 18099 0 0 0 16186 4 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125583686984 5397384 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25593] ppid=25581 vsize=694616 memory=215464 CPUtime=161.86 cores=0-7
/proc/25584/task/25593/stat : 25593 (cosoco) R 25581 25584 23655 0 -1 4202560 20544 0 0 0 16182 4 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125575293968 5392293 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
Current children cumulated CPU time: 1293.55 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 215464 KiB

[startup+222.301 s]
/proc/loadavg: 8.18 8.21 8.21 9/199 25607
/proc/meminfo: memFree=30088724/32770624 swapFree=67002424/67108860
[pid=25584] ppid=25581 vsize=694616 memory=215464 CPUtime=1772.85 cores=0-7
/proc/25584/stat : 25584 (cosoco) S 25581 25584 23655 0 -1 1077944320 175332 0 0 0 177246 39 0 0 20 0 9 0 558734184 711286784 53866 33554432000 4194304 6211132 140737385725904 140737385724160 140125657186039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
/proc/25584/statm: 173654 53866 873 493 0 166959 0
[pid=25584/tid=25586] ppid=25581 vsize=694616 memory=215464 CPUtime=221.91 cores=0-7
/proc/25584/task/25586/stat : 25586 (cosoco) R 25581 25584 23655 0 -1 4202560 17668 0 0 0 22186 5 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125634043208 5392297 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25587] ppid=25581 vsize=694616 memory=215464 CPUtime=221.9 cores=0-7
/proc/25584/task/25587/stat : 25587 (cosoco) R 25581 25584 23655 0 -1 4202560 19252 0 0 0 22187 3 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125625650192 5392378 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25588] ppid=25581 vsize=694616 memory=215464 CPUtime=221.91 cores=0-7
/proc/25584/task/25588/stat : 25588 (cosoco) R 25581 25584 23655 0 -1 4202560 24792 0 0 0 22187 4 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125617257488 5392375 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25589] ppid=25581 vsize=694616 memory=215464 CPUtime=221.84 cores=0-7
/proc/25584/task/25589/stat : 25589 (cosoco) R 25581 25584 23655 0 -1 4202560 18447 0 0 0 22180 4 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125608864784 5392384 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25590] ppid=25581 vsize=694616 memory=215464 CPUtime=219.35 cores=0-7
/proc/25584/task/25590/stat : 25590 (cosoco) R 25581 25584 23655 0 -1 4202560 17964 0 0 0 21930 5 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125600472192 5392736 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25591] ppid=25581 vsize=694616 memory=215464 CPUtime=221.9 cores=0-7
/proc/25584/task/25591/stat : 25591 (cosoco) R 25581 25584 23655 0 -1 4202560 20802 0 0 0 22187 3 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125592079376 5392293 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25592] ppid=25581 vsize=694616 memory=988 CPUtime=221.8 cores=0-7
/proc/25584/task/25592/stat : 25592 (cosoco) R 25581 25584 23655 0 -1 4202560 18765 0 0 0 22176 4 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125583686984 5392293 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25593] ppid=25581 vsize=694616 memory=2012 CPUtime=221.86 cores=0-7
/proc/25584/task/25593/stat : 25593 (cosoco) R 25581 25584 23655 0 -1 4202560 21233 0 0 0 22182 4 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125575293968 5392740 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
Current children cumulated CPU time: 1772.85 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 215464 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 8.11 8.19 8.21 9/199 25610
/proc/meminfo: memFree=30088192/32770624 swapFree=67002424/67108860
[pid=25584] ppid=25581 vsize=694616 memory=215464 CPUtime=2010.16 cores=0-7
/proc/25584/stat : 25584 (cosoco) S 25581 25584 23655 0 -1 1077944320 179810 0 0 0 200976 40 0 0 20 0 9 0 558734184 711286784 53866 33554432000 4194304 6211132 140737385725904 140737385724160 140125657186039 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
/proc/25584/statm: 173654 53866 873 493 0 166959 0
[pid=25584/tid=25586] ppid=25581 vsize=694616 memory=1398722017469774279 CPUtime=251.61 cores=0-7
/proc/25584/task/25586/stat : 25586 (cosoco) R 25581 25584 23655 0 -1 4202560 18332 0 0 0 25156 5 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125634043208 5193760 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25587] ppid=25581 vsize=694616 memory=4872558044660077418 CPUtime=251.61 cores=0-7
/proc/25584/task/25587/stat : 25587 (cosoco) R 25581 25584 23655 0 -1 4202560 19759 0 0 0 25158 3 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125625650192 5392352 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25588] ppid=25581 vsize=694616 memory=7548 CPUtime=251.62 cores=0-7
/proc/25584/task/25588/stat : 25588 (cosoco) R 25581 25584 23655 0 -1 4202560 25417 0 0 0 25158 4 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125617257488 5392297 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25589] ppid=25581 vsize=694616 memory=2832 CPUtime=251.54 cores=0-7
/proc/25584/task/25589/stat : 25589 (cosoco) R 25581 25584 23655 0 -1 4202560 18813 0 0 0 25150 4 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125608864784 5008964 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25590] ppid=25581 vsize=694616 memory=1224 CPUtime=249.06 cores=0-7
/proc/25584/task/25590/stat : 25590 (cosoco) R 25581 25584 23655 0 -1 4202560 18755 0 0 0 24901 5 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125600472192 5392375 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25591] ppid=25581 vsize=694616 memory=6268 CPUtime=251.62 cores=0-7
/proc/25584/task/25591/stat : 25591 (cosoco) R 25581 25584 23655 0 -1 4202560 21424 0 0 0 25158 4 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125592079376 5392293 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25592] ppid=25581 vsize=694616 memory=772 CPUtime=251.15 cores=0-7
/proc/25584/task/25592/stat : 25592 (cosoco) R 25581 25584 23655 0 -1 4202560 19381 0 0 0 25111 4 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125583686984 5392293 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
[pid=25584/tid=25593] ppid=25581 vsize=694616 memory=1556 CPUtime=251.57 cores=0-7
/proc/25584/task/25593/stat : 25593 (cosoco) R 25581 25584 23655 0 -1 4202560 21520 0 0 0 25153 4 0 0 20 0 9 0 558734215 711286784 53866 33554432000 4194304 6211132 140737385725904 140125575293968 5390097 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 15478784 140737385731094 140737385731186 140737385731186 140737385734094 0
Current children cumulated CPU time: 2010.16 s
Current children cumulated vsize: 694616 KiB
Current children cumulated memory: 215464 KiB

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

[startup+252.025 s]
# the end of solver process 25584 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2009.85 s, system=0.406851 s

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

Child status: 1
Real time (s): 252.025
CPU time (s): 2010.25
CPU user time (s): 2009.85
CPU system time (s): 0.406851
CPU usage (%): 797.641
Max. virtual memory (cumulated for all children) (KiB): 719212
Max. memory (cumulated for all children) (KiB): 215464

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2009.85
system time used= 0.406851
maximum resident set size= 226588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179860
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= 20132
involuntary context switches= 16730


# summary of solver processes directly reported to runsolver:
#   pid: 25584
#   total CPU time (s): 2010.25
#   total CPU user time (s): 2009.85
#   total CPU system time (s): 0.406851

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.1142 second user time and 1.94507 second system time

The end

Begin job on node146 at 2019-09-30 09:22:41
IDJOB=4409861
IDBENCH=120594
IDSOLVER=2878
FILE ID=node146/4409861-1569828203
RUNJOBID= node146-1569818084-23682
PBS_JOBID= 21705925
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 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-4409861-1569828203/watcher-4409861-1569828203 -o /tmp/evaluation-result-4409861-1569828203/solver-4409861-1569828203 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node146-1569818084-23682 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4409861-1569828203.xml

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

MD5SUM BENCH= 4034cc1c4ef788f4220b0fc076e8c883
RANDOM SEED=237256650

node146.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	: 5332.90
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	: 5332.90
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	: 5332.90
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	: 5332.90
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:        30297580 kB
MemAvailable:   31869460 kB
Buffers:          135576 kB
Cached:          1773080 kB
SwapCached:         3676 kB
Active:          1065820 kB
Inactive:         849872 kB
Active(anon):       3424 kB
Inactive(anon):    84432 kB
Active(file):    1062396 kB
Inactive(file):   765440 kB
Unevictable:      109348 kB
Mlocked:          109348 kB
SwapTotal:      67108860 kB
SwapFree:       67002424 kB
Dirty:              2724 kB
Writeback:             0 kB
AnonPages:        114300 kB
Mapped:            26960 kB
Shmem:             72200 kB
Slab:             148464 kB
SReclaimable:     119756 kB
SUnreclaim:        28708 kB
KernelStack:        3408 kB
PageTables:         5840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     541160 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

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

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	26.8114
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 4409861

Some explanations

Solver answer on this benchmark

General information on the benchmark

Quality of the solution as a function of time

Solver Data

Verifier Data

Watcher Data

Launcher Data