0.00/0.10 c root propagations : 61
0.00/0.10 c restarts enabled, print stats at every restarts
0.00/0.10 c
0.00/0.10 c
0.00/0.10 c
0.00/0.10 c This is cosoco 2.00 --
0.00/0.10 c
0.00/0.10 c command line: cosoco -lc -model -restarts -stick HOME/instance-4408620-1569809392.xml
0.00/0.10 c ========================================[ Problem Statistics ]===========================================
0.00/0.10 c |
0.00/0.10 c | Parse time : 0.09 s
0.00/0.10 c |
0.00/0.10 c | Variables: 60
0.00/0.10 c | Domain Sizes: 26..26
0.00/0.10 c |
0.00/0.10 c | Constraints: 16
0.00/0.10 c | Arity: 6..10
0.00/0.10 c |
0.00/0.10 c | Types:
0.00/0.10 c | Extension: 16 (nb tuples: 4591..6170) -- (shared: 14)
0.00/0.10 c |
0.00/0.10 c =========================================================================================================
0.00/0.10 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.10/0.21 c 101 223 6735 71541 32 0 4 13 8
0.31/0.34 c 211 451 14350 146528 32 0 4 16 12
0.41/0.50 c 332 682 24338 231748 32 0 7 14 8
0.60/0.65 c 465 928 35058 329922 32 0 11 16 12
0.79/0.81 c 611 1218 45147 430929 32 0 5 16 11
0.89/0.97 c 771 1473 55897 541218 32 0 11 16 12
1.29/1.30 c 947 1903 68321 698122 32 0 3 15 10
1.59/1.68 c 1140 2466 82819 863053 32 0 3 14 8
2.10/2.13 c 1352 2873 96793 1034843 32 0 4 16 8
2.29/2.36 c 1585 3283 114180 1200657 32 0 11 16 12
2.59/2.67 c 1841 3826 134505 1398355 32 0 4 17 12
3.00/3.09 c 2122 4338 153142 1588780 32 0 5 13 7
3.69/3.71 c 2431 5045 174996 1842082 32 0 3 14 8
4.00/4.09 c 2770 5670 194611 2075243 32 0 5 16 11
4.69/4.76 c 3142 6701 220241 2370263 32 0 4 16 10
5.29/5.31 c 3551 7776 247013 2674020 32 0 3 17 11
5.69/5.74 c 4000 8606 276767 2981393 32 0 5 16 12
6.59/6.68 c 4493 9991 312058 3379319 32 0 3 17 10
7.19/7.23 c 5035 11070 352081 3775790 32 0 4 17 12
8.29/8.34 c 5631 12299 393942 4227394 32 0 4 16 8
9.39/9.43 c 6286 14007 441148 4760867 32 0 3 16 9
10.10/10.12 c 7006 15271 486273 5230385 32 0 5 16 11
11.39/11.45 c 7798 16849 537036 5832082 32 0 2 18 10
12.79/12.83 c 8669 18947 600063 6483472 32 0 3 17 9
14.39/14.46 c 9627 21281 667536 7226945 32 0 2 18 11
16.10/16.15 c 10680 23872 747783 8069510 32 0 3 18 10
17.69/17.78 c 11838 25995 838028 8908476 32 0 3 16 8
18.89/18.95 c 13111 28455 933165 9798977 32 0 7 18 13
21.00/21.08 c 14511 31856 1039096 10880169 32 0 3 17 9
23.89/23.90 c 16051 35413 1162718 12149934 32 0 2 17 7
27.10/27.18 c 17745 39321 1291189 13548105 32 0 3 17 8
30.29/30.30 c 19608 44766 1435470 15065596 32 0 3 18 10
32.69/32.75 c 21657 49122 1588460 16572072 32 0 4 19 11
35.00/35.08 c 23910 53616 1747854 18127000 32 0 3 17 11
38.29/38.36 c 26388 59360 1916214 19991546 32 0 3 18 11
42.19/42.24 c 29113 65220 2128687 22024950 32 0 2 17 9
48.29/48.39 c 32110 71535 2338732 24432842 32 0 2 16 7
53.00/53.04 c 35406 78691 2564937 26884922 34 0 2 17 10
56.49/56.55 c 39031 85503 2817823 29415189 34 0 3 17 11
62.00/62.09 c 43018 93589 3139929 32331844 34 0 3 17 9
67.69/67.79 c 47403 105428 3506532 35706937 34 0 3 16 9
74.19/74.23 c 52226 114896 3889489 39253428 34 0 4 17 8
79.89/79.92 c 57531 125709 4228159 42839341 34 0 3 18 11
88.39/88.42 c 63366 139193 4650185 47330518 34 0 3 18 10
96.19/96.27 c 69784 152277 5078378 52007142 34 0 2 22 11
103.79/103.89 c 76843 166399 5568716 56968564 34 0 3 19 12
112.89/112.91 c 84607 182972 6122352 62452965 37 0 2 18 11
125.68/125.74 c 93147 202900 6736999 69061904 37 0 2 18 10
139.28/139.34 c 102541 225199 7383764 75902200 41 0 2 18 10
143.48/143.56 s UNSATISFIABLE
143.48/143.56 c restarts : 49
143.48/143.56 c conflicts : 104447 (728 /sec)
143.48/143.56 c decisions : 229555 (1599 /sec)
143.48/143.56 c propagations : 77542804 (540180 /sec)
143.48/143.56 c root propagations : 61
143.48/143.56 c filter calls : 7517586 (52369 /sec)
143.48/143.56 c useless filter calls : 1733111 (23 %)
143.48/143.56 c Memory used : 28.00 MB
143.48/143.56 c CPU time : 143.55 s
143.48/143.56 c real time : 143.557 s
143.48/143.56
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 (15383 MiB free)
memory of node 1: 16384 MiB (15327 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408620-1569809392/watcher-4408620-1569809392 -o /tmp/evaluation-result-4408620-1569809392/solver-4408620-1569809392 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408620-1569809392.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=31676, runsolver pid=31673
[startup+0.100161 s]*
/proc/loadavg: 2.49 2.15 2.09 3/199 31677
/proc/meminfo: memFree=31446292/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=4964 CPUtime=0.1 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 1486 0 0 0 10 0 0 0 20 0 1 0 556880718 29356032 1241 33554432000 4194304 6211132 140722681275440 140722681271976 5039038 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1241 815 493 0 472 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 4964 KiB
[startup+0.210566 s]*
/proc/loadavg: 2.49 2.15 2.09 3/199 31677
/proc/meminfo: memFree=31446292/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=4964 CPUtime=0.21 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 1488 0 0 0 21 0 0 0 20 0 1 0 556880718 29356032 1241 33554432000 4194304 6211132 140722681275440 140722681271976 5038947 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1241 815 493 0 472 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 4964 KiB
[startup+0.310069 s]*
/proc/loadavg: 2.49 2.15 2.09 3/199 31677
/proc/meminfo: memFree=31446028/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=4964 CPUtime=0.31 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 1488 0 0 0 31 0 0 0 20 0 1 0 556880718 29356032 1241 33554432000 4194304 6211132 140722681275440 140722681271976 5039199 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1241 815 493 0 472 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 4964 KiB
[startup+0.700285 s]
/proc/loadavg: 2.49 2.15 2.09 3/199 31677
/proc/meminfo: memFree=31445904/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=4964 CPUtime=0.69 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 1488 0 0 0 69 0 0 0 20 0 1 0 556880718 29356032 1241 33554432000 4194304 6211132 140722681275440 140722681273400 5039149 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1241 815 493 0 472 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 4964 KiB
[startup+1.50029 s]
/proc/loadavg: 2.49 2.15 2.09 3/199 31677
/proc/meminfo: memFree=31445776/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=4964 CPUtime=1.49 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 1488 0 0 0 149 0 0 0 20 0 1 0 556880718 29356032 1241 33554432000 4194304 6211132 140722681275440 140722681273400 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1241 815 493 0 472 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 4964 KiB
[startup+3.1102 s]
/proc/loadavg: 2.29 2.12 2.08 3/199 31677
/proc/meminfo: memFree=31445776/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=5200 CPUtime=3.1 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 1856 0 0 0 310 0 0 0 20 0 1 0 556880718 29356032 1300 33554432000 4194304 6211132 140722681275440 140722681273400 5039038 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1300 858 493 0 472 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 5200 KiB
[startup+6.30028 s]
/proc/loadavg: 2.29 2.12 2.08 3/199 31677
/proc/meminfo: memFree=31445688/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=5200 CPUtime=6.29 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 2224 0 0 0 629 0 0 0 20 0 1 0 556880718 29356032 1300 33554432000 4194304 6211132 140722681275440 140722681273400 5039121 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1300 858 493 0 472 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 5200 KiB
[startup+12.7003 s]
/proc/loadavg: 2.25 2.11 2.08 3/199 31679
/proc/meminfo: memFree=31445472/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=5200 CPUtime=12.69 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 2592 0 0 0 1269 0 0 0 20 0 1 0 556880718 29356032 1300 33554432000 4194304 6211132 140722681275440 140722681273400 5039132 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1300 858 493 0 472 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 5200 KiB
[startup+25.5003 s]
/proc/loadavg: 2.21 2.11 2.08 3/199 31679
/proc/meminfo: memFree=31445532/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=5200 CPUtime=25.49 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 3329 0 0 0 2549 0 0 0 20 0 1 0 556880718 29356032 1300 33554432000 4194304 6211132 140722681275440 140722681273400 5039121 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1300 858 493 0 472 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 5200 KiB
[startup+51.1101 s]
/proc/loadavg: 2.14 2.10 2.07 3/199 31679
/proc/meminfo: memFree=31444880/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=5200 CPUtime=51.1 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 3696 0 0 0 5110 0 0 0 20 0 1 0 556880718 29356032 1300 33554432000 4194304 6211132 140722681275440 140722681273400 5039022 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1300 858 493 0 472 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 5200 KiB
[startup+102.3 s]
/proc/loadavg: 2.05 2.08 2.07 3/199 31692
/proc/meminfo: memFree=31444420/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=5200 CPUtime=102.29 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 4066 0 0 0 10229 0 0 0 20 0 1 0 556880718 29356032 1300 33554432000 4194304 6211132 140722681275440 140722681273400 5038990 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1300 858 493 0 472 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 5200 KiB
[startup+143.562 s]
# the end of solver process 31676 was just reported to runsolver
# cumulated CPU time of all completed processes: user=143.55 s, system=0.003999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+102.4 s]
/proc/loadavg: 2.05 2.08 2.07 3/199 31692
/proc/meminfo: memFree=31444420/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=5200 CPUtime=102.39 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 4066 0 0 0 10239 0 0 0 20 0 1 0 556880718 29356032 1300 33554432000 4194304 6211132 140722681275440 140722681273400 5039141 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1300 858 493 0 472 0
Current children cumulated CPU time: 102.39 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 5200 KiB
[startup+128 s]*
/proc/loadavg: 2.04 2.08 2.07 3/199 31694
/proc/meminfo: memFree=31444540/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=5200 CPUtime=127.99 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 4431 0 0 0 12799 0 0 0 20 0 1 0 556880718 29356032 1300 33554432000 4194304 6211132 140722681275440 140722681273400 5037868 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1300 858 493 0 472 0
Current children cumulated CPU time: 127.99 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 5200 KiB
[startup+134.4 s]
/proc/loadavg: 2.03 2.07 2.07 3/199 31694
/proc/meminfo: memFree=31444388/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=5200 CPUtime=134.38 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 4431 0 0 0 13438 0 0 0 20 0 1 0 556880718 29356032 1300 33554432000 4194304 6211132 140722681275440 140722681273400 5037823 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1300 858 493 0 472 0
Current children cumulated CPU time: 134.38 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 5200 KiB
[startup+137.6 s]
/proc/loadavg: 2.03 2.07 2.07 3/199 31694
/proc/meminfo: memFree=31444388/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=5200 CPUtime=137.58 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 4431 0 0 0 13758 0 0 0 20 0 1 0 556880718 29356032 1300 33554432000 4194304 6211132 140722681275440 140722681273400 5039118 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1300 858 493 0 472 0
Current children cumulated CPU time: 137.58 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 5200 KiB
[startup+140.8 s]
/proc/loadavg: 2.03 2.07 2.07 3/199 31694
/proc/meminfo: memFree=31444388/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=5200 CPUtime=140.78 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 4431 0 0 0 14078 0 0 0 20 0 1 0 556880718 29356032 1300 33554432000 4194304 6211132 140722681275440 140722681273400 5038990 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1300 858 493 0 472 0
Current children cumulated CPU time: 140.78 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 5200 KiB
[startup+142.4 s]
/proc/loadavg: 2.03 2.07 2.07 3/199 31694
/proc/meminfo: memFree=31444416/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=5200 CPUtime=142.38 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 4431 0 0 0 14238 0 0 0 20 0 1 0 556880718 29356032 1300 33554432000 4194304 6211132 140722681275440 140722681273400 5039132 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1300 858 493 0 472 0
Current children cumulated CPU time: 142.38 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 5200 KiB
[startup+143.2 s]
/proc/loadavg: 2.03 2.07 2.07 3/199 31694
/proc/meminfo: memFree=31444416/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=5200 CPUtime=143.18 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 4431 0 0 0 14318 0 0 0 20 0 1 0 556880718 29356032 1300 33554432000 4194304 6211132 140722681275440 140722681273400 5038999 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1300 858 493 0 472 0
Current children cumulated CPU time: 143.18 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 5200 KiB
[startup+143.4 s]
/proc/loadavg: 2.03 2.07 2.07 3/199 31694
/proc/meminfo: memFree=31444416/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=5200 CPUtime=143.38 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 4431 0 0 0 14338 0 0 0 20 0 1 0 556880718 29356032 1300 33554432000 4194304 6211132 140722681275440 140722681273400 5039540 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1300 858 493 0 472 0
Current children cumulated CPU time: 143.38 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 5200 KiB
[startup+143.5 s]
/proc/loadavg: 2.03 2.07 2.07 3/199 31694
/proc/meminfo: memFree=31444416/32770688 swapFree=67001380/67108860
[pid=31676] ppid=31673 vsize=28668 memory=5200 CPUtime=143.48 cores=4-7
/proc/31676/stat : 31676 (cosoco) R 31673 31676 26332 0 -1 4202496 4431 0 0 0 14348 0 0 0 20 0 1 0 556880718 29356032 1300 33554432000 4194304 6211132 140722681275440 140722681273400 5039121 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 12816384 140722681283595 140722681283697 140722681283697 140722681286606 0
/proc/31676/statm: 7167 1300 858 493 0 472 0
Current children cumulated CPU time: 143.48 s
Current children cumulated vsize: 28668 KiB
Current children cumulated memory: 5200 KiB
Child status: 0
Real time (s): 143.562
CPU time (s): 143.554
CPU user time (s): 143.55
CPU system time (s): 0.003999
CPU usage (%): 99.9943
Max. virtual memory (cumulated for all children) (KiB): 28668
Max. memory (cumulated for all children) (KiB): 5200
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 143.55
system time used= 0.003999
maximum resident set size= 5268
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4471
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= 13
involuntary context switches= 110
# summary of solver processes directly reported to runsolver:
# pid: 31676
# total CPU time (s): 143.554
# total CPU user time (s): 143.55
# total CPU system time (s): 0.003999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.630578 second user time and 1.02031 second system time
The end
Begin job on node116 at 2019-09-30 04:09:10
IDJOB=4408620
IDBENCH=140435
IDSOLVER=2875
FILE ID=node116/4408620-1569809392
RUNJOBID= node116-1569787351-26364
PBS_JOBID= 21705835
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/Crossword/Crossword-m1c-words-vg/Crossword-m1c-words-vg-6-10.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408620-1569809392/watcher-4408620-1569809392 -o /tmp/evaluation-result-4408620-1569809392/solver-4408620-1569809392 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node116-1569787351-26364 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408620-1569809392.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 3776c3f00ca9fe967794d57d1bcace41
RANDOM SEED=695538169
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: 31447432 kB
MemAvailable: 31814668 kB
Buffers: 196172 kB
Cached: 492020 kB
SwapCached: 3344 kB
Active: 416420 kB
Inactive: 317088 kB
Active(anon): 63580 kB
Inactive(anon): 63420 kB
Active(file): 352840 kB
Inactive(file): 253668 kB
Unevictable: 108916 kB
Mlocked: 108916 kB
SwapTotal: 67108860 kB
SwapFree: 67001380 kB
Dirty: 2756 kB
Writeback: 0 kB
AnonPages: 152912 kB
Mapped: 28168 kB
Shmem: 72416 kB
Slab: 183720 kB
SReclaimable: 153124 kB
SUnreclaim: 30596 kB
KernelStack: 3488 kB
PageTables: 5944 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494204 kB
Committed_AS: 608240 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350212 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 104448 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 04:11:33