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 -model -nbcores=8 HOME/instance-4398085-1568598054.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.01 c intension le(add(w[3],x[3]),200) -> extension (support ? 0) - 156tuples
0.00/0.01 c intension le(add(w[4],x[4]),200) -> extension (support ? 0) - 157tuples
0.00/0.01 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.02 c intension le(add(w[15],x[15]),200) -> extension (support ? 0) - 37tuples
0.00/0.02 c intension le(add(w[16],x[16]),200) -> extension (support ? 0) - 153tuples
0.00/0.02 c intension le(add(h[0],y[0]),200) -> extension (support ? 0) - 119tuples
0.00/0.02 c intension le(add(h[1],y[1]),200) -> extension (support ? 0) - 69tuples
0.00/0.02 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.03 c intension le(add(h[9],y[9]),200) -> extension (support ? 0) - 48tuples
0.00/0.03 c intension le(add(h[10],y[10]),200) -> extension (support ? 0) - 102tuples
0.00/0.03 c intension le(add(h[11],y[11]),200) -> extension (support ? 0) - 71tuples
0.00/0.03 c intension le(add(h[12],y[12]),200) -> extension (support ? 0) - 115tuples
0.00/0.03 c intension le(add(h[13],y[13]),200) -> extension (support ? 0) - 133tuples
0.00/0.03 c intension le(add(h[14],y[14]),200) -> extension (support ? 0) - 141tuples
0.00/0.03 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
846.84/847.23 c =========================================================================================================
846.84/847.23 s UNKNOWN
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 (13683 MiB free)
memory of node 1: 16384 MiB (13676 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398085-1568598054/watcher-4398085-1568598054 -o /tmp/evaluation-result-4398085-1568598054/solver-4398085-1568598054 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568597993-15576 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398085-1568598054.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=15832, runsolver pid=15829
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 1.57 1.19 1.19 2/192 15833
/proc/meminfo: memFree=28012396/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=32564 memory=9000 CPUtime=0.1 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 2414 0 0 0 10 0 0 0 20 0 1 0 435720293 33345536 2250 33554432000 4194304 6211092 140734570829264 140734570825800 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 8141 2250 838 493 0 1446 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 32564 KiB
Current children cumulated memory: 9000 KiB
[startup+0.209245 s]*
/proc/loadavg: 1.57 1.19 1.19 2/192 15833
/proc/meminfo: memFree=28009792/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=34996 memory=11296 CPUtime=0.2 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 2994 0 0 0 20 0 0 0 20 0 1 0 435720293 35835904 2824 33554432000 4194304 6211092 140734570829264 140734570825800 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 8749 2824 838 493 0 2054 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 34996 KiB
Current children cumulated memory: 11296 KiB
[startup+0.308578 s]*
/proc/loadavg: 1.57 1.19 1.19 2/192 15833
/proc/meminfo: memFree=28007932/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=37148 memory=13164 CPUtime=0.31 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 3502 0 0 0 30 1 0 0 20 0 1 0 435720293 38039552 3291 33554432000 4194304 6211092 140734570829264 140734570825800 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 9287 3291 838 493 0 2592 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 37148 KiB
Current children cumulated memory: 13164 KiB
[startup+0.700324 s]
/proc/loadavg: 1.57 1.19 1.19 2/192 15833
/proc/meminfo: memFree=28003840/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=46184 memory=21212 CPUtime=0.69 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 5493 0 0 0 68 1 0 0 20 0 1 0 435720293 47292416 5303 33554432000 4194304 6211092 140734570829264 140734570825800 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 11546 5303 838 493 0 4851 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 46184 KiB
Current children cumulated memory: 21212 KiB
[startup+1.50033 s]
/proc/loadavg: 1.57 1.19 1.19 2/192 15833
/proc/meminfo: memFree=27994040/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=64460 memory=37648 CPUtime=1.49 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 9586 0 0 0 148 1 0 0 20 0 1 0 435720293 66007040 9412 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 16115 9412 838 493 0 9420 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 64460 KiB
Current children cumulated memory: 37648 KiB
[startup+3.10851 s]
/proc/loadavg: 1.57 1.19 1.19 2/192 15833
/proc/meminfo: memFree=27953104/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=94940 memory=70988 CPUtime=3.09 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 17443 0 0 0 307 2 0 0 20 0 1 0 435720293 97218560 17747 33554432000 4194304 6211092 140734570829264 140734570822408 140437183318846 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 23735 17747 838 493 0 17040 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 94940 KiB
Current children cumulated memory: 70988 KiB
[startup+6.30032 s]
/proc/loadavg: 1.52 1.19 1.19 2/192 15833
/proc/meminfo: memFree=27889360/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=164428 memory=138956 CPUtime=6.29 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 31922 0 0 0 624 5 0 0 20 0 1 0 435720293 168374272 34739 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 41107 34739 838 493 0 34412 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 164428 KiB
Current children cumulated memory: 138956 KiB
[startup+12.7003 s]
/proc/loadavg: 1.48 1.18 1.18 2/192 15833
/proc/meminfo: memFree=27763484/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=309260 memory=271060 CPUtime=12.69 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 58855 0 0 0 1260 9 0 0 20 0 1 0 435720293 316682240 67765 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 77315 67765 838 493 0 70620 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 309260 KiB
Current children cumulated memory: 271060 KiB
[startup+25.5003 s]
/proc/loadavg: 1.37 1.18 1.18 2/192 15833
/proc/meminfo: memFree=27495916/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=610576 memory=537240 CPUtime=25.49 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 111115 0 0 0 2533 16 0 0 20 0 1 0 435720293 625229824 134310 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 152644 134310 838 493 0 145949 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 610576 KiB
Current children cumulated memory: 537240 KiB
[startup+51.1085 s]
/proc/loadavg: 1.25 1.16 1.18 2/192 15836
/proc/meminfo: memFree=26419172/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=1674132 memory=1603232 CPUtime=51.09 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 313243 0 0 0 5062 47 0 0 20 0 1 0 435720293 1714311168 400808 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 418533 400808 838 493 0 411838 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 1674132 KiB
Current children cumulated memory: 1603232 KiB
[startup+102.3 s]
/proc/loadavg: 1.11 1.14 1.17 2/192 15839
/proc/meminfo: memFree=23910056/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=4478680 memory=4110992 CPUtime=102.28 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 785387 0 0 0 10113 115 0 0 20 0 1 0 435720293 4586168320 1027748 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 1119670 1027748 838 493 0 1112975 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 4478680 KiB
Current children cumulated memory: 4110992 KiB
[startup+162.3 s]
/proc/loadavg: 1.04 1.11 1.16 2/192 15842
/proc/meminfo: memFree=22666476/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=5547292 memory=5350224 CPUtime=162.26 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 1019040 0 0 0 16079 147 0 0 20 0 1 0 435720293 5680427008 1337556 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 1386823 1337556 838 493 0 1380128 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 5547292 KiB
Current children cumulated memory: 5350224 KiB
[startup+222.3 s]
/proc/loadavg: 1.01 1.09 1.14 2/192 15847
/proc/meminfo: memFree=20127204/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=8085324 memory=7895504 CPUtime=222.23 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 1496946 0 0 0 22006 217 0 0 20 0 1 0 435720293 8279371776 1973876 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 2021331 1973876 838 493 0 2014636 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 8085324 KiB
Current children cumulated memory: 7895504 KiB
[startup+282.3 s]
/proc/loadavg: 1.01 1.07 1.13 2/192 15850
/proc/meminfo: memFree=18099444/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=10675820 memory=9920684 CPUtime=282.2 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 1878010 0 0 0 27947 273 0 0 20 0 1 0 435720293 10932039680 2480171 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 2668955 2480171 838 493 0 2662260 0
Current children cumulated CPU time: 282.2 s
Current children cumulated vsize: 10675820 KiB
Current children cumulated memory: 9920684 KiB
[startup+342.3 s]
/proc/loadavg: 1.00 1.06 1.13 2/191 15853
/proc/meminfo: memFree=15585212/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=12549956 memory=12419296 CPUtime=342.17 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 2346857 0 0 0 33878 339 0 0 20 0 1 0 435720293 12851154944 3104824 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 3137489 3104824 838 493 0 3130794 0
Current children cumulated CPU time: 342.17 s
Current children cumulated vsize: 12549956 KiB
Current children cumulated memory: 12419296 KiB
[startup+402.3 s]
/proc/loadavg: 1.00 1.05 1.12 2/191 15858
/proc/meminfo: memFree=14340484/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=15087520 memory=13662572 CPUtime=402.14 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 2580989 0 0 0 39843 371 0 0 20 0 1 0 435720293 15449620480 3415643 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 3771880 3415643 838 493 0 3765185 0
Current children cumulated CPU time: 402.14 s
Current children cumulated vsize: 15087520 KiB
Current children cumulated memory: 13662572 KiB
[startup+462.3 s]
/proc/loadavg: 1.00 1.04 1.12 2/191 15861
/proc/meminfo: memFree=11743236/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=17031616 memory=16253624 CPUtime=462.11 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 3067315 0 0 0 45747 464 0 0 20 0 1 0 435720293 17440374784 4063406 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 4257904 4063406 838 493 0 4251209 0
Current children cumulated CPU time: 462.11 s
Current children cumulated vsize: 17031616 KiB
Current children cumulated memory: 16253624 KiB
[startup+522.3 s]
/proc/loadavg: 1.00 1.04 1.11 2/191 15864
/proc/meminfo: memFree=9399540/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=19071324 memory=18600936 CPUtime=522.09 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 3507964 0 0 0 51659 550 0 0 20 0 1 0 435720293 19529035776 4650234 33554432000 4194304 6211092 140734570829264 140734570822408 140437183318846 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 4767831 4650234 838 493 0 4761136 0
Current children cumulated CPU time: 522.09 s
Current children cumulated vsize: 19071324 KiB
Current children cumulated memory: 18600936 KiB
[startup+582.3 s]
/proc/loadavg: 1.00 1.03 1.10 2/191 15869
/proc/meminfo: memFree=7305008/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=22761532 memory=20682528 CPUtime=582.05 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 3899076 0 0 0 57580 625 0 0 20 0 1 0 435720293 23307808768 5170632 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 5690383 5170632 838 493 0 5683688 0
Current children cumulated CPU time: 582.05 s
Current children cumulated vsize: 22761532 KiB
Current children cumulated memory: 20682528 KiB
[startup+642.3 s]
/proc/loadavg: 1.00 1.02 1.10 2/191 15879
/proc/meminfo: memFree=5851004/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=23857396 memory=22143012 CPUtime=642.02 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 4173217 0 0 0 63526 676 0 0 20 0 1 0 435720293 24429973504 5535753 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 5964349 5535753 838 493 0 5957654 0
Current children cumulated CPU time: 642.02 s
Current children cumulated vsize: 23857396 KiB
Current children cumulated memory: 22143012 KiB
[startup+702.3 s]
/proc/loadavg: 1.00 1.02 1.09 2/191 15882
/proc/meminfo: memFree=3479524/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=25625404 memory=24500748 CPUtime=702 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 4615519 0 0 0 69444 756 0 0 20 0 1 0 435720293 26240413696 6125187 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 6406351 6125187 838 493 0 6399656 0
Current children cumulated CPU time: 702 s
Current children cumulated vsize: 25625404 KiB
Current children cumulated memory: 24500748 KiB
[startup+762.3 s]
/proc/loadavg: 1.00 1.01 1.09 2/191 15887
/proc/meminfo: memFree=794576/32770624 swapFree=66939884/67108860
[pid=15832] ppid=15829 vsize=27643420 memory=27190516 CPUtime=761.96 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 5120329 0 0 0 75351 845 0 0 20 0 1 0 435720293 28306862080 6797629 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 6910855 6797629 838 493 0 6904160 0
Current children cumulated CPU time: 761.96 s
Current children cumulated vsize: 27643420 KiB
Current children cumulated memory: 27190516 KiB
[startup+822.3 s]
/proc/loadavg: 1.03 1.01 1.08 2/191 15890
/proc/meminfo: memFree=210380/32770624 swapFree=66939904/67108860
[pid=15832] ppid=15829 vsize=29345828 memory=28900552 CPUtime=821.95 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 5457399 0 0 0 81207 988 0 0 20 0 1 0 435720293 30050127872 7225138 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 7336457 7225138 838 493 0 7329762 0
Current children cumulated CPU time: 821.95 s
Current children cumulated vsize: 29345828 KiB
Current children cumulated memory: 28900552 KiB
[startup+848.73 s]
# the end of solver process 15832 was just reported to runsolver
# cumulated CPU time of all completed processes: user=835.976 s, system=12.3997 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+832 s]*
/proc/loadavg: 0.95 1.00 1.07 2/191 15890
/proc/meminfo: memFree=193808/32770624 swapFree=66939904/67108860
[pid=15832] ppid=15829 vsize=29493932 memory=29096664 CPUtime=831.65 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 5496216 0 0 0 82159 1006 0 0 20 0 1 0 435720293 30201786368 7274166 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 7373483 7274166 838 493 0 7366788 0
Current children cumulated CPU time: 831.65 s
Current children cumulated vsize: 29493932 KiB
Current children cumulated memory: 29096664 KiB
[startup+838.4 s]
/proc/loadavg: 0.87 0.98 1.07 2/191 15890
/proc/meminfo: memFree=204260/32770624 swapFree=66939904/67108860
[pid=15832] ppid=15829 vsize=29590952 memory=29227448 CPUtime=838.03 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 5521782 0 0 0 82781 1022 0 0 20 0 1 0 435720293 30301134848 7306862 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 7397738 7306862 838 493 0 7391043 0
Current children cumulated CPU time: 838.03 s
Current children cumulated vsize: 29590952 KiB
Current children cumulated memory: 29227448 KiB
[startup+844.8 s]
/proc/loadavg: 0.89 0.98 1.07 2/192 15892
/proc/meminfo: memFree=180696/32770624 swapFree=66939904/67108860
[pid=15832] ppid=15829 vsize=29687708 memory=29356920 CPUtime=844.44 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 4202496 5549043 0 0 0 83402 1042 0 0 20 0 1 0 435720293 30400212992 7339230 33554432000 4194304 6211092 140734570829264 140734570822408 140437183323109 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 7421927 7339230 838 493 0 7415232 0
Current children cumulated CPU time: 844.44 s
Current children cumulated vsize: 29687708 KiB
Current children cumulated memory: 29356920 KiB
[startup+846.4 s]
/proc/loadavg: 0.89 0.98 1.07 2/192 15892
/proc/meminfo: memFree=200192/32770624 swapFree=66939904/67108860
[pid=15832] ppid=15829 vsize=29765916 memory=29371652 CPUtime=846.03 cores=0-7
/proc/15832/stat : 15832 (cosoco) R 15829 15832 15549 0 -1 12591104 6096129 0 0 0 83539 1064 0 0 20 0 1 0 435720293 30480297984 7342913 33554432000 4194304 6211092 140734570829264 140734570822472 140437183333260 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 16330752 140734570837009 140734570837101 140734570837101 140734570840014 0
/proc/15832/statm: 7441479 7342913 863 493 0 7434784 0
Current children cumulated CPU time: 846.03 s
Current children cumulated vsize: 29765916 KiB
Current children cumulated memory: 29371652 KiB
[startup+848 s]*
/proc/loadavg: 0.89 0.98 1.07 2/192 15892
/proc/meminfo: memFree=15035324/32770624 swapFree=66939904/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+848.4 s]
/proc/loadavg: 0.89 0.98 1.07 2/192 15892
/proc/meminfo: memFree=15035324/32770624 swapFree=66939904/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+848.6 s]
/proc/loadavg: 0.89 0.98 1.07 2/192 15892
/proc/meminfo: memFree=15035324/32770624 swapFree=66939904/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+848.7 s]
/proc/loadavg: 0.89 0.98 1.07 2/192 15892
/proc/meminfo: memFree=15035324/32770624 swapFree=66939904/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 848.73
CPU time (s): 848.375
CPU user time (s): 835.976
CPU system time (s): 12.3997
CPU usage (%): 99.9582
Max. virtual memory (cumulated for all children) (KiB): 29765916
Max. memory (cumulated for all children) (KiB): 29371652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 835.976
system time used= 12.3997
maximum resident set size= 29371652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6397997
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= 568
involuntary context switches= 1141
# summary of solver processes directly reported to runsolver:
# pid: 15832
# total CPU time (s): 848.375
# total CPU user time (s): 835.976
# total CPU system time (s): 12.3997
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.13753 second user time and 5.26229 second system time
The end
Begin job on node119 at 2019-09-16 03:40:14
IDJOB=4398085
IDBENCH=120419
IDSOLVER=2851
FILE ID=node119/4398085-1568598054
RUNJOBID= node119-1568597993-15576
PBS_JOBID= 21703416
Free space on /tmp= 61372 MiB
SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/StripPacking/StripPacking-m1-seriesN/StripPacking-N1c.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398085-1568598054/watcher-4398085-1568598054 -o /tmp/evaluation-result-4398085-1568598054/solver-4398085-1568598054 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node119-1568597993-15576 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398085-1568598054.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= 19f4dcf35e46defaa68e633424c84ce1
RANDOM SEED=643536466
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: 28017188 kB
MemAvailable: 31820980 kB
Buffers: 144728 kB
Cached: 3940360 kB
SwapCached: 61096 kB
Active: 2492876 kB
Inactive: 1657228 kB
Active(anon): 3804 kB
Inactive(anon): 110816 kB
Active(file): 2489072 kB
Inactive(file): 1546412 kB
Unevictable: 107752 kB
Mlocked: 107752 kB
SwapTotal: 67108860 kB
SwapFree: 66939884 kB
Dirty: 3072 kB
Writeback: 0 kB
AnonPages: 174256 kB
Mapped: 47324 kB
Shmem: 41008 kB
Slab: 197716 kB
SReclaimable: 168288 kB
SUnreclaim: 29428 kB
KernelStack: 3840 kB
PageTables: 5400 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 505884 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 129024 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= 61368 MiB
End job on node119 at 2019-09-16 03:54:23