0.00/0.00 c Create channel(X,Y) constraint using 40 element constraint
0.00/0.00 c intension y[31]<y[19] using generic constraint
0.00/0.00 c intension y[19]<y[1] using generic constraint
0.00/0.01 c intension y[37]<y[39] using generic constraint
0.00/0.01 c intension y[39]<y[25] using generic constraint
0.00/0.01 c intension y[20]<y[26] using generic constraint
0.00/0.01 c intension y[26]<y[11] using generic constraint
0.00/0.01 c intension y[36]<y[6] using generic constraint
0.00/0.01 c intension y[6]<y[8] using generic constraint
0.00/0.01 c intension y[15]<y[9] using generic constraint
0.00/0.01 c intension y[9]<y[21] using generic constraint
0.00/0.01 c intension y[17]<y[2] using generic constraint
0.00/0.01 c intension y[2]<y[35] using generic constraint
0.00/0.01 c intension y[3]<y[22] using generic constraint
0.00/0.01 c intension y[22]<y[13] using generic constraint
0.00/0.01 c intension y[23]<y[10] using generic constraint
0.00/0.01 c intension y[10]<y[7] using generic constraint
0.00/0.01 c intension y[38]<y[29] using generic constraint
0.00/0.01 c intension y[29]<y[18] using generic constraint
0.00/0.01 c intension y[24]<y[4] using generic constraint
0.00/0.01 c intension y[4]<y[14] using generic constraint
0.00/0.01 c intension y[33]<y[28] using generic constraint
0.00/0.01 c intension y[28]<y[16] using generic constraint
0.00/0.01 c intension y[32]<y[30] using generic constraint
0.00/0.01 c intension y[30]<y[34] using generic constraint
0.00/0.01 c intension y[5]<y[27] using generic constraint
0.00/0.01 c intension y[27]<y[12] using generic constraint
0.00/0.01 c root propagations : 234
0.00/0.01 c restarts enabled, print stats at every restarts
0.00/0.01 c
0.00/0.01 c
0.00/0.01 c
0.00/0.01 c This is cosoco 1.0 --
0.00/0.01 c
0.00/0.01 c ========================================[ Problem Statistics ]===========================================
0.00/0.01 c |
0.00/0.01 c | Parse time : 0.01 s
0.00/0.01 c |
0.00/0.01 c | Variables: 80
0.00/0.01 c | Domain Sizes: 40..40
0.00/0.01 c |
0.00/0.01 c | Constraints: 106
0.00/0.01 c | Arity: 1..41 -- Unary: 1 -- Binary: 65
0.00/0.01 c |
0.00/0.01 c | Types:
0.00/0.01 c | (X - Y < k): 26
0.00/0.01 c | Element Constant: 40
0.00/0.01 c | Extension: 39 (nb tuples: 320..320) -- (shared: 38)
0.00/0.01 c | Intension: 1
0.00/0.01 c |
0.00/0.01 c =========================================================================================================
0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.02 c 101 236 20831 8139 80 0 44 52 46
0.00/0.02 c 211 435 38476 23914 80 0 31 35 33
0.00/0.02 c 332 734 63589 32589 80 0 33 36 35
0.00/0.03 c 465 934 88221 55739 80 0 32 35 32
0.00/0.03 c 611 1225 117208 68555 80 0 25 30 27
0.00/0.04 c 771 1466 151203 102784 80 0 30 34 31
0.00/0.04 c 947 1783 178754 123402 80 0 32 33 32
0.00/0.05 c 1140 2043 219313 150778 80 0 26 32 29
0.00/0.06 c 1352 2349 249438 174699 80 0 30 34 30
0.00/0.06 c 1585 2667 301449 216653 80 0 26 33 28
0.00/0.07 c 1841 3088 336174 239967 80 0 31 37 34
0.00/0.08 c 2122 3485 384616 258826 80 0 25 39 35
0.00/0.08 c 2431 3996 415270 273655 80 0 33 36 35
0.00/0.09 c 2770 4449 473208 297395 80 0 23 39 37
0.00/0.09 c 3142 5054 516252 317056 80 0 33 34 33
0.09/0.10 c 3551 5718 564298 338584 80 0 34 35 34
0.09/0.10 c 4000 6288 639422 361330 80 0 32 38 37
0.09/0.11 c 4493 6915 699445 381481 80 0 30 33 31
0.09/0.12 c 5035 7703 767413 427284 80 0 33 35 33
0.09/0.13 c 5631 8752 848103 459855 80 0 28 35 31
0.09/0.14 c 6286 10023 940000 501659 80 0 31 34 30
0.09/0.14 c 7006 11051 1000706 539252 80 0 35 37 36
0.09/0.16 c 7798 12217 1169730 641101 80 0 27 34 29
0.09/0.16 c 8669 13601 1249822 680545 80 0 35 37 36
0.09/0.17 c 9627 15021 1325603 733338 80 0 35 36 35
0.09/0.18 c 10680 16856 1444793 774656 80 0 33 35 34
0.09/0.19 c 11838 18709 1544840 819348 80 0 34 36 35
0.19/0.20 c 13111 21397 1746735 868026 80 0 29 40 36
0.19/0.21 c 14511 23495 1904021 957730 80 0 34 36 34
0.19/0.23 c 16051 26050 2117409 1070638 80 0 28 36 33
0.19/0.25 c 17745 28468 2283522 1167604 80 0 34 37 35
0.19/0.26 c 19608 30577 2478106 1207850 80 0 32 34 33
0.19/0.27 c 21657 33753 2650979 1294086 80 0 33 36 34
0.19/0.29 c 23910 38181 2936955 1391327 80 0 33 36 35
0.29/0.32 c 26388 42312 3314695 1540493 80 0 28 40 32
0.29/0.36 c 29113 46152 3671094 1891320 80 0 28 33 32
0.39/0.40 c 32110 51829 4135948 2155411 80 0 33 35 34
0.39/0.44 c 35406 57581 4634196 2477113 80 0 30 35 33
0.49/0.50 c 39031 62121 5134754 2964660 80 0 27 31 29
0.49/0.56 c 43018 71814 5968598 3318609 80 0 29 48 38
0.59/0.61 c 47403 77772 6605263 3755146 80 0 32 34 33
0.59/0.68 c 52226 86469 7383661 4245723 80 0 29 36 32
0.69/0.75 c 57531 93269 8142302 4709658 80 0 33 34 33
0.79/0.85 c 63366 103028 9248024 5669753 80 0 31 37 34
0.89/0.92 c 69784 112025 10206709 6368180 80 0 32 35 34
0.99/1.00 c 76843 123438 11139042 6926165 80 0 34 38 37
0.99/1.07 c 84607 136868 12071230 7354372 80 0 31 36 33
1.10/1.19 c 93147 151878 13659001 8005824 80 0 30 45 40
1.29/1.30 c 102541 166982 14982168 8774080 80 0 30 37 34
1.39/1.43 c 112874 189666 16669896 9541841 80 0 31 35 33
1.49/1.54 c 124240 210679 18146265 10192385 80 0 29 35 32
1.69/1.71 c 136742 237945 20254962 11195488 80 0 31 35 33
1.79/1.85 c 150494 257565 22040868 12443145 80 0 31 35 33
1.99/2.04 c 165621 289358 24503339 13644765 80 0 31 35 33
2.20/2.28 c 182260 331980 27977961 15005104 80 0 28 43 37
2.39/2.46 c 200562 366466 30457691 15839136 80 0 28 42 34
2.59/2.62 c 220694 392264 32375803 16956117 80 0 34 35 34
2.79/2.80 c 242839 422359 34538604 18217865 80 0 35 35 34
2.99/3.04 c 267198 471524 38098318 19035012 80 0 30 49 38
3.19/3.27 c 293992 515692 41035349 20244309 80 0 34 38 36
3.49/3.58 c 323465 577458 45351147 22058979 80 0 32 37 35
3.79/3.84 c 355885 635974 48995624 23351342 80 0 34 37 36
4.09/4.10 c 391547 685635 52453050 24988288 80 0 34 36 35
4.40/4.40 c 430775 738059 57453363 26103367 80 0 25 38 36
4.59/4.69 c 473925 811203 61420330 27686209 80 0 31 37 34
5.39/5.49 c 521390 898003 71475328 32468250 80 0 30 38 33
5.89/5.92 c 573601 986358 77443155 34979170 80 0 31 37 34
6.60/6.61 c 631033 1095187 86665141 38533452 80 0 33 37 35
7.09/7.19 c 694208 1202638 94244449 41925950 80 0 32 36 35
7.80/7.88 c 763700 1303798 102572423 46207840 80 0 33 37 34
8.59/8.68 c 840141 1438298 112562098 50993024 80 0 31 37 34
9.29/9.38 c 924226 1559740 121319409 55318215 80 0 32 37 34
10.19/10.29 c 1016719 1711284 132841372 60570270 80 0 33 37 35
11.00/11.06 c 1118461 1899589 146130723 63728147 80 0 31 42 40
11.89/11.95 c 1230377 2064675 157436640 68919455 80 0 32 35 33
13.39/13.42 c 1353484 2259476 175508515 78692758 80 0 31 36 34
18.19/18.29 c 1488901 2680517 235573600 104187104 80 0 30 38 37
19.69/19.72 c 1637859 2911059 254715642 113519450 80 0 31 36 33
20.90/20.97 c 1801712 3148042 270743128 120985130 80 0 32 35 34
22.19/22.20 c 1981950 3503656 292681024 125689971 80 0 30 43 41
24.39/24.43 c 2180211 3877706 321007065 137707675 80 0 33 36 35
26.40/26.47 c 2398298 4186194 348631941 149854366 80 0 25 34 31
29.29/29.36 c 2638193 4624479 384150909 165901194 80 0 33 36 34
32.09/32.14 c 2902077 5148045 427003850 175115399 80 0 33 37 36
34.29/34.35 c 3192349 5551545 451165079 192003217 80 0 28 36 33
37.79/37.83 c 3511648 6072146 493928701 213877365 80 0 31 36 34
41.69/41.78 c 3862876 6819395 559307654 227709951 80 0 37 42 40
45.39/45.46 c 4249226 7417622 608712434 251636520 80 0 33 35 33
48.49/48.59 c 4674211 8192377 661699359 265272439 80 0 32 43 40
53.09/53.10 c 5141694 9138340 724871310 285975504 80 0 33 36 35
57.79/57.84 c 5655925 9864006 794507604 310078479 80 0 25 34 31
65.49/65.52 c 6221579 10846886 883198484 355423005 80 0 33 36 34
71.69/71.71 c 6843798 11726298 953970224 395655761 80 0 34 35 34
79.29/79.33 c 7528238 13163551 1081265029 421452234 80 0 38 41 40
86.68/86.76 c 8281122 14314374 1177619731 470959955 80 0 32 36 34
94.59/94.64 c 9109294 16069621 1306900442 500270496 80 0 36 43 40
105.48/105.53 c 10020283 17582952 1433744788 570976479 80 0 33 36 34
114.49/114.51 c 11022370 19177970 1552027976 624819161 80 0 33 36 34
124.39/124.42 c 12124665 21486932 1716605150 661961769 80 0 36 43 40
139.48/139.53 c 13337189 23543121 1893683744 758756139 80 0 33 36 34
151.18/151.26 c 14670965 25655000 2049031507 829049232 80 0 33 36 34
159.88/159.93 c 16138118 27703164 2194748497 864942814 80 0 32 43 41
182.48/182.56 c 17751986 30408051 2466062280 984140275 80 0 22 41 32
199.58/199.67 c 19527240 32862811 2646184992 1131439602 80 0 31 36 33
213.28/213.36 c 21480019 35760579 2877561334 1182992032 80 0 27 46 40
234.47/234.54 c 23628075 39389961 3164852411 1271283967 80 0 23 40 30
252.37/252.49 c 25990936 42742451 3368723089 1425415542 80 0 29 34 33
290.48/290.59 c 28590083 47515420 3866838626 1659299528 80 0 27 42 34
314.27/314.34 c 31449144 51904373 4168480976 1861720416 80 0 28 36 33
352.37/352.40 c 34594111 56363185 4608457515 2262250856 80 0 25 35 30
377.86/377.97 c 38053574 61962898 5038783945 2372739036 80 0 19 46 39
425.77/425.85 c 41858983 67554375 5606566554 2822317208 80 0 29 33 31
492.26/492.38 c 46044932 75010517 6482967068 3268074451 80 0 22 42 35
598.25/598.37 c 50649475 84265248 7786974389 4175248088 80 0 26 41 30
654.25/654.37 c 55714472 91710713 8469328591 4580257621 80 0 30 36 33
714.14/714.25 c 61285968 98714442 9216438537 4999655269 80 0 32 44 36
822.23/822.33 c 67414613 110068702 10555835970 5584514291 80 0 24 48 39
892.23/892.36 c 74156122 118010142 11360518097 5948363033 80 0 31 40 34
988.93/989.09 c 81571781 129191189 12497381875 6620292079 80 0 31 37 34
1128.31/1128.47 c 89729005 144272731 14086567558 7701758572 80 0 30 35 33
1273.71/1273.82 c 98701951 157501075 15722591166 8910270503 80 0 28 35 32
1434.19/1434.37 c 108572191 174340099 17518618460 10214384295 80 0 28 37 32
1544.88/1545.01 c 119429455 191746216 19104371460 10958648919 80 0 31 44 37
1744.87/1745.08 c 131372445 209406927 21246958866 12350686029 80 0 30 37 34
1916.26/1916.40 c 144509734 226745810 23259739127 13298188428 80 0 28 38 35
2101.44/2101.62 c 158960751 245298172 25184710430 14721493242 80 0 31 35 34
2241.13/2241.36 c 174856869 263378913 27044818058 15310715129 80 0 31 38 34
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-4242456-1500663174/watcher-4242456-1500663174 -o /tmp/evaluation-result-4242456-1500663174/solver-4242456-1500663174 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500648174-2486 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242456-1500663174.xml
pid=4612
running on 8 cores: 4-7,12-15
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: 2.00 2.01 2.05 3/243 4615
/proc/meminfo: memFree=32099732/32770624 swapFree=5804/161956
[pid=4615] ppid=4612 vsize=27124 CPUtime=0 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1068 0 0 0 0 0 0 0 20 0 1 0 1582709 27774976 898 33554432000 4194304 5970956 140723520297344 140723520293992 140233857621088 0 0 4096 0 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6781 898 779 434 0 145 0
[startup+0.100118 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4615
/proc/meminfo: memFree=32099732/32770624 swapFree=5804/161956
[pid=4615] ppid=4612 vsize=27256 CPUtime=0.09 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1130 0 0 0 9 0 0 0 20 0 1 0 1582709 27910144 964 33554432000 4194304 5970956 140723520297344 140723520294680 5337501 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 964 827 434 0 178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27256
[startup+0.200246 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4615
/proc/meminfo: memFree=32099732/32770624 swapFree=5804/161956
[pid=4615] ppid=4612 vsize=27256 CPUtime=0.19 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1130 0 0 0 19 0 0 0 20 0 1 0 1582709 27910144 964 33554432000 4194304 5970956 140723520297344 140723520294680 4994503 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 964 827 434 0 178 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 27256
[startup+0.300207 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4615
/proc/meminfo: memFree=32099732/32770624 swapFree=5804/161956
[pid=4615] ppid=4612 vsize=27256 CPUtime=0.29 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1130 0 0 0 29 0 0 0 20 0 1 0 1582709 27910144 964 33554432000 4194304 5970956 140723520297344 140723520294680 4994592 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 964 827 434 0 178 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 27256
[startup+0.700178 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4615
/proc/meminfo: memFree=32099732/32770624 swapFree=5804/161956
[pid=4615] ppid=4612 vsize=27256 CPUtime=0.69 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1130 0 0 0 69 0 0 0 20 0 1 0 1582709 27910144 964 33554432000 4194304 5970956 140723520297344 140723520294680 4994545 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 964 827 434 0 178 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 27256
[startup+1.50018 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4616
/proc/meminfo: memFree=32098988/32770624 swapFree=5804/162036
[pid=4615] ppid=4612 vsize=27256 CPUtime=1.49 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1130 0 0 0 149 0 0 0 20 0 1 0 1582709 27910144 964 33554432000 4194304 5970956 140723520297344 140723520294680 4994549 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 964 827 434 0 178 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 27256
[startup+3.10018 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4616
/proc/meminfo: memFree=32098492/32770624 swapFree=5804/162036
[pid=4615] ppid=4612 vsize=27256 CPUtime=3.09 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1209 0 0 0 309 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4994554 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 27256
[startup+6.30017 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4616
/proc/meminfo: memFree=32098124/32770624 swapFree=5804/162036
[pid=4615] ppid=4612 vsize=27256 CPUtime=6.29 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1288 0 0 0 629 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4912932 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27256
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4616
/proc/meminfo: memFree=32098084/32770624 swapFree=5804/162044
[pid=4615] ppid=4612 vsize=27256 CPUtime=12.69 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1367 0 0 0 1269 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 5327815 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27256
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4616
/proc/meminfo: memFree=32097960/32770624 swapFree=5804/162068
[pid=4615] ppid=4612 vsize=27256 CPUtime=25.49 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1525 0 0 0 2549 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 5328029 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 27256
[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4616
/proc/meminfo: memFree=32097964/32770624 swapFree=5804/162032
[pid=4615] ppid=4612 vsize=27256 CPUtime=51.09 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1604 0 0 0 5109 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4908562 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 27256
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4617
/proc/meminfo: memFree=32095860/32770624 swapFree=5804/162100
[pid=4615] ppid=4612 vsize=27256 CPUtime=102.29 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1683 0 0 0 10229 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 5098928 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 27256
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4619
/proc/meminfo: memFree=32095800/32770624 swapFree=5804/162196
[pid=4615] ppid=4612 vsize=27256 CPUtime=162.28 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1762 0 0 0 16228 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 5098896 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 27256
[startup+222.308 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 4620
/proc/meminfo: memFree=32096488/32770624 swapFree=5804/162260
[pid=4615] ppid=4612 vsize=27256 CPUtime=222.28 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1841 0 0 0 22228 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4994545 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 27256
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4621
/proc/meminfo: memFree=32095680/32770624 swapFree=5804/162312
[pid=4615] ppid=4612 vsize=27256 CPUtime=282.27 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1920 0 0 0 28227 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 5328029 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 282.27
Current children cumulated vsize (KiB) 27256
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4623
/proc/meminfo: memFree=32095456/32770624 swapFree=5804/162364
[pid=4615] ppid=4612 vsize=27256 CPUtime=342.27 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 1999 0 0 0 34227 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 5322986 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 342.27
Current children cumulated vsize (KiB) 27256
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4624
/proc/meminfo: memFree=32095392/32770624 swapFree=5804/162428
[pid=4615] ppid=4612 vsize=27256 CPUtime=402.26 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 2078 0 0 0 40226 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4912928 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 27256
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4632
/proc/meminfo: memFree=32095056/32770624 swapFree=5804/162480
[pid=4615] ppid=4612 vsize=27256 CPUtime=462.26 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 2157 0 0 0 46226 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4908539 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 27256
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4655
/proc/meminfo: memFree=32094164/32770624 swapFree=5804/162524
[pid=4615] ppid=4612 vsize=27256 CPUtime=522.25 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 2236 0 0 0 52225 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4994541 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 522.25
Current children cumulated vsize (KiB) 27256
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4656
/proc/meminfo: memFree=32094200/32770624 swapFree=5804/162568
[pid=4615] ppid=4612 vsize=27256 CPUtime=582.25 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 2302 0 0 0 58225 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4994541 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 27256
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 4678
/proc/meminfo: memFree=32094448/32770624 swapFree=5804/163200
[pid=4615] ppid=4612 vsize=27256 CPUtime=1482.19 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 3397 0 0 0 148219 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 5081256 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1482.19
Current children cumulated vsize (KiB) 27256
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 4679
/proc/meminfo: memFree=32095796/32770624 swapFree=5804/163244
[pid=4615] ppid=4612 vsize=27256 CPUtime=1542.19 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 3463 0 0 0 154219 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 5098896 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1542.19
Current children cumulated vsize (KiB) 27256
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4680
/proc/meminfo: memFree=32095008/32770624 swapFree=5804/163284
[pid=4615] ppid=4612 vsize=27256 CPUtime=1602.18 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 3542 0 0 0 160218 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4912765 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1602.18
Current children cumulated vsize (KiB) 27256
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 4690
/proc/meminfo: memFree=32093272/32770624 swapFree=5804/163320
[pid=4615] ppid=4612 vsize=27256 CPUtime=1662.17 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 3608 0 0 0 166217 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 5337920 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1662.17
Current children cumulated vsize (KiB) 27256
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 4691
/proc/meminfo: memFree=32093500/32770624 swapFree=5804/163360
[pid=4615] ppid=4612 vsize=27256 CPUtime=1722.17 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 3674 0 0 0 172217 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4994541 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1722.17
Current children cumulated vsize (KiB) 27256
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 4692
/proc/meminfo: memFree=32093044/32770624 swapFree=5804/163400
[pid=4615] ppid=4612 vsize=27256 CPUtime=1782.17 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 3753 0 0 0 178217 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 5098928 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1782.17
Current children cumulated vsize (KiB) 27256
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 4759
/proc/meminfo: memFree=31821988/32770624 swapFree=5804/163484
[pid=4615] ppid=4612 vsize=27256 CPUtime=1842.16 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 3819 0 0 0 184216 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4994496 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1842.16
Current children cumulated vsize (KiB) 27256
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/245 4760
/proc/meminfo: memFree=31808864/32770624 swapFree=5804/163572
[pid=4615] ppid=4612 vsize=27256 CPUtime=1902.16 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 3885 0 0 0 190216 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4994454 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1902.16
Current children cumulated vsize (KiB) 27256
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 4762
/proc/meminfo: memFree=31805076/32770624 swapFree=5804/163656
[pid=4615] ppid=4612 vsize=27256 CPUtime=1962.15 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 3964 0 0 0 196215 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4908338 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 1962.15
Current children cumulated vsize (KiB) 27256
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4763
/proc/meminfo: memFree=31803468/32770624 swapFree=5804/163712
[pid=4615] ppid=4612 vsize=27256 CPUtime=2022.15 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 4030 0 0 0 202215 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 5098896 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2022.15
Current children cumulated vsize (KiB) 27256
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4764
/proc/meminfo: memFree=31801620/32770624 swapFree=5804/163756
[pid=4615] ppid=4612 vsize=27256 CPUtime=2082.15 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 4096 0 0 0 208215 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4912765 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2082.15
Current children cumulated vsize (KiB) 27256
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 4766
/proc/meminfo: memFree=31803448/32770624 swapFree=5804/163808
[pid=4615] ppid=4612 vsize=27256 CPUtime=2142.14 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 4175 0 0 0 214214 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4994549 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2142.14
Current children cumulated vsize (KiB) 27256
[startup+2202.31 s]
/proc/loadavg: 2.09 2.04 2.05 3/242 4767
/proc/meminfo: memFree=31802320/32770624 swapFree=5804/163864
[pid=4615] ppid=4612 vsize=27256 CPUtime=2202.14 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 4240 0 0 0 220214 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 5327872 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 27256
[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/244 4777
/proc/meminfo: memFree=31800008/32770624 swapFree=5804/163928
[pid=4615] ppid=4612 vsize=27256 CPUtime=2262.13 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 4319 0 0 0 226213 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4994573 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 27256
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/244 4778
/proc/meminfo: memFree=31800184/32770624 swapFree=5804/163956
[pid=4615] ppid=4612 vsize=27256 CPUtime=2322.13 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 4385 0 0 0 232213 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4913232 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2322.13
Current children cumulated vsize (KiB) 27256
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/244 4779
/proc/meminfo: memFree=31801016/32770624 swapFree=5804/163992
[pid=4615] ppid=4612 vsize=27256 CPUtime=2382.12 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 4451 0 0 0 238212 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4912740 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2382.12
Current children cumulated vsize (KiB) 27256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.2 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 4779
/proc/meminfo: memFree=31801016/32770624 swapFree=5804/164000
[pid=4615] ppid=4612 vsize=27256 CPUtime=2400.03 cores=4-7,12-15
/proc/4615/stat : 4615 (cosoco) R 4612 4615 2454 0 -1 4202496 4516 0 0 0 240003 0 0 0 20 0 1 0 1582709 27910144 970 33554432000 4194304 5970956 140723520297344 140723520294680 4994541 0 0 4096 8405026 0 0 0 17 14 0 0 0 0 0 8070896 8075904 9129984 140723520304321 140723520304451 140723520304451 140723520307150 0
/proc/4615/statm: 6814 970 831 434 0 178 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 27256
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4615 sig 9
??? kill -4615 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.21
CPU time (s): 2400.04
CPU user time (s): 2400.03
CPU system time (s): 0.002999
CPU usage (%): 99.9928
Max. virtual memory (cumulated for all children) (KiB): 27256
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.002999
maximum resident set size= 3924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4543
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= 12
involuntary context switches= 120612
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.48609 second user time and 10.232 second system time
The end
Begin job on node144 at 2017-07-21 20:52:54
IDJOB=4242456
IDBENCH=134531
IDSOLVER=2620
FILE ID=node144/4242456-1500663174
RUNJOBID= node144-1500648174-2486
PBS_JOBID= 20623277
Free space on /tmp= 62016 MiB
SOLVER NAME= cosoco 1.1
BENCH NAME= XCSP17/Blackhole/Blackhole-m1-s10/Blackhole-10-3-01.xml
COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4242456-1500663174/watcher-4242456-1500663174 -o /tmp/evaluation-result-4242456-1500663174/solver-4242456-1500663174 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500648174-2486 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242456-1500663174.xml
TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8
MD5SUM BENCH= 4b3f242d4d7820c1a4b57bc20b9aba43
RANDOM SEED=771942285
node144.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/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 : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
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.49
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 : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
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.49
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 : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
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.49
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 : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
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.49
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 : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
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 : 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 : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
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 : 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 : 2533.000
cache size : 8192 KB
physical id : 1
siblings : 8
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 : 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 : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
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:
processor : 8
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 : 8
core id : 0
cpu cores : 4
apicid : 1
initial apicid : 1
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.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 3
initial apicid : 3
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.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 5
initial apicid : 5
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.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 7
initial apicid : 7
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.49
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1733.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 4
apicid : 17
initial apicid : 17
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 : 13
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 4
apicid : 19
initial apicid : 19
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 : 14
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2133.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 4
apicid : 21
initial apicid : 21
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 : 15
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 1600.000
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 4
apicid : 23
initial apicid : 23
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: 32099408 kB
MemAvailable: 32033932 kB
Buffers: 28856 kB
Cached: 218688 kB
SwapCached: 0 kB
Active: 130468 kB
Inactive: 170652 kB
Active(anon): 56420 kB
Inactive(anon): 8696 kB
Active(file): 74048 kB
Inactive(file): 161956 kB
Unevictable: 5804 kB
Mlocked: 5804 kB
SwapTotal: 67108860 kB
SwapFree: 67108860 kB
Dirty: 2420 kB
Writeback: 8 kB
AnonPages: 54500 kB
Mapped: 31036 kB
Shmem: 8844 kB
Slab: 60508 kB
SReclaimable: 28712 kB
SUnreclaim: 31796 kB
KernelStack: 4304 kB
PageTables: 5236 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 329236 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 130432 kB
DirectMap2M: 33415168 kB
Free space on /tmp at the end= 62012 MiB
End job on node144 at 2017-07-21 21:32:54