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-4408136-1569793923.xml
0.00/0.01 c intension eq(add(x[0][0],2),x[1][0]) -> extension (support ? 1) - 103tuples
0.00/0.01 c intension eq(add(x[0][1],3),x[1][1]) -> extension (support ? 1) - 102tuples
0.00/0.02 c intension eq(add(x[0][2],4),x[1][2]) -> extension (support ? 1) - 101tuples
0.00/0.02 c intension eq(add(x[0][3],5),x[1][3]) -> extension (support ? 1) - 100tuples
0.00/0.03 c intension eq(add(x[0][4],6),x[1][4]) -> extension (support ? 1) - 99tuples
0.00/0.03 c intension eq(add(x[0][5],7),x[1][5]) -> extension (support ? 1) - 98tuples
0.00/0.04 c intension eq(add(x[0][6],8),x[1][6]) -> extension (support ? 1) - 97tuples
0.00/0.04 c intension eq(add(x[0][7],9),x[1][7]) -> extension (support ? 1) - 96tuples
0.00/0.05 c intension eq(add(x[0][8],10),x[1][8]) -> extension (support ? 1) - 95tuples
0.00/0.05 c intension eq(add(x[0][9],11),x[1][9]) -> extension (support ? 1) - 94tuples
0.00/0.06 c intension eq(add(x[0][10],12),x[1][10]) -> extension (support ? 1) - 93tuples
0.00/0.06 c intension eq(add(x[0][11],13),x[1][11]) -> extension (support ? 1) - 92tuples
0.00/0.07 c intension eq(add(x[0][12],14),x[1][12]) -> extension (support ? 1) - 91tuples
0.00/0.07 c intension eq(add(x[0][13],15),x[1][13]) -> extension (support ? 1) - 90tuples
0.00/0.07 c intension eq(add(x[0][14],16),x[1][14]) -> extension (support ? 1) - 89tuples
0.00/0.08 c intension eq(add(x[0][15],17),x[1][15]) -> extension (support ? 1) - 88tuples
0.00/0.08 c intension eq(add(x[0][16],18),x[1][16]) -> extension (support ? 1) - 87tuples
0.00/0.09 c intension eq(add(x[0][17],19),x[1][17]) -> extension (support ? 1) - 86tuples
0.00/0.09 c intension eq(add(x[0][18],20),x[1][18]) -> extension (support ? 1) - 85tuples
0.00/0.10 c intension eq(add(x[0][19],21),x[1][19]) -> extension (support ? 1) - 84tuples
0.00/0.10 c intension eq(add(x[0][20],22),x[1][20]) -> extension (support ? 1) - 83tuples
0.10/0.11 c intension eq(add(x[0][21],23),x[1][21]) -> extension (support ? 1) - 82tuples
0.10/0.11 c intension eq(add(x[0][22],24),x[1][22]) -> extension (support ? 1) - 81tuples
0.10/0.12 c intension eq(add(x[0][23],25),x[1][23]) -> extension (support ? 1) - 80tuples
0.10/0.12 c intension eq(add(x[0][24],26),x[1][24]) -> extension (support ? 1) - 79tuples
0.10/0.13 c intension eq(add(x[0][25],27),x[1][25]) -> extension (support ? 1) - 78tuples
0.10/0.13 c intension eq(add(x[0][26],28),x[1][26]) -> extension (support ? 1) - 77tuples
0.10/0.14 c intension eq(add(x[0][27],29),x[1][27]) -> extension (support ? 1) - 76tuples
0.10/0.14 c intension eq(add(x[0][28],30),x[1][28]) -> extension (support ? 1) - 75tuples
0.10/0.15 c intension eq(add(x[0][29],31),x[1][29]) -> extension (support ? 1) - 74tuples
0.10/0.15 c intension eq(add(x[0][30],32),x[1][30]) -> extension (support ? 1) - 73tuples
0.10/0.16 c intension eq(add(x[0][31],33),x[1][31]) -> extension (support ? 1) - 72tuples
0.10/0.16 c intension eq(add(x[0][32],34),x[1][32]) -> extension (support ? 1) - 71tuples
0.10/0.17 c intension eq(add(x[0][33],35),x[1][33]) -> extension (support ? 1) - 70tuples
0.10/0.17 c intension eq(add(x[0][34],36),x[1][34]) -> extension (support ? 1) - 69tuples
0.10/0.18 c intension eq(add(x[1][0],2),x[2][0]) -> extension (support ? 1) - 103tuples
0.10/0.18 c intension eq(add(x[1][1],3),x[2][1]) -> extension (support ? 1) - 102tuples
0.10/0.19 c intension eq(add(x[1][2],4),x[2][2]) -> extension (support ? 1) - 101tuples
0.10/0.19 c intension eq(add(x[1][3],5),x[2][3]) -> extension (support ? 1) - 100tuples
0.10/0.20 c intension eq(add(x[1][4],6),x[2][4]) -> extension (support ? 1) - 99tuples
0.10/0.20 c intension eq(add(x[1][5],7),x[2][5]) -> extension (support ? 1) - 98tuples
0.10/0.21 c intension eq(add(x[1][6],8),x[2][6]) -> extension (support ? 1) - 97tuples
0.10/0.21 c intension eq(add(x[1][7],9),x[2][7]) -> extension (support ? 1) - 96tuples
0.21/0.21 c intension eq(add(x[1][8],10),x[2][8]) -> extension (support ? 1) - 95tuples
0.21/0.22 c intension eq(add(x[1][9],11),x[2][9]) -> extension (support ? 1) - 94tuples
0.21/0.22 c intension eq(add(x[1][10],12),x[2][10]) -> extension (support ? 1) - 93tuples
0.21/0.23 c intension eq(add(x[1][11],13),x[2][11]) -> extension (support ? 1) - 92tuples
0.21/0.23 c intension eq(add(x[1][12],14),x[2][12]) -> extension (support ? 1) - 91tuples
0.21/0.24 c intension eq(add(x[1][13],15),x[2][13]) -> extension (support ? 1) - 90tuples
0.21/0.24 c intension eq(add(x[1][14],16),x[2][14]) -> extension (support ? 1) - 89tuples
0.21/0.25 c intension eq(add(x[1][15],17),x[2][15]) -> extension (support ? 1) - 88tuples
0.21/0.25 c intension eq(add(x[1][16],18),x[2][16]) -> extension (support ? 1) - 87tuples
0.21/0.26 c intension eq(add(x[1][17],19),x[2][17]) -> extension (support ? 1) - 86tuples
0.21/0.26 c intension eq(add(x[1][18],20),x[2][18]) -> extension (support ? 1) - 85tuples
0.21/0.27 c intension eq(add(x[1][19],21),x[2][19]) -> extension (support ? 1) - 84tuples
0.21/0.27 c intension eq(add(x[1][20],22),x[2][20]) -> extension (support ? 1) - 83tuples
0.21/0.28 c intension eq(add(x[1][21],23),x[2][21]) -> extension (support ? 1) - 82tuples
0.21/0.28 c intension eq(add(x[1][22],24),x[2][22]) -> extension (support ? 1) - 81tuples
0.21/0.29 c intension eq(add(x[1][23],25),x[2][23]) -> extension (support ? 1) - 80tuples
0.21/0.29 c intension eq(add(x[1][24],26),x[2][24]) -> extension (support ? 1) - 79tuples
0.21/0.30 c intension eq(add(x[1][25],27),x[2][25]) -> extension (support ? 1) - 78tuples
0.21/0.30 c intension eq(add(x[1][26],28),x[2][26]) -> extension (support ? 1) - 77tuples
0.21/0.31 c intension eq(add(x[1][27],29),x[2][27]) -> extension (support ? 1) - 76tuples
0.21/0.31 c intension eq(add(x[1][28],30),x[2][28]) -> extension (support ? 1) - 75tuples
0.30/0.32 c intension eq(add(x[1][29],31),x[2][29]) -> extension (support ? 1) - 74tuples
0.30/0.32 c intension eq(add(x[1][30],32),x[2][30]) -> extension (support ? 1) - 73tuples
0.30/0.33 c intension eq(add(x[1][31],33),x[2][31]) -> extension (support ? 1) - 72tuples
0.30/0.33 c intension eq(add(x[1][32],34),x[2][32]) -> extension (support ? 1) - 71tuples
0.30/0.34 c intension eq(add(x[1][33],35),x[2][33]) -> extension (support ? 1) - 70tuples
0.30/0.34 c intension eq(add(x[1][34],36),x[2][34]) -> extension (support ? 1) - 69tuples
0.30/0.34 c root propagations : 3990
0.30/0.34 c restarts enabled, print stats at every restarts
0.30/0.34 c
0.30/0.34 c
0.30/0.34 c ========================================[ Problem Statistics ]===========================================
0.30/0.34 c |
0.30/0.34 c | Parse time : 0.33 s
0.30/0.34 c |
0.30/0.34 c | Variables: 105
0.30/0.34 c | Domain Sizes: 105..105
0.30/0.34 c |
0.30/0.34 c | Constraints: 71
0.30/0.34 c | Arity: 2..105 -- Binary: 70
0.30/0.34 c |
0.30/0.34 c | Types:
0.30/0.34 c | All Different: 1
0.30/0.34 c | Extension: 70 (nb tuples: 69..103) -- (shared: 0)
0.30/0.34 c |
0.30/0.34 c =========================================================================================================
0.30/0.34 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.40/0.45 c 101 410 12325 76391 105 0 46 61 53
0.50/0.59 c 211 847 28696 175709 105 0 49 67 57
0.68/0.76 c 332 1391 47803 289085 105 0 46 64 56
0.88/0.93 c 465 1887 66765 416322 105 0 46 61 53
0.99/1.10 c 611 2549 85564 533301 105 0 46 67 54
1.28/1.32 c 771 3288 110459 698497 105 0 52 67 56
1.48/1.54 c 947 4031 135828 841447 105 0 49 67 58
1.78/1.86 c 1140 4998 170748 1067658 105 0 49 70 56
2.09/2.12 c 1352 5921 200560 1243523 105 0 49 67 58
2.38/2.43 c 1585 6865 235197 1458778 105 0 49 67 57
2.68/2.74 c 1841 7976 271264 1681215 105 0 52 70 58
3.09/3.14 c 2122 9352 315876 1956797 105 0 49 67 56
3.48/3.54 c 2431 10717 361422 2249559 105 0 46 70 57
3.99/4.07 c 2770 12316 420157 2624812 105 0 49 70 57
4.58/4.61 c 3142 13960 481245 2990007 105 0 49 67 56
5.09/5.17 c 3551 15485 543483 3368902 105 0 46 70 56
5.58/5.67 c 4000 17272 599074 3777403 105 0 49 67 57
6.28/6.33 c 4493 19499 672697 4247821 105 0 46 67 56
6.88/6.97 c 5035 21913 745425 4696170 105 0 49 70 57
7.68/7.73 c 5631 24675 831567 5258359 105 0 46 67 57
8.58/8.67 c 6286 27496 936447 5901682 105 0 49 70 58
9.48/9.59 c 7006 30484 1041013 6573102 105 0 46 70 55
10.48/10.59 c 7798 33751 1153178 7229452 105 0 46 70 56
11.78/11.88 c 8669 37724 1297479 8098686 105 0 43 70 57
13.09/13.11 c 9627 41676 1436018 8973486 105 0 46 67 56
14.38/14.41 c 10680 46125 1582488 9919827 105 0 46 67 57
15.88/15.93 c 11838 50865 1750902 11013416 105 0 43 67 56
17.48/17.55 c 13111 55801 1930440 12203826 105 0 49 67 56
19.28/19.30 c 14511 61980 2128463 13475315 105 0 46 70 57
21.09/21.15 c 16051 68272 2336495 14899020 105 0 46 70 55
23.18/23.26 c 17745 75390 2573776 16385762 105 0 43 70 56
25.58/25.69 c 19608 82800 2843269 18069807 105 0 46 67 55
27.99/28.04 c 21657 91329 3109346 19751058 105 0 46 70 58
30.68/30.74 c 23910 100590 3413665 21743236 105 0 46 67 56
33.88/33.95 c 26388 110511 3772151 23974386 105 0 46 73 57
37.38/37.49 c 29113 121435 4164546 26565642 105 0 37 73 57
40.99/41.05 c 32110 133204 4563874 29198158 105 0 46 76 57
45.58/45.61 c 35406 147201 5072607 32313770 105 0 46 73 57
50.18/50.24 c 39031 162169 5595275 35603052 105 0 46 73 58
55.18/55.23 c 43018 179056 6157849 39109780 105 0 46 73 58
61.18/61.29 c 47403 197715 6835108 43308630 105 0 46 76 58
67.18/67.23 c 52226 217592 7492836 47547506 105 0 46 76 58
73.78/73.86 c 57531 238869 8240167 52068428 105 0 43 76 57
81.38/81.44 c 63366 263487 9074360 58292766 105 0 46 73 55
89.68/89.75 c 69784 291850 9990411 64274291 105 0 43 70 56
98.78/98.87 c 76843 322147 11011305 70914640 105 0 43 70 57
108.99/109.08 c 84607 353347 12136623 78446750 105 0 43 70 55
119.38/119.49 c 93147 388320 13301121 86289832 105 0 40 73 55
131.38/131.43 c 102541 426625 14632084 94727608 105 0 43 73 57
143.99/144.09 c 112874 469748 16072982 103468513 105 0 46 76 58
158.48/158.59 c 124240 518992 17709172 113551757 105 0 43 76 58
174.78/174.86 c 136742 572618 19541300 124841780 105 0 40 73 57
192.88/192.96 c 150494 631124 21566470 138063621 105 0 43 73 58
211.78/211.82 c 165621 692439 23683823 151445244 105 0 46 76 59
233.08/233.17 c 182260 762583 26059890 167437541 105 0 40 76 58
257.18/257.24 c 200562 840195 28739163 184439422 105 0 43 73 57
283.88/283.98 c 220694 927515 31720653 204321714 105 0 40 79 58
314.68/314.74 c 242839 1021702 35156712 225778985 105 0 43 73 59
346.58/346.62 c 267198 1125339 38720254 248652595 105 0 43 73 59
381.99/382.04 c 293992 1240003 42651181 273275307 105 0 43 76 58
420.98/421.07 c 323465 1365419 46991538 302573087 105 0 43 76 58
463.57/463.60 c 355885 1506325 51734827 332706598 105 0 43 76 57
509.77/509.87 c 391547 1661231 56931694 365464890 105 0 43 76 58
559.17/559.25 c 430775 1817594 62470785 400792471 105 0 43 76 59
615.17/615.25 c 473925 2000112 68729434 440217984 105 0 43 76 58
678.07/678.15 c 521390 2198564 75782952 483157215 105 0 43 76 58
741.16/741.25 c 573601 2423395 82904982 528908962 105 0 40 79 58
816.07/816.12 c 631033 2665897 91261959 581822271 105 0 40 76 57
896.55/896.61 c 694208 2930678 100217036 640963618 105 0 40 73 57
989.96/990.07 c 763700 3227789 110582885 702706181 105 0 40 79 57
1091.05/1091.12 c 840141 3557880 121821852 776507580 105 0 40 76 57
1202.14/1202.25 c 924226 3913636 134189831 854742089 105 0 40 76 57
1318.74/1318.80 c 1016719 4304974 147169269 939020311 105 0 40 73 56
1441.63/1441.80 c 1118461 4741504 161077941 1026977849 105 0 43 76 58
1591.63/1591.79 c 1230377 5222597 177759110 1135367128 105 0 40 76 57
1752.42/1752.53 c 1353484 5747425 195630967 1249857066 105 0 40 76 57
1925.31/1925.46 c 1488901 6319774 214824954 1376960293 105 0 40 79 57
2130.50/2130.65 c 1637859 6948789 237553070 1525613176 105 0 40 79 58
2356.49/2356.69 c 1801712 7624025 262562456 1685126088 105 0 40 73 57
2519.89/2520.00
2519.89/2520.00 c *** INTERRUPTED ***
2519.89/2520.00 c restarts : 79
2519.89/2520.00 c conflicts : 1914842 (760 /sec)
2519.89/2520.00 c decisions : 8103384 (3216 /sec)
2519.89/2520.00 c propagations : 1795945635 (712708 /sec)
2519.89/2520.00 c root propagations : 3990
2519.89/2520.00 c filter calls : 280747483 (111413 /sec)
2519.89/2520.00 c useless filter calls : 45854575 (16 %)
2519.89/2520.00 c Memory used : 28.66 MB
2519.89/2520.00 c CPU time : 2519.89 s
2519.89/2520.00 c real time : 2520.01 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 (15329 MiB free)
memory of node 1: 16384 MiB (15722 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408136-1569793923/watcher-4408136-1569793923 -o /tmp/evaluation-result-4408136-1569793923/solver-4408136-1569793923 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1569787354-10134 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4408136-1569793923.xml
running on 4 cores: 1,3,5,7
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=11476, runsolver pid=11473
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 2.06 2.09 2.07 3/200 11477
/proc/meminfo: memFree=31796468/32770624 swapFree=66947580/67108860
[pid=11476] ppid=11473 vsize=28256 memory=4772 CPUtime=0.1 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 2513 0 0 0 10 0 0 0 20 0 1 0 555664761 28934144 1193 33554432000 4194304 6211132 140722619317776 140722619312680 139840594934880 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7064 1193 832 493 0 369 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28256 KiB
Current children cumulated memory: 4772 KiB
[startup+0.209766 s]*
/proc/loadavg: 2.06 2.09 2.07 3/200 11477
/proc/meminfo: memFree=31796096/32770624 swapFree=66947580/67108860
[pid=11476] ppid=11473 vsize=28744 memory=5260 CPUtime=0.21 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 3764 0 0 0 21 0 0 0 20 0 1 0 555664761 29433856 1315 33554432000 4194304 6211132 140722619317776 140722619312680 5013201 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7186 1315 832 493 0 491 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28744 KiB
Current children cumulated memory: 5260 KiB
[startup+0.309245 s]*
/proc/loadavg: 2.06 2.09 2.07 3/200 11477
/proc/meminfo: memFree=31795724/32770624 swapFree=66947580/67108860
[pid=11476] ppid=11473 vsize=29216 memory=5732 CPUtime=0.3 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 4959 0 0 0 30 0 0 0 20 0 1 0 555664761 29917184 1433 33554432000 4194304 6211132 140722619317776 140722619312680 5013258 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7304 1433 832 493 0 609 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29216 KiB
Current children cumulated memory: 5732 KiB
[startup+0.700269 s]
/proc/loadavg: 2.06 2.09 2.07 3/200 11477
/proc/meminfo: memFree=31795352/32770624 swapFree=66947580/67108860
[pid=11476] ppid=11473 vsize=29348 memory=5864 CPUtime=0.68 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 5337 0 0 0 68 0 0 0 20 0 1 0 555664761 30052352 1466 33554432000 4194304 6211132 140722619317776 140722619315736 5074429 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1466 832 493 0 642 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 5864 KiB
[startup+1.50027 s]
/proc/loadavg: 2.06 2.09 2.07 3/200 11477
/proc/meminfo: memFree=31794980/32770624 swapFree=66947580/67108860
[pid=11476] ppid=11473 vsize=29348 memory=5864 CPUtime=1.48 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 5337 0 0 0 148 0 0 0 20 0 1 0 555664761 30052352 1466 33554432000 4194304 6211132 140722619317776 140722619315736 5075226 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1466 832 493 0 642 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 5864 KiB
[startup+3.10928 s]
/proc/loadavg: 2.06 2.09 2.07 3/200 11477
/proc/meminfo: memFree=31794888/32770624 swapFree=66947580/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=3.09 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 5703 0 0 0 309 0 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5075234 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+6.30027 s]
/proc/loadavg: 2.06 2.09 2.07 3/200 11477
/proc/meminfo: memFree=31795072/32770624 swapFree=66947580/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=6.28 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 6069 0 0 0 628 0 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5397248 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+12.7003 s]
/proc/loadavg: 2.05 2.08 2.07 3/200 11477
/proc/meminfo: memFree=31794700/32770624 swapFree=66947580/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=12.68 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 6435 0 0 0 1268 0 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5081337 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+25.5003 s]
/proc/loadavg: 2.04 2.08 2.07 3/200 11478
/proc/meminfo: memFree=31794668/32770624 swapFree=66947580/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=25.48 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 7164 0 0 0 2548 0 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5079261 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+51.1093 s]
/proc/loadavg: 2.03 2.07 2.07 3/200 11480
/proc/meminfo: memFree=31793832/32770624 swapFree=66947580/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=51.09 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 7533 0 0 0 5109 0 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5017444 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/200 11497
/proc/meminfo: memFree=31793448/32770624 swapFree=66947584/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=102.28 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 7899 0 0 0 10228 0 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5078762 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/200 11501
/proc/meminfo: memFree=31793168/32770624 swapFree=66947584/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=162.28 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 8269 0 0 0 16228 0 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5075237 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 11508
/proc/meminfo: memFree=31792480/32770624 swapFree=66947592/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=222.28 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 8637 0 0 0 22228 0 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5075794 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 11512
/proc/meminfo: memFree=31791856/32770624 swapFree=66947592/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=282.28 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 9004 0 0 0 28227 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5078800 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 11516
/proc/meminfo: memFree=31792188/32770624 swapFree=66947592/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=342.28 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 9371 0 0 0 34227 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5075275 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 11523
/proc/meminfo: memFree=31792172/32770624 swapFree=66947592/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=402.28 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 9740 0 0 0 40227 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5081771 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 11527
/proc/meminfo: memFree=31792752/32770624 swapFree=66947592/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=462.27 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 10105 0 0 0 46226 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5081375 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
################
# More data... #
################
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 11741
/proc/meminfo: memFree=31729076/32770624 swapFree=66947600/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=1782.22 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 17428 0 0 0 178221 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5082401 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11747
/proc/meminfo: memFree=31729332/32770624 swapFree=66947600/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=1842.21 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 17702 0 0 0 184220 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5081337 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11751
/proc/meminfo: memFree=31729500/32770624 swapFree=66947600/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=1902.21 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 17975 0 0 0 190220 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5082759 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11755
/proc/meminfo: memFree=31729776/32770624 swapFree=66947600/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=1962.21 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 18342 0 0 0 196220 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5079258 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11762
/proc/meminfo: memFree=31729644/32770624 swapFree=66947600/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=2022.21 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 18617 0 0 0 202220 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5193760 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11766
/proc/meminfo: memFree=31729456/32770624 swapFree=66947600/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=2082.2 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 18884 0 0 0 208219 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5076402 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11770
/proc/meminfo: memFree=31729428/32770624 swapFree=66947600/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=2142.2 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 19252 0 0 0 214219 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5075879 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11777
/proc/meminfo: memFree=31729280/32770624 swapFree=66947600/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=2202.2 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 19519 0 0 0 220219 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5078800 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11781
/proc/meminfo: memFree=31729448/32770624 swapFree=66947600/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=2262.19 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 19800 0 0 0 226218 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5075208 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2262.19 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11793
/proc/meminfo: memFree=31729076/32770624 swapFree=66947600/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=2322.19 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 20074 0 0 0 232218 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5076389 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2322.19 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11799
/proc/meminfo: memFree=31729096/32770624 swapFree=66947600/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=2382.19 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 20440 0 0 0 238218 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5074526 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2382.19 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11803
/proc/meminfo: memFree=31728844/32770624 swapFree=66947600/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=2442.19 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 20705 0 0 0 244218 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5075406 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2442.19 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11807
/proc/meminfo: memFree=31728560/32770624 swapFree=66947600/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=2502.19 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 20970 0 0 0 250218 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5082336 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 11810
/proc/meminfo: memFree=31728728/32770624 swapFree=66947600/67108860
[pid=11476] ppid=11473 vsize=29348 memory=6020 CPUtime=2519.89 cores=1,3,5,7
/proc/11476/stat : 11476 (cosoco) R 11473 11476 10102 0 -1 4202496 21227 0 0 0 251988 1 0 0 20 0 1 0 555664761 30052352 1505 33554432000 4194304 6211132 140722619317776 140722619315736 5081337 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 32034816 140722619323403 140722619323505 140722619323505 140722619326414 0
/proc/11476/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2519.89 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 11476 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.89 s, system=0.019999 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.91
CPU user time (s): 2519.89
CPU system time (s): 0.019999
CPU usage (%): 99.996
Max. virtual memory (cumulated for all children) (KiB): 29348
Max. memory (cumulated for all children) (KiB): 6020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.89
system time used= 0.019999
maximum resident set size= 6084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21277
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= 647
# summary of solver processes directly reported to runsolver:
# pid: 11476
# total CPU time (s): 2519.91
# total CPU user time (s): 2519.89
# total CPU system time (s): 0.019999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.13489 second user time and 16.3698 second system time
The end