0.00/0.01 c
0.00/0.01 c This is cosoco 2.00 --
0.00/0.01 c
0.00/0.01 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396935-1568578485.xml
0.00/0.01 c intension eq(add(x[0][0],2),x[1][0]) -> extension (support ? 1) - 88tuples
0.00/0.01 c intension eq(add(x[0][1],3),x[1][1]) -> extension (support ? 1) - 87tuples
0.00/0.01 c intension eq(add(x[0][2],4),x[1][2]) -> extension (support ? 1) - 86tuples
0.00/0.02 c intension eq(add(x[0][3],5),x[1][3]) -> extension (support ? 1) - 85tuples
0.00/0.02 c intension eq(add(x[0][4],6),x[1][4]) -> extension (support ? 1) - 84tuples
0.00/0.02 c intension eq(add(x[0][5],7),x[1][5]) -> extension (support ? 1) - 83tuples
0.00/0.03 c intension eq(add(x[0][6],8),x[1][6]) -> extension (support ? 1) - 82tuples
0.00/0.03 c intension eq(add(x[0][7],9),x[1][7]) -> extension (support ? 1) - 81tuples
0.00/0.04 c intension eq(add(x[0][8],10),x[1][8]) -> extension (support ? 1) - 80tuples
0.00/0.04 c intension eq(add(x[0][9],11),x[1][9]) -> extension (support ? 1) - 79tuples
0.00/0.04 c intension eq(add(x[0][10],12),x[1][10]) -> extension (support ? 1) - 78tuples
0.00/0.05 c intension eq(add(x[0][11],13),x[1][11]) -> extension (support ? 1) - 77tuples
0.00/0.05 c intension eq(add(x[0][12],14),x[1][12]) -> extension (support ? 1) - 76tuples
0.00/0.05 c intension eq(add(x[0][13],15),x[1][13]) -> extension (support ? 1) - 75tuples
0.00/0.06 c intension eq(add(x[0][14],16),x[1][14]) -> extension (support ? 1) - 74tuples
0.00/0.06 c intension eq(add(x[0][15],17),x[1][15]) -> extension (support ? 1) - 73tuples
0.00/0.07 c intension eq(add(x[0][16],18),x[1][16]) -> extension (support ? 1) - 72tuples
0.00/0.07 c intension eq(add(x[0][17],19),x[1][17]) -> extension (support ? 1) - 71tuples
0.00/0.07 c intension eq(add(x[0][18],20),x[1][18]) -> extension (support ? 1) - 70tuples
0.00/0.08 c intension eq(add(x[0][19],21),x[1][19]) -> extension (support ? 1) - 69tuples
0.00/0.08 c intension eq(add(x[0][20],22),x[1][20]) -> extension (support ? 1) - 68tuples
0.00/0.08 c intension eq(add(x[0][21],23),x[1][21]) -> extension (support ? 1) - 67tuples
0.00/0.09 c intension eq(add(x[0][22],24),x[1][22]) -> extension (support ? 1) - 66tuples
0.00/0.09 c intension eq(add(x[0][23],25),x[1][23]) -> extension (support ? 1) - 65tuples
0.00/0.10 c intension eq(add(x[0][24],26),x[1][24]) -> extension (support ? 1) - 64tuples
0.00/0.10 c intension eq(add(x[0][25],27),x[1][25]) -> extension (support ? 1) - 63tuples
0.10/0.11 c intension eq(add(x[0][26],28),x[1][26]) -> extension (support ? 1) - 62tuples
0.10/0.11 c intension eq(add(x[0][27],29),x[1][27]) -> extension (support ? 1) - 61tuples
0.10/0.11 c intension eq(add(x[0][28],30),x[1][28]) -> extension (support ? 1) - 60tuples
0.10/0.12 c intension eq(add(x[0][29],31),x[1][29]) -> extension (support ? 1) - 59tuples
0.10/0.12 c intension eq(add(x[1][0],2),x[2][0]) -> extension (support ? 1) - 88tuples
0.10/0.13 c intension eq(add(x[1][1],3),x[2][1]) -> extension (support ? 1) - 87tuples
0.10/0.13 c intension eq(add(x[1][2],4),x[2][2]) -> extension (support ? 1) - 86tuples
0.10/0.13 c intension eq(add(x[1][3],5),x[2][3]) -> extension (support ? 1) - 85tuples
0.10/0.14 c intension eq(add(x[1][4],6),x[2][4]) -> extension (support ? 1) - 84tuples
0.10/0.14 c intension eq(add(x[1][5],7),x[2][5]) -> extension (support ? 1) - 83tuples
0.10/0.14 c intension eq(add(x[1][6],8),x[2][6]) -> extension (support ? 1) - 82tuples
0.10/0.15 c intension eq(add(x[1][7],9),x[2][7]) -> extension (support ? 1) - 81tuples
0.10/0.15 c intension eq(add(x[1][8],10),x[2][8]) -> extension (support ? 1) - 80tuples
0.10/0.16 c intension eq(add(x[1][9],11),x[2][9]) -> extension (support ? 1) - 79tuples
0.10/0.16 c intension eq(add(x[1][10],12),x[2][10]) -> extension (support ? 1) - 78tuples
0.10/0.16 c intension eq(add(x[1][11],13),x[2][11]) -> extension (support ? 1) - 77tuples
0.10/0.17 c intension eq(add(x[1][12],14),x[2][12]) -> extension (support ? 1) - 76tuples
0.10/0.17 c intension eq(add(x[1][13],15),x[2][13]) -> extension (support ? 1) - 75tuples
0.10/0.17 c intension eq(add(x[1][14],16),x[2][14]) -> extension (support ? 1) - 74tuples
0.10/0.18 c intension eq(add(x[1][15],17),x[2][15]) -> extension (support ? 1) - 73tuples
0.10/0.18 c intension eq(add(x[1][16],18),x[2][16]) -> extension (support ? 1) - 72tuples
0.10/0.19 c intension eq(add(x[1][17],19),x[2][17]) -> extension (support ? 1) - 71tuples
0.10/0.19 c intension eq(add(x[1][18],20),x[2][18]) -> extension (support ? 1) - 70tuples
0.10/0.19 c intension eq(add(x[1][19],21),x[2][19]) -> extension (support ? 1) - 69tuples
0.10/0.20 c intension eq(add(x[1][20],22),x[2][20]) -> extension (support ? 1) - 68tuples
0.10/0.20 c intension eq(add(x[1][21],23),x[2][21]) -> extension (support ? 1) - 67tuples
0.10/0.21 c intension eq(add(x[1][22],24),x[2][22]) -> extension (support ? 1) - 66tuples
0.10/0.21 c intension eq(add(x[1][23],25),x[2][23]) -> extension (support ? 1) - 65tuples
0.10/0.21 c intension eq(add(x[1][24],26),x[2][24]) -> extension (support ? 1) - 64tuples
0.20/0.22 c intension eq(add(x[1][25],27),x[2][25]) -> extension (support ? 1) - 63tuples
0.20/0.22 c intension eq(add(x[1][26],28),x[2][26]) -> extension (support ? 1) - 62tuples
0.20/0.22 c intension eq(add(x[1][27],29),x[2][27]) -> extension (support ? 1) - 61tuples
0.20/0.23 c intension eq(add(x[1][28],30),x[2][28]) -> extension (support ? 1) - 60tuples
0.20/0.23 c intension eq(add(x[1][29],31),x[2][29]) -> extension (support ? 1) - 59tuples
0.20/0.23 c root propagations : 2970
0.20/0.23 c restarts enabled, print stats at every restarts
0.20/0.23 c
0.20/0.23 c
0.20/0.23 c ========================================[ Problem Statistics ]===========================================
0.20/0.23 c |
0.20/0.23 c | Parse time : 0.22 s
0.20/0.23 c |
0.20/0.23 c | Variables: 90
0.20/0.23 c | Domain Sizes: 90..90
0.20/0.23 c |
0.20/0.23 c | Constraints: 61
0.20/0.23 c | Arity: 2..90 -- Binary: 60
0.20/0.23 c |
0.20/0.23 c | Types:
0.20/0.23 c | All Different: 1
0.20/0.23 c | Extension: 60 (nb tuples: 59..88) -- (shared: 0)
0.20/0.23 c |
0.20/0.23 c =========================================================================================================
0.20/0.23 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.30/0.34 c 101 521 14143 81342 90 0 37 55 46
0.41/0.45 c 211 985 28477 173601 90 0 40 55 47
0.51/0.58 c 332 1529 45633 278760 90 0 43 61 49
0.69/0.75 c 465 2190 66735 393760 90 0 37 55 46
0.89/0.91 c 611 2759 86538 512886 90 0 43 55 47
0.99/1.08 c 771 3375 109031 636237 90 0 40 55 47
1.29/1.30 c 947 4175 136296 782543 90 0 40 58 48
1.48/1.51 c 1140 5046 164088 936923 90 0 40 55 46
1.48/6.56 c 1352 5897 189157 1102603 90 0 40 58 47
1.48/6.56 c 1585 6877 220821 1296788 90 0 37 58 46
1.48/6.56 c 1841 8060 258575 1524165 90 0 40 61 47
1.48/6.56 c 2122 9229 297259 1760788 90 0 40 58 46
1.48/6.56 c 2431 10381 335379 1998361 90 0 40 58 47
1.48/6.56 c 2770 11743 378815 2257837 90 0 37 58 47
1.48/6.56 c 3142 13204 428981 2550055 90 0 31 61 47
1.48/6.56 c 3551 14999 482271 2875015 90 0 34 58 47
1.48/6.56 c 4000 17008 546955 3252509 90 0 40 58 48
1.48/6.56 c 4493 19001 611911 3637003 90 0 34 58 47
1.48/6.56 c 5035 21367 683446 4052703 90 0 40 61 48
1.48/6.56 c 5631 23784 765363 4543980 90 0 37 55 47
6.69/6.78 c 6286 26557 855415 5105147 90 0 37 61 46
7.49/7.51 c 7006 29578 952384 5677584 90 0 28 58 47
8.19/8.26 c 7798 32563 1051593 6287932 90 0 31 58 47
8.99/9.06 c 8669 35951 1157613 6949667 90 0 31 58 44
9.89/9.96 c 9627 39981 1278676 7712833 90 0 34 58 46
10.79/10.85 c 10680 44097 1397412 8444908 90 0 34 52 44
11.99/12.01 c 11838 48987 1551173 9370064 90 0 34 55 45
13.19/13.27 c 13111 53986 1717211 10356954 90 0 37 58 46
14.89/14.93 c 14511 60174 1934150 11665016 90 0 37 64 46
16.49/16.56 c 16051 66502 2149017 12929807 90 0 37 61 48
18.29/18.39 c 17745 73449 2391883 14347331 90 0 37 61 47
20.29/20.35 c 19608 81030 2649263 15892437 90 0 37 58 46
22.19/22.23 c 21657 89130 2898695 17317360 90 0 37 58 47
24.59/24.60 c 23910 98352 3209269 19129637 90 0 37 58 47
26.89/26.97 c 26388 108204 3524250 20989164 90 0 34 61 47
29.79/29.82 c 29113 119131 3899847 23272118 90 0 34 58 47
32.39/32.45 c 32110 130840 4246490 25488470 90 0 34 58 45
35.79/35.87 c 35406 144099 4696245 28287541 90 0 31 61 47
39.69/39.70 c 39031 159589 5203464 31280395 90 0 37 64 48
43.39/43.47 c 43018 176254 5703990 34398480 90 0 37 64 48
47.69/47.78 c 47403 194694 6277306 38089061 90 0 34 61 47
52.49/52.57 c 52226 214118 6915723 41939331 90 0 25 61 48
58.09/58.13 c 57531 236259 7653751 46197484 90 0 34 61 48
63.69/63.74 c 63366 259335 8396337 50630688 90 0 34 61 46
70.49/70.59 c 69784 286948 9299421 55783510 90 0 34 61 47
77.39/77.49 c 76843 315964 10226204 61251455 90 0 34 64 49
85.39/85.46 c 84607 348097 11280874 67423573 90 0 34 64 48
93.89/93.99 c 93147 382104 12409524 74304916 90 0 37 64 48
103.59/103.68 c 102541 419110 13696187 81510660 90 0 37 64 49
113.89/113.90 c 112874 462920 15065147 89335481 90 0 34 64 48
125.89/125.95 c 124240 508237 16645709 98562859 90 0 34 61 47
137.39/137.47 c 136742 558713 18171798 107736003 90 0 31 64 46
152.29/152.32 c 150494 616328 20116864 119430157 90 0 34 64 48
167.39/167.48 c 165621 679803 22131949 131090365 90 0 31 64 47
183.10/183.16 c 182260 750769 24236644 143907483 90 0 28 67 48
200.00/200.02 c 200562 829341 26481254 157564462 90 0 31 61 46
219.69/219.79 c 220694 913589 29099379 173542995 90 0 34 64 48
243.19/243.24 c 242839 1003021 32173992 191302747 90 0 34 67 48
270.10/270.13 c 267198 1101825 35719089 211476213 90 0 37 67 49
297.79/297.80 c 293992 1212211 39366304 232977626 90 0 34 64 48
326.49/326.53 c 323465 1335707 43184907 255898449 90 0 31 67 48
359.79/359.88 c 355885 1471021 47552156 281970866 90 0 34 61 47
394.79/394.84 c 391547 1620203 52186411 309077722 90 0 28 64 47
436.39/436.42 c 430775 1783376 57658880 341952178 90 0 31 64 48
481.09/481.19 c 473925 1962906 63629325 376165344 90 0 31 67 49
528.89/528.97 c 521390 2149628 69945909 413963208 90 0 34 64 48
581.19/581.26 c 573601 2370814 76876216 453683381 90 0 34 64 48
640.39/640.43 c 631033 2602294 84681549 498403314 90 0 31 67 48
707.99/708.10 c 694208 2864102 93531190 549923284 90 0 31 64 47
776.99/777.06 c 763700 3152024 102603611 603684660 90 0 31 64 47
848.38/848.45 c 840141 3467865 112140637 660408206 90 0 31 67 48
936.19/936.27 c 924226 3808405 123782501 726567564 90 0 34 67 49
1034.49/1034.53 c 1016719 4203085 136668737 801354059 90 0 31 64 47
1143.19/1143.28 c 1118461 4644424 150964734 882338391 90 0 31 70 47
1256.69/1256.78 c 1230377 5109581 165935684 973582705 90 0 34 67 48
1378.20/1378.28 c 1353484 5621878 181943848 1069716878 90 0 31 67 47
1518.90/1518.95 c 1488901 6180811 200570755 1177595822 90 0 31 67 48
1670.80/1670.87 c 1637859 6829905 220685060 1294327069 90 0 31 64 47
1869.30/1869.31 c 1801712 7524692 246923334 1432739104 90 0 31 73 51
2072.60/2072.63 c 1981950 8286912 273758231 1581906803 90 0 31 70 49
2313.11/2313.14 c 2180211 9124806 305451492 1750846792 90 0 31 67 51
2520.00/2520.00
2520.00/2520.00 c *** INTERRUPTED ***
2520.00/2520.00 c restarts : 81
2520.00/2520.00 c conflicts : 2347231 (931 /sec)
2520.00/2520.00 c decisions : 9829153 (3901 /sec)
2520.00/2520.00 c propagations : 1896007013 (752411 /sec)
2520.00/2520.00 c root propagations : 2970
2520.00/2520.00 c filter calls : 332711245 (132033 /sec)
2520.00/2520.00 c useless filter calls : 53347462 (16 %)
2520.00/2520.00 c Memory used : 28.30 MB
2520.00/2520.00 c CPU time : 2519.91 s
2520.00/2520.00 c real time : 2520 s
2520.00/2520.00
2520.00/2520.00 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 (13773 MiB free)
memory of node 1: 16384 MiB (13378 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396935-1568578485/watcher-4396935-1568578485 -o /tmp/evaluation-result-4396935-1568578485/solver-4396935-1568578485 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1568572744-4121 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396935-1568578485.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=5156, runsolver pid=5153
Current StackSize limit: 8192 KiB
[startup+0.100751 s]*
/proc/loadavg: 2.05 2.01 2.03 3/201 5157
/proc/meminfo: memFree=27802976/32770624 swapFree=66959236/67108860
[pid=5156] ppid=5153 vsize=28412 memory=4640 CPUtime=0.1 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 3327 0 0 0 10 0 0 0 20 0 1 0 433788700 29093888 1160 33554432000 4194304 6211092 140730068178048 140730068172952 5012856 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7103 1160 832 493 0 408 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28412 KiB
Current children cumulated memory: 4640 KiB
[startup+0.209963 s]*
/proc/loadavg: 2.05 2.01 2.03 3/201 5157
/proc/meminfo: memFree=27802976/32770624 swapFree=66959236/67108860
[pid=5156] ppid=5153 vsize=28700 memory=5208 CPUtime=0.2 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 3726 0 0 0 20 0 0 0 20 0 1 0 433788700 29388800 1302 33554432000 4194304 6211092 140730068178048 140730068172952 139807894789216 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7175 1302 832 493 0 480 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28700 KiB
Current children cumulated memory: 5208 KiB
[startup+0.309761 s]*
/proc/loadavg: 2.05 2.01 2.03 3/201 5157
/proc/meminfo: memFree=27802708/32770624 swapFree=66959236/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5468 CPUtime=0.3 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 3813 0 0 0 30 0 0 0 20 0 1 0 433788700 29675520 1367 33554432000 4194304 6211092 140730068178048 140730068172952 5074429 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1367 850 493 0 550 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5468 KiB
[startup+0.700302 s]
/proc/loadavg: 2.13 2.03 2.04 3/201 5157
/proc/meminfo: memFree=27802708/32770624 swapFree=66959236/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5468 CPUtime=0.69 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 3813 0 0 0 68 1 0 0 20 0 1 0 433788700 29675520 1367 33554432000 4194304 6211092 140730068178048 140730068172952 5082411 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1367 850 493 0 550 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5468 KiB
[startup+1.50032 s]
/proc/loadavg: 2.13 2.03 2.04 3/201 5157
/proc/meminfo: memFree=27802236/32770624 swapFree=66959236/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5468 CPUtime=1.48 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 3813 0 0 0 145 3 0 0 20 0 1 0 433788700 29675520 1367 33554432000 4194304 6211092 140730068178048 140730068176008 5076273 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1367 850 493 0 550 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5468 KiB
[startup+6.66375 s]
/proc/loadavg: 2.13 2.03 2.04 3/201 5157
/proc/meminfo: memFree=27802236/32770624 swapFree=66959236/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=6.65 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 4361 0 0 0 656 9 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5081426 0 0 4096 8405026 0 0 0 17 6 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 6.65 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+6.70073 s]
/proc/loadavg: 2.13 2.03 2.04 3/201 5157
/proc/meminfo: memFree=27802236/32770624 swapFree=66959236/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=6.69 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 4361 0 0 0 660 9 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5079295 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 6.69 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+12.7003 s]
/proc/loadavg: 2.56 2.13 2.07 4/203 5160
/proc/meminfo: memFree=28212788/32770624 swapFree=66959712/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=12.69 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 4635 0 0 0 1260 9 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5078752 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+25.5003 s]
/proc/loadavg: 2.48 2.12 2.07 3/200 5160
/proc/meminfo: memFree=28638212/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=25.49 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 5181 0 0 0 2540 9 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5193728 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+51.1093 s]
/proc/loadavg: 2.29 2.11 2.06 3/200 5163
/proc/meminfo: memFree=28637896/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=51.09 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 5460 0 0 0 5100 9 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5075719 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+102.3 s]
/proc/loadavg: 2.13 2.10 2.06 3/199 5167
/proc/meminfo: memFree=28637848/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=102.29 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 5736 0 0 0 10220 9 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5081349 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.08 2.05 3/199 5171
/proc/meminfo: memFree=28637992/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=162.29 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 6012 0 0 0 16220 9 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5078923 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.06 2.05 3/199 5175
/proc/meminfo: memFree=28637504/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=222.29 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 6288 0 0 0 22220 9 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5078791 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/199 5181
/proc/meminfo: memFree=28638136/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=282.29 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 6564 0 0 0 28220 9 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5081382 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 5185
/proc/meminfo: memFree=28637688/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=342.29 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 6839 0 0 0 34220 9 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5075237 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 5197
/proc/meminfo: memFree=28638476/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=402.29 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 7115 0 0 0 40220 9 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5075237 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 5203
/proc/meminfo: memFree=28638228/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=462.29 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 7387 0 0 0 46220 9 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5075228 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
################
# More data... #
################
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 5322
/proc/meminfo: memFree=28637444/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=1782.3 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 12839 0 0 0 178220 10 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5079253 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5326
/proc/meminfo: memFree=28638116/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=1842.3 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 13050 0 0 0 184220 10 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5074773 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5332
/proc/meminfo: memFree=28637040/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=1902.3 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 13324 0 0 0 190220 10 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5074368 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5336
/proc/meminfo: memFree=28638052/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=1962.3 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 13537 0 0 0 196220 10 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5079352 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+2022.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 5342
/proc/meminfo: memFree=28637312/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=2022.3 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 13745 0 0 0 202220 10 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5193696 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 5346
/proc/meminfo: memFree=28637344/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=2082.3 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 14021 0 0 0 208220 10 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5079328 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 5350
/proc/meminfo: memFree=28637264/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=2142.3 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 14225 0 0 0 214220 10 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5081375 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 5425
/proc/meminfo: memFree=28620080/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=2202.3 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 14429 0 0 0 220220 10 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5082487 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5429
/proc/meminfo: memFree=28620076/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=2262.3 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 14639 0 0 0 226220 10 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5081706 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 5433
/proc/meminfo: memFree=28619772/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=2322.3 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 14913 0 0 0 232220 10 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5082818 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/201 5439
/proc/meminfo: memFree=28619720/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=2382.3 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 15117 0 0 0 238220 10 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5078894 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 5443
/proc/meminfo: memFree=28619208/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=2442.3 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 15321 0 0 0 244220 10 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5078791 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 2442.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5448
/proc/meminfo: memFree=28619124/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=2502.3 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 15533 0 0 0 250220 10 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5075208 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 2502.3 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 5451
/proc/meminfo: memFree=28619032/32770624 swapFree=66959728/67108860
[pid=5156] ppid=5153 vsize=28980 memory=5556 CPUtime=2520 cores=0,2,4,6
/proc/5156/stat : 5156 (cosoco) R 5153 5156 4090 0 -1 4202496 15736 0 0 0 251990 10 0 0 20 0 1 0 433788700 29675520 1389 33554432000 4194304 6211092 140730068178048 140730068176008 5074593 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 40615936 140730068186123 140730068186225 140730068186225 140730068189134 0
/proc/5156/statm: 7245 1389 870 493 0 550 0
Current children cumulated CPU time: 2520 s
Current children cumulated vsize: 28980 KiB
Current children cumulated memory: 5556 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 5156 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.91 s, system=0.108 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.02
CPU user time (s): 2519.91
CPU system time (s): 0.108
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 28980
Max. memory (cumulated for all children) (KiB): 5556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.91
system time used= 0.108
maximum resident set size= 5620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15785
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= 14
involuntary context switches= 2298
# summary of solver processes directly reported to runsolver:
# pid: 5156
# total CPU time (s): 2520.02
# total CPU user time (s): 2519.91
# total CPU system time (s): 0.108
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.85254 second user time and 15.8808 second system time
The end