0.01/0.20 c SAT : Variables: 5850 -- Clauses: 73350
0.12/0.22 c root propagations : 260
0.12/0.22 c restarts enabled, print stats at every restarts
0.12/0.22 c
0.12/0.22 c
0.12/0.22 c
0.12/0.22 c This is cosoco 1.12 --
0.12/0.22 c
0.12/0.22 c command line: cosoco -lc -model -restarts -sat HOME/instance-4266547-1502593967.xml
0.12/0.22 c ========================================[ Problem Statistics ]===========================================
0.12/0.22 c |
0.12/0.22 c | Parse time : 0.11 s
0.12/0.22 c |
0.12/0.22 c | Variables: 225
0.12/0.22 c | Domain Sizes: 26..26
0.12/0.22 c |
0.12/0.22 c | Constraints: 78
0.12/0.22 c | Arity: 3..10 -- Ternary: 16
0.12/0.22 c |
0.12/0.22 c | Types:
0.12/0.22 c | Extension: 78 (nb tuples: 753..4042) -- (shared: 72)
0.12/0.22 c |
0.12/0.22 c =========================================================================================================
0.12/0.22 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.12/0.22 c remove useless variable x[0][4]
0.12/0.22 c remove useless variable x[0][10]
0.12/0.22 c remove useless variable x[1][4]
0.12/0.22 c remove useless variable x[1][10]
0.12/0.22 c remove useless variable x[2][10]
0.12/0.22 c remove useless variable x[3][7]
0.12/0.22 c remove useless variable x[3][8]
0.12/0.22 c remove useless variable x[4][0]
0.12/0.22 c remove useless variable x[4][1]
0.12/0.22 c remove useless variable x[4][2]
0.12/0.22 c remove useless variable x[4][6]
0.12/0.22 c remove useless variable x[4][13]
0.12/0.22 c remove useless variable x[4][14]
0.12/0.22 c remove useless variable x[5][5]
0.12/0.22 c remove useless variable x[5][9]
0.12/0.22 c remove useless variable x[6][3]
0.12/0.22 c remove useless variable x[6][10]
0.12/0.22 c remove useless variable x[7][3]
0.12/0.22 c remove useless variable x[7][11]
0.12/0.22 c remove useless variable x[8][4]
0.12/0.22 c remove useless variable x[8][11]
0.12/0.22 c remove useless variable x[9][5]
0.12/0.22 c remove useless variable x[9][9]
0.12/0.22 c remove useless variable x[10][0]
0.12/0.22 c remove useless variable x[10][1]
0.12/0.22 c remove useless variable x[10][8]
0.12/0.22 c remove useless variable x[10][12]
0.12/0.22 c remove useless variable x[10][13]
0.12/0.22 c remove useless variable x[10][14]
0.12/0.22 c remove useless variable x[11][6]
0.12/0.22 c remove useless variable x[11][7]
0.12/0.22 c remove useless variable x[12][4]
0.12/0.22 c remove useless variable x[13][4]
0.12/0.22 c remove useless variable x[13][10]
0.12/0.22 c remove useless variable x[14][4]
0.12/0.22 c remove useless variable x[14][10]
0.12/0.23 c 10 83 945 3497 144 10 29 72 57
0.12/0.25 c 20 159 1705 7509 144 20 11 57 25
0.12/0.26 c 30 215 2427 11180 144 26 15 31 19
0.12/0.28 c 40 286 3251 15997 144 30 57 59 52
0.12/0.29 c 50 323 3919 19164 144 36 16 23 16
0.12/0.31 c 60 434 5053 25306 144 45 12 94 61
0.22/0.33 c 70 546 5939 29727 144 54 15 93 46
0.22/0.35 c 80 655 6955 34805 144 63 15 96 49
0.22/0.37 c 90 763 8062 39827 144 69 15 87 67
0.22/0.39 c 100 854 9037 45606 144 78 42 74 56
0.22/0.40 c 101 877 9278 46661 144 79 23 23 11
0.32/0.42 c 110 976 10216 51487 144 88 10 89 30
0.32/0.44 c 120 1071 11068 55904 144 98 12 80 23
0.32/0.45 c 130 1171 11931 60651 144 104 9 91 49
0.32/0.48 c 140 1274 13070 66877 144 110 9 90 27
0.32/0.50 c 150 1335 13936 72292 144 116 11 46 33
0.42/0.52 c 160 1409 14759 76557 144 120 12 58 45
0.42/0.54 c 170 1463 15392 81188 144 129 12 45 27
0.42/0.55 c 180 1489 15891 85242 144 137 11 13 11
0.42/0.57 c 190 1604 17078 90348 144 142 45 84 54
0.42/0.59 c 200 1636 17835 94833 144 145 7 13 10
0.51/0.61 c 210 1700 18703 99810 144 152 11 47 25
0.51/0.62 c 211 1710 18870 100594 144 153 10 10 5
0.51/0.64 c 220 1768 19740 105250 144 160 13 43 18
0.51/0.66 c 230 1833 20489 109171 144 165 12 56 38
0.51/0.68 c 240 1897 21340 113096 144 168 11 54 42
0.60/0.70 c 250 1968 22098 116657 144 174 11 60 43
0.60/0.71 c 260 1989 22544 120064 144 182 9 10 8
0.60/0.73 c 270 2012 23140 124804 144 186 8 11 8
0.60/0.75 c 280 2079 24005 129906 144 195 12 54 18
0.60/0.76 c 290 2103 24606 134258 144 200 10 11 9
0.60/0.78 c 300 2180 25592 138703 144 204 59 67 56
0.70/0.80 c 310 2210 26439 143910 144 206 11 11 10
0.70/0.82 c 320 2328 27894 151028 144 214 40 89 66
0.70/0.85 c 330 2487 29180 156230 144 223 12 147 58
0.70/0.86 c 332 2578 29851 159542 144 225 11 90 33
0.70/0.88 c 340 2666 30692 164481 144 233 11 81 47
0.80/0.90 c 350 2717 31513 170194 144 237 11 39 31
0.80/0.92 c 360 2886 32896 176515 144 247 11 159 92
0.80/0.94 c 370 2984 34056 182213 144 252 11 64 47
0.80/0.96 c 380 3042 34975 187187 144 257 37 43 35
0.80/0.98 c 390 3148 36094 192212 144 261 11 83 40
0.80/1.00 c 400 3203 37036 197574 144 263 40 42 37
0.91/1.02 c 410 3272 37729 200965 144 272 40 60 49
0.91/1.04 c 420 3374 38850 206404 144 281 10 91 37
0.91/1.07 c 430 3520 40206 212340 144 289 44 133 88
0.91/1.09 c 440 3667 41509 217837 144 298 12 126 75
1.01/1.11 c 450 3832 42871 223687 144 307 44 155 100
1.01/1.14 c 460 3937 43983 228828 144 315 12 93 33
1.01/1.15 c 465 3955 44363 231096 144 319 10 14 10
1.01/1.17 c 470 4050 45279 235092 144 323 89 91 74
1.01/1.19 c 480 4169 46515 240286 144 330 12 95 33
1.10/1.20 c 490 4243 47279 243805 144 337 17 56 31
1.10/1.23 c 500 4398 48771 250371 144 341 81 129 94
1.10/1.24 c 510 4429 49283 252894 144 348 12 16 13
1.10/1.26 c 520 4457 49901 257052 144 353 10 16 11
1.10/1.27 c 530 4486 50400 260593 144 361 12 14 11
1.10/1.29 c 540 4614 51696 265857 144 369 20 101 56
1.20/1.31 c 550 4641 52273 269901 144 372 10 14 10
1.20/1.33 c 560 4670 52875 274242 144 379 5 16 10
1.20/1.34 c 570 4696 53353 277236 144 387 10 15 10
1.20/1.36 c 580 4731 54033 281018 144 389 7 16 10
1.20/1.39 c 590 4843 55158 286392 144 396 53 93 73
1.30/1.40 c 600 4898 55904 290293 144 401 14 43 25
1.30/1.42 c 610 4952 56654 293689 144 405 22 44 36
1.30/1.43 c 611 4962 56758 294454 144 406 10 10 5
1.30/1.45 c 620 5018 57610 299370 144 412 38 44 36
1.30/1.47 c 630 5079 58513 305177 144 421 10 49 29
1.30/1.49 c 640 5186 59593 310254 144 428 10 97 51
1.40/1.51 c 650 5263 60585 315372 144 435 7 61 28
1.40/1.53 c 660 5317 61370 319766 144 444 7 44 25
1.40/1.55 c 670 5436 62497 325336 144 453 7 100 38
1.40/1.57 c 680 5495 63286 329773 144 462 7 44 24
1.40/1.58 c 690 5554 64025 334329 144 471 7 49 22
1.50/1.60 c 700 5606 64647 338020 144 481 7 43 22
1.50/1.62 c 710 5683 65585 343680 144 490 7 63 24
1.50/1.63 c 720 5705 65945 346769 144 499 11 13 10
1.50/1.65 c 730 5862 67263 352659 144 507 10 140 108
1.50/1.67 c 740 5900 67935 356981 144 511 10 17 12
1.50/1.69 c 750 5999 69025 361906 144 517 11 78 30
1.60/1.72 c 760 6128 70163 367373 144 527 12 119 41
1.60/1.74 c 770 6246 71202 373184 144 537 12 79 34
1.60/1.75 c 771 6259 71369 373901 144 538 13 13 6
1.60/1.76 c 780 6287 71927 377416 144 544 10 15 10
1.60/1.78 c 790 6420 73035 382182 144 554 15 123 63
1.70/1.81 c 800 6571 74429 388292 144 562 37 128 80
1.70/1.83 c 810 6609 75111 392656 144 566 10 17 12
1.70/1.85 c 820 6722 76279 397798 144 576 12 98 59
1.70/1.88 c 830 6880 77882 404748 144 584 37 128 79
1.80/1.90 c 840 7025 79169 410649 144 594 37 126 67
1.80/1.92 c 850 7157 80336 415362 144 604 38 120 66
1.80/1.94 c 860 7297 81546 420144 144 614 38 131 73
1.80/1.97 c 870 7429 82796 425532 144 624 38 120 66
1.80/1.99 c 880 7564 84070 430490 144 633 38 125 72
1.91/2.01 c 890 7692 85213 435411 144 643 38 116 66
1.91/2.04 c 900 7831 86457 440351 144 653 38 130 81
1.91/2.06 c 910 7985 88041 447326 144 660 86 128 99
1.91/2.08 c 920 8122 89367 453028 144 670 38 127 75
2.01/2.11 c 930 8278 90765 458637 144 679 38 130 79
2.01/2.13 c 940 8416 92175 464595 144 684 100 123 107
2.01/2.15 c 947 8542 93321 469174 144 691 41 120 69
2.01/2.18 c 950 8669 94520 473688 144 694 122 123 91
2.10/2.20 c 960 8799 95784 479318 144 703 38 121 80
2.10/2.22 c 970 8948 97158 484710 144 712 89 136 106
2.10/2.24 c 980 9079 98362 489691 144 722 38 121 79
2.10/2.27 c 990 9238 99723 495814 144 731 38 143 103
2.10/2.29 c 1000 9408 101207 501863 144 741 38 160 98
2.20/2.32 c 1010 9548 102534 507910 144 750 38 130 85
2.20/2.33 c 1020 9650 103569 512103 144 754 44 66 47
2.20/2.36 c 1030 9800 104810 516887 144 764 38 137 87
2.20/2.38 c 1040 9970 106269 523847 144 773 38 161 89
2.30/2.40 c 1050 10110 107613 529843 144 782 39 130 94
2.30/2.42 c 1060 10236 108775 534762 144 790 39 117 81
2.30/2.45 c 1070 10374 110106 540827 144 800 39 125 90
2.30/2.47 c 1080 10544 111675 547096 144 805 39 137 91
2.30/2.49 c 1090 10686 112945 552818 144 815 39 132 91
2.40/2.52 c 1100 10863 114342 558603 144 825 39 168 114
2.40/2.54 c 1110 11008 115650 564033 144 835 39 128 90
2.40/2.56 c 1120 11176 117177 571036 144 844 116 158 118
2.40/2.59 c 1130 11317 118445 576300 144 854 39 128 84
2.50/2.61 c 1140 11468 120016 583585 144 861 39 124 64
2.50/2.63 c 1141 11509 120469 585534 144 862 41 41 20
2.50/2.65 c 1150 11623 121560 590247 144 868 56 98 76
2.50/2.67 c solution 1
2.50/2.67
2.50/2.67 v <instantiation type='solution'>
2.50/2.67 v <list>x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] </list>
2.50/2.67 v <values>4 6 0 13 * 2 7 0 14 18 * 18 15 0 19 15 8 11 4 * 14 20 13 2 4 * 0 17 6 14 8 13 0 2 2 20 17 0 19 4 * 6 14 4 17 2 14 13 19 0 2 19 * * 3 0 6 6 4 17 * * * 0 18 7 * 18 19 24 12 8 4 * * 1 11 20 17 1 * 19 4 0 * 0 13 13 0 11 11 14 15 * 0 13 0 17 2 7 * 6 8 11 0 4 0 17 * 7 0 1 8 19 0 19 * 19 14 15 18 19 14 15 * 1 11 0 8 13 4 * 14 13 4 18 7 0 17 4 * 4 19 2 * 12 14 17 4 11 * * 17 4 11 0 19 4 * 0 15 18 * * * 17 0 8 18 8 13 * * 0 11 11 8 18 14 13 0 11 14 4 * 3 4 18 8 3 4 17 0 19 0 13 14 20 13 * 4 21 0 3 4 * 8 17 8 18 19 4 18 19 * 18 0 19 0 13 * 18 0 18 7 </values>
2.50/2.67 v </instantiation>
2.50/2.67
2.50/2.67 c restarts : 123
2.50/2.67 c conflicts : 1158 (448 /sec)
2.50/2.67 c decisions : 11827 (4578 /sec)
2.50/2.67 c propagations : 596764 (230992 /sec)
2.50/2.67 c root propagations : 260
2.50/2.67 c filter calls : 123209 (47691 /sec)
2.50/2.67 c useless filter calls : 56218 (45 %)
2.50/2.67 c
2.50/2.67 c clauses : 74218
2.50/2.67 c SAT propagations : 97
2.50/2.67 c SAT conflicts : 0 (0 learnts)
2.50/2.67 c Memory used : 36.68 MB
2.50/2.67 c CPU time : 2.58342 s
2.50/2.67
2.50/2.67 s SATISFIABLE
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 (15057 MiB free)
memory of node 1: 16384 MiB (15254 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4266547-1502593967/watcher-4266547-1502593967 -o /tmp/evaluation-result-4266547-1502593967/solver-4266547-1502593967 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7148 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266547-1502593967.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=13791, runsolver pid=13788
[startup+0.100108 s]*
/proc/loadavg: 2.13 2.02 2.04 3/185 13792
/proc/meminfo: memFree=31038672/32770624 swapFree=67108860/67108860
[pid=13791] ppid=13788 vsize=27580 memory=3592 CPUtime=0.01 cores=0,2,4,6
/proc/13791/stat : 13791 (cosoco) R 13788 13791 7084 0 -1 4202496 1102 0 0 0 1 0 0 0 20 0 1 0 159049490 28241920 898 18446744073709551615 4194304 5972588 140728305454320 140728305450968 5674888 0 0 1 0 0 0 0 17 0 0 0 9 0 0 8070896 8075904 31662080 140728305455556 140728305455656 140728305455656 140728305459150 0
/proc/13791/statm: 6895 898 720 435 0 258 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 27580 KiB
Current children cumulated memory: 3592 KiB
[startup+0.209392 s]*
/proc/loadavg: 2.13 2.02 2.04 3/185 13792
/proc/meminfo: memFree=31032820/32770624 swapFree=67108860/67108860
[pid=13791] ppid=13788 vsize=37296 memory=10076 CPUtime=0.12 cores=0,2,4,6
/proc/13791/stat : 13791 (cosoco) R 13788 13791 7084 0 -1 4202496 2722 0 0 0 12 0 0 0 20 0 1 0 159049490 38191104 2519 18446744073709551615 4194304 5972588 140728305454320 140728305450968 4935463 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 31662080 140728305455556 140728305455656 140728305455656 140728305459150 0
/proc/13791/statm: 9324 2519 758 435 0 2687 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 37296 KiB
Current children cumulated memory: 10076 KiB
[startup+0.30948 s]*
/proc/loadavg: 2.13 2.02 2.04 3/185 13792
/proc/meminfo: memFree=31032820/32770624 swapFree=67108860/67108860
[pid=13791] ppid=13788 vsize=37428 memory=10340 CPUtime=0.22 cores=0,2,4,6
/proc/13791/stat : 13791 (cosoco) R 13788 13791 7084 0 -1 4202496 2754 0 0 0 22 0 0 0 20 0 1 0 159049490 38326272 2585 18446744073709551615 4194304 5972588 140728305454320 140728305450968 4935463 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 31662080 140728305455556 140728305455656 140728305455656 140728305459150 0
/proc/13791/statm: 9357 2585 777 435 0 2720 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 37428 KiB
Current children cumulated memory: 10340 KiB
[startup+0.700236 s]
/proc/loadavg: 2.13 2.02 2.04 3/185 13792
/proc/meminfo: memFree=31032200/32770624 swapFree=67108860/67108860
[pid=13791] ppid=13788 vsize=37428 memory=10340 CPUtime=0.6 cores=0,2,4,6
/proc/13791/stat : 13791 (cosoco) R 13788 13791 7084 0 -1 4202496 2776 0 0 0 60 0 0 0 20 0 1 0 159049490 38326272 2585 18446744073709551615 4194304 5972588 140728305454320 140728305450968 4934329 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 31662080 140728305455556 140728305455656 140728305455656 140728305459150 0
/proc/13791/statm: 9357 2585 777 435 0 2720 0
Current children cumulated CPU time: 0.6 s
Current children cumulated vsize: 37428 KiB
Current children cumulated memory: 10340 KiB
[startup+1.50024 s]
/proc/loadavg: 2.13 2.02 2.04 3/185 13792
/proc/meminfo: memFree=31032356/32770624 swapFree=67108860/67108860
[pid=13791] ppid=13788 vsize=37560 memory=10340 CPUtime=1.4 cores=0,2,4,6
/proc/13791/stat : 13791 (cosoco) R 13788 13791 7084 0 -1 4202496 2810 0 0 0 140 0 0 0 20 0 1 0 159049490 38461440 2585 18446744073709551615 4194304 5972588 140728305454320 140728305451624 4935585 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 31662080 140728305455556 140728305455656 140728305455656 140728305459150 0
/proc/13791/statm: 9390 2585 777 435 0 2753 0
Current children cumulated CPU time: 1.4 s
Current children cumulated vsize: 37560 KiB
Current children cumulated memory: 10340 KiB
[startup+2.68027 s]
# the end of solver process 13791 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.58348 s, system=0.005 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60027 s]
/proc/loadavg: 2.13 2.02 2.04 3/185 13792
/proc/meminfo: memFree=31032356/32770624 swapFree=67108860/67108860
[pid=13791] ppid=13788 vsize=37560 memory=10340 CPUtime=1.5 cores=0,2,4,6
/proc/13791/stat : 13791 (cosoco) R 13788 13791 7084 0 -1 4202496 2812 0 0 0 150 0 0 0 20 0 1 0 159049490 38461440 2585 18446744073709551615 4194304 5972588 140728305454320 140728305451624 4935711 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 31662080 140728305455556 140728305455656 140728305455656 140728305459150 0
/proc/13791/statm: 9390 2585 777 435 0 2753 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 37560 KiB
Current children cumulated memory: 10340 KiB
[startup+2.40021 s]
/proc/loadavg: 2.13 2.02 2.04 3/185 13792
/proc/meminfo: memFree=31032200/32770624 swapFree=67108860/67108860
[pid=13791] ppid=13788 vsize=37560 memory=10712 CPUtime=2.3 cores=0,2,4,6
/proc/13791/stat : 13791 (cosoco) R 13788 13791 7084 0 -1 4202496 4324 0 0 0 230 0 0 0 20 0 1 0 159049490 38461440 2678 18446744073709551615 4194304 5972588 140728305454320 140728305451624 4935463 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 31662080 140728305455556 140728305455656 140728305455656 140728305459150 0
/proc/13791/statm: 9390 2678 777 435 0 2753 0
Current children cumulated CPU time: 2.3 s
Current children cumulated vsize: 37560 KiB
Current children cumulated memory: 10712 KiB
[startup+2.60021 s]
/proc/loadavg: 2.13 2.02 2.04 3/185 13792
/proc/meminfo: memFree=31032200/32770624 swapFree=67108860/67108860
[pid=13791] ppid=13788 vsize=37560 memory=10740 CPUtime=2.5 cores=0,2,4,6
/proc/13791/stat : 13791 (cosoco) R 13788 13791 7084 0 -1 4202496 4361 0 0 0 250 0 0 0 20 0 1 0 159049490 38461440 2685 18446744073709551615 4194304 5972588 140728305454320 140728305451624 4935490 0 0 1 8405026 0 0 0 17 0 0 0 9 0 0 8070896 8075904 31662080 140728305455556 140728305455656 140728305455656 140728305459150 0
/proc/13791/statm: 9390 2685 777 435 0 2753 0
Current children cumulated CPU time: 2.5 s
Current children cumulated vsize: 37560 KiB
Current children cumulated memory: 10740 KiB
Child status: 0
Real time (s): 2.68031
CPU time (s): 2.58848
CPU user time (s): 2.58348
CPU system time (s): 0.005
CPU usage (%): 96.5739
Max. virtual memory (cumulated for all children) (KiB): 37560
Max. memory (cumulated for all children) (KiB): 10740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.58348
system time used= 0.005
maximum resident set size= 10876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4444
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 4
# summary of solver processes directly reported to runsolver:
# pid: 13791
# total CPU time (s): 2.58848
# total CPU user time (s): 2.58348
# total CPU system time (s): 0.005
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030376 second user time and 0.066086 second system time
The end
Begin job on node132 at 2017-08-13 04:58:22
IDJOB=4266547
IDBENCH=139786
IDSOLVER=2655
FILE ID=node132/4266547-1502593967
RUNJOBID= node132-1502565147-7148
PBS_JOBID=
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco-sat 1.12
BENCH NAME= XCSP17/Crossword/Crossword-m1c-lex-herald/Crossword-m1c-lex-h1501.xml
COMMAND LINE= cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4266547-1502593967/watcher-4266547-1502593967 -o /tmp/evaluation-result-4266547-1502593967/solver-4266547-1502593967 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502565147-7148 --watchdog 2580 cosoco -lc -model -restarts -sat HOME/instance-4266547-1502593967.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= eaee0bb41b12beaeb46f1fdaac1cdc8b
RANDOM SEED=1458759386
node132.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 31039480 kB
MemAvailable: 31934064 kB
Buffers: 312676 kB
Cached: 890776 kB
SwapCached: 0 kB
Active: 760132 kB
Inactive: 533752 kB
Active(anon): 91420 kB
Inactive(anon): 49012 kB
Active(file): 668712 kB
Inactive(file): 484740 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2868 kB
Writeback: 8 kB
AnonPages: 90604 kB
Mapped: 65128 kB
Shmem: 49852 kB
Slab: 140864 kB
SReclaimable: 113936 kB
SUnreclaim: 26928 kB
KernelStack: 3264 kB
PageTables: 4736 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 385200 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 354332 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 8192 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 114048 kB
DirectMap2M: 33431552 kB
Free space on /tmp at the end= 62024 MiB
End job on node132 at 2017-08-13 04:58:25