0.00/0.00 c root propagations : 0
0.00/0.00 c restarts enabled, print stats at every restarts
0.00/0.00 c
0.00/0.00 c
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-4408583-1569797102.xml
0.00/0.00 c ========================================[ Problem Statistics ]===========================================
0.00/0.00 c |
0.00/0.00 c | Parse time : 0.00 s
0.00/0.00 c |
0.00/0.00 c | Variables: 30
0.00/0.00 c | Domain Sizes: 2..2
0.00/0.00 c |
0.00/0.00 c | Constraints: 4
0.00/0.00 c | Arity: 30..30
0.00/0.00 c |
0.00/0.00 c | Types:
0.00/0.00 c | Sum: 4
0.00/0.00 c |
0.00/0.00 c =========================================================================================================
0.00/0.00 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.01 c 101 489 2787 2791 0 0 15 28 24
0.00/0.01 c 211 1005 5618 5629 0 0 20 27 25
0.00/0.02 c 332 1570 8865 8894 0 0 18 27 23
0.00/0.02 c 465 2087 11808 11873 0 0 19 27 23
0.00/0.03 c 611 2666 15085 15154 0 0 16 27 23
0.00/0.03 c 771 3277 18636 18594 0 0 20 27 23
0.00/0.04 c 947 3963 22689 22572 0 0 18 26 23
0.00/0.05 c 1140 4716 27188 26873 0 0 17 27 23
0.00/0.06 c 1352 5485 31511 31258 0 0 16 26 22
0.00/0.07 c 1585 6367 36153 36035 0 0 18 27 24
0.00/0.08 c 1841 7373 41865 42004 0 0 17 27 23
0.00/0.09 c 2122 8549 49059 49341 0 0 14 26 22
0.00/0.10 c 2431 9781 56338 56837 0 0 16 27 22
0.10/0.12 c 2770 11112 64185 64931 0 0 17 27 23
0.10/0.13 c 3142 12580 72666 73405 0 0 14 27 23
0.10/0.15 c 3551 14226 82331 82886 0 0 19 27 23
0.10/0.17 c 4000 16034 93114 94008 0 0 17 27 23
0.10/0.19 c 4493 17935 104541 105533 0 0 14 27 22
0.21/0.22 c 5035 19963 116324 117058 0 0 16 27 23
0.21/0.24 c 5631 22220 129658 130526 0 0 13 26 23
0.21/0.27 c 6286 24743 144567 145571 0 0 17 27 23
0.21/0.30 c 7006 27563 161501 161997 0 0 14 27 23
0.31/0.34 c 7798 30646 180449 179866 0 0 12 27 23
0.31/0.38 c 8669 33975 200938 200221 0 0 16 27 22
0.41/0.42 c 9627 37786 224055 223053 0 0 15 27 22
0.41/0.47 c 10680 41975 249820 248389 0 0 15 27 23
0.51/0.52 c 11838 46743 279020 276385 0 0 14 28 23
0.51/0.58 c 13111 51913 309739 307878 0 0 14 27 22
0.60/0.65 c 14511 57322 342760 341072 0 0 12 27 22
0.69/0.72 c 16051 63570 379853 377743 0 0 13 27 23
0.79/0.80 c 17745 70962 422486 422243 0 0 11 28 23
0.79/0.88 c 19608 78642 468559 467953 0 0 14 27 23
0.89/0.97 c 21657 86584 515598 513943 0 0 16 28 23
1.00/1.07 c 23910 95454 568498 565528 0 0 14 28 23
1.10/1.17 c 26388 104989 624386 620450 0 0 14 27 23
1.19/1.29 c 29113 115714 687441 681587 0 0 15 28 24
1.39/1.42 c 32110 127375 758716 750041 0 0 13 28 23
1.49/1.56 c 35406 140308 835359 826006 0 0 12 27 23
1.69/1.72 c 39031 154490 919589 909579 0 0 15 27 23
1.79/1.89 c 43018 170040 1011354 999174 0 0 15 27 23
2.00/2.08 c 47403 187080 1113836 1098252 0 0 13 28 23
2.19/2.28 c 52226 205474 1223460 1205678 0 0 13 27 23
2.49/2.51 c 57531 226192 1347048 1326893 0 0 14 28 23
2.69/2.75 c 63366 248598 1477949 1456303 0 0 13 27 23
3.00/3.03 c 69784 273932 1628457 1605137 0 0 11 28 23
3.29/3.33 c 76843 301034 1788321 1765432 0 0 12 27 23
3.59/3.65 c 84607 330899 1964322 1940140 0 0 13 28 23
4.00/4.01 c 93147 364194 2160612 2133672 0 0 12 28 23
4.29/4.39 c 102541 400462 2370131 2341861 0 0 15 28 23
4.79/4.83 c 112874 440235 2601277 2582661 0 0 12 27 22
5.29/5.34 c 124240 486592 2872168 2862120 0 0 12 28 23
5.89/5.91 c 136742 537518 3173705 3162623 0 0 13 28 23
6.49/6.52 c 150494 592606 3499708 3489346 0 0 10 28 23
7.10/7.18 c 165621 653569 3850547 3845268 0 0 13 28 23
7.79/7.87 c 182260 718299 4224865 4221148 0 0 12 28 23
8.59/8.67 c 200562 790383 4652171 4642962 0 0 10 28 23
9.49/9.54 c 220694 870052 5115858 5109329 0 0 10 28 23
10.39/10.48 c 242839 956756 5622738 5614864 0 0 12 28 23
11.49/11.56 c 267198 1056209 6193861 6208875 0 0 11 28 23
12.59/12.69 c 293992 1161837 6800560 6833409 0 0 10 28 23
13.89/13.94 c 323465 1278438 7473814 7521999 0 0 13 28 23
15.29/15.30 c 355885 1405475 8206134 8264689 0 0 11 28 23
16.79/16.86 c 391547 1546068 9043396 9094001 0 0 9 28 23
18.49/18.52 c 430775 1697930 9934718 9989977 0 0 10 28 23
20.39/20.40 c 473925 1869224 10941346 11006551 0 0 9 28 23
22.49/22.51 c 521390 2056982 12062229 12130846 0 0 10 28 23
24.79/24.80 c 573601 2261809 13276477 13350378 0 0 9 28 23
27.19/27.25 c 631033 2487383 14588796 14668964 0 0 10 28 23
29.89/29.92 c 694208 2735975 16036915 16103153 0 0 8 28 23
32.79/32.81 c 763700 3005603 17595973 17688384 0 0 11 28 23
36.00/36.06 c 840141 3305846 19349851 19460542 0 0 11 28 23
39.59/39.68 c 924226 3639368 21318672 21394203 0 0 12 28 23
43.59/43.64 c 1016719 4006185 23472660 23520869 0 0 11 28 23
48.00/48.02 c 1118461 4406900 25830913 25864569 0 0 11 28 23
52.79/52.82 c 1230377 4848860 28414845 28447977 0 0 10 28 23
58.00/58.01 c 1353484 5329762 31217105 31259998 0 0 9 28 23
63.79/63.83 c 1488901 5860375 34339162 34392856 0 0 9 28 23
70.10/70.12 c 1637859 6446570 37739389 37809467 0 0 8 28 23
77.10/77.13 c 1801712 7089081 41519957 41565736 0 0 9 28 23
80.29/80.33 c First solution is found
80.29/80.33 s SATISFIABLE
80.29/80.33 c restarts : 79
80.29/80.33 c conflicts : 1875587 (23349 /sec)
80.29/80.33 c decisions : 7378730 (91858 /sec)
80.29/80.33 c propagations : 43277317 (538760 /sec)
80.29/80.33 c root propagations : 0
80.29/80.33 c filter calls : 43239664 (538291 /sec)
80.29/80.33 c useless filter calls : 35257635 (81 %)
80.29/80.33 c Memory used : 26.59 MB
80.29/80.33 c CPU time : 80.3276 s
80.29/80.33 c real time : 80.3296 s
80.29/80.33
80.29/80.33 c solution 1
80.29/80.33
80.29/80.33 v <instantiation type='solution'>
80.29/80.33 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] </list>
80.29/80.33 v <values>0 0 1 1 0 0 0 0 1 1 1 1 1 0 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 </values>
80.29/80.33 v </instantiation>
80.29/80.33
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: 16375 MiB (15426 MiB free)
memory of node 1: 16384 MiB (15338 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408583-1569797102/watcher-4408583-1569797102 -o /tmp/evaluation-result-4408583-1569797102/solver-4408583-1569797102 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408583-1569797102.xml
running on 4 cores: 4-7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=28407, runsolver pid=28404
[startup+0.100159 s]*
/proc/loadavg: 2.07 2.01 2.05 3/201 28408
/proc/meminfo: memFree=31504044/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3688 CPUtime=0.1 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1129 0 0 0 10 0 0 0 20 0 1 0 555651699 27881472 922 33554432000 4194304 6211132 140736934184928 140736934181464 5250316 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 922 830 493 0 112 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3688 KiB
[startup+0.210625 s]*
/proc/loadavg: 2.07 2.01 2.05 3/201 28408
/proc/meminfo: memFree=31504044/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3688 CPUtime=0.21 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1129 0 0 0 21 0 0 0 20 0 1 0 555651699 27881472 922 33554432000 4194304 6211132 140736934184928 140736934181464 5150998 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 922 830 493 0 112 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3688 KiB
[startup+0.310178 s]*
/proc/loadavg: 2.07 2.01 2.05 3/201 28408
/proc/meminfo: memFree=31503784/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3688 CPUtime=0.31 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1129 0 0 0 31 0 0 0 20 0 1 0 555651699 27881472 922 33554432000 4194304 6211132 140736934184928 140736934181464 5149253 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 922 830 493 0 112 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3688 KiB
[startup+0.700285 s]
/proc/loadavg: 2.07 2.01 2.05 3/201 28408
/proc/meminfo: memFree=31503784/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3688 CPUtime=0.69 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1129 0 0 0 69 0 0 0 20 0 1 0 555651699 27881472 922 33554432000 4194304 6211132 140736934184928 140736934182888 5148730 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 922 830 493 0 112 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3688 KiB
[startup+1.50029 s]
/proc/loadavg: 2.07 2.01 2.05 4/201 28408
/proc/meminfo: memFree=31503700/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3688 CPUtime=1.49 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1129 0 0 0 149 0 0 0 20 0 1 0 555651699 27881472 922 33554432000 4194304 6211132 140736934184928 140736934182888 5150211 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 922 830 493 0 112 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3688 KiB
[startup+3.11031 s]
/proc/loadavg: 2.07 2.01 2.05 3/201 28408
/proc/meminfo: memFree=31503812/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3868 CPUtime=3.1 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1163 0 0 0 310 0 0 0 20 0 1 0 555651699 27881472 967 33554432000 4194304 6211132 140736934184928 140736934182888 5149699 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 967 872 493 0 112 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3868 KiB
[startup+6.30028 s]
/proc/loadavg: 2.06 2.01 2.05 3/201 28408
/proc/meminfo: memFree=31503816/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3868 CPUtime=6.29 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1197 0 0 0 629 0 0 0 20 0 1 0 555651699 27881472 967 33554432000 4194304 6211132 140736934184928 140736934182888 5250493 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 967 872 493 0 112 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3868 KiB
[startup+12.7003 s]
/proc/loadavg: 2.06 2.01 2.05 3/201 28409
/proc/meminfo: memFree=31503848/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3868 CPUtime=12.69 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1231 0 0 0 1269 0 0 0 20 0 1 0 555651699 27881472 967 33554432000 4194304 6211132 140736934184928 140736934182888 5148892 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 967 872 493 0 112 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3868 KiB
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.05 3/201 28411
/proc/meminfo: memFree=31503300/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3868 CPUtime=25.49 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1299 0 0 0 2549 0 0 0 20 0 1 0 555651699 27881472 967 33554432000 4194304 6211132 140736934184928 140736934182888 5250491 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 967 872 493 0 112 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3868 KiB
[startup+51.1101 s]
/proc/loadavg: 2.03 2.01 2.05 3/199 28411
/proc/meminfo: memFree=31503552/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3868 CPUtime=51.1 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1333 0 0 0 5110 0 0 0 20 0 1 0 555651699 27881472 967 33554432000 4194304 6211132 140736934184928 140736934182888 5149253 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 967 872 493 0 112 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3868 KiB
[startup+80.3332 s]
# the end of solver process 28407 was just reported to runsolver
# cumulated CPU time of all completed processes: user=80.3276 s, system=0.001999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 2.03 2.01 2.05 3/199 28411
/proc/meminfo: memFree=31503552/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3868 CPUtime=51.19 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1333 0 0 0 5119 0 0 0 20 0 1 0 555651699 27881472 967 33554432000 4194304 6211132 140736934184928 140736934182888 5193786 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 967 872 493 0 112 0
Current children cumulated CPU time: 51.19 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3868 KiB
[startup+64.0003 s]*
/proc/loadavg: 2.02 2.01 2.05 3/199 28414
/proc/meminfo: memFree=31502460/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3868 CPUtime=64 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1333 0 0 0 6400 0 0 0 20 0 1 0 555651699 27881472 967 33554432000 4194304 6211132 140736934184928 140736934182888 5250499 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 967 872 493 0 112 0
Current children cumulated CPU time: 64 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3868 KiB
[startup+70.4003 s]
/proc/loadavg: 2.02 2.01 2.05 3/199 28414
/proc/meminfo: memFree=31502956/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3868 CPUtime=70.39 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1367 0 0 0 7039 0 0 0 20 0 1 0 555651699 27881472 967 33554432000 4194304 6211132 140736934184928 140736934182888 5250307 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 967 872 493 0 112 0
Current children cumulated CPU time: 70.39 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3868 KiB
[startup+76.8003 s]
/proc/loadavg: 2.02 2.01 2.05 3/199 28415
/proc/meminfo: memFree=31502664/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3868 CPUtime=76.79 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1367 0 0 0 7679 0 0 0 20 0 1 0 555651699 27881472 967 33554432000 4194304 6211132 140736934184928 140736934182888 5148892 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 967 872 493 0 112 0
Current children cumulated CPU time: 76.79 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3868 KiB
[startup+78.4003 s]
/proc/loadavg: 2.02 2.01 2.05 3/199 28415
/proc/meminfo: memFree=31502796/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3868 CPUtime=78.39 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1367 0 0 0 7839 0 0 0 20 0 1 0 555651699 27881472 967 33554432000 4194304 6211132 140736934184928 140736934182888 5250321 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 967 872 493 0 112 0
Current children cumulated CPU time: 78.39 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3868 KiB
[startup+79.2003 s]
/proc/loadavg: 2.02 2.01 2.05 3/199 28415
/proc/meminfo: memFree=31502796/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3868 CPUtime=79.19 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1367 0 0 0 7919 0 0 0 20 0 1 0 555651699 27881472 967 33554432000 4194304 6211132 140736934184928 140736934182888 5250256 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 967 872 493 0 112 0
Current children cumulated CPU time: 79.19 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3868 KiB
[startup+80.0003 s]*
/proc/loadavg: 2.02 2.01 2.05 3/199 28415
/proc/meminfo: memFree=31502868/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3868 CPUtime=80 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1367 0 0 0 8000 0 0 0 20 0 1 0 555651699 27881472 967 33554432000 4194304 6211132 140736934184928 140736934182888 5250325 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 967 872 493 0 112 0
Current children cumulated CPU time: 80 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3868 KiB
[startup+80.2003 s]
/proc/loadavg: 2.02 2.01 2.05 3/199 28415
/proc/meminfo: memFree=31502868/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3868 CPUtime=80.19 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1367 0 0 0 8019 0 0 0 20 0 1 0 555651699 27881472 967 33554432000 4194304 6211132 140736934184928 140736934182888 5149680 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 967 872 493 0 112 0
Current children cumulated CPU time: 80.19 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3868 KiB
[startup+80.3003 s]
/proc/loadavg: 2.02 2.01 2.05 3/199 28415
/proc/meminfo: memFree=31502868/32770688 swapFree=67001380/67108860
[pid=28407] ppid=28404 vsize=27228 memory=3868 CPUtime=80.29 cores=4-7
/proc/28407/stat : 28407 (cosoco) R 28404 28407 26332 0 -1 4202496 1367 0 0 0 8029 0 0 0 20 0 1 0 555651699 27881472 967 33554432000 4194304 6211132 140736934184928 140736934182888 5149080 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 17817600 140736934188043 140736934188145 140736934188145 140736934191054 0
/proc/28407/statm: 6807 967 872 493 0 112 0
Current children cumulated CPU time: 80.29 s
Current children cumulated vsize: 27228 KiB
Current children cumulated memory: 3868 KiB
Child status: 0
Real time (s): 80.3332
CPU time (s): 80.3296
CPU user time (s): 80.3276
CPU system time (s): 0.001999
CPU usage (%): 99.9955
Max. virtual memory (cumulated for all children) (KiB): 27228
Max. memory (cumulated for all children) (KiB): 3868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.3276
system time used= 0.001999
maximum resident set size= 3936
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1406
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= 6
involuntary context switches= 62
# summary of solver processes directly reported to runsolver:
# pid: 28407
# total CPU time (s): 80.3296
# total CPU user time (s): 80.3276
# total CPU system time (s): 0.001999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.342641 second user time and 0.627367 second system time
The end
Begin job on node116 at 2019-09-30 00:44:19
IDJOB=4408583
IDBENCH=133093
IDSOLVER=2875
FILE ID=node116/4408583-1569797102
RUNJOBID= node116-1569787351-26364
PBS_JOBID= 21705835
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/MarketSplit/MarketSplit-m1-gp/MarketSplit-08.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408583-1569797102/watcher-4408583-1569797102 -o /tmp/evaluation-result-4408583-1569797102/solver-4408583-1569797102 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408583-1569797102.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= c33b611f783ff62a93dcb2ff1216bc06
RANDOM SEED=2039568997
node116.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 : 2667.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.12
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 : 2667.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.12
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 : 2667.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.12
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 : 2667.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.12
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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB
MemFree: 31504044 kB
MemAvailable: 31855420 kB
Buffers: 190732 kB
Cached: 480868 kB
SwapCached: 3344 kB
Active: 373628 kB
Inactive: 305036 kB
Active(anon): 24680 kB
Inactive(anon): 63420 kB
Active(file): 348948 kB
Inactive(file): 241616 kB
Unevictable: 108916 kB
Mlocked: 108916 kB
SwapTotal: 67108860 kB
SwapFree: 67001380 kB
Dirty: 2844 kB
Writeback: 0 kB
AnonPages: 134064 kB
Mapped: 28004 kB
Shmem: 72416 kB
Slab: 183932 kB
SReclaimable: 153296 kB
SUnreclaim: 30636 kB
KernelStack: 3792 kB
PageTables: 5504 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494204 kB
Committed_AS: 569128 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350212 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 88064 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116160 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 62024 MiB
End job on node116 at 2019-09-30 00:45:40