0.02/0.18 c SAT : Variables: 5850 -- Clauses: 73350
0.02/0.19 c root propagations : 260
0.02/0.19 c restarts enabled, print stats at every restarts
0.02/0.19 c
0.02/0.19 c
0.02/0.19 c
0.02/0.19 c This is cosoco 1.0 --
0.02/0.19 c
0.02/0.19 c ========================================[ Problem Statistics ]===========================================
0.02/0.19 c |
0.02/0.19 c | Parse time : 0.11 s
0.02/0.19 c |
0.02/0.19 c | Variables: 225
0.02/0.19 c | Domain Sizes: 26..26
0.02/0.19 c |
0.02/0.19 c | Constraints: 78
0.02/0.19 c | Arity: 3..10 -- Ternary: 16
0.02/0.19 c |
0.02/0.19 c | Types:
0.02/0.19 c | Extension: 78 (nb tuples: 753..4042) -- (shared: 72)
0.02/0.19 c |
0.02/0.19 c =========================================================================================================
0.02/0.19 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.02/0.19 c remove useless variable x[0][4]
0.02/0.19 c remove useless variable x[0][10]
0.02/0.19 c remove useless variable x[1][4]
0.02/0.19 c remove useless variable x[1][10]
0.02/0.19 c remove useless variable x[2][10]
0.02/0.19 c remove useless variable x[3][7]
0.02/0.19 c remove useless variable x[3][8]
0.02/0.19 c remove useless variable x[4][0]
0.02/0.19 c remove useless variable x[4][1]
0.02/0.19 c remove useless variable x[4][2]
0.02/0.19 c remove useless variable x[4][6]
0.02/0.19 c remove useless variable x[4][13]
0.02/0.19 c remove useless variable x[4][14]
0.02/0.19 c remove useless variable x[5][5]
0.02/0.19 c remove useless variable x[5][9]
0.02/0.19 c remove useless variable x[6][3]
0.02/0.19 c remove useless variable x[6][10]
0.02/0.19 c remove useless variable x[7][3]
0.02/0.19 c remove useless variable x[7][11]
0.02/0.19 c remove useless variable x[8][4]
0.02/0.19 c remove useless variable x[8][11]
0.02/0.19 c remove useless variable x[9][5]
0.02/0.19 c remove useless variable x[9][9]
0.02/0.19 c remove useless variable x[10][0]
0.02/0.19 c remove useless variable x[10][1]
0.02/0.19 c remove useless variable x[10][8]
0.02/0.19 c remove useless variable x[10][12]
0.02/0.19 c remove useless variable x[10][13]
0.02/0.19 c remove useless variable x[10][14]
0.02/0.19 c remove useless variable x[11][6]
0.02/0.19 c remove useless variable x[11][7]
0.02/0.19 c remove useless variable x[12][4]
0.02/0.19 c remove useless variable x[13][4]
0.02/0.19 c remove useless variable x[13][10]
0.02/0.19 c remove useless variable x[14][4]
0.02/0.19 c remove useless variable x[14][10]
0.12/0.21 c 10 83 945 3497 144 10 29 72 57
0.12/0.23 c 20 159 1705 7509 144 20 11 57 25
0.12/0.24 c 30 215 2427 11180 144 26 15 31 19
0.12/0.25 c 40 286 3251 15997 144 30 57 59 52
0.12/0.27 c 50 323 3919 19164 144 36 16 23 16
0.12/0.29 c 60 434 5053 25306 144 45 12 94 61
0.22/0.31 c 70 546 5939 29727 144 54 15 93 46
0.22/0.33 c 80 655 6955 34805 144 63 15 96 49
0.22/0.34 c 90 763 8062 39827 144 69 15 87 67
0.22/0.37 c 100 854 9037 45606 144 78 42 74 56
0.22/0.37 c 101 877 9278 46661 144 79 23 23 11
0.22/0.39 c 110 976 10216 51487 144 88 10 89 30
0.32/0.41 c 120 1071 11068 55904 144 98 12 80 23
0.32/0.43 c 130 1171 11931 60651 144 104 9 91 49
0.32/0.46 c 140 1274 13070 66877 144 110 9 90 27
0.32/0.48 c 150 1335 13936 72292 144 116 11 46 33
0.42/0.50 c 160 1409 14759 76557 144 120 12 58 45
0.42/0.51 c 170 1463 15392 81188 144 129 12 45 27
0.42/0.53 c 180 1489 15891 85242 144 137 11 13 11
0.42/0.55 c 190 1604 17078 90348 144 142 45 84 54
0.42/0.57 c 200 1636 17835 94833 144 145 7 13 10
0.42/0.59 c 210 1700 18703 99810 144 152 11 47 25
0.52/0.60 c 211 1710 18870 100594 144 153 10 10 5
0.52/0.62 c 220 1768 19740 105250 144 160 13 43 18
0.52/0.64 c 230 1833 20489 109171 144 165 12 56 38
0.52/0.65 c 240 1897 21340 113096 144 168 11 54 42
0.52/0.67 c 250 1968 22098 116657 144 174 11 60 43
0.52/0.68 c 260 1989 22544 120064 144 182 9 10 8
0.62/0.70 c 270 2012 23140 124804 144 186 8 11 8
0.62/0.72 c 280 2079 24005 129906 144 195 12 54 18
0.62/0.74 c 290 2103 24606 134258 144 200 10 11 9
0.62/0.75 c 300 2180 25592 138703 144 204 59 67 56
0.62/0.77 c 310 2210 26439 143910 144 206 11 11 10
0.72/0.80 c 320 2328 27894 151028 144 214 40 89 66
0.72/0.82 c 330 2487 29180 156230 144 223 12 147 58
0.72/0.84 c 332 2578 29851 159542 144 225 11 90 33
0.72/0.86 c 340 2666 30692 164481 144 233 11 81 47
0.72/0.87 c 350 2717 31513 170194 144 237 11 39 31
0.82/0.90 c 360 2886 32896 176515 144 247 11 159 92
0.82/0.92 c 370 2984 34056 182213 144 252 11 64 47
0.82/0.93 c 380 3042 34975 187187 144 257 37 43 35
0.82/0.95 c 390 3148 36094 192212 144 261 11 83 40
0.82/0.97 c 400 3203 37036 197574 144 263 40 42 37
0.82/0.99 c 410 3272 37729 200965 144 272 40 60 49
0.92/1.01 c 420 3374 38850 206404 144 281 10 91 37
0.92/1.04 c 430 3520 40206 212340 144 289 44 133 88
0.92/1.06 c 440 3667 41509 217837 144 298 12 126 75
0.92/1.09 c 450 3832 42871 223687 144 307 44 155 100
1.03/1.11 c 460 3937 43983 228828 144 315 12 93 33
1.03/1.12 c 465 3955 44363 231096 144 319 10 14 10
1.03/1.14 c 470 4050 45279 235092 144 323 89 91 74
1.03/1.16 c 480 4169 46515 240286 144 330 12 95 33
1.03/1.17 c 490 4243 47279 243805 144 337 17 56 31
1.03/1.20 c 500 4398 48771 250371 144 341 81 129 94
1.13/1.21 c 510 4429 49283 252894 144 348 12 16 13
1.13/1.23 c 520 4457 49901 257052 144 353 10 16 11
1.13/1.24 c 530 4486 50400 260593 144 361 12 14 11
1.13/1.27 c 540 4614 51696 265857 144 369 20 101 56
1.13/1.28 c 550 4641 52273 269901 144 372 10 14 10
1.22/1.30 c 560 4670 52875 274242 144 379 5 16 10
1.22/1.31 c 570 4696 53353 277236 144 387 10 15 10
1.22/1.33 c 580 4731 54033 281018 144 389 7 16 10
1.22/1.36 c 590 4843 55158 286392 144 396 53 93 73
1.22/1.37 c 600 4898 55904 290293 144 401 14 43 25
1.22/1.39 c 610 4952 56654 293689 144 405 22 44 36
1.32/1.40 c 611 4962 56758 294454 144 406 10 10 5
1.32/1.42 c 620 5018 57610 299370 144 412 38 44 36
1.32/1.44 c 630 5079 58513 305177 144 421 10 49 29
1.32/1.46 c 640 5186 59593 310254 144 428 10 97 51
1.32/1.48 c 650 5263 60585 315372 144 435 7 61 28
1.32/1.50 c 660 5317 61370 319766 144 444 7 44 25
1.42/1.52 c 670 5436 62497 325336 144 453 7 100 38
1.42/1.53 c 680 5495 63286 329773 144 462 7 44 24
1.42/1.55 c 690 5554 64025 334329 144 471 7 49 22
1.42/1.57 c 700 5606 64647 338020 144 481 7 43 22
1.42/1.59 c 710 5683 65585 343680 144 490 7 63 24
1.52/1.60 c 720 5705 65945 346769 144 499 11 13 10
1.52/1.62 c 730 5862 67263 352659 144 507 10 140 108
1.52/1.64 c 740 5900 67935 356981 144 511 10 17 12
1.52/1.66 c 750 5999 69025 361906 144 517 11 78 30
1.52/1.68 c 760 6128 70163 367373 144 527 12 119 41
1.62/1.71 c 770 6246 71202 373184 144 537 12 79 34
1.62/1.71 c 771 6259 71369 373901 144 538 13 13 6
1.62/1.73 c 780 6287 71927 377416 144 544 10 15 10
1.62/1.75 c 790 6420 73035 382182 144 554 15 123 63
1.62/1.78 c 800 6571 74429 388292 144 562 37 128 80
1.72/1.80 c 810 6609 75111 392656 144 566 10 17 12
1.72/1.82 c 820 6722 76279 397798 144 576 12 98 59
1.72/1.84 c 830 6880 77882 404748 144 584 37 128 79
1.72/1.87 c 840 7025 79169 410649 144 594 37 126 67
1.72/1.89 c 850 7157 80336 415362 144 604 38 120 66
1.82/1.91 c 860 7297 81546 420144 144 614 38 131 73
1.82/1.93 c 870 7429 82796 425532 144 624 38 120 66
1.82/1.96 c 880 7564 84070 430490 144 633 38 125 72
1.82/1.98 c 890 7692 85213 435411 144 643 38 116 66
1.92/2.00 c 900 7831 86457 440351 144 653 38 130 81
1.92/2.03 c 910 7985 88041 447326 144 660 86 128 99
1.92/2.05 c 920 8122 89367 453028 144 670 38 127 75
1.92/2.07 c 930 8278 90765 458637 144 679 38 130 79
2.02/2.10 c 940 8416 92175 464595 144 684 100 123 107
2.02/2.12 c 947 8542 93321 469174 144 691 41 120 69
2.02/2.14 c 950 8669 94520 473688 144 694 122 123 91
2.02/2.16 c 960 8799 95784 479318 144 703 38 121 80
2.02/2.19 c 970 8948 97158 484710 144 712 89 136 106
2.12/2.21 c 980 9079 98362 489691 144 722 38 121 79
2.12/2.23 c 990 9238 99723 495814 144 731 38 143 103
2.12/2.26 c 1000 9408 101207 501863 144 741 38 160 98
2.12/2.28 c 1010 9548 102534 507910 144 750 38 130 85
2.12/2.30 c 1020 9650 103569 512103 144 754 44 66 47
2.22/2.32 c 1030 9800 104810 516887 144 764 38 137 87
2.22/2.34 c 1040 9970 106269 523847 144 773 38 161 89
2.22/2.37 c 1050 10110 107613 529843 144 782 39 130 94
2.22/2.39 c 1060 10236 108775 534762 144 790 39 117 81
2.32/2.41 c 1070 10374 110106 540827 144 800 39 125 90
2.32/2.43 c 1080 10544 111675 547096 144 805 39 137 91
2.32/2.45 c 1090 10686 112945 552818 144 815 39 132 91
2.32/2.48 c 1100 10863 114342 558603 144 825 39 168 114
2.42/2.50 c 1110 11008 115650 564033 144 835 39 128 90
2.42/2.53 c 1120 11176 117177 571036 144 844 116 158 118
2.42/2.55 c 1130 11317 118445 576300 144 854 39 128 84
2.42/2.57 c 1140 11468 120016 583585 144 861 39 124 64
2.42/2.59 c 1141 11509 120469 585534 144 862 41 41 20
2.52/2.61 c 1150 11623 121560 590247 144 868 56 98 76
2.52/2.64 c solution 1
2.52/2.64
2.52/2.64 v <instantiation type='solution'>
2.52/2.64 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.52/2.64 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.52/2.64 v </instantiation>
2.52/2.64
2.52/2.64 c restarts : 123
2.52/2.64 c conflicts : 1158 (452 /sec)
2.52/2.64 c decisions : 11827 (4612 /sec)
2.52/2.64 c propagations : 596764 (232711 /sec)
2.52/2.64 c root propagations : 260
2.52/2.64 c filter calls : 123209 (48046 /sec)
2.52/2.64 c useless filter calls : 56218 (45 %)
2.52/2.64 c
2.52/2.64 c clauses : 74218
2.52/2.64 c SAT propagations : 97
2.52/2.64 c SAT conflicts : 0 (0 learnts)
2.52/2.64 c Memory used : 36.68 MB
2.52/2.64 c CPU time : 2.56434 s
2.52/2.64
2.52/2.64 s SATISFIABLE
runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241620-1502058513/watcher-4241620-1502058513 -o /tmp/evaluation-result-4241620-1502058513/solver-4241620-1502058513 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241620-1502058513.xml
pid=31384
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.98 2.01 2.04 3/181 31387
/proc/meminfo: memFree=31635324/32770624 swapFree=0/364648
[pid=31387] ppid=31384 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31387/stat : 31387 (runsolver) D 31384 31387 21827 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 8047142 24240128 108 18446744073709551615 4194304 4338465 140733115461968 140733115459608 139894877926103 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 23142400 140733115465882 140733115466314 140733115466314 140733115469770 0
/proc/31387/statm: 5918 108 54 36 0 2156 0
[startup+0.100154 s]
/proc/loadavg: 1.98 2.01 2.04 3/181 31387
/proc/meminfo: memFree=31635324/32770624 swapFree=0/364648
[pid=31387] ppid=31384 vsize=27576 CPUtime=0.02 cores=1,3,5,7
/proc/31387/stat : 31387 (cosoco) R 31384 31387 21827 0 -1 4202496 1096 0 0 0 2 0 0 0 20 0 1 0 8047142 28237824 898 18446744073709551615 4194304 5970956 140732626969376 140732626966024 5670354 0 0 1 0 0 0 0 17 5 0 0 7 0 0 8070896 8075904 19898368 140732626977223 140732626977358 140732626977358 140732626980814 0
/proc/31387/statm: 6894 898 716 434 0 258 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 27576
[startup+0.200278 s]
/proc/loadavg: 1.98 2.01 2.04 3/181 31387
/proc/meminfo: memFree=31635324/32770624 swapFree=0/364648
[pid=31387] ppid=31384 vsize=37296 CPUtime=0.12 cores=1,3,5,7
/proc/31387/stat : 31387 (cosoco) R 31384 31387 21827 0 -1 4202496 2712 0 0 0 12 0 0 0 20 0 1 0 8047142 38191104 2511 18446744073709551615 4194304 5970956 140732626969376 140732626966024 4934354 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 19898368 140732626977223 140732626977358 140732626977358 140732626980814 0
/proc/31387/statm: 9324 2511 751 434 0 2688 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 37296
[startup+0.300271 s]
/proc/loadavg: 1.98 2.01 2.04 3/181 31387
/proc/meminfo: memFree=31635324/32770624 swapFree=0/364648
[pid=31387] ppid=31384 vsize=37428 CPUtime=0.22 cores=1,3,5,7
/proc/31387/stat : 31387 (cosoco) R 31384 31387 21827 0 -1 4202496 2741 0 0 0 22 0 0 0 20 0 1 0 8047142 38326272 2577 18446744073709551615 4194304 5970956 140732626969376 140732626966712 4934366 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 19898368 140732626977223 140732626977358 140732626977358 140732626980814 0
/proc/31387/statm: 9357 2577 774 434 0 2721 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 37428
[startup+0.700225 s]
/proc/loadavg: 1.98 2.01 2.04 3/181 31387
/proc/meminfo: memFree=31635324/32770624 swapFree=0/364648
[pid=31387] ppid=31384 vsize=37428 CPUtime=0.62 cores=1,3,5,7
/proc/31387/stat : 31387 (cosoco) R 31384 31387 21827 0 -1 4202496 2763 0 0 0 62 0 0 0 20 0 1 0 8047142 38326272 2577 18446744073709551615 4194304 5970956 140732626969376 140732626966712 4934651 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 19898368 140732626977223 140732626977358 140732626977358 140732626980814 0
/proc/31387/statm: 9357 2577 774 434 0 2721 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 37428
[startup+1.50022 s]
/proc/loadavg: 1.98 2.01 2.04 3/182 31388
/proc/meminfo: memFree=31628288/32770624 swapFree=0/364720
[pid=31387] ppid=31384 vsize=37560 CPUtime=1.42 cores=1,3,5,7
/proc/31387/stat : 31387 (cosoco) R 31384 31387 21827 0 -1 4202496 2798 0 0 0 142 0 0 0 20 0 1 0 8047142 38461440 2643 18446744073709551615 4194304 5970956 140732626969376 140732626966712 140450771901536 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 19898368 140732626977223 140732626977358 140732626977358 140732626980814 0
/proc/31387/statm: 9390 2643 774 434 0 2754 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 37560
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31387 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60024 s]
/proc/loadavg: 1.98 2.01 2.04 3/182 31388
/proc/meminfo: memFree=31628288/32770624 swapFree=0/364720
[pid=31387] ppid=31384 vsize=37560 CPUtime=1.52 cores=1,3,5,7
/proc/31387/stat : 31387 (cosoco) R 31384 31387 21827 0 -1 4202496 2799 0 0 0 152 0 0 0 20 0 1 0 8047142 38461440 2643 18446744073709551615 4194304 5970956 140732626969376 140732626966712 4933136 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 19898368 140732626977223 140732626977358 140732626977358 140732626980814 0
/proc/31387/statm: 9390 2643 774 434 0 2754 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 37560
[startup+2.40022 s]
/proc/loadavg: 1.98 2.01 2.04 3/182 31388
/proc/meminfo: memFree=31627544/32770624 swapFree=0/364720
[pid=31387] ppid=31384 vsize=37560 CPUtime=2.32 cores=1,3,5,7
/proc/31387/stat : 31387 (cosoco) R 31384 31387 21827 0 -1 4202496 4314 0 0 0 232 0 0 0 20 0 1 0 8047142 38461440 2680 18446744073709551615 4194304 5970956 140732626969376 140732626966712 4934453 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 19898368 140732626977223 140732626977358 140732626977358 140732626980814 0
/proc/31387/statm: 9390 2680 774 434 0 2754 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 37560
[startup+2.60022 s]
/proc/loadavg: 1.98 2.01 2.04 3/182 31388
/proc/meminfo: memFree=31627544/32770624 swapFree=0/364720
[pid=31387] ppid=31384 vsize=37560 CPUtime=2.52 cores=1,3,5,7
/proc/31387/stat : 31387 (cosoco) R 31384 31387 21827 0 -1 4202496 4355 0 0 0 252 0 0 0 20 0 1 0 8047142 38461440 2680 18446744073709551615 4194304 5970956 140732626969376 140732626966712 4934327 0 0 1 8405026 0 0 0 17 5 0 0 7 0 0 8070896 8075904 19898368 140732626977223 140732626977358 140732626977358 140732626980814 0
/proc/31387/statm: 9390 2680 774 434 0 2754 0
Current children cumulated CPU time (s) 2.52
Current children cumulated vsize (KiB) 37560
Child status: 0
Real time (s): 2.64175
CPU time (s): 2.5694
CPU user time (s): 2.5644
CPU system time (s): 0.005
CPU usage (%): 97.261
Max. virtual memory (cumulated for all children) (KiB): 37560
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.5644
system time used= 0.005
maximum resident set size= 10860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4421
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= 10
involuntary context switches= 5
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.008039 second user time and 0.023109 second system time
The end
Begin job on node126 at 2017-08-07 00:14:36
IDJOB=4241620
IDBENCH=139786
IDSOLVER=2621
FILE ID=node126/4241620-1502058513
RUNJOBID= node126-1502042680-29187
PBS_JOBID=
Free space on /tmp= 62028 MiB
SOLVER NAME= cosoco-sat 1.1
BENCH NAME= XCSP17/Crossword/Crossword-m1c-lex-herald/Crossword-m1c-lex-h1501.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts -sat BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4241620-1502058513/watcher-4241620-1502058513 -o /tmp/evaluation-result-4241620-1502058513/solver-4241620-1502058513 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502042680-29187 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4241620-1502058513.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= eaee0bb41b12beaeb46f1fdaac1cdc8b
RANDOM SEED=2024916833
node126.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.81
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.81
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.81
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.81
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: 31635640 kB
MemAvailable: 31989012 kB
Buffers: 138508 kB
Cached: 494800 kB
SwapCached: 0 kB
Active: 353024 kB
Inactive: 373172 kB
Active(anon): 93232 kB
Inactive(anon): 8524 kB
Active(file): 259792 kB
Inactive(file): 364648 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2760 kB
Writeback: 4 kB
AnonPages: 92292 kB
Mapped: 32076 kB
Shmem: 8868 kB
Slab: 114384 kB
SReclaimable: 89532 kB
SUnreclaim: 24852 kB
KernelStack: 3232 kB
PageTables: 4856 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 336448 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 38912 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 101760 kB
DirectMap2M: 33443840 kB
Free space on /tmp at the end= 62024 MiB
End job on node126 at 2017-08-07 00:14:38