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)	13	1987.84	252.041

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4410026-1569828206/watcher-4410026-1569828206 -o /tmp/evaluation-result-4410026-1569828206/solver-4410026-1569828206 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1569814250-30743 --watchdog 312 cosoco -model -nbcores=8 HOME/instance-4410026-1569828206.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=32509, runsolver pid=32506
Current StackSize limit: 8192 KiB


[startup+0.100154 s]*
/proc/loadavg: 8.19 8.14 8.22 2/192 32510
/proc/meminfo: memFree=31686116/32770624 swapFree=66957944/67108860
[pid=32509] ppid=32506 vsize=38236 memory=14372 CPUtime=0.1 cores=0-7
/proc/32509/stat : 32509 (cosoco) R 32506 32509 30716 0 -1 4202496 3804 0 0 0 10 0 0 0 20 0 1 0 559078010 39153664 3593 33554432000 4194304 6211132 140735576506272 140735576502808 139701349891953 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
/proc/32509/statm: 9559 3593 806 493 0 2864 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38236 KiB
Current children cumulated memory: 14372 KiB

[startup+0.209259 s]*
/proc/loadavg: 8.19 8.14 8.22 2/192 32510
/proc/meminfo: memFree=31685372/32770624 swapFree=66957944/67108860
[pid=32509] ppid=32506 vsize=38884 memory=14820 CPUtime=0.2 cores=0-7
/proc/32509/stat : 32509 (cosoco) R 32506 32509 30716 0 -1 4202496 4030 0 0 0 20 0 0 0 20 0 1 0 559078010 39817216 3705 33554432000 4194304 6211132 140735576506272 140735576502808 5740167 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
/proc/32509/statm: 9721 3705 806 493 0 3026 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 38884 KiB
Current children cumulated memory: 14820 KiB

[startup+0.308664 s]*
/proc/loadavg: 8.19 8.14 8.22 2/192 32510
/proc/meminfo: memFree=31676444/32770624 swapFree=66957944/67108860
[pid=32509] ppid=32506 vsize=49180 memory=25112 CPUtime=0.3 cores=0-7
/proc/32509/stat : 32509 (cosoco) R 32506 32509 30716 0 -1 4202496 6612 0 0 0 30 0 0 0 20 0 1 0 559078010 50360320 6278 33554432000 4194304 6211132 140735576506272 140735576502808 139701349882853 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
/proc/32509/statm: 12295 6278 821 493 0 5600 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 49180 KiB
Current children cumulated memory: 25112 KiB

[startup+0.700358 s]
/proc/loadavg: 8.19 8.14 8.22 2/192 32510
/proc/meminfo: memFree=31652264/32770624 swapFree=66957944/67108860
[pid=32509] ppid=32506 vsize=95264 memory=71312 CPUtime=0.69 cores=0-7
/proc/32509/stat : 32509 (cosoco) R 32506 32509 30716 0 -1 4202496 18146 0 0 0 67 2 0 0 20 0 1 0 559078010 97550336 17828 33554432000 4194304 6211132 140735576506272 140735576500712 139701349882853 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
/proc/32509/statm: 23816 17828 821 493 0 17121 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 95264 KiB
Current children cumulated memory: 71312 KiB

[startup+1.50036 s]
/proc/loadavg: 8.19 8.14 8.22 2/192 32510
/proc/meminfo: memFree=31593376/32770624 swapFree=66957944/67108860
[pid=32509] ppid=32506 vsize=192240 memory=168200 CPUtime=1.48 cores=0-7
/proc/32509/stat : 32509 (cosoco) R 32506 32509 30716 0 -1 4202496 42379 0 0 0 142 6 0 0 20 0 1 0 559078010 196853760 42050 33554432000 4194304 6211132 140735576506272 140735576500712 139701349882853 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
/proc/32509/statm: 48060 42050 821 493 0 41365 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 192240 KiB
Current children cumulated memory: 168200 KiB

[startup+3.10926 s]
/proc/loadavg: 7.61 8.02 8.18 2/192 32510
/proc/meminfo: memFree=31350480/32770624 swapFree=66957944/67108860
[pid=32509] ppid=32506 vsize=387084 memory=362984 CPUtime=3.09 cores=0-7
/proc/32509/stat : 32509 (cosoco) R 32506 32509 30716 0 -1 4202496 93117 0 0 0 296 13 0 0 20 0 1 0 559078010 396374016 90746 33554432000 4194304 6211132 140735576506272 140735576500712 139701349882853 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
/proc/32509/statm: 96771 90746 821 493 0 90076 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 387084 KiB
Current children cumulated memory: 362984 KiB

[startup+6.30102 s]
/proc/loadavg: 7.61 8.02 8.18 9/200 32518
/proc/meminfo: memFree=31270428/32770624 swapFree=66957944/67108860
[pid=32509] ppid=32506 vsize=998496 memory=430484 CPUtime=27.21 cores=0-7
/proc/32509/stat : 32509 (cosoco) S 32506 32509 30716 0 -1 1077944320 339553 0 0 0 2658 63 0 0 20 0 9 0 559078010 1022459904 107621 33554432000 4194304 6211132 140735576506272 140735576504528 139701365923575 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
/proc/32509/statm: 249624 107621 860 493 0 242929 0
[pid=32509/tid=32511] ppid=32506 vsize=998496 memory=1444 CPUtime=3 cores=0-7
/proc/32509/task/32511/stat : 32511 (cosoco) R 32506 32509 30716 0 -1 4202560 24349 0 0 0 290 10 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701342780744 5165640 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32512] ppid=32506 vsize=998496 memory=430484 CPUtime=2.99 cores=0-7
/proc/32509/task/32512/stat : 32512 (cosoco) R 32506 32509 30716 0 -1 4202560 28730 0 0 0 295 4 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701334388040 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32513] ppid=32506 vsize=998496 memory=281420484648512 CPUtime=3 cores=0-7
/proc/32509/task/32513/stat : 32513 (cosoco) R 32506 32509 30716 0 -1 4202560 17463 0 0 0 293 7 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701325995336 5008827 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32514] ppid=32506 vsize=998496 memory=140714676176511 CPUtime=2.94 cores=0-7
/proc/32509/task/32514/stat : 32514 (cosoco) R 32506 32509 30716 0 -1 4202560 31745 0 0 0 291 3 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701317602632 5397407 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32515] ppid=32506 vsize=998496 memory=281420484361472 CPUtime=2.99 cores=0-7
/proc/32509/task/32515/stat : 32515 (cosoco) R 32506 32509 30716 0 -1 4202560 25035 0 0 0 296 3 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701309209616 5165636 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32516] ppid=32506 vsize=998496 memory=4091627439873 CPUtime=3 cores=0-7
/proc/32509/task/32516/stat : 32516 (cosoco) R 32506 32509 30716 0 -1 4202560 22394 0 0 0 298 2 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701300816912 5165656 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32517] ppid=32506 vsize=998496 memory=180344 CPUtime=2.97 cores=0-7
/proc/32509/task/32517/stat : 32517 (cosoco) R 32506 32509 30716 0 -1 4202560 20850 0 0 0 291 6 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701292424520 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32518] ppid=32506 vsize=998496 memory=288230574492221466 CPUtime=2.98 cores=0-7
/proc/32509/task/32518/stat : 32518 (cosoco) R 32506 32509 30716 0 -1 4202560 18941 0 0 0 291 7 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701284031816 5392293 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
Current children cumulated CPU time: 27.21 s
Current children cumulated vsize: 998496 KiB
Current children cumulated memory: 430484 KiB

[startup+12.701 s]
/proc/loadavg: 7.24 7.94 8.16 9/200 32518
/proc/meminfo: memFree=31270424/32770624 swapFree=66957944/67108860
[pid=32509] ppid=32506 vsize=998496 memory=430484 CPUtime=78.31 cores=0-7
/proc/32509/stat : 32509 (cosoco) S 32506 32509 30716 0 -1 1077944320 596369 0 0 0 7729 102 0 0 20 0 9 0 559078010 1022459904 107621 33554432000 4194304 6211132 140735576506272 140735576504528 139701365923575 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
/proc/32509/statm: 249624 107621 860 493 0 242929 0
[pid=32509/tid=32511] ppid=32506 vsize=998496 memory=430484 CPUtime=9.4 cores=0-7
/proc/32509/task/32511/stat : 32511 (cosoco) R 32506 32509 30716 0 -1 4202560 62824 0 0 0 923 17 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701342780744 5193760 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32512] ppid=32506 vsize=998496 memory=430484 CPUtime=9.38 cores=0-7
/proc/32509/task/32512/stat : 32512 (cosoco) R 32506 32509 30716 0 -1 4202560 61038 0 0 0 931 7 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701334388040 5397407 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32513] ppid=32506 vsize=998496 memory=281417665986285 CPUtime=9.39 cores=0-7
/proc/32509/task/32513/stat : 32513 (cosoco) R 32506 32509 30716 0 -1 4202560 43227 0 0 0 927 12 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701325995336 5009098 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32514] ppid=32506 vsize=998496 memory=1072 CPUtime=9.28 cores=0-7
/proc/32509/task/32514/stat : 32514 (cosoco) R 32506 32509 30716 0 -1 4202560 73833 0 0 0 920 8 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701317602632 5008918 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32515] ppid=32506 vsize=998496 memory=6248 CPUtime=9.39 cores=0-7
/proc/32509/task/32515/stat : 32515 (cosoco) R 32506 32509 30716 0 -1 4202560 55115 0 0 0 933 6 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701309209616 5008827 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32516] ppid=32506 vsize=998496 memory=3833323156428319328 CPUtime=9.37 cores=0-7
/proc/32509/task/32516/stat : 32516 (cosoco) R 32506 32509 30716 0 -1 4202560 54376 0 0 0 931 6 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701300816912 5165640 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32517] ppid=32506 vsize=998496 memory=281420484947392 CPUtime=9.37 cores=0-7
/proc/32509/task/32517/stat : 32517 (cosoco) R 32506 32509 30716 0 -1 4202560 49012 0 0 0 925 12 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701292424520 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32518] ppid=32506 vsize=998496 memory=370408 CPUtime=9.38 cores=0-7
/proc/32509/task/32518/stat : 32518 (cosoco) R 32506 32509 30716 0 -1 4202560 46898 0 0 0 925 13 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701284031816 5397407 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
Current children cumulated CPU time: 78.31 s
Current children cumulated vsize: 998496 KiB
Current children cumulated memory: 430484 KiB

[startup+25.501 s]
/proc/loadavg: 7.48 7.96 8.16 9/200 32518
/proc/meminfo: memFree=31268928/32770624 swapFree=66957944/67108860
[pid=32509] ppid=32506 vsize=998496 memory=430484 CPUtime=180.47 cores=0-7
/proc/32509/stat : 32509 (cosoco) S 32506 32509 30716 0 -1 1077944320 852895 0 0 0 17908 139 0 0 20 0 9 0 559078010 1022459904 107621 33554432000 4194304 6211132 140735576506272 140735576504528 139701365923575 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
/proc/32509/statm: 249624 107621 860 493 0 242929 0
[pid=32509/tid=32511] ppid=32506 vsize=998496 memory=281420484578800 CPUtime=22.19 cores=0-7
/proc/32509/task/32511/stat : 32511 (cosoco) R 32506 32509 30716 0 -1 4202560 101304 0 0 0 2196 23 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701342780744 5008831 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32512] ppid=32506 vsize=998496 memory=6935054825532540783 CPUtime=22.18 cores=0-7
/proc/32509/task/32512/stat : 32512 (cosoco) R 32506 32509 30716 0 -1 4202560 90156 0 0 0 2205 13 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701334388040 5165649 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32513] ppid=32506 vsize=998496 memory=6656426216303648864 CPUtime=22.19 cores=0-7
/proc/32509/task/32513/stat : 32513 (cosoco) R 32506 32509 30716 0 -1 4202560 69039 0 0 0 2202 17 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701325995336 5392297 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32514] ppid=32506 vsize=998496 memory=430484 CPUtime=22.06 cores=0-7
/proc/32509/task/32514/stat : 32514 (cosoco) R 32506 32509 30716 0 -1 4202560 116393 0 0 0 2194 12 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701317602632 5392280 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32515] ppid=32506 vsize=998496 memory=430484 CPUtime=22.19 cores=0-7
/proc/32509/task/32515/stat : 32515 (cosoco) R 32506 32509 30716 0 -1 4202560 83006 0 0 0 2209 10 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701309209616 5397407 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32516] ppid=32506 vsize=998496 memory=430484 CPUtime=21.97 cores=0-7
/proc/32509/task/32516/stat : 32516 (cosoco) R 32506 32509 30716 0 -1 4202560 85892 0 0 0 2187 10 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701300816912 5392375 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32517] ppid=32506 vsize=998496 memory=516 CPUtime=22.17 cores=0-7
/proc/32509/task/32517/stat : 32517 (cosoco) R 32506 32509 30716 0 -1 4202560 81164 0 0 0 2201 16 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701292424520 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32518] ppid=32506 vsize=998496 memory=1556 CPUtime=22.17 cores=0-7
/proc/32509/task/32518/stat : 32518 (cosoco) R 32506 32509 30716 0 -1 4202560 75895 0 0 0 2199 18 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701284031816 5165656 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
Current children cumulated CPU time: 180.47 s
Current children cumulated vsize: 998496 KiB
Current children cumulated memory: 430484 KiB

[startup+51.111 s]
/proc/loadavg: 7.66 7.96 8.15 9/200 32521
/proc/meminfo: memFree=31268400/32770624 swapFree=66957944/67108860
[pid=32509] ppid=32506 vsize=998496 memory=430484 CPUtime=384.82 cores=0-7
/proc/32509/stat : 32509 (cosoco) S 32506 32509 30716 0 -1 1077944320 1014327 0 0 0 38321 161 0 0 20 0 9 0 559078010 1022459904 107621 33554432000 4194304 6211132 140735576506272 140735576504528 139701365923575 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
/proc/32509/statm: 249624 107621 860 493 0 242929 0
[pid=32509/tid=32511] ppid=32506 vsize=998496 memory=430484 CPUtime=47.77 cores=0-7
/proc/32509/task/32511/stat : 32511 (cosoco) R 32506 32509 30716 0 -1 4202560 124920 0 0 0 4750 27 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701342780744 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32512] ppid=32506 vsize=998496 memory=6935054825532540783 CPUtime=47.78 cores=0-7
/proc/32509/task/32512/stat : 32512 (cosoco) R 32506 32509 30716 0 -1 4202560 108588 0 0 0 4762 16 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701334388040 5165708 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32513] ppid=32506 vsize=998496 memory=3833323153609745249 CPUtime=47.77 cores=0-7
/proc/32509/task/32513/stat : 32513 (cosoco) R 32506 32509 30716 0 -1 4202560 87819 0 0 0 4758 19 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701325995336 5390448 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32514] ppid=32506 vsize=998496 memory=0 CPUtime=47.66 cores=0-7
/proc/32509/task/32514/stat : 32514 (cosoco) R 32506 32509 30716 0 -1 4202560 143094 0 0 0 4751 15 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701317602632 5008827 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32515] ppid=32506 vsize=998496 memory=164 CPUtime=47.78 cores=0-7
/proc/32509/task/32515/stat : 32515 (cosoco) R 32506 32509 30716 0 -1 4202560 99687 0 0 0 4766 12 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701309209616 5008831 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32516] ppid=32506 vsize=998496 memory=0 CPUtime=47.18 cores=0-7
/proc/32509/task/32516/stat : 32516 (cosoco) R 32506 32509 30716 0 -1 4202560 105587 0 0 0 4705 13 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701300816912 5165632 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32517] ppid=32506 vsize=998496 memory=7235666559889992034 CPUtime=47.76 cores=0-7
/proc/32509/task/32517/stat : 32517 (cosoco) R 32506 32509 30716 0 -1 4202560 101046 0 0 0 4758 18 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701292424520 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32518] ppid=32506 vsize=998496 memory=0 CPUtime=47.76 cores=0-7
/proc/32509/task/32518/stat : 32518 (cosoco) R 32506 32509 30716 0 -1 4202560 93540 0 0 0 4756 20 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701284031816 5397407 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
Current children cumulated CPU time: 384.82 s
Current children cumulated vsize: 998496 KiB
Current children cumulated memory: 430484 KiB

[startup+102.301 s]
/proc/loadavg: 7.93 7.98 8.15 9/200 32524
/proc/meminfo: memFree=31267640/32770624 swapFree=66957944/67108860
[pid=32509] ppid=32506 vsize=998496 memory=430484 CPUtime=793.23 cores=0-7
/proc/32509/stat : 32509 (cosoco) S 32506 32509 30716 0 -1 1077944320 1148781 0 0 0 79142 181 0 0 20 0 9 0 559078010 1022459904 107621 33554432000 4194304 6211132 140735576506272 140735576504528 139701365923575 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
/proc/32509/statm: 249624 107621 860 493 0 242929 0
[pid=32509/tid=32511] ppid=32506 vsize=998496 memory=84 CPUtime=98.91 cores=0-7
/proc/32509/task/32511/stat : 32511 (cosoco) R 32506 32509 30716 0 -1 4202560 146592 0 0 0 9860 31 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701342780744 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32512] ppid=32506 vsize=998496 memory=430484 CPUtime=98.56 cores=0-7
/proc/32509/task/32512/stat : 32512 (cosoco) R 32506 32509 30716 0 -1 4202560 123039 0 0 0 9838 18 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701334388040 5390500 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32513] ppid=32506 vsize=998496 memory=430484 CPUtime=98.92 cores=0-7
/proc/32509/task/32513/stat : 32513 (cosoco) R 32506 32509 30716 0 -1 4202560 101559 0 0 0 9871 21 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701325995336 5008827 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32514] ppid=32506 vsize=998496 memory=430484 CPUtime=98.82 cores=0-7
/proc/32509/task/32514/stat : 32514 (cosoco) R 32506 32509 30716 0 -1 4202560 165366 0 0 0 9864 18 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701317602632 5165712 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32515] ppid=32506 vsize=998496 memory=9872 CPUtime=98.94 cores=0-7
/proc/32509/task/32515/stat : 32515 (cosoco) R 32506 32509 30716 0 -1 4202560 114071 0 0 0 9879 15 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701309209616 5186344 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32516] ppid=32506 vsize=998496 memory=209 CPUtime=97.95 cores=0-7
/proc/32509/task/32516/stat : 32516 (cosoco) R 32506 32509 30716 0 -1 4202560 121702 0 0 0 9781 14 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701300816912 5397258 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32517] ppid=32506 vsize=998496 memory=430484 CPUtime=98.89 cores=0-7
/proc/32509/task/32517/stat : 32517 (cosoco) R 32506 32509 30716 0 -1 4202560 116772 0 0 0 9868 21 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701292424520 5392375 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32518] ppid=32506 vsize=998496 memory=430484 CPUtime=98.9 cores=0-7
/proc/32509/task/32518/stat : 32518 (cosoco) R 32506 32509 30716 0 -1 4202560 109634 0 0 0 9868 22 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701284031816 5397407 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
Current children cumulated CPU time: 793.23 s
Current children cumulated vsize: 998496 KiB
Current children cumulated memory: 430484 KiB

[startup+162.301 s]
/proc/loadavg: 8.05 8.01 8.15 9/200 32527
/proc/meminfo: memFree=31266728/32770624 swapFree=66957944/67108860
[pid=32509] ppid=32506 vsize=998496 memory=430484 CPUtime=1271.83 cores=0-7
/proc/32509/stat : 32509 (cosoco) S 32506 32509 30716 0 -1 1077944320 1242301 0 0 0 126985 198 0 0 20 0 9 0 559078010 1022459904 107621 33554432000 4194304 6211132 140735576506272 140735576504528 139701365923575 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
/proc/32509/statm: 249624 107621 860 493 0 242929 0
[pid=32509/tid=32511] ppid=32506 vsize=998496 memory=430484 CPUtime=158.51 cores=0-7
/proc/32509/task/32511/stat : 32511 (cosoco) R 32506 32509 30716 0 -1 4202560 160166 0 0 0 15815 36 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701342780744 5392297 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32512] ppid=32506 vsize=998496 memory=430484 CPUtime=157.96 cores=0-7
/proc/32509/task/32512/stat : 32512 (cosoco) R 32506 32509 30716 0 -1 4202560 135454 0 0 0 15777 19 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701334388040 5392384 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32513] ppid=32506 vsize=998496 memory=430484 CPUtime=158.85 cores=0-7
/proc/32509/task/32513/stat : 32513 (cosoco) R 32506 32509 30716 0 -1 4202560 110066 0 0 0 15862 23 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701325995336 5186344 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32514] ppid=32506 vsize=998496 memory=430484 CPUtime=158.72 cores=0-7
/proc/32509/task/32514/stat : 32514 (cosoco) R 32506 32509 30716 0 -1 4202560 179530 0 0 0 15851 21 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701317602632 5397267 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32515] ppid=32506 vsize=998496 memory=430484 CPUtime=158.86 cores=0-7
/proc/32509/task/32515/stat : 32515 (cosoco) R 32506 32509 30716 0 -1 4202560 124666 0 0 0 15870 16 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701309209616 5397407 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32516] ppid=32506 vsize=998496 memory=430484 CPUtime=157.89 cores=0-7
/proc/32509/task/32516/stat : 32516 (cosoco) R 32506 32509 30716 0 -1 4202560 134131 0 0 0 15773 16 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701300816912 5397407 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32517] ppid=32506 vsize=998496 memory=430484 CPUtime=158.85 cores=0-7
/proc/32509/task/32517/stat : 32517 (cosoco) R 32506 32509 30716 0 -1 4202560 129332 0 0 0 15862 23 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701292424520 5165712 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32518] ppid=32506 vsize=998496 memory=3624 CPUtime=158.84 cores=0-7
/proc/32509/task/32518/stat : 32518 (cosoco) R 32506 32509 30716 0 -1 4202560 118910 0 0 0 15860 24 0 0 20 0 9 0 559078337 1022459904 107621 33554432000 4194304 6211132 140735576506272 139701284031816 5008827 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
Current children cumulated CPU time: 1271.83 s
Current children cumulated vsize: 998496 KiB
Current children cumulated memory: 430484 KiB

[startup+222.301 s]
/proc/loadavg: 8.02 8.01 8.14 10/198 32533
/proc/meminfo: memFree=31266676/32770624 swapFree=66957944/67108860
[pid=32509] ppid=32506 vsize=998496 memory=430668 CPUtime=1750.55 cores=0-7
/proc/32509/stat : 32509 (cosoco) S 32506 32509 30716 0 -1 1077944320 1266386 0 0 0 174852 203 0 0 20 0 9 0 559078010 1022459904 107667 33554432000 4194304 6211132 140735576506272 140735576504528 139701365923575 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
/proc/32509/statm: 249624 107667 860 493 0 242929 0
[pid=32509/tid=32511] ppid=32506 vsize=998496 memory=430484 CPUtime=217.86 cores=0-7
/proc/32509/task/32511/stat : 32511 (cosoco) R 32506 32509 30716 0 -1 4202560 163723 0 0 0 21748 38 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701342780744 5008827 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32512] ppid=32506 vsize=998496 memory=8298058436486656295 CPUtime=217.77 cores=0-7
/proc/32509/task/32512/stat : 32512 (cosoco) R 32506 32509 30716 0 -1 4202560 138542 0 0 0 21757 20 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701334388040 5165636 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32513] ppid=32506 vsize=998496 memory=430484 CPUtime=218.8 cores=0-7
/proc/32509/task/32513/stat : 32513 (cosoco) R 32506 32509 30716 0 -1 4202560 112948 0 0 0 21857 23 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701325995336 5008827 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32514] ppid=32506 vsize=998496 memory=430668 CPUtime=218.52 cores=0-7
/proc/32509/task/32514/stat : 32514 (cosoco) R 32506 32509 30716 0 -1 4202560 183523 0 0 0 21831 21 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701317602632 5008827 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32515] ppid=32506 vsize=998496 memory=430484 CPUtime=218.81 cores=0-7
/proc/32509/task/32515/stat : 32515 (cosoco) R 32506 32509 30716 0 -1 4202560 127322 0 0 0 21865 16 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701309209616 5008827 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32516] ppid=32506 vsize=998496 memory=430484 CPUtime=217.83 cores=0-7
/proc/32509/task/32516/stat : 32516 (cosoco) R 32506 32509 30716 0 -1 4202560 136955 0 0 0 21767 16 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701300816912 5397474 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32517] ppid=32506 vsize=998496 memory=6935054825532540783 CPUtime=218.8 cores=0-7
/proc/32509/task/32517/stat : 32517 (cosoco) R 32506 32509 30716 0 -1 4202560 131894 0 0 0 21857 23 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701292424520 5008827 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32518] ppid=32506 vsize=998496 memory=984 CPUtime=218.79 cores=0-7
/proc/32509/task/32518/stat : 32518 (cosoco) R 32506 32509 30716 0 -1 4202560 121433 0 0 0 21855 24 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701284031816 5397407 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
Current children cumulated CPU time: 1750.55 s
Current children cumulated vsize: 998496 KiB
Current children cumulated memory: 430668 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.011 s]*
/proc/loadavg: 8.16 8.05 8.14 9/198 32533
/proc/meminfo: memFree=31267700/32770624 swapFree=66957944/67108860
[pid=32509] ppid=32506 vsize=998496 memory=430668 CPUtime=1987.73 cores=0-7
/proc/32509/stat : 32509 (cosoco) S 32506 32509 30716 0 -1 1077944320 1269729 0 0 0 198569 204 0 0 20 0 9 0 559078010 1022459904 107667 33554432000 4194304 6211132 140735576506272 140735576504528 139701365923575 0 0 4096 8405026 18446744073709551615 0 0 17 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
/proc/32509/statm: 249624 107667 860 493 0 242929 0
[pid=32509/tid=32511] ppid=32506 vsize=998496 memory=6935054825532540783 CPUtime=247.57 cores=0-7
/proc/32509/task/32511/stat : 32511 (cosoco) R 32506 32509 30716 0 -1 4202560 164144 0 0 0 24718 39 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701342780744 5397407 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32512] ppid=32506 vsize=998496 memory=430668 CPUtime=247.18 cores=0-7
/proc/32509/task/32512/stat : 32512 (cosoco) R 32506 32509 30716 0 -1 4202560 139136 0 0 0 24698 20 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701334388040 5165649 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32513] ppid=32506 vsize=998496 memory=4104 CPUtime=248.5 cores=0-7
/proc/32509/task/32513/stat : 32513 (cosoco) R 32506 32509 30716 0 -1 4202560 113231 0 0 0 24827 23 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701325995336 5165632 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32514] ppid=32506 vsize=998496 memory=1408 CPUtime=248.24 cores=0-7
/proc/32509/task/32514/stat : 32514 (cosoco) R 32506 32509 30716 0 -1 4202560 184102 0 0 0 24802 22 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701317602632 5008827 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32515] ppid=32506 vsize=998496 memory=2788 CPUtime=248.51 cores=0-7
/proc/32509/task/32515/stat : 32515 (cosoco) R 32506 32509 30716 0 -1 4202560 127712 0 0 0 24834 17 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701309209616 5165632 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32516] ppid=32506 vsize=998496 memory=430668 CPUtime=247.39 cores=0-7
/proc/32509/task/32516/stat : 32516 (cosoco) R 32506 32509 30716 0 -1 4202560 137240 0 0 0 24723 16 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701300816912 5165636 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32517] ppid=32506 vsize=998496 memory=1072 CPUtime=248.51 cores=0-7
/proc/32509/task/32517/stat : 32517 (cosoco) R 32506 32509 30716 0 -1 4202560 132264 0 0 0 24828 23 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701292424520 5008827 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
[pid=32509/tid=32518] ppid=32506 vsize=998496 memory=6248 CPUtime=248.49 cores=0-7
/proc/32509/task/32518/stat : 32518 (cosoco) R 32506 32509 30716 0 -1 4202560 121854 0 0 0 24825 24 0 0 20 0 9 0 559078337 1022459904 107667 33554432000 4194304 6211132 140735576506272 139701284031816 5165640 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 21651456 140735576511510 140735576511602 140735576511602 140735576514510 0
Current children cumulated CPU time: 1987.73 s
Current children cumulated vsize: 998496 KiB
Current children cumulated memory: 430668 KiB

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

[startup+252.041 s]
# the end of solver process 32509 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1985.78 s, system=2.05886 s

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

Child status: 1
Real time (s): 252.041
CPU time (s): 1987.84
CPU user time (s): 1985.78
CPU system time (s): 2.05886
CPU usage (%): 788.697
Max. virtual memory (cumulated for all children) (KiB): 1027192
Max. memory (cumulated for all children) (KiB): 454396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1985.78
system time used= 2.05886
maximum resident set size= 455452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1269780
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= 5070
involuntary context switches= 15014


# summary of solver processes directly reported to runsolver:
#   pid: 32509
#   total CPU time (s): 1987.84
#   total CPU user time (s): 1985.78
#   total CPU system time (s): 2.05886

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.29689 second user time and 2.43077 second system time

The end

Begin job on node105 at 2019-09-30 08:21:41
IDJOB=4410026
IDBENCH=120595
IDSOLVER=2878
FILE ID=node105/4410026-1569828206
RUNJOBID= node105-1569814250-30743
PBS_JOBID= 21705921
Free space on /tmp= 62032 MiB

SOLVER NAME= cosoco 2.0 parallel
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-school1.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4410026-1569828206/watcher-4410026-1569828206 -o /tmp/evaluation-result-4410026-1569828206/solver-4410026-1569828206 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node105-1569814250-30743 --watchdog 312  cosoco -model -nbcores=8 HOME/instance-4410026-1569828206.xml

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

MD5SUM BENCH= 9dec5151d217f705456bb861c341cf0d
RANDOM SEED=943016093

node105.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.00
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.00
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.00
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.00
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:        31696604 kB
MemAvailable:   31835216 kB
Buffers:          104340 kB
Cached:           375384 kB
SwapCached:        47996 kB
Active:           326520 kB
Inactive:         203032 kB
Active(anon):       4404 kB
Inactive(anon):   124528 kB
Active(file):     322116 kB
Inactive(file):    78504 kB
Unevictable:      110664 kB
Mlocked:          110664 kB
SwapTotal:      67108860 kB
SwapFree:       66957944 kB
Dirty:              3208 kB
Writeback:             0 kB
AnonPages:        164684 kB
Mapped:            27016 kB
Shmem:             70748 kB
Slab:             136192 kB
SReclaimable:     107652 kB
SUnreclaim:        28540 kB
KernelStack:        3728 kB
PageTables:         5556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     530912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 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= 62028 MiB
End job on node105 at 2019-09-30 08:25:54

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

Trace number 4410026

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data