0.00/0.05 c
0.00/0.05 c This is cosoco 2.00 --
0.00/0.05 c
0.00/0.05 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389650-1568329059.xml
0.00/0.05 c intension eq(add(p[1],2),p[0]) -> extension (support ? 1) - 48tuples
0.00/0.06 c intension eq(add(p[3],3),p[2]) -> extension (support ? 1) - 47tuples
0.00/0.06 c intension eq(add(p[5],4),p[4]) -> extension (support ? 1) - 46tuples
0.00/0.06 c intension eq(add(p[7],5),p[6]) -> extension (support ? 1) - 45tuples
0.00/0.06 c intension eq(add(p[9],6),p[8]) -> extension (support ? 1) - 44tuples
0.00/0.06 c intension eq(add(p[11],7),p[10]) -> extension (support ? 1) - 43tuples
0.00/0.06 c intension eq(add(p[13],8),p[12]) -> extension (support ? 1) - 42tuples
0.00/0.07 c intension eq(add(p[15],9),p[14]) -> extension (support ? 1) - 41tuples
0.00/0.07 c intension eq(add(p[17],10),p[16]) -> extension (support ? 1) - 40tuples
0.00/0.07 c intension eq(add(p[19],11),p[18]) -> extension (support ? 1) - 39tuples
0.00/0.07 c intension eq(add(p[21],12),p[20]) -> extension (support ? 1) - 38tuples
0.00/0.07 c intension eq(add(p[23],13),p[22]) -> extension (support ? 1) - 37tuples
0.00/0.07 c intension eq(add(p[25],14),p[24]) -> extension (support ? 1) - 36tuples
0.00/0.07 c intension eq(add(p[27],15),p[26]) -> extension (support ? 1) - 35tuples
0.00/0.08 c intension eq(add(p[29],16),p[28]) -> extension (support ? 1) - 34tuples
0.00/0.08 c intension eq(add(p[31],17),p[30]) -> extension (support ? 1) - 33tuples
0.00/0.08 c intension eq(add(p[33],18),p[32]) -> extension (support ? 1) - 32tuples
0.00/0.08 c intension eq(add(p[35],19),p[34]) -> extension (support ? 1) - 31tuples
0.00/0.08 c intension eq(add(p[37],20),p[36]) -> extension (support ? 1) - 30tuples
0.00/0.08 c intension eq(add(p[39],21),p[38]) -> extension (support ? 1) - 29tuples
0.00/0.09 c intension eq(add(p[41],22),p[40]) -> extension (support ? 1) - 28tuples
0.00/0.09 c intension eq(add(p[43],23),p[42]) -> extension (support ? 1) - 27tuples
0.00/0.09 c intension eq(add(p[45],24),p[44]) -> extension (support ? 1) - 26tuples
0.00/0.09 c intension eq(add(p[47],25),p[46]) -> extension (support ? 1) - 25tuples
0.00/0.09 c intension eq(add(p[49],26),p[48]) -> extension (support ? 1) - 24tuples
0.00/0.09 c root propagations : 700
0.00/0.09 c restarts enabled, print stats at every restarts
0.00/0.09 c
0.00/0.09 c
0.00/0.09 c ========================================[ Problem Statistics ]===========================================
0.00/0.09 c |
0.00/0.09 c | Parse time : 0.04 s
0.00/0.09 c |
0.00/0.09 c | Variables: 100
0.00/0.09 c | Domain Sizes: 25..50
0.00/0.09 c |
0.00/0.09 c | Constraints: 75
0.00/0.09 c | Arity: 2..51 -- Binary: 25
0.00/0.09 c |
0.00/0.09 c | Types:
0.00/0.09 c | Element Constant: 50
0.00/0.09 c | Extension: 25 (nb tuples: 24..48) -- (shared: 0)
0.00/0.09 c |
0.00/0.09 c =========================================================================================================
0.00/0.09 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.10 c 101 610 47672 9943 50 0 66 85 77
0.00/0.10 c 211 1013 85371 22409 50 0 40 55 46
0.00/0.10 c 332 1324 115741 32437 50 0 37 45 41
0.05/0.11 c 465 1561 144835 42757 50 0 36 44 39
0.05/0.11 c 611 2013 185371 56993 50 0 38 43 41
0.05/0.11 c 771 2267 210302 67012 50 0 38 41 38
0.05/0.12 c 947 2526 246790 82143 50 0 37 39 37
0.05/0.12 c 1140 2832 281465 94950 50 0 38 40 37
0.05/0.12 c 1352 3152 313953 108256 50 0 39 41 38
0.05/0.13 c 1585 3540 364676 133230 50 0 33 47 35
0.05/0.13 c 1841 3901 397980 142938 50 0 38 46 42
0.05/0.14 c 2122 4589 487129 181484 50 0 34 39 36
0.05/0.14 c 2431 5079 547172 203275 50 0 34 39 36
0.05/0.15 c 2770 5544 598799 220447 50 0 35 37 36
0.05/0.16 c 3142 6267 694117 252044 50 0 35 41 39
0.05/0.16 c 3551 6762 740547 263370 50 0 40 40 39
0.05/0.17 c 4000 7438 811498 291258 50 0 38 38 37
0.05/0.17 c 4493 8213 906866 321788 50 0 34 44 39
0.05/0.18 c 5035 8868 986507 342768 50 0 37 43 41
0.05/0.19 c 5631 9674 1075201 372581 50 0 33 43 40
0.05/0.20 c 6286 10655 1194497 415524 50 0 39 44 41
0.05/0.21 c 7006 11533 1323255 468586 50 0 36 42 37
0.16/0.22 c 7798 12471 1431100 501469 50 0 36 44 40
0.16/0.23 c 8669 13458 1562308 540471 50 0 31 41 39
0.16/0.24 c 9627 14653 1706237 584398 50 0 32 43 39
0.16/0.25 c 10680 15957 1880596 646500 50 0 34 41 37
0.16/0.27 c 11838 17326 2046720 702428 50 0 37 42 39
0.16/0.28 c 13111 18909 2213187 742187 50 0 36 41 38
0.16/0.29 c 14511 20576 2402465 803762 50 0 38 43 40
0.16/0.31 c 16051 22311 2612828 861807 50 0 37 38 37
0.26/0.33 c 17745 24818 2897873 979164 50 0 35 40 37
0.26/0.35 c 19608 26933 3138091 1047642 50 0 36 38 37
0.26/0.37 c 21657 29297 3431603 1133339 50 0 36 39 37
0.26/0.39 c 23910 31819 3694691 1222521 50 0 36 38 37
0.36/0.42 c 26388 34776 3986686 1336851 50 0 35 39 38
0.36/0.45 c 29113 37818 4341232 1445948 50 0 36 38 36
0.36/0.48 c 32110 41128 4742923 1574366 50 0 34 39 35
0.36/0.51 c 35406 45126 5165381 1710225 50 0 33 36 35
0.46/0.58 c 39031 51823 5886569 2067512 50 0 35 36 35
0.55/0.63 c 43018 58139 6539013 2325413 50 0 32 39 35
0.55/0.69 c 47403 62983 7220553 2565340 50 0 30 38 35
0.64/0.77 c 52226 68682 8116397 2955418 50 0 30 35 33
0.74/0.86 c 57531 74486 9123662 3338139 50 0 34 38 35
0.84/0.91 c 63366 80992 9820333 3572014 50 0 35 38 36
0.84/0.99 c 69784 88231 10679375 3933120 50 0 31 36 34
1.05/1.14 c 76843 98020 12303918 4728902 50 0 31 39 33
1.14/1.21 c 84607 106948 13201974 5026707 50 0 33 37 35
1.24/1.31 c 93147 116617 14405705 5487873 50 0 33 41 34
1.34/1.40 c 102541 126988 15558200 5875438 50 0 33 38 36
1.34/1.49 c 112874 141936 16898986 6262938 50 0 37 40 38
1.54/1.62 c 124240 155820 18661952 6861332 50 0 35 40 37
1.64/1.73 c 136742 171594 19935317 7295272 50 0 35 38 37
1.74/1.88 c 150494 187750 21891034 7985947 50 0 33 38 35
1.95/2.00 c 165621 204469 23505562 8556479 50 0 32 39 37
2.14/2.20 c 182260 229011 26173765 9279197 50 0 35 39 37
2.24/2.33 c 200562 250024 27912129 9857100 50 0 37 39 38
2.34/2.48 c 220694 273731 29948137 10388534 50 0 35 39 37
2.64/2.71 c 242839 302869 33069515 11336181 50 0 32 39 38
2.84/2.94 c 267198 331183 36089149 12419227 50 0 33 39 37
3.05/3.17 c 293992 364364 39244177 13398290 50 0 33 39 38
3.34/3.45 c 323465 400722 43206103 14435004 50 0 33 40 38
3.64/3.75 c 355885 437969 47060967 15848140 50 0 34 39 37
4.05/4.18 c 391547 489579 52291295 17684033 50 0 34 40 37
4.54/4.67 c 430775 552880 58307972 19970880 50 0 36 40 38
5.05/5.14 c 473925 616167 64613584 21733059 50 0 33 41 38
5.44/5.56 c 521390 686157 70892781 23095587 50 0 34 39 38
5.84/5.95 c 573601 744186 76210991 24728115 50 0 35 40 38
6.44/6.58 c 631033 814778 84124084 27326030 50 0 34 39 37
7.05/7.17 c 694208 890777 92332424 29276324 50 0 35 39 37
7.74/7.86 c 763700 967360 101638896 32174445 50 0 33 39 37
8.64/8.73 c 840141 1059048 112813217 35863571 50 0 33 42 37
9.34/9.47 c 924226 1159934 122747593 39231560 50 0 34 39 37
10.14/10.27 c 1016719 1265849 133329587 42240676 50 0 35 39 37
11.24/11.33 c 1118461 1404713 147065352 46871095 50 0 35 40 37
12.34/12.44 c 1230377 1550037 161918845 51342574 50 0 34 40 37
13.54/13.69 c 1353484 1695335 177968923 56931057 50 0 35 40 37
14.84/15.00 c 1488901 1852479 194192244 62668388 50 0 35 40 36
16.74/16.85 c 1637859 2065667 218763264 70611097 50 0 35 41 37
18.24/18.30 c 1801712 2257524 239298626 75811322 50 0 35 41 37
19.64/19.79 c 1981950 2479285 260127464 81016678 50 0 35 39 38
21.44/21.54 c 2180211 2698912 284212323 88448888 50 0 36 39 37
23.05/23.11 c 2398298 2939536 305971035 94324155 50 0 34 39 37
25.05/25.14 c 2638193 3229887 334508459 101127826 50 0 33 40 38
27.05/27.18 c 2902077 3519860 362206488 108627033 50 0 34 39 37
30.05/30.12 c 3192349 3851888 400099858 122303128 50 0 34 39 37
34.14/34.20 c 3511648 4228416 449102296 141507668 50 0 32 40 36
38.24/38.30 c 3862876 4666382 503981344 158143656 50 0 33 42 37
42.34/42.44 c 4249226 5150708 556612210 177882235 50 0 33 42 37
47.44/47.52 c 4674211 5630217 619242540 201682234 50 0 33 41 36
56.24/56.34 c 5141694 6529979 728398394 238900280 50 0 32 39 37
62.14/62.26 c 5655925 7224174 806769027 263370821 50 0 34 40 37
67.54/67.60 c 6221579 7911402 877418878 285442860 50 0 34 41 37
72.34/72.45 c 6843798 8672103 946766023 302935383 50 0 36 41 39
77.84/77.95 c 7528238 9489867 1028602539 325875740 50 0 36 40 39
88.24/88.38 c 8281122 10517395 1170467245 369892112 50 0 33 39 38
94.84/94.93 c 9109294 11471700 1263076195 394694722 50 0 34 40 37
102.44/102.58 c 10020283 12591449 1370571726 422942129 50 0 35 40 38
110.74/110.88 c 11022370 13761850 1493914168 453699118 50 0 32 40 38
120.54/120.60 c 12124665 14968388 1613803228 504864399 50 0 33 40 37
129.74/129.89 c 13337189 16471365 1736635878 543458026 50 0 36 39 38
141.23/141.34 c 14670965 17933019 1896139703 590793841 50 0 35 41 38
157.63/157.74 c 16138118 19894449 2110399704 661697114 50 0 32 41 37
169.83/169.90 c 17751986 21728985 2294419437 702145810 50 0 34 39 37
185.23/185.33 c 19527240 24045258 2508342499 768995828 50 0 35 40 38
208.83/208.98 c 21480019 26845456 2828438164 862876430 50 0 33 40 37
229.94/230.03 c 23628075 29507617 3128154956 950118072 50 0 34 44 39
257.63/257.78 c 25990936 32992575 3477369210 1076184613 50 0 34 41 37
300.83/300.98 c 28590083 37676047 4010911923 1275931821 50 0 34 41 37
335.83/335.90 c 31449144 41740976 4466344423 1428193063 50 0 34 41 37
365.04/365.12 c 34594111 45309055 4868590383 1543410765 50 0 34 40 37
394.83/394.94 c 38053574 49174744 5266447481 1660646318 50 0 33 42 36
427.43/427.57 c 41858983 53576539 5708251301 1787327459 50 0 32 42 37
472.83/472.98 c 46044932 60119490 6313411505 1955913103 50 0 34 41 37
510.13/510.25 c 50649475 65559131 6840902811 2096796337 50 0 35 41 37
541.73/541.84 c 55714472 71541649 7301161591 2189300918 50 0 35 41 38
585.82/586.00 c 61285968 78096692 7930817405 2347330930 50 0 34 40 37
634.03/634.18 c 67414613 84956984 8648844168 2519766258 50 0 34 39 37
704.03/704.11 c 74156122 92767597 9586368605 2825132455 50 0 33 41 37
759.52/759.62 c 81571781 101012860 10332408972 3017198926 50 0 34 40 38
829.72/829.81 c 89729005 110398204 11278784236 3272194291 50 0 34 41 37
901.62/901.77 c 98701951 120279380 12236574851 3564165006 50 0 35 40 38
984.92/985.10 c 108572191 131347820 13318859706 3923148589 50 0 33 40 37
1085.41/1085.57 c 119429455 144105686 14496740484 4376909252 50 0 34 42 37
1190.21/1190.35 c 131372445 158358947 15902255050 4786193033 50 0 35 40 38
1319.01/1319.11 c 144509734 173309646 17557945212 5330127610 50 0 34 42 38
1467.20/1467.34 c 158960751 194575745 19567270789 5910644803 50 0 34 41 38
1604.91/1605.01 c 174856869 213224721 21536594077 6399961399 50 0 35 42 39
1742.60/1742.77 c 192342598 232364447 23426564975 6913183918 50 0 35 40 38
1913.69/1913.90 c 211576899 253811090 25735653669 7570652847 50 0 32 42 37
2095.00/2095.12 c 232734630 278499150 28241596482 8202260068 50 0 34 40 37
2353.58/2353.74 c 256008134 311300413 31178730757 9347155426 50 0 33 40 37
2519.89/2520.00
2519.89/2520.00 c *** INTERRUPTED ***
2519.89/2520.00 c restarts : 131
2519.89/2520.00 c conflicts : 272948042 (108317 /sec)
2519.89/2520.00 c decisions : 330494736 (131154 /sec)
2519.89/2520.00 c propagations : 10107257221 (4010989 /sec)
2519.89/2520.00 c root propagations : 700
2519.89/2520.00 c filter calls : 33264878093 (13200917 /sec)
2519.89/2520.00 c useless filter calls : 27189777889 (81 %)
2519.89/2520.00 c Memory used : 27.21 MB
2519.89/2520.00 c CPU time : 2519.89 s
2519.89/2520.00 c real time : 2519.95 s
2519.89/2520.00
2519.89/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 (14049 MiB free)
memory of node 1: 16384 MiB (13760 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389650-1568329059/watcher-4389650-1568329059 -o /tmp/evaluation-result-4389650-1568329059/solver-4389650-1568329059 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3495 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389650-1568329059.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=3525, runsolver pid=3518
Current StackSize limit: 8192 KiB
[startup+0.100201 s]*
/proc/loadavg: 1.37 0.84 0.91 4/199 3526
/proc/meminfo: memFree=28467856/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4272 CPUtime=0.05 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 1309 0 1 0 5 0 0 0 20 0 1 0 409174749 28532736 1068 33554432000 4194304 6210612 140728031981808 140728031978296 5397192 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1068 829 493 0 271 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4272 KiB
[startup+0.209843 s]*
/proc/loadavg: 1.37 0.84 0.91 5/199 3526
/proc/meminfo: memFree=28457748/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4272 CPUtime=0.16 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 1309 0 1 0 16 0 0 0 20 0 1 0 409174749 28532736 1068 33554432000 4194304 6210612 140728031981808 140728031979768 5390566 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1068 829 493 0 271 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4272 KiB
[startup+0.309707 s]*
/proc/loadavg: 1.37 0.84 0.91 4/199 3526
/proc/meminfo: memFree=28457808/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4272 CPUtime=0.26 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 1309 0 1 0 26 0 0 0 20 0 1 0 409174749 28532736 1068 33554432000 4194304 6210612 140728031981808 140728031979768 5098774 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1068 829 493 0 271 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4272 KiB
[startup+0.700323 s]
/proc/loadavg: 1.37 0.84 0.91 4/199 3526
/proc/meminfo: memFree=28452972/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4272 CPUtime=0.64 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 1309 0 1 0 64 0 0 0 20 0 1 0 409174749 28532736 1068 33554432000 4194304 6210612 140728031981808 140728031979768 5098829 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1068 829 493 0 271 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4272 KiB
[startup+1.50033 s]
/proc/loadavg: 1.42 0.86 0.91 4/199 3526
/proc/meminfo: memFree=28449624/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4272 CPUtime=1.44 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 1309 0 1 0 144 0 0 0 20 0 1 0 409174749 28532736 1068 33554432000 4194304 6210612 140728031981808 140728031979768 5098752 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1068 829 493 0 271 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4272 KiB
[startup+3.10935 s]
/proc/loadavg: 1.42 0.86 0.91 4/199 3526
/proc/meminfo: memFree=28447888/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=3.05 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 1445 0 1 0 305 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5098784 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+6.30033 s]
/proc/loadavg: 1.46 0.88 0.92 4/199 3527
/proc/meminfo: memFree=28447872/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=6.24 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 1585 0 1 0 624 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5008827 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+12.7003 s]
/proc/loadavg: 1.51 0.89 0.92 4/199 3527
/proc/meminfo: memFree=28448072/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=12.64 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 1723 0 1 0 1264 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5390328 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+25.5003 s]
/proc/loadavg: 1.58 0.93 0.93 4/199 3527
/proc/meminfo: memFree=28446720/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=25.44 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 1998 0 1 0 2544 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5098837 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+51.1094 s]
/proc/loadavg: 1.75 1.03 0.97 4/199 3529
/proc/meminfo: memFree=28445976/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=51.05 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 2137 0 1 0 5105 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5098829 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 51.05 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+102.3 s]
/proc/loadavg: 1.94 1.20 1.03 4/200 3535
/proc/meminfo: memFree=28445868/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=102.24 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 2273 0 1 0 10224 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5192880 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 102.24 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 1.34 1.09 4/201 3541
/proc/meminfo: memFree=28445436/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=162.23 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 2411 0 1 0 16223 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5098739 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 1.46 1.15 4/200 3552
/proc/meminfo: memFree=28444972/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=222.23 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 2549 0 1 0 22223 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5192880 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.56 1.20 4/201 3582
/proc/meminfo: memFree=28444768/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=282.23 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 2686 0 1 0 28223 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5008463 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.64 1.25 4/202 3588
/proc/meminfo: memFree=28444940/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=342.23 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 2823 0 1 0 34223 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5380096 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.71 1.30 4/200 3592
/proc/meminfo: memFree=28444972/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=402.23 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 2961 0 1 0 40223 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5397215 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.76 1.34 4/200 3596
/proc/meminfo: memFree=28444676/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=462.23 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 3099 0 1 0 46223 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5098872 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
################
# More data... #
################
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.14 1.92 4/199 3715
/proc/meminfo: memFree=28444576/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=1782.19 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 5960 0 1 0 178219 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5098833 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 1782.19 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.12 1.93 4/199 3721
/proc/meminfo: memFree=28444628/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=1842.19 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 6080 0 1 0 184219 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5390051 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 1842.19 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.10 1.93 4/199 3726
/proc/meminfo: memFree=28444144/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=1902.19 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 6199 0 1 0 190219 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5192912 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 1902.19 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.08 1.94 4/200 3732
/proc/meminfo: memFree=28443524/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=1962.19 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 6336 0 1 0 196219 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5008626 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 1962.19 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.06 1.94 4/200 3744
/proc/meminfo: memFree=28443792/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=2022.19 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 6457 0 1 0 202219 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5098906 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 2022.19 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+2082.3 s]
/proc/loadavg: 2.06 2.07 1.95 4/200 3748
/proc/meminfo: memFree=28444056/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=2082.19 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 6575 0 1 0 208219 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5098743 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 2082.19 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.06 1.95 4/201 3754
/proc/meminfo: memFree=28443620/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=2142.19 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 6714 0 1 0 214219 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5397089 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 2142.19 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.05 1.95 4/200 3758
/proc/meminfo: memFree=28444172/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=2202.19 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 6833 0 1 0 220219 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5098829 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 2202.19 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 1.95 4/200 3762
/proc/meminfo: memFree=28444448/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=2262.18 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 6952 0 1 0 226218 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5396249 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 2262.18 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.03 1.95 4/200 3768
/proc/meminfo: memFree=28443624/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=2322.18 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 7070 0 1 0 232218 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5098791 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 2322.18 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 1.95 4/199 3772
/proc/meminfo: memFree=28443952/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=2382.18 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 7208 0 1 0 238218 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5098743 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 2382.18 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.02 1.95 4/199 3776
/proc/meminfo: memFree=28443888/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=2442.18 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 7327 0 1 0 244218 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5098739 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 2442.18 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 1.95 4/200 3782
/proc/meminfo: memFree=28443772/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=2502.18 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 7446 0 1 0 250218 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5397192 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 2502.18 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.95 4/199 3782
/proc/meminfo: memFree=28443672/32770624 swapFree=66998520/67108860
[pid=3525] ppid=3518 vsize=27864 memory=4428 CPUtime=2519.89 cores=0,2,4,6
/proc/3525/stat : 3525 (cosoco) R 3518 3525 3464 0 -1 4202496 7563 0 1 0 251989 0 0 0 20 0 1 0 409174749 28532736 1107 33554432000 4194304 6210612 140728031981808 140728031979768 5396528 0 0 4096 8405026 0 0 0 17 2 0 0 1 0 0 8308220 8313664 28028928 140728031990795 140728031990897 140728031990897 140728031993806 0
/proc/3525/statm: 6966 1107 865 493 0 271 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 27864 KiB
Current children cumulated memory: 4428 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 3525 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.89 s, system=0.008999 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): 2519.9
CPU user time (s): 2519.89
CPU system time (s): 0.008999
CPU usage (%): 99.9957
Max. virtual memory (cumulated for all children) (KiB): 27864
Max. memory (cumulated for all children) (KiB): 4428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.89
system time used= 0.008999
maximum resident set size= 4496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7616
page faults= 1
swaps= 0
block input operations= 9784
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27
involuntary context switches= 3180
# summary of solver processes directly reported to runsolver:
# pid: 3525
# total CPU time (s): 2519.9
# total CPU user time (s): 2519.89
# total CPU system time (s): 0.008999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.69998 second user time and 16.2827 second system time
The end