0.00/0.00 c
0.00/0.00 c This is cosoco 2.00 --
0.00/0.00 c
0.00/0.00 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396805-1568572811.xml
0.00/0.00 c intension le(add(w[0],x[0]),200) -> extension (support ? 0) - 119tuples
0.00/0.00 c intension le(add(w[1],x[1]),200) -> extension (support ? 0) - 69tuples
0.00/0.00 c intension le(add(w[2],x[2]),200) -> extension (support ? 0) - 115tuples
0.00/0.00 c intension le(add(w[3],x[3]),200) -> extension (support ? 0) - 156tuples
0.00/0.00 c intension le(add(w[4],x[4]),200) -> extension (support ? 0) - 157tuples
0.00/0.00 c intension le(add(w[5],x[5]),200) -> extension (support ? 0) - 35tuples
0.00/0.01 c intension le(add(w[6],x[6]),200) -> extension (support ? 0) - 52tuples
0.00/0.01 c intension le(add(w[7],x[7]),200) -> extension (support ? 0) - 38tuples
0.00/0.01 c intension le(add(w[8],x[8]),200) -> extension (support ? 0) - 64tuples
0.00/0.01 c intension le(add(w[9],x[9]),200) -> extension (support ? 0) - 48tuples
0.00/0.01 c intension le(add(w[10],x[10]),200) -> extension (support ? 0) - 102tuples
0.00/0.01 c intension le(add(w[11],x[11]),200) -> extension (support ? 0) - 71tuples
0.00/0.01 c intension le(add(w[12],x[12]),200) -> extension (support ? 0) - 115tuples
0.00/0.01 c intension le(add(w[13],x[13]),200) -> extension (support ? 0) - 133tuples
0.00/0.01 c intension le(add(w[14],x[14]),200) -> extension (support ? 0) - 141tuples
0.00/0.01 c intension le(add(w[15],x[15]),200) -> extension (support ? 0) - 37tuples
0.00/0.01 c intension le(add(w[16],x[16]),200) -> extension (support ? 0) - 153tuples
0.00/0.01 c intension le(add(h[0],y[0]),200) -> extension (support ? 0) - 119tuples
0.00/0.01 c intension le(add(h[1],y[1]),200) -> extension (support ? 0) - 69tuples
0.00/0.01 c intension le(add(h[2],y[2]),200) -> extension (support ? 0) - 115tuples
0.00/0.02 c intension le(add(h[3],y[3]),200) -> extension (support ? 0) - 156tuples
0.00/0.02 c intension le(add(h[4],y[4]),200) -> extension (support ? 0) - 157tuples
0.00/0.02 c intension le(add(h[5],y[5]),200) -> extension (support ? 0) - 35tuples
0.00/0.02 c intension le(add(h[6],y[6]),200) -> extension (support ? 0) - 52tuples
0.00/0.02 c intension le(add(h[7],y[7]),200) -> extension (support ? 0) - 38tuples
0.00/0.02 c intension le(add(h[8],y[8]),200) -> extension (support ? 0) - 64tuples
0.00/0.02 c intension le(add(h[9],y[9]),200) -> extension (support ? 0) - 48tuples
0.00/0.02 c intension le(add(h[10],y[10]),200) -> extension (support ? 0) - 102tuples
0.00/0.02 c intension le(add(h[11],y[11]),200) -> extension (support ? 0) - 71tuples
0.00/0.02 c intension le(add(h[12],y[12]),200) -> extension (support ? 0) - 115tuples
0.00/0.02 c intension le(add(h[13],y[13]),200) -> extension (support ? 0) - 133tuples
0.00/0.02 c intension le(add(h[14],y[14]),200) -> extension (support ? 0) - 141tuples
0.00/0.02 c intension le(add(h[15],y[15]),200) -> extension (support ? 0) - 37tuples
0.00/0.03 c intension le(add(h[16],y[16]),200) -> extension (support ? 0) - 153tuples
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 (11980 MiB free)
memory of node 1: 16384 MiB (11645 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396805-1568572811/watcher-4396805-1568572811 -o /tmp/evaluation-result-4396805-1568572811/solver-4396805-1568572811 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568572745-9395 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396805-1568572811.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=9676, runsolver pid=9673
[startup+0.100156 s]*
/proc/loadavg: 0.68 0.17 0.10 3/199 9677
/proc/meminfo: memFree=24190252/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=29964 memory=6200 CPUtime=0.1 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 1730 0 0 0 10 0 0 0 20 0 1 0 433195979 30683136 1550 33554432000 4194304 6211092 140731009066704 140731009063240 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 7491 1550 838 493 0 796 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 29964 KiB
Current children cumulated memory: 6200 KiB
[startup+0.209439 s]*
/proc/loadavg: 0.68 0.17 0.10 3/199 9677
/proc/meminfo: memFree=24187648/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=32556 memory=8452 CPUtime=0.21 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 2301 0 0 0 21 0 0 0 20 0 1 0 433195979 33337344 2113 33554432000 4194304 6211092 140731009066704 140731009063240 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 8139 2113 838 493 0 1444 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 32556 KiB
Current children cumulated memory: 8452 KiB
[startup+0.308909 s]*
/proc/loadavg: 0.68 0.17 0.10 3/199 9677
/proc/meminfo: memFree=24185788/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=34292 memory=10324 CPUtime=0.3 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 2800 0 0 0 30 0 0 0 20 0 1 0 433195979 35115008 2581 33554432000 4194304 6211092 140731009066704 140731009059848 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 8573 2581 838 493 0 1878 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 34292 KiB
Current children cumulated memory: 10324 KiB
[startup+0.700282 s]
/proc/loadavg: 0.68 0.17 0.10 3/199 9677
/proc/meminfo: memFree=24182068/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=43196 memory=18108 CPUtime=0.69 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 4745 0 0 0 68 1 0 0 20 0 1 0 433195979 44232704 4527 33554432000 4194304 6211092 140731009066704 140731009059848 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 10799 4527 838 493 0 4104 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 43196 KiB
Current children cumulated memory: 18108 KiB
[startup+1.50029 s]
/proc/loadavg: 0.68 0.17 0.10 3/199 9677
/proc/meminfo: memFree=24171972/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=61208 memory=34280 CPUtime=1.49 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 8750 0 0 0 148 1 0 0 20 0 1 0 433195979 62676992 8570 33554432000 4194304 6211092 140731009066704 140731009059848 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 15302 8570 838 493 0 8607 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 61208 KiB
Current children cumulated memory: 34280 KiB
[startup+3.10935 s]
/proc/loadavg: 0.63 0.17 0.10 3/199 9677
/proc/meminfo: memFree=24131076/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=91292 memory=66920 CPUtime=3.1 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 16982 0 0 0 307 3 0 0 20 0 1 0 433195979 93483008 16730 33554432000 4194304 6211092 140731009066704 140731009059848 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 22823 16730 838 493 0 16128 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 91292 KiB
Current children cumulated memory: 66920 KiB
[startup+6.30027 s]
/proc/loadavg: 0.63 0.17 0.10 3/199 9677
/proc/meminfo: memFree=24067436/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=160120 memory=132648 CPUtime=6.29 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 30339 0 0 0 625 4 0 0 20 0 1 0 433195979 163962880 33162 33554432000 4194304 6211092 140731009066704 140731009059848 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 40030 33162 838 493 0 33335 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 160120 KiB
Current children cumulated memory: 132648 KiB
[startup+12.7003 s]
/proc/loadavg: 0.84 0.23 0.12 3/199 9677
/proc/meminfo: memFree=23944964/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=303236 memory=265060 CPUtime=12.69 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 56817 0 0 0 1261 8 0 0 20 0 1 0 433195979 310513664 66265 33554432000 4194304 6211092 140731009066704 140731009059848 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 75809 66265 838 493 0 69114 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 303236 KiB
Current children cumulated memory: 265060 KiB
[startup+25.5003 s]
/proc/loadavg: 1.02 0.29 0.14 3/199 9680
/proc/meminfo: memFree=23679476/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=600856 memory=525420 CPUtime=25.49 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 107652 0 0 0 2535 14 0 0 20 0 1 0 433195979 615276544 131355 33554432000 4194304 6211092 140731009066704 140731009059848 140233911585598 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 150214 131355 838 493 0 143519 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 600856 KiB
Current children cumulated memory: 525420 KiB
[startup+51.1095 s]
/proc/loadavg: 1.35 0.43 0.19 3/200 9688
/proc/meminfo: memFree=22671044/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=1617420 memory=1528132 CPUtime=51.08 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 297525 0 0 0 5067 41 0 0 20 0 1 0 433195979 1656238080 382033 33554432000 4194304 6211092 140731009066704 140731009059848 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 404355 382033 838 493 0 397660 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 1617420 KiB
Current children cumulated memory: 1528132 KiB
[startup+102.3 s]
/proc/loadavg: 1.74 0.69 0.29 3/201 9693
/proc/meminfo: memFree=20165396/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=4380040 memory=4027064 CPUtime=102.26 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 768450 0 0 0 10117 109 0 0 20 0 1 0 433195979 4485160960 1006766 33554432000 4194304 6211092 140731009066704 140731009059848 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 1095010 1006766 838 493 0 1088315 0
Current children cumulated CPU time: 102.26 s
Current children cumulated vsize: 4380040 KiB
Current children cumulated memory: 4027064 KiB
[startup+162.3 s]
/proc/loadavg: 1.91 0.93 0.40 3/202 9699
/proc/meminfo: memFree=18944036/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=5469460 memory=5247876 CPUtime=162.23 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 998532 0 0 0 16080 143 0 0 20 0 1 0 433195979 5600727040 1311969 33554432000 4194304 6211092 140731009066704 140731009059848 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 1367365 1311969 838 493 0 1360670 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 5469460 KiB
Current children cumulated memory: 5247876 KiB
[startup+222.3 s]
/proc/loadavg: 1.96 1.12 0.50 3/201 9703
/proc/meminfo: memFree=16668844/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=7810152 memory=7528148 CPUtime=222.21 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 1426591 0 0 0 22018 203 0 0 20 0 1 0 433195979 7997595648 1882037 33554432000 4194304 6211092 140731009066704 140731009059848 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 1952538 1882037 838 493 0 1945843 0
Current children cumulated CPU time: 222.21 s
Current children cumulated vsize: 7810152 KiB
Current children cumulated memory: 7528148 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.28 0.59 3/201 9707
/proc/meminfo: memFree=14733356/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=10329632 memory=9459884 CPUtime=282.18 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 1790463 0 0 0 27963 255 0 0 20 0 1 0 433195979 10577543168 2364971 33554432000 4194304 6211092 140731009066704 140731009059848 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 2582408 2364971 838 493 0 2575713 0
Current children cumulated CPU time: 282.18 s
Current children cumulated vsize: 10329632 KiB
Current children cumulated memory: 9459884 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.41 0.68 3/201 9713
/proc/meminfo: memFree=11999928/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=12367844 memory=12177888 CPUtime=342.16 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 2300417 0 0 0 33884 332 0 0 20 0 1 0 433195979 12664672256 3044472 33554432000 4194304 6211092 140731009066704 140731009059848 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 3091961 3044472 838 493 0 3085266 0
Current children cumulated CPU time: 342.16 s
Current children cumulated vsize: 12367844 KiB
Current children cumulated memory: 12177888 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.52 0.76 3/199 9717
/proc/meminfo: memFree=10783060/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=14884024 memory=13389436 CPUtime=402.13 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 2529295 0 0 0 39832 381 0 0 20 0 1 0 433195979 15241240576 3347359 33554432000 4194304 6211092 140731009066704 140731009059848 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 3721006 3347359 838 493 0 3714311 0
Current children cumulated CPU time: 402.13 s
Current children cumulated vsize: 14884024 KiB
Current children cumulated memory: 13389436 KiB
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+439.5 s]
/proc/loadavg: 2.00 1.57 0.81 3/199 9721
/proc/meminfo: memFree=9478528/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=15874684 memory=14711884 CPUtime=439.31 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 4202496 2777176 0 0 0 43505 426 0 0 20 0 1 0 433195979 16255676416 3677971 33554432000 4194304 6211092 140731009066704 140731009059848 140233911589861 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 3968671 3677971 838 493 0 3961976 0
Current children cumulated CPU time: 439.31 s
Current children cumulated vsize: 15874684 KiB
Current children cumulated memory: 14711884 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
??? end of watcher thread
[startup+442.195 s]
# the end of solver process 9676 was just reported to runsolver
# cumulated CPU time of all completed processes: user=435.298 s, system=4.99654 s
Solver just ended.
Dumping a history of the last processes samples
[startup+440.001 s]*
/proc/loadavg: 2.00 1.57 0.81 3/200 9722
/proc/meminfo: memFree=9394512/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=15874684 memory=14711884 CPUtime=439.33 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) S 9673 9676 9363 0 -1 512 2777181 0 0 0 43506 427 0 0 20 0 1 0 433195979 16255676416 3677971 33554432000 4194304 6211092 140731009066704 140731009059848 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 3968671 3677971 838 493 0 3961976 0
Current children cumulated CPU time: 439.33 s
Current children cumulated vsize: 15874684 KiB
Current children cumulated memory: 14711884 KiB
[startup+440.8 s]
/proc/loadavg: 2.00 1.57 0.81 3/200 9722
/proc/meminfo: memFree=9394512/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=15874684 memory=14711884 CPUtime=439.47 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) S 9673 9676 9363 0 -1 512 2777181 0 0 0 43519 428 0 0 20 0 1 0 433195979 16255676416 3677971 33554432000 4194304 6211092 140731009066704 140731009059848 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 5 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 3968671 3677971 838 493 0 3961976 0
Current children cumulated CPU time: 439.47 s
Current children cumulated vsize: 15874684 KiB
Current children cumulated memory: 14711884 KiB
[startup+441.2 s]
/proc/loadavg: 2.00 1.57 0.81 4/200 9722
/proc/meminfo: memFree=8797992/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=15874684 memory=14711884 CPUtime=439.53 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) S 9673 9676 9363 0 -1 512 2777181 0 0 0 43525 428 0 0 20 0 1 0 433195979 16255676416 3677971 33554432000 4194304 6211092 140731009066704 140731009059848 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 3968671 3677971 838 493 0 3961976 0
Current children cumulated CPU time: 439.53 s
Current children cumulated vsize: 15874684 KiB
Current children cumulated memory: 14711884 KiB
[startup+441.4 s]
/proc/loadavg: 2.00 1.57 0.81 4/200 9722
/proc/meminfo: memFree=8797992/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=15874684 memory=14711884 CPUtime=439.57 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) S 9673 9676 9363 0 -1 512 2777181 0 0 0 43528 429 0 0 20 0 1 0 433195979 16255676416 3677971 33554432000 4194304 6211092 140731009066704 140731009059848 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 3968671 3677971 838 493 0 3961976 0
Current children cumulated CPU time: 439.57 s
Current children cumulated vsize: 15874684 KiB
Current children cumulated memory: 14711884 KiB
[startup+441.5 s]
/proc/loadavg: 2.00 1.57 0.81 4/200 9722
/proc/meminfo: memFree=8797992/32770624 swapFree=66939852/67108860
[pid=9676] ppid=9673 vsize=15874684 memory=14711884 CPUtime=439.59 cores=1,3,5,7
/proc/9676/stat : 9676 (cosoco) R 9673 9676 9363 0 -1 512 2777181 0 0 0 43529 430 0 0 20 0 1 0 433195979 16255676416 3677971 33554432000 4194304 6211092 140731009066704 140731009059848 5189768 0 16384 4096 8405026 18446744071580971376 0 0 17 3 0 0 0 0 0 8312316 8317760 30699520 140731009070091 140731009070193 140731009070193 140731009073102 0
/proc/9676/statm: 3968671 3677971 838 493 0 3961976 0
Current children cumulated CPU time: 439.59 s
Current children cumulated vsize: 15874684 KiB
Current children cumulated memory: 14711884 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 442.195
CPU time (s): 440.295
CPU user time (s): 435.298
CPU system time (s): 4.99654
CPU usage (%): 99.5702
Max. virtual memory (cumulated for all children) (KiB): 15874684
Max. memory (cumulated for all children) (KiB): 14711884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 435.298
system time used= 4.99654
maximum resident set size= 14712004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2777181
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= 109758
involuntary context switches= 359
# summary of solver processes directly reported to runsolver:
# pid: 9676
# total CPU time (s): 440.295
# total CPU user time (s): 435.298
# total CPU system time (s): 4.99654
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.70921 second user time and 2.94035 second system time
The end
Begin job on node119 at 2019-09-15 20:39:31
IDJOB=4396805
IDBENCH=120419
IDSOLVER=2848
FILE ID=node119/4396805-1568572811
RUNJOBID= node119-1568572745-9395
PBS_JOBID= 21703330
Free space on /tmp= 61368 MiB
SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesN/StripPacking-N1c.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396805-1568572811/watcher-4396805-1568572811 -o /tmp/evaluation-result-4396805-1568572811/solver-4396805-1568572811 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node119-1568572745-9395 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396805-1568572811.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 19f4dcf35e46defaa68e633424c84ce1
RANDOM SEED=2079047598
node119.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.47
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.47
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.47
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.47
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: 24192172 kB
MemAvailable: 31817144 kB
Buffers: 201612 kB
Cached: 7700372 kB
SwapCached: 61128 kB
Active: 2992512 kB
Inactive: 4974276 kB
Active(anon): 4924 kB
Inactive(anon): 109612 kB
Active(file): 2987588 kB
Inactive(file): 4864664 kB
Unevictable: 108792 kB
Mlocked: 108792 kB
SwapTotal: 67108860 kB
SwapFree: 66939852 kB
Dirty: 3272 kB
Writeback: 0 kB
AnonPages: 114000 kB
Mapped: 48960 kB
Shmem: 41008 kB
Slab: 206500 kB
SReclaimable: 177112 kB
SUnreclaim: 29388 kB
KernelStack: 3584 kB
PageTables: 5620 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 536440 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: 126336 kB
DirectMap2M: 33419264 kB
Free space on /tmp at the end= 60936 MiB
End job on node119 at 2019-09-15 20:46:53