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-4389515-1568347660.xml
0.00/0.01 c intension or(and(eq(dist(div(x[0],8),div(x[1],8)),1),eq(dist(mod(x[0],8),mod(x[1],8)),2)),and(eq(dist(div(x[0],8),div(x[1],8)),2),eq(dist(mod(x[0],8),mod(x[1],8)),1))) -> extension (support ? 1) - 336tuples
0.10/0.15 c root propagations : 2192
0.10/0.15 c restarts enabled, print stats at every restarts
0.10/0.15 c
0.10/0.15 c
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c intension -> extension : same as previous
0.10/0.15 c ========================================[ Problem Statistics ]===========================================
0.10/0.15 c |
0.10/0.15 c | Parse time : 0.15 s
0.10/0.15 c |
0.10/0.15 c | Variables: 64
0.10/0.15 c | Domain Sizes: 64..64
0.10/0.15 c |
0.10/0.15 c | Constraints: 67
0.10/0.15 c | Arity: 1..64 -- Unary: 2 -- Binary: 64
0.10/0.15 c |
0.10/0.15 c | Types:
0.10/0.15 c | All Different: 1
0.10/0.15 c | Extension: 64 (nb tuples: 336..336) -- (shared: 63)
0.10/0.15 c | Unary: 2
0.10/0.15 c |
0.10/0.15 c =========================================================================================================
0.10/0.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.10/0.17 c 101 410 5716 17348 64 0 41 56 49
0.10/0.19 c 211 781 10834 36005 64 0 29 54 47
0.21/0.22 c 332 1236 17292 56733 64 0 21 55 45
0.21/0.24 c 465 1706 23601 78510 64 0 40 53 46
0.21/0.27 c 611 2196 29596 98948 64 0 35 55 49
0.21/0.30 c 771 2674 36488 121832 64 0 16 54 47
0.31/0.34 c 947 3250 45264 157361 64 0 37 51 45
0.31/0.37 c 1140 3861 53639 197544 64 0 30 56 47
0.41/0.42 c 1352 4558 64463 241895 64 0 31 57 48
0.41/0.46 c 1585 5254 74838 277511 64 0 44 56 49
0.51/0.52 c 1841 6036 87252 329328 64 0 37 56 50
0.51/0.56 c 2122 6960 98298 356622 64 0 31 54 47
0.60/0.61 c 2431 7864 111102 395655 64 0 41 57 49
0.60/0.66 c 2770 8772 123570 436820 64 0 39 55 48
0.69/0.72 c 3142 9711 135816 495824 64 0 33 55 47
0.79/0.81 c 3551 10972 154537 567415 64 0 28 54 49
0.79/0.88 c 4000 12363 173466 631045 64 0 30 55 50
0.89/0.97 c 4493 13954 193619 692995 64 0 36 55 48
1.00/1.06 c 5035 15512 213954 767441 64 0 27 56 49
1.10/1.17 c 5631 17255 236274 868787 64 0 39 56 50
1.19/1.27 c 6286 19095 262075 961911 64 0 33 57 50
1.29/1.37 c 7006 21058 288437 1040469 64 0 44 57 50
1.39/1.48 c 7798 23119 314868 1124232 64 0 39 54 49
1.49/1.59 c 8669 25328 340991 1213989 64 0 43 56 50
1.69/1.72 c 9627 27908 371003 1315999 64 0 41 55 49
1.79/1.87 c 10680 30711 404634 1439084 64 0 44 58 51
2.00/2.04 c 11838 34166 446738 1557489 64 0 42 55 49
2.19/2.22 c 13111 37396 488452 1690750 64 0 40 57 48
2.39/2.45 c 14511 41838 542077 1860376 64 0 40 55 48
2.69/2.71 c 16051 46343 600295 2067062 64 0 39 57 49
2.89/2.97 c 17745 50721 662768 2309898 64 0 38 54 48
3.19/3.26 c 19608 55761 731530 2536461 64 0 37 55 48
3.49/3.55 c 21657 61302 802238 2743326 64 0 38 56 48
3.89/3.93 c 23910 67802 884568 3052865 64 0 21 55 48
4.29/4.34 c 26388 74790 978482 3413591 64 0 41 57 50
4.79/4.84 c 29113 82752 1086380 3818545 64 0 41 58 49
5.29/5.31 c 32110 90937 1199222 4218754 64 0 40 57 49
5.79/5.87 c 35406 100826 1329056 4595134 64 0 37 56 48
6.39/6.49 c 39031 111853 1475851 5033704 64 0 38 57 49
7.10/7.13 c 43018 124251 1628144 5485114 64 0 40 56 49
7.79/7.87 c 47403 136361 1789318 6083392 64 0 28 57 50
8.69/8.72 c 52226 151871 1991882 6741866 64 0 33 57 49
9.59/9.60 c 57531 167435 2190312 7525320 64 0 40 58 50
10.29/10.38 c 63366 183546 2394913 8110348 64 0 26 58 49
11.39/11.48 c 69784 202731 2639570 9174857 64 0 16 55 47
12.39/12.48 c 76843 223075 2886423 9962957 64 0 38 58 48
13.79/13.80 c 84607 245592 3181943 11119557 64 0 24 56 49
15.10/15.17 c 93147 270399 3488790 12052406 64 0 14 54 47
16.59/16.61 c 102541 299227 3840650 13069568 64 0 37 56 47
18.29/18.30 c 112874 330123 4237742 14489482 64 0 38 58 48
20.00/20.07 c 124240 361358 4621562 15975827 64 0 33 55 46
21.89/22.00 c 136742 396696 5050147 17565260 64 0 25 55 46
24.89/25.00 c 150494 440540 5664868 20079408 64 0 36 58 47
27.10/27.19 c 165621 487345 6228184 21700493 64 0 38 59 49
29.59/29.63 c 182260 540680 6847900 23430133 64 0 36 59 50
32.59/32.68 c 200562 601436 7584640 25711865 64 0 40 60 50
35.79/35.83 c 220694 660567 8337693 27870690 64 0 33 57 49
39.39/39.43 c 242839 718263 9107910 30566215 64 0 13 55 46
43.69/43.70 c 267198 785824 10037890 34113619 64 0 21 58 48
48.49/48.57 c 293992 862572 11090272 38176224 64 0 33 58 46
53.59/53.66 c 323465 944540 12238339 42504516 64 0 23 58 47
59.49/59.50 c 355885 1038362 13533768 47528704 64 0 35 58 48
65.79/65.81 c 391547 1141735 14933867 52662136 64 0 36 58 47
72.49/72.53 c 430775 1254034 16450294 58084482 64 0 35 56 47
79.10/79.19 c 473925 1373507 18029596 63330562 64 0 28 57 47
87.29/87.39 c 521390 1510817 19917735 69943534 64 0 35 57 47
95.39/95.47 c 573601 1654868 21751482 76474783 64 0 6 58 48
104.39/104.47 c 631033 1808298 23823100 84195915 64 0 36 59 48
115.59/115.68 c 694208 1988799 26299559 94552370 64 0 36 58 49
125.89/125.94 c 763700 2181399 28605248 103021006 64 0 26 56 46
142.88/142.90 c 840141 2416960 32101573 117609447 64 0 20 56 47
158.28/158.33 c 924226 2686091 35593573 129917081 64 0 36 60 50
176.18/176.26 c 1016719 2957124 39632929 146345130 64 0 27 60 49
191.28/191.31 c 1118461 3246264 43175075 157078435 64 0 18 57 48
207.68/207.75 c 1230377 3568304 47043351 169082833 64 0 36 59 49
229.99/230.10 c 1353484 3937246 52236326 189677837 64 0 13 58 48
261.88/261.91 c 1488901 4394804 58828919 215264531 64 0 20 58 46
287.18/287.27 c 1637859 4783654 64617695 239075994 64 0 15 57 47
321.68/321.77 c 1801712 5309690 72351682 270490462 64 0 30 58 47
355.09/355.18 c 1981950 5823971 79413405 298039693 64 0 33 56 47
395.58/395.60 c 2180211 6422747 88163393 330069297 64 0 27 56 48
430.88/430.99 c 2398298 7065216 96550427 359248551 64 0 34 57 47
470.88/470.93 c 2638193 7793560 106159034 392309600 64 0 26 57 48
512.67/512.76 c 2902077 8629408 116494504 423931508 64 0 17 61 49
559.47/559.53 c 3192349 9418228 127187050 464689992 64 0 32 55 45
624.57/624.65 c 3511648 10449864 141565559 523000380 64 0 32 61 48
685.08/685.15 c 3862876 11328111 155901090 574921308 64 0 18 57 47
770.27/770.38 c 4249226 12545530 174199268 648693811 64 0 28 58 46
851.87/851.96 c 4674211 13841607 192003725 714984895 64 0 22 58 47
941.97/942.01 c 5141694 15322106 212804592 786906149 64 0 13 60 48
1047.86/1047.91 c 5655925 16892049 235955012 879841643 64 0 30 58 46
1157.86/1157.99 c 6221579 18504688 259542188 970558715 64 0 31 57 45
1275.55/1275.69 c 6843798 20454932 285786584 1057687851 64 0 24 59 48
1399.97/1400.08 c 7528238 22516786 312822622 1163214104 64 0 14 57 46
1543.75/1543.84 c 8281122 24751041 343332780 1283935968 64 0 33 58 47
1705.25/1705.39 c 9109294 27276513 378410172 1435383457 64 0 24 61 48
1888.34/1888.44 c 10020283 29987375 417625395 1602424987 64 0 34 59 49
2080.33/2080.40 c 11022370 32908498 458399511 1770144341 64 0 32 58 47
2317.33/2317.43 c 12124665 36284491 508086224 1986278159 64 0 31 58 46
2318.43/2318.57 c First solution is found
2318.43/2318.57 s SATISFIABLE
2318.43/2318.57 c restarts : 99
2318.43/2318.57 c conflicts : 12132080 (5233 /sec)
2318.43/2318.57 c decisions : 36306610 (15660 /sec)
2318.43/2318.57 c propagations : 1987254574 (857130 /sec)
2318.43/2318.57 c root propagations : 2192
2318.43/2318.57 c filter calls : 508370484 (219267 /sec)
2318.43/2318.57 c useless filter calls : 259694735 (51 %)
2318.43/2318.57 c Memory used : 30.61 MB
2318.43/2318.57 c CPU time : 2318.5 s
2318.43/2318.57 c real time : 2318.58 s
2318.43/2318.57
2318.43/2318.57 c solution 1
2318.43/2318.57
2318.43/2318.57 v <instantiation type='solution'>
2318.43/2318.57 v <list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] </list>
2318.43/2318.57 v <values>0 10 4 14 20 5 15 30 47 62 52 35 45 55 38 28 18 12 27 44 61 51 57 40 34 24 9 3 13 7 22 39 29 23 6 21 11 1 16 26 43 33 48 58 41 56 50 60 54 37 31 46 63 53 59 49 32 42 36 19 25 8 2 17 </values>
2318.43/2318.57 v </instantiation>
2318.43/2318.57
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 (13997 MiB free)
memory of node 1: 16384 MiB (13737 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389515-1568347660/watcher-4389515-1568347660 -o /tmp/evaluation-result-4389515-1568347660/solver-4389515-1568347660 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3495 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389515-1568347660.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
Current StackSize limit: 8192 KiB
solver pid=7907, runsolver pid=7904
[startup+0.100202 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 7908
/proc/meminfo: memFree=28398012/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=30172 memory=6540 CPUtime=0.1 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 1806 0 0 0 10 0 0 0 20 0 1 0 411034884 30896128 1635 33554432000 4194304 6210612 140727812667424 140727812663960 140668043971557 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7543 1635 827 493 0 848 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30172 KiB
Current children cumulated memory: 6540 KiB
[startup+0.20966 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 7908
/proc/meminfo: memFree=28397052/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7968 CPUtime=0.21 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 2156 0 0 0 21 0 0 0 20 0 1 0 411034884 32096256 1992 33554432000 4194304 6210612 140727812667424 140727812663960 5075326 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1992 862 493 0 1141 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7968 KiB
[startup+0.309114 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 7908
/proc/meminfo: memFree=28397052/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7968 CPUtime=0.31 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 2156 0 0 0 31 0 0 0 20 0 1 0 411034884 32096256 1992 33554432000 4194304 6210612 140727812667424 140727812663960 5076028 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1992 862 493 0 1141 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7968 KiB
[startup+0.700333 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7908
/proc/meminfo: memFree=28396712/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7968 CPUtime=0.69 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 2156 0 0 0 69 0 0 0 20 0 1 0 411034884 32096256 1992 33554432000 4194304 6210612 140727812667424 140727812663960 5082391 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1992 862 493 0 1141 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7968 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7908
/proc/meminfo: memFree=28396316/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7968 CPUtime=1.49 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 2156 0 0 0 149 0 0 0 20 0 1 0 411034884 32096256 1992 33554432000 4194304 6210612 140727812667424 140727812665384 5397301 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1992 862 493 0 1141 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7968 KiB
[startup+3.10938 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 7908
/proc/meminfo: memFree=28395460/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=3.1 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 2460 0 0 0 310 0 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5075229 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+6.30032 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 7908
/proc/meminfo: memFree=28395908/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=6.29 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 2764 0 0 0 629 0 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5078599 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 7908
/proc/meminfo: memFree=28395848/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=12.69 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 3068 0 0 0 1269 0 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5192880 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.03 2.05 3/199 7910
/proc/meminfo: memFree=28395824/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=25.49 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 3676 0 0 0 2549 0 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5079072 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+51.1092 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 7910
/proc/meminfo: memFree=28396296/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=51.1 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 3980 0 0 0 5110 0 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5081335 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/199 7914
/proc/meminfo: memFree=28396720/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=102.29 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 4178 0 0 0 10229 0 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5082416 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 7920
/proc/meminfo: memFree=28396428/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=162.28 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 4375 0 0 0 16228 0 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5080969 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7932
/proc/meminfo: memFree=28396160/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=222.28 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 4572 0 0 0 22228 0 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5074315 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7936
/proc/meminfo: memFree=28396084/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=282.28 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 4769 0 0 0 28228 0 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5082070 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7942
/proc/meminfo: memFree=28395628/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=342.28 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 4966 0 0 0 34228 0 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5078885 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7946
/proc/meminfo: memFree=28395232/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=402.28 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 5163 0 0 0 40228 0 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5076063 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 7950
/proc/meminfo: memFree=28395340/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=462.28 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 5360 0 0 0 46228 0 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5074212 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
################
# More data... #
################
Current children cumulated memory: 7980 KiB
[startup+1962.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/199 8209
/proc/meminfo: memFree=28333924/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=1962.24 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 9264 0 0 0 196223 1 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5078384 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 1962.24 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+2022.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/200 8221
/proc/meminfo: memFree=28334276/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=2022.24 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 9381 0 0 0 202223 1 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5082119 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 2022.24 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/200 8225
/proc/meminfo: memFree=28334732/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=2082.23 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 9578 0 0 0 208222 1 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5017076 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 2082.23 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/200 8231
/proc/meminfo: memFree=28334404/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=2142.23 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 9689 0 0 0 214222 1 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5081289 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 2142.23 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 8235
/proc/meminfo: memFree=28334340/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=2202.23 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 9802 0 0 0 220222 1 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5081584 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 2202.23 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 8239
/proc/meminfo: memFree=28334640/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=2262.23 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 9915 0 0 0 226222 1 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5074212 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 2262.23 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+2318.58 s]
# the end of solver process 7907 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2318.5 s, system=0.012999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2278.4 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 8241
/proc/meminfo: memFree=28334328/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=2278.33 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 10033 0 0 0 227832 1 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5075426 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 2278.33 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+2304 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 8243
/proc/meminfo: memFree=28334388/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=2303.93 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 10033 0 0 0 230392 1 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5081038 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 2303.93 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+2310.4 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 8243
/proc/meminfo: memFree=28334668/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=2310.33 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 10033 0 0 0 231032 1 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5080969 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 2310.33 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+2313.6 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 8245
/proc/meminfo: memFree=28334124/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=2313.53 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 10033 0 0 0 231352 1 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5082394 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 2313.53 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+2316.8 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 8245
/proc/meminfo: memFree=28334188/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=2316.73 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 10033 0 0 0 231672 1 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5081628 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 2316.73 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+2317.6 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 8245
/proc/meminfo: memFree=28334188/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=2317.53 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 10112 0 0 0 231752 1 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5078399 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 2317.53 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+2318 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 8245
/proc/meminfo: memFree=28334188/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=2317.93 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 10112 0 0 0 231792 1 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5078384 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 2317.93 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+2318.4 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 8245
/proc/meminfo: memFree=28334188/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=2318.33 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 10112 0 0 0 231832 1 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5082059 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 2318.33 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
[startup+2318.5 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 8245
/proc/meminfo: memFree=28334188/32770624 swapFree=66998520/67108860
[pid=7907] ppid=7904 vsize=31344 memory=7980 CPUtime=2318.43 cores=0,2,4,6
/proc/7907/stat : 7907 (cosoco) R 7904 7907 3464 0 -1 4202496 10112 0 0 0 231842 1 0 0 20 0 1 0 411034884 32096256 1995 33554432000 4194304 6210612 140727812667424 140727812665384 5079072 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 39374848 140727812670475 140727812670577 140727812670577 140727812673486 0
/proc/7907/statm: 7836 1995 863 493 0 1141 0
Current children cumulated CPU time: 2318.43 s
Current children cumulated vsize: 31344 KiB
Current children cumulated memory: 7980 KiB
Child status: 0
Real time (s): 2318.58
CPU time (s): 2318.51
CPU user time (s): 2318.5
CPU system time (s): 0.012999
CPU usage (%): 99.9971
Max. virtual memory (cumulated for all children) (KiB): 31344
Max. memory (cumulated for all children) (KiB): 7980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2318.5
system time used= 0.012999
maximum resident set size= 8056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10153
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= 7
involuntary context switches= 2900
# summary of solver processes directly reported to runsolver:
# pid: 7907
# total CPU time (s): 2318.51
# total CPU user time (s): 2318.5
# total CPU system time (s): 0.012999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.94724 second user time and 15.6522 second system time
The end