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-4396876-1568578466.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.08 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.09 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.09/0.11 c intension eq(add(x[0][20],22),x[1][20]) -> extension (support ? 1) - 83tuples
0.09/0.11 c intension eq(add(x[0][21],23),x[1][21]) -> extension (support ? 1) - 82tuples
0.09/0.12 c intension eq(add(x[0][22],24),x[1][22]) -> extension (support ? 1) - 81tuples
0.09/0.12 c intension eq(add(x[0][23],25),x[1][23]) -> extension (support ? 1) - 80tuples
0.09/0.13 c intension eq(add(x[0][24],26),x[1][24]) -> extension (support ? 1) - 79tuples
0.09/0.13 c intension eq(add(x[0][25],27),x[1][25]) -> extension (support ? 1) - 78tuples
0.09/0.14 c intension eq(add(x[0][26],28),x[1][26]) -> extension (support ? 1) - 77tuples
0.09/0.14 c intension eq(add(x[0][27],29),x[1][27]) -> extension (support ? 1) - 76tuples
0.09/0.15 c intension eq(add(x[0][28],30),x[1][28]) -> extension (support ? 1) - 75tuples
0.09/0.15 c intension eq(add(x[0][29],31),x[1][29]) -> extension (support ? 1) - 74tuples
0.09/0.16 c intension eq(add(x[0][30],32),x[1][30]) -> extension (support ? 1) - 73tuples
0.09/0.16 c intension eq(add(x[0][31],33),x[1][31]) -> extension (support ? 1) - 72tuples
0.09/0.17 c intension eq(add(x[0][32],34),x[1][32]) -> extension (support ? 1) - 71tuples
0.09/0.17 c intension eq(add(x[0][33],35),x[1][33]) -> extension (support ? 1) - 70tuples
0.09/0.18 c intension eq(add(x[0][34],36),x[1][34]) -> extension (support ? 1) - 69tuples
0.09/0.18 c intension eq(add(x[1][0],2),x[2][0]) -> extension (support ? 1) - 103tuples
0.09/0.19 c intension eq(add(x[1][1],3),x[2][1]) -> extension (support ? 1) - 102tuples
0.09/0.19 c intension eq(add(x[1][2],4),x[2][2]) -> extension (support ? 1) - 101tuples
0.09/0.19 c intension eq(add(x[1][3],5),x[2][3]) -> extension (support ? 1) - 100tuples
0.09/0.20 c intension eq(add(x[1][4],6),x[2][4]) -> extension (support ? 1) - 99tuples
0.09/0.20 c intension eq(add(x[1][5],7),x[2][5]) -> extension (support ? 1) - 98tuples
0.09/0.21 c intension eq(add(x[1][6],8),x[2][6]) -> extension (support ? 1) - 97tuples
0.09/0.21 c intension eq(add(x[1][7],9),x[2][7]) -> extension (support ? 1) - 96tuples
0.20/0.22 c intension eq(add(x[1][8],10),x[2][8]) -> extension (support ? 1) - 95tuples
0.20/0.22 c intension eq(add(x[1][9],11),x[2][9]) -> extension (support ? 1) - 94tuples
0.20/0.23 c intension eq(add(x[1][10],12),x[2][10]) -> extension (support ? 1) - 93tuples
0.20/0.23 c intension eq(add(x[1][11],13),x[2][11]) -> extension (support ? 1) - 92tuples
0.20/0.24 c intension eq(add(x[1][12],14),x[2][12]) -> extension (support ? 1) - 91tuples
0.20/0.24 c intension eq(add(x[1][13],15),x[2][13]) -> extension (support ? 1) - 90tuples
0.20/0.25 c intension eq(add(x[1][14],16),x[2][14]) -> extension (support ? 1) - 89tuples
0.20/0.25 c intension eq(add(x[1][15],17),x[2][15]) -> extension (support ? 1) - 88tuples
0.20/0.26 c intension eq(add(x[1][16],18),x[2][16]) -> extension (support ? 1) - 87tuples
0.20/0.26 c intension eq(add(x[1][17],19),x[2][17]) -> extension (support ? 1) - 86tuples
0.20/0.27 c intension eq(add(x[1][18],20),x[2][18]) -> extension (support ? 1) - 85tuples
0.20/0.27 c intension eq(add(x[1][19],21),x[2][19]) -> extension (support ? 1) - 84tuples
0.20/0.28 c intension eq(add(x[1][20],22),x[2][20]) -> extension (support ? 1) - 83tuples
0.20/0.28 c intension eq(add(x[1][21],23),x[2][21]) -> extension (support ? 1) - 82tuples
0.20/0.29 c intension eq(add(x[1][22],24),x[2][22]) -> extension (support ? 1) - 81tuples
0.20/0.29 c intension eq(add(x[1][23],25),x[2][23]) -> extension (support ? 1) - 80tuples
0.20/0.30 c intension eq(add(x[1][24],26),x[2][24]) -> extension (support ? 1) - 79tuples
0.20/0.30 c intension eq(add(x[1][25],27),x[2][25]) -> extension (support ? 1) - 78tuples
0.20/0.31 c intension eq(add(x[1][26],28),x[2][26]) -> extension (support ? 1) - 77tuples
0.20/0.31 c intension eq(add(x[1][27],29),x[2][27]) -> extension (support ? 1) - 76tuples
0.30/0.32 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.35 c root propagations : 3990
0.30/0.35 c restarts enabled, print stats at every restarts
0.30/0.35 c
0.30/0.35 c
0.30/0.35 c ========================================[ Problem Statistics ]===========================================
0.30/0.35 c |
0.30/0.35 c | Parse time : 0.34 s
0.30/0.35 c |
0.30/0.35 c | Variables: 105
0.30/0.35 c | Domain Sizes: 105..105
0.30/0.35 c |
0.30/0.35 c | Constraints: 71
0.30/0.35 c | Arity: 2..105 -- Binary: 70
0.30/0.35 c |
0.30/0.35 c | Types:
0.30/0.35 c | All Different: 1
0.30/0.35 c | Extension: 70 (nb tuples: 69..103) -- (shared: 0)
0.30/0.35 c |
0.30/0.35 c =========================================================================================================
0.30/0.35 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.60 c 211 847 28696 175709 105 0 49 67 57
0.69/0.77 c 332 1391 47803 289085 105 0 46 64 56
0.89/0.94 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.29/1.33 c 771 3288 110459 698497 105 0 52 67 56
1.49/1.55 c 947 4031 135828 841447 105 0 49 67 58
1.79/1.86 c 1140 4998 170748 1067658 105 0 49 70 56
2.10/2.13 c 1352 5921 200560 1243523 105 0 49 67 58
2.39/2.44 c 1585 6865 235197 1458778 105 0 49 67 57
2.69/2.75 c 1841 7976 271264 1681215 105 0 52 70 58
3.10/3.15 c 2122 9352 315876 1956797 105 0 49 67 56
3.49/3.55 c 2431 10717 361422 2249559 105 0 46 70 57
3.99/4.08 c 2770 12316 420157 2624812 105 0 49 70 57
4.59/4.63 c 3142 13960 481245 2990007 105 0 49 67 56
5.10/5.19 c 3551 15485 543483 3368902 105 0 46 70 56
5.59/5.69 c 4000 17272 599074 3777403 105 0 49 67 57
6.29/6.35 c 4493 19499 672697 4247821 105 0 46 67 56
6.89/6.99 c 5035 21913 745425 4696170 105 0 49 70 57
7.69/7.75 c 5631 24675 831567 5258359 105 0 46 67 57
8.59/8.69 c 6286 27496 936447 5901682 105 0 49 70 58
9.59/9.62 c 7006 30484 1041013 6573102 105 0 46 70 55
10.59/10.62 c 7798 33751 1153178 7229452 105 0 46 70 56
11.89/11.91 c 8669 37724 1297479 8098686 105 0 43 70 57
13.09/13.15 c 9627 41676 1436018 8973486 105 0 46 67 56
14.38/14.45 c 10680 46125 1582488 9919827 105 0 46 67 57
15.88/15.97 c 11838 50865 1750902 11013416 105 0 43 67 56
17.48/17.59 c 13111 55801 1930440 12203826 105 0 49 67 56
19.28/19.35 c 14511 61980 2128463 13475315 105 0 46 70 57
21.18/21.21 c 16051 68272 2336495 14899020 105 0 46 70 55
23.28/23.32 c 17745 75390 2573776 16385762 105 0 43 70 56
25.68/25.75 c 19608 82800 2843269 18069807 105 0 46 67 55
28.09/28.12 c 21657 91329 3109346 19751058 105 0 46 70 58
30.78/30.82 c 23910 100590 3413665 21743236 105 0 46 67 56
33.99/34.04 c 26388 110511 3772151 23974386 105 0 46 73 57
37.48/37.59 c 29113 121435 4164546 26565642 105 0 37 73 57
41.09/41.14 c 32110 133204 4563874 29198158 105 0 46 76 57
45.68/45.72 c 35406 147201 5072607 32313770 105 0 46 73 57
50.28/50.36 c 39031 162169 5595275 35603052 105 0 46 73 58
55.28/55.35 c 43018 179056 6157849 39109780 105 0 46 73 58
61.38/61.43 c 47403 197715 6835108 43308630 105 0 46 76 58
67.27/67.38 c 52226 217592 7492836 47547506 105 0 46 76 58
73.98/74.03 c 57531 238869 8240167 52068428 105 0 43 76 57
81.57/81.62 c 63366 263487 9074360 58292766 105 0 46 73 55
89.87/89.95 c 69784 291850 9990411 64274291 105 0 43 70 56
98.97/99.08 c 76843 322147 11011305 70914640 105 0 43 70 57
109.27/109.32 c 84607 353347 12136623 78446750 105 0 43 70 55
119.67/119.75 c 93147 388320 13301121 86289832 105 0 40 73 55
131.66/131.72 c 102541 426625 14632084 94727608 105 0 43 73 57
144.36/144.41 c 112874 469748 16072982 103468513 105 0 46 76 58
158.86/158.94 c 124240 518992 17709172 113551757 105 0 43 76 58
175.16/175.24 c 136742 572618 19541300 124841780 105 0 40 73 57
193.25/193.38 c 150494 631124 21566470 138063621 105 0 43 73 58
212.15/212.28 c 165621 692439 23683823 151445244 105 0 46 76 59
233.54/233.68 c 182260 762583 26059890 167437541 105 0 40 76 58
257.74/257.80 c 200562 840195 28739163 184439422 105 0 43 73 57
284.53/284.61 c 220694 927515 31720653 204321714 105 0 40 79 58
315.33/315.44 c 242839 1021702 35156712 225778985 105 0 43 73 59
347.22/347.39 c 267198 1125339 38720254 248652595 105 0 43 73 59
382.72/382.89 c 293992 1240003 42651181 273275307 105 0 43 76 58
421.91/422.02 c 323465 1365419 46991538 302573087 105 0 43 76 58
464.50/464.66 c 355885 1506325 51734827 332706598 105 0 43 76 57
510.90/511.04 c 391547 1661231 56931694 365464890 105 0 43 76 58
560.38/560.52 c 430775 1817594 62470785 400792471 105 0 43 76 59
616.47/616.64 c 473925 2000112 68729434 440217984 105 0 43 76 58
679.46/679.67 c 521390 2198564 75782952 483157215 105 0 43 76 58
742.75/742.92 c 573601 2423395 82904982 528908962 105 0 40 79 58
817.73/817.97 c 631033 2665897 91261959 581822271 105 0 40 76 57
898.33/898.56 c 694208 2930678 100217036 640963618 105 0 40 73 57
991.94/992.12 c 763700 3227789 110582885 702706181 105 0 40 79 57
1093.03/1093.27 c 840141 3557880 121821852 776507580 105 0 40 76 57
1204.32/1204.56 c 924226 3913636 134189831 854742089 105 0 40 76 57
1321.02/1321.23 c 1016719 4304974 147169269 939020311 105 0 40 73 56
1444.12/1444.35 c 1118461 4741504 161077941 1026977849 105 0 43 76 58
1594.32/1594.55 c 1230377 5222597 177759110 1135367128 105 0 40 76 57
1755.12/1755.33 c 1353484 5747425 195630967 1249857066 105 0 40 76 57
1928.12/1928.32 c 1488901 6319774 214824954 1376960293 105 0 40 79 57
2133.51/2133.71 c 1637859 6948789 237553070 1525613176 105 0 40 79 58
2359.81/2360.03 c 1801712 7624025 262562456 1685126088 105 0 40 73 57
2519.81/2520.00
2519.81/2520.00 c *** INTERRUPTED ***
2519.81/2520.00 c restarts : 79
2519.81/2520.00 c conflicts : 1912620 (759 /sec)
2519.81/2520.00 c decisions : 8093424 (3212 /sec)
2519.81/2520.00 c propagations : 1793640576 (711816 /sec)
2519.81/2520.00 c root propagations : 3990
2519.81/2520.00 c filter calls : 280353372 (111260 /sec)
2519.81/2520.00 c useless filter calls : 45795930 (16 %)
2519.81/2520.00 c Memory used : 28.66 MB
2519.81/2520.00 c CPU time : 2519.81 s
2519.81/2520.00 c real time : 2520 s
2519.81/2520.00
2519.81/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 (8872 MiB free)
memory of node 1: 16384 MiB (15132 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396876-1568578466/watcher-4396876-1568578466 -o /tmp/evaluation-result-4396876-1568578466/solver-4396876-1568578466 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node149-1568572746-32297 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396876-1568578466.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
Current StackSize limit: 8192 KiB
solver pid=925, runsolver pid=921
[startup+0.100756 s]*
/proc/loadavg: 2.59 2.13 2.08 3/201 926
/proc/meminfo: memFree=24580860/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=28388 memory=4728 CPUtime=0.09 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 2400 0 0 0 9 0 0 0 20 0 1 0 434086366 29069312 1182 33554432000 4194304 6211092 140723816484608 140723816479512 140646337461054 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7097 1182 832 493 0 402 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 28388 KiB
Current children cumulated memory: 4728 KiB
[startup+0.209805 s]*
/proc/loadavg: 2.59 2.13 2.08 3/201 926
/proc/meminfo: memFree=24582180/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=28724 memory=5240 CPUtime=0.2 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 3706 0 0 0 20 0 0 0 20 0 1 0 434086366 29413376 1310 33554432000 4194304 6211092 140723816484608 140723816479512 140646338391460 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7181 1310 832 493 0 486 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 28724 KiB
Current children cumulated memory: 5240 KiB
[startup+0.3098 s]*
/proc/loadavg: 2.59 2.13 2.08 3/201 926
/proc/meminfo: memFree=24573764/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29192 memory=5708 CPUtime=0.3 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 4901 0 0 0 30 0 0 0 20 0 1 0 434086366 29892608 1427 33554432000 4194304 6211092 140723816484608 140723816479512 5451482 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7298 1427 832 493 0 603 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 29192 KiB
Current children cumulated memory: 5708 KiB
[startup+0.70035 s]
/proc/loadavg: 2.59 2.13 2.08 3/201 926
/proc/meminfo: memFree=24571264/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=5864 CPUtime=0.69 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 5336 0 0 0 69 0 0 0 20 0 1 0 434086366 30052352 1466 33554432000 4194304 6211092 140723816484608 140723816482872 5082385 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1466 832 493 0 642 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 5864 KiB
[startup+1.50034 s]
/proc/loadavg: 2.59 2.13 2.08 3/201 926
/proc/meminfo: memFree=24567248/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=5864 CPUtime=1.49 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 5336 0 0 0 149 0 0 0 20 0 1 0 434086366 30052352 1466 33554432000 4194304 6211092 140723816484608 140723816482568 5081375 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1466 832 493 0 642 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 5864 KiB
[startup+3.10968 s]
/proc/loadavg: 2.59 2.13 2.08 3/201 926
/proc/meminfo: memFree=25086488/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=3.1 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 5702 0 0 0 310 0 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5076389 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+6.30027 s]
/proc/loadavg: 2.63 2.14 2.09 3/200 929
/proc/meminfo: memFree=25683256/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=6.29 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 6068 0 0 0 629 0 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5082735 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+12.7003 s]
/proc/loadavg: 2.58 2.14 2.09 3/200 929
/proc/meminfo: memFree=25683124/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=12.68 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 6434 0 0 0 1268 0 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5082397 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/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.45 2.13 2.08 3/200 932
/proc/meminfo: memFree=25683632/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=25.48 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 7163 0 0 0 2548 0 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5082427 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/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.1091 s]
/proc/loadavg: 2.30 2.12 2.08 3/200 933
/proc/meminfo: memFree=25682576/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=51.09 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 7532 0 0 0 5109 0 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5079267 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/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.13 2.10 2.08 3/199 937
/proc/meminfo: memFree=25683228/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=102.27 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 7898 0 0 0 10227 0 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5081337 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+162.3 s]
/proc/loadavg: 2.05 2.09 2.07 3/199 943
/proc/meminfo: memFree=25683820/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=162.26 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 8268 0 0 0 16226 0 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5082427 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.07 2.07 3/199 947
/proc/meminfo: memFree=25683492/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=222.25 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 8636 0 0 0 22225 0 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5074364 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/199 951
/proc/meminfo: memFree=25683348/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=282.23 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 9003 0 0 0 28223 0 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5075263 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/199 959
/proc/meminfo: memFree=25683596/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=342.22 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 9370 0 0 0 34222 0 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5078752 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 970
/proc/meminfo: memFree=25683004/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=402.21 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 9739 0 0 0 40221 0 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5075248 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 402.21 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 974
/proc/meminfo: memFree=25683172/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=462.2 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 10104 0 0 0 46220 0 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5081325 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 462.2 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
################
# More data... #
################
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 1106
/proc/meminfo: memFree=25682868/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=1782.12 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 17427 0 0 0 178211 1 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5074413 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 1782.12 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 1110
/proc/meminfo: memFree=25682276/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=1842.12 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 17701 0 0 0 184211 1 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5193728 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 1842.12 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 1114
/proc/meminfo: memFree=25682772/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=1902.12 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 17974 0 0 0 190211 1 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5079295 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 1902.12 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/199 1120
/proc/meminfo: memFree=25682756/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=1962.12 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 18341 0 0 0 196211 1 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5082376 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 1962.12 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 1185
/proc/meminfo: memFree=25705700/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=2022.11 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 18616 0 0 0 202210 1 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5075777 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2022.11 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 1189
/proc/meminfo: memFree=25706136/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=2082.11 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 18891 0 0 0 208210 1 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5079432 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2082.11 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2142.3 s]
/proc/loadavg: 1.96 2.00 2.04 3/199 1195
/proc/meminfo: memFree=25705192/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=2142.11 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 19259 0 0 0 214210 1 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5074670 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2142.11 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2202.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 1206
/proc/meminfo: memFree=25705296/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=2202.11 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 19526 0 0 0 220210 1 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5017617 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 1210
/proc/meminfo: memFree=25704220/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=2262.11 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 19807 0 0 0 226210 1 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5082818 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 1216
/proc/meminfo: memFree=25703832/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=2322.11 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 20081 0 0 0 232210 1 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5075568 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 1220
/proc/meminfo: memFree=25704592/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=2382.11 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 20447 0 0 0 238210 1 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5082455 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2382.11 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 1224
/proc/meminfo: memFree=25704628/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=2442.11 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 20712 0 0 0 244210 1 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5079289 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2442.11 s
Current children cumulated vsize: 29348 KiB
Current children cumulated memory: 6020 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 1231
/proc/meminfo: memFree=25704436/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=2502.1 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 20977 0 0 0 250209 1 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5081367 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2502.1 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.00 2.04 3/199 1231
/proc/meminfo: memFree=25704376/32770624 swapFree=66941236/67108860
[pid=925] ppid=921 vsize=29348 memory=6020 CPUtime=2519.81 cores=1,3,5,7
/proc/925/stat : 925 (cosoco) R 921 925 32265 0 -1 4202496 21234 0 0 0 251980 1 0 0 20 0 1 0 434086366 30052352 1505 33554432000 4194304 6211092 140723816484608 140723816482568 5075221 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 14266368 140723816489995 140723816490097 140723816490097 140723816493006 0
/proc/925/statm: 7337 1505 870 493 0 642 0
Current children cumulated CPU time: 2519.81 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 925 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.81 s, system=0.017998 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.83
CPU user time (s): 2519.81
CPU system time (s): 0.017998
CPU usage (%): 99.9927
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.81
system time used= 0.017998
maximum resident set size= 6084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21284
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= 15
involuntary context switches= 1127
# summary of solver processes directly reported to runsolver:
# pid: 925
# total CPU time (s): 2519.83
# total CPU user time (s): 2519.81
# total CPU system time (s): 0.017998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.21022 second user time and 15.7045 second system time
The end