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-4408588-1569791871.xml
0.00/0.00 c intension eq(add(p[1],2),p[0]) -> extension (support ? 1) - 46tuples
0.00/0.00 c intension eq(add(p[3],3),p[2]) -> extension (support ? 1) - 45tuples
0.00/0.01 c intension eq(add(p[5],4),p[4]) -> extension (support ? 1) - 44tuples
0.00/0.01 c intension eq(add(p[7],5),p[6]) -> extension (support ? 1) - 43tuples
0.00/0.01 c intension eq(add(p[9],6),p[8]) -> extension (support ? 1) - 42tuples
0.00/0.01 c intension eq(add(p[11],7),p[10]) -> extension (support ? 1) - 41tuples
0.00/0.01 c intension eq(add(p[13],8),p[12]) -> extension (support ? 1) - 40tuples
0.00/0.01 c intension eq(add(p[15],9),p[14]) -> extension (support ? 1) - 39tuples
0.00/0.01 c intension eq(add(p[17],10),p[16]) -> extension (support ? 1) - 38tuples
0.00/0.02 c intension eq(add(p[19],11),p[18]) -> extension (support ? 1) - 37tuples
0.00/0.02 c intension eq(add(p[21],12),p[20]) -> extension (support ? 1) - 36tuples
0.00/0.02 c intension eq(add(p[23],13),p[22]) -> extension (support ? 1) - 35tuples
0.00/0.02 c intension eq(add(p[25],14),p[24]) -> extension (support ? 1) - 34tuples
0.00/0.02 c intension eq(add(p[27],15),p[26]) -> extension (support ? 1) - 33tuples
0.00/0.02 c intension eq(add(p[29],16),p[28]) -> extension (support ? 1) - 32tuples
0.00/0.02 c intension eq(add(p[31],17),p[30]) -> extension (support ? 1) - 31tuples
0.00/0.03 c intension eq(add(p[33],18),p[32]) -> extension (support ? 1) - 30tuples
0.00/0.03 c intension eq(add(p[35],19),p[34]) -> extension (support ? 1) - 29tuples
0.00/0.03 c intension eq(add(p[37],20),p[36]) -> extension (support ? 1) - 28tuples
0.00/0.03 c intension eq(add(p[39],21),p[38]) -> extension (support ? 1) - 27tuples
0.00/0.03 c intension eq(add(p[41],22),p[40]) -> extension (support ? 1) - 26tuples
0.00/0.03 c intension eq(add(p[43],23),p[42]) -> extension (support ? 1) - 25tuples
0.00/0.03 c intension eq(add(p[45],24),p[44]) -> extension (support ? 1) - 24tuples
0.00/0.04 c intension eq(add(p[47],25),p[46]) -> extension (support ? 1) - 23tuples
0.00/0.04 c root propagations : 648
0.00/0.04 c restarts enabled, print stats at every restarts
0.00/0.04 c
0.00/0.04 c
0.00/0.04 c ========================================[ Problem Statistics ]===========================================
0.00/0.04 c |
0.00/0.04 c | Parse time : 0.04 s
0.00/0.04 c |
0.00/0.04 c | Variables: 96
0.00/0.04 c | Domain Sizes: 24..48
0.00/0.04 c |
0.00/0.04 c | Constraints: 72
0.00/0.04 c | Arity: 2..49 -- Binary: 24
0.00/0.04 c |
0.00/0.04 c | Types:
0.00/0.04 c | Element Constant: 48
0.00/0.04 c | Extension: 24 (nb tuples: 23..46) -- (shared: 0)
0.00/0.04 c |
0.00/0.04 c =========================================================================================================
0.00/0.04 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.04 c 101 392 38201 8154 48 0 66 80 72
0.00/0.04 c 211 622 61864 16628 48 0 34 48 45
0.00/0.04 c 332 875 95183 31503 48 0 34 39 35
0.00/0.05 c 465 1146 125033 43283 48 0 35 40 36
0.00/0.05 c 611 1460 156147 55546 48 0 35 41 37
0.00/0.05 c 771 1796 195533 71598 48 0 36 41 36
0.00/0.06 c 947 2160 236292 88386 48 0 35 39 37
0.00/0.06 c 1140 2585 291891 111790 48 0 35 40 36
0.00/0.06 c 1352 2897 322070 120203 48 0 36 38 37
0.00/0.07 c 1585 3388 381568 142012 48 0 34 41 36
0.00/0.07 c 1841 3770 423589 158017 48 0 34 38 36
0.00/0.08 c 2122 4173 459762 173186 48 0 37 38 36
0.00/0.08 c 2431 4712 510933 192654 48 0 37 38 36
0.00/0.09 c 2770 5373 568237 217288 48 0 35 38 37
0.00/0.09 c 3142 5875 629974 239542 48 0 35 38 35
0.00/0.10 c 3551 6374 686252 261629 48 0 33 38 36
0.00/0.10 c 4000 6928 740138 278247 48 0 32 38 37
0.10/0.11 c 4493 7813 843308 317458 48 0 35 36 35
0.10/0.12 c 5035 8599 935709 354360 48 0 34 37 36
0.10/0.13 c 5631 9611 1021089 380804 48 0 35 37 36
0.10/0.14 c 6286 10799 1134632 420091 48 0 33 37 35
0.10/0.15 c 7006 12092 1309798 488032 48 0 33 37 34
0.10/0.17 c 7798 13532 1499484 568832 48 0 34 38 35
0.10/0.18 c 8669 15265 1653618 628273 48 0 36 38 37
0.10/0.19 c 9627 16618 1775024 664950 48 0 36 37 36
0.10/0.20 c 10680 17815 1902678 700582 48 0 34 38 37
0.21/0.21 c 11838 19280 2088653 768582 48 0 35 38 36
0.21/0.23 c 13111 20845 2264843 838599 48 0 33 37 35
0.21/0.24 c 14511 22517 2415250 896071 48 0 36 36 35
0.21/0.26 c 16051 24283 2632347 965075 48 0 33 37 35
0.21/0.27 c 17745 26341 2810539 1023181 48 0 35 36 35
0.21/0.29 c 19608 28958 3054621 1091798 48 0 35 37 36
0.31/0.32 c 21657 31889 3429082 1234340 48 0 32 38 36
0.31/0.34 c 23910 34624 3663718 1328639 48 0 34 38 37
0.31/0.36 c 26388 37535 3935412 1422618 48 0 30 38 36
0.31/0.38 c 29113 40667 4213838 1543101 48 0 31 38 36
0.31/0.41 c 32110 44102 4545092 1676506 48 0 31 38 36
0.41/0.44 c 35406 48454 4902650 1829617 48 0 32 38 36
0.41/0.47 c 39031 52648 5329683 1961508 48 0 33 38 35
0.41/0.51 c 43018 57040 5762200 2133025 48 0 34 38 35
0.51/0.56 c 47403 63333 6488967 2390746 48 0 32 39 36
0.51/0.60 c 52226 69206 6956466 2547193 48 0 34 36 35
0.60/0.66 c 57531 75174 7708319 2782988 48 0 33 37 34
0.69/0.72 c 63366 82286 8495053 3073655 48 0 34 37 35
0.69/0.79 c 69784 89202 9472452 3399548 48 0 35 37 35
0.79/0.89 c 76843 98586 10670787 3878762 48 0 33 40 35
0.89/0.97 c 84607 108118 11637413 4219458 48 0 34 37 35
1.00/1.05 c 93147 117720 12660951 4537267 48 0 35 39 36
1.10/1.14 c 102541 129503 13934839 4968666 48 0 34 41 37
1.19/1.26 c 112874 143067 15359107 5506101 48 0 35 39 37
1.29/1.36 c 124240 156066 16714371 6025823 48 0 34 38 36
1.39/1.47 c 136742 169930 18086722 6491487 48 0 35 37 36
1.59/1.61 c 150494 186275 19928799 7155354 48 0 33 39 35
1.69/1.73 c 165621 202987 21588256 7729046 48 0 34 39 37
1.79/1.85 c 182260 222666 23208848 8155828 48 0 34 39 37
2.00/2.02 c 200562 244379 25384584 8830576 48 0 35 39 36
2.19/2.25 c 220694 270270 28239661 9953856 48 0 33 39 36
2.49/2.51 c 242839 299510 31775297 11125130 48 0 35 38 36
2.59/2.69 c 267198 326526 34408765 11943861 48 0 34 38 36
3.00/3.07 c 293992 367351 39054831 13720452 48 0 32 39 34
3.29/3.33 c 323465 400308 42436244 14855179 48 0 34 36 35
3.59/3.66 c 355885 436852 46785421 16216218 48 0 33 38 35
4.00/4.06 c 391547 482803 51931222 18023165 48 0 35 37 36
4.59/4.65 c 430775 538496 58908939 20737225 48 0 32 39 34
5.19/5.21 c 473925 592769 65502923 23227736 48 0 31 38 34
5.69/5.75 c 521390 652436 71985943 26078770 48 0 32 37 34
6.10/6.19 c 573601 713504 77721571 28057126 48 0 34 38 35
6.59/6.68 c 631033 779639 84335278 30044747 48 0 35 37 36
7.19/7.22 c 694208 860792 91427353 32637273 48 0 34 38 36
7.89/7.92 c 763700 942266 101214743 35378328 48 0 31 37 35
8.59/8.68 c 840141 1031430 110729903 39151220 48 0 33 37 35
9.60/9.61 c 924226 1124148 121881533 43728769 48 0 33 38 34
10.40/10.49 c 1016719 1229980 133080429 48008673 48 0 32 37 35
11.40/11.46 c 1118461 1346879 145170927 52691479 48 0 31 40 35
12.80/12.82 c 1230377 1503607 162539083 59038340 48 0 32 40 35
14.40/14.44 c 1353484 1674221 183059974 66930218 48 0 31 40 34
15.90/15.90 c 1488901 1850455 201873437 73790808 48 0 33 36 35
17.30/17.36 c 1637859 2018686 222547569 79619149 48 0 36 40 39
18.80/18.84 c 1801712 2216936 241569239 86257626 48 0 32 38 36
20.70/20.76 c 1981950 2453104 269116319 92791970 48 0 32 38 35
23.11/23.15 c 2180211 2713369 299913697 104126320 48 0 33 41 35
24.90/24.91 c 2398298 2957494 323776411 111007212 48 0 33 36 35
27.11/27.13 c 2638193 3274827 352272101 121149180 48 0 33 37 35
29.20/29.20 c 2902077 3568693 379846307 130072331 48 0 31 36 35
31.80/31.82 c 3192349 3920022 414190453 142133907 48 0 31 38 36
34.30/34.36 c 3511648 4300508 448837209 151955424 48 0 33 38 35
37.30/37.37 c 3862876 4785241 490027066 164612630 48 0 32 38 36
41.70/41.75 c 4249226 5286776 545807606 184702834 48 0 31 39 34
45.80/45.87 c 4674211 5748215 599032428 205311238 48 0 31 39 34
50.30/50.38 c 5141694 6272845 657498203 225279186 48 0 32 38 36
55.11/55.14 c 5655925 6845354 716975141 248799989 48 0 33 38 35
59.20/59.28 c 6221579 7453464 774494407 264237615 48 0 34 38 35
65.11/65.16 c 6843798 8159928 857410480 288195841 48 0 32 38 35
71.50/71.57 c 7528238 8969066 942077701 313818676 48 0 32 40 35
76.90/76.91 c 8281122 9808182 1012993183 334827304 48 0 34 37 36
83.11/83.12 c 9109294 10728027 1091962563 361926136 48 0 34 37 36
91.11/91.12 c 10020283 11732540 1200570829 393466037 48 0 32 37 35
100.71/100.78 c 11022370 12966456 1328901170 432838341 48 0 33 39 35
110.81/110.89 c 12124665 14205946 1459674236 481206553 48 0 33 37 35
121.02/121.07 c 13337189 15707913 1588021146 527836445 48 0 32 38 35
131.41/131.46 c 14670965 17170634 1718435415 564030576 48 0 27 36 32
141.71/141.70 c 16138118 18803759 1849376012 600672523 48 0 30 36 34
154.61/154.62 c 17751986 20585030 2014283718 652878304 48 0 31 36 33
174.72/174.77 c 19527240 23214770 2269538560 735252970 48 0 31 37 34
191.52/191.59 c 21480019 25423964 2483120695 815829276 48 0 30 38 34
207.32/207.32 c 23628075 27841463 2701270929 877646340 48 0 32 41 36
230.22/230.24 c 25990936 31296432 3016136169 963122728 48 0 34 40 37
252.13/252.18 c 28590083 34400079 3326161276 1052102307 48 0 33 37 36
285.23/285.29 c 31449144 38102304 3743486495 1203995096 48 0 31 40 35
307.73/307.79 c 34594111 41691776 4089935201 1277040902 48 0 31 39 36
340.24/340.25 c 38053574 45604567 4509577692 1425200480 48 0 31 42 35
369.94/369.91 c 41858983 49784985 4932078914 1536670159 48 0 33 40 36
404.94/404.94 c 46044932 54579604 5398521638 1700168055 48 0 33 39 36
437.25/437.23 c 50649475 59841379 5836629286 1834144993 48 0 34 40 37
482.85/482.85 c 55714472 66806885 6470341368 2021883864 48 0 34 39 37
531.86/531.82 c 61285968 73102595 7110075291 2244130401 48 0 33 40 36
577.87/577.85 c 67414613 79892450 7755473533 2436629398 48 0 34 41 37
644.38/644.30 c 74156122 87694371 8615015568 2745326644 48 0 33 39 36
711.68/711.62 c 81571781 98158875 9493564175 3081001316 48 0 35 40 38
771.49/771.41 c 89729005 107188147 10342438371 3324534651 48 0 34 40 37
838.00/837.99 c 98701951 117434043 11312494116 3564019849 48 0 34 40 37
915.01/914.94 c 108572191 128334751 12400496405 3861292820 48 0 34 39 37
999.23/999.16 c 119429455 141211456 13632273583 4170437985 48 0 32 40 36
1094.24/1094.15 c 131372445 155086391 14888007993 4586697436 48 0 32 39 35
1210.35/1210.22 c 144509734 169711988 16403022333 5128734921 48 0 32 37 35
1339.27/1339.17 c 158960751 186654093 18175927861 5682357496 48 0 31 39 35
1483.08/1482.92 c 174856869 204929093 19996048665 6367466676 48 0 32 39 36
1618.80/1618.62 c 192342598 224830926 21803592746 6931322356 48 0 31 40 36
1799.52/1799.31 c 211576899 247579763 24069962337 7761250902 48 0 30 40 35
1958.25/1958.08 c 232734630 271242973 26088392600 8406962370 48 0 32 40 36
2140.87/2140.60 c 256008134 296569673 28613717527 9159278750 48 0 33 39 36
2318.99/2318.75 c 281608988 324297180 31123731193 9924362023 48 0 33 39 37
2400.00/2399.70
2400.00/2399.70 c *** INTERRUPTED ***
2400.00/2399.70 c restarts : 132
2400.00/2399.70 c conflicts : 292363725 (121818 /sec)
2400.00/2399.70 c decisions : 336365673 (140152 /sec)
2400.00/2399.70 c propagations : 10224614848 (4260248 /sec)
2400.00/2399.70 c root propagations : 648
2400.00/2399.70 c filter calls : 32203108803 (13417936 /sec)
2400.00/2399.70 c useless filter calls : 26118133265 (81 %)
2400.00/2399.70 c Memory used : 27.15 MB
2400.00/2399.70 c CPU time : 2400 s
2400.00/2399.70 c real time : 2399.7 s
2400.00/2399.70
2400.00/2399.70 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 (15125 MiB free)
memory of node 1: 16384 MiB (15177 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408588-1569791871/watcher-4408588-1569791871 -o /tmp/evaluation-result-4408588-1569791871/solver-4408588-1569791871 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1569783690-24392 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408588-1569791871.xml
running on 4 cores: 1,3,5,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=25472, runsolver pid=25469
[startup+0.10015 s]*
/proc/loadavg: 2.01 2.07 2.05 3/198 25473
/proc/meminfo: memFree=31029628/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4248 CPUtime=0.1 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 1286 0 0 0 10 0 0 0 20 0 1 0 555444617 28467200 1062 33554432000 4194304 6211132 140727031163232 140727031159768 5193731 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1062 832 493 0 255 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4248 KiB
[startup+0.209359 s]*
/proc/loadavg: 2.01 2.07 2.05 3/198 25473
/proc/meminfo: memFree=31029628/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4248 CPUtime=0.21 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 1286 0 0 0 21 0 0 0 20 0 1 0 555444617 28467200 1062 33554432000 4194304 6211132 140727031163232 140727031159768 5099111 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1062 832 493 0 255 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4248 KiB
[startup+0.308827 s]*
/proc/loadavg: 2.01 2.07 2.05 3/198 25473
/proc/meminfo: memFree=31029628/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4248 CPUtime=0.31 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 1286 0 0 0 31 0 0 0 20 0 1 0 555444617 28467200 1062 33554432000 4194304 6211132 140727031163232 140727031159768 5186536 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1062 832 493 0 255 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4248 KiB
[startup+0.70027 s]
/proc/loadavg: 2.01 2.07 2.05 3/198 25473
/proc/meminfo: memFree=31029628/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4248 CPUtime=0.69 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 1286 0 0 0 69 0 0 0 20 0 1 0 555444617 28467200 1062 33554432000 4194304 6211132 140727031163232 140727031161192 5099256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1062 832 493 0 255 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4248 KiB
[startup+1.50027 s]
/proc/loadavg: 2.01 2.07 2.05 3/198 25473
/proc/meminfo: memFree=31029348/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4248 CPUtime=1.49 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 1286 0 0 0 149 0 0 0 20 0 1 0 555444617 28467200 1062 33554432000 4194304 6211132 140727031163232 140727031161192 5380208 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1062 832 493 0 255 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4248 KiB
[startup+3.10891 s]
/proc/loadavg: 2.01 2.07 2.05 3/198 25473
/proc/meminfo: memFree=31029372/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=3.1 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 1419 0 0 0 310 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5390520 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+6.30026 s]
/proc/loadavg: 2.01 2.07 2.05 3/198 25473
/proc/meminfo: memFree=31029440/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=6.29 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 1552 0 0 0 629 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5099205 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.07 2.05 3/198 25473
/proc/meminfo: memFree=31029408/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=12.7 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 1684 0 0 0 1270 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5099197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 12.7 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.07 2.05 3/197 25473
/proc/meminfo: memFree=31030676/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=25.5 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 1949 0 0 0 2550 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+51.1089 s]
/proc/loadavg: 2.00 2.06 2.05 3/197 25476
/proc/meminfo: memFree=31029720/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=51.11 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 2081 0 0 0 5111 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/198 25481
/proc/meminfo: memFree=31028516/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=102.31 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 2213 0 0 0 10231 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5099197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 102.31 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/198 25485
/proc/meminfo: memFree=31028684/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=162.31 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 2345 0 0 0 16231 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5099197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/198 25491
/proc/meminfo: memFree=31028032/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=222.32 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 2477 0 0 0 22232 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5099205 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/199 25503
/proc/meminfo: memFree=31027844/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=282.33 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 2477 0 0 0 28233 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5099285 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 282.33 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 25507
/proc/meminfo: memFree=31027496/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=342.34 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 2610 0 0 0 34234 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 342.34 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 25513
/proc/meminfo: memFree=31027700/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=402.34 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 2610 0 0 0 40234 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5099201 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 25517
/proc/meminfo: memFree=31027212/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=462.35 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 2742 0 0 0 46235 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5099197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 462.35 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
################
# More data... #
################
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 1662.5 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 25694
/proc/meminfo: memFree=30995516/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=1722.51 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 4038 0 0 0 172251 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5009142 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 1722.51 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/198 25698
/proc/meminfo: memFree=30995212/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=1782.52 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 4145 0 0 0 178252 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5099274 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 1782.52 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 25704
/proc/meminfo: memFree=30995436/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=1842.53 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 4170 0 0 0 184253 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5099197 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 1842.53 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/198 25708
/proc/meminfo: memFree=30995520/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=1902.54 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 4276 0 0 0 190254 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5099159 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 1902.54 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/198 25712
/proc/meminfo: memFree=30995872/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=1962.54 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 4302 0 0 0 196254 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5390120 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 1962.54 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 25718
/proc/meminfo: memFree=30995644/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=2022.55 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 4410 0 0 0 202255 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5390825 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 2022.55 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 25730
/proc/meminfo: memFree=30995400/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=2082.56 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 4410 0 0 0 208256 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5099162 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 2082.56 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 25734
/proc/meminfo: memFree=30995816/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=2142.57 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 4540 0 0 0 214257 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5099224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 2142.57 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+2202.3 s]
/proc/loadavg: 2.05 2.01 2.05 3/200 25740
/proc/meminfo: memFree=30996132/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=2202.57 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 4540 0 0 0 220257 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5008971 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 2202.57 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+2262.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/199 25744
/proc/meminfo: memFree=30995912/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=2262.58 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 4646 0 0 0 226258 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 2262.58 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/199 25748
/proc/meminfo: memFree=30995536/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=2322.59 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 4672 0 0 0 232259 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5008844 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 2322.59 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 25755
/proc/meminfo: memFree=30995224/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=2382.6 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 4781 0 0 0 238260 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5099201 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 2382.6 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 25757
/proc/meminfo: memFree=30995264/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=2400 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 4781 0 0 0 240000 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2399.7 s]
# the end of solver process 25472 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400 s, system=0.003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 25757
/proc/meminfo: memFree=30995264/32770624 swapFree=66957812/67108860
[pid=25472] ppid=25469 vsize=27800 memory=4396 CPUtime=2400 cores=1,3,5,7
/proc/25472/stat : 25472 (cosoco) R 25469 25472 24360 0 -1 4202496 4781 0 0 0 240000 0 0 0 20 0 1 0 555444617 28467200 1099 33554432000 4194304 6211132 140727031163232 140727031161192 5193728 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 13447168 140727031165963 140727031166065 140727031166065 140727031168974 0
/proc/25472/statm: 6950 1099 868 493 0 255 0
Current children cumulated CPU time: 2400 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4396 KiB
Child status: 1
Real time (s): 2399.7
CPU time (s): 2400.01
CPU user time (s): 2400
CPU system time (s): 0.003
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 27800
Max. memory (cumulated for all children) (KiB): 4396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.003
maximum resident set size= 4460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4831
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= 623
# summary of solver processes directly reported to runsolver:
# pid: 25472
# total CPU time (s): 2400.01
# total CPU user time (s): 2400
# total CPU system time (s): 0.003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.90976 second user time and 15.6153 second system time
The end