0.00/0.00 c root propagations : 0
0.00/0.00 c restarts enabled, print stats at every restarts
0.00/0.00 c
0.00/0.00 c
0.00/0.00 c
0.00/0.00 c This is cosoco 2.00 --
0.00/0.00 c
0.00/0.00 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389447-1568333603.xml
0.00/0.00 c ========================================[ Problem Statistics ]===========================================
0.00/0.00 c |
0.00/0.00 c | Parse time : 0.00 s
0.00/0.00 c |
0.00/0.00 c | Variables: 84
0.00/0.00 c | Domain Sizes: 2..2
0.00/0.00 c |
0.00/0.00 c | Constraints: 56
0.00/0.00 c | Arity: 3..3 -- Ternary: 56
0.00/0.00 c |
0.00/0.00 c | Types:
0.00/0.00 c | Extension: 56 (nb tuples: 4..4) -- (shared: 51)
0.00/0.00 c |
0.00/0.00 c =========================================================================================================
0.00/0.00 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.00 c 101 1257 5546 5338 0 0 28 81 56
0.00/0.00 c 211 1758 7557 7186 0 0 23 83 45
0.00/0.01 c 332 2564 10394 9902 0 0 59 81 74
0.00/0.01 c 465 3452 13477 12854 0 0 61 81 76
0.00/0.01 c 611 4278 16452 15688 0 0 42 81 67
0.00/0.01 c 771 5352 20120 19225 0 0 13 83 62
0.00/0.01 c 947 6777 25220 24132 0 0 7 80 72
0.00/0.02 c 1140 8130 29968 28697 0 0 45 65 61
0.00/0.02 c 1352 9732 35450 33978 0 0 41 80 67
0.00/0.02 c 1585 11061 40179 38529 0 0 49 79 64
0.00/0.02 c 1841 13212 47572 45691 0 0 20 82 72
0.00/0.03 c 2122 15084 54255 52089 0 0 41 80 68
0.00/0.03 c 2431 17182 61516 59088 0 0 8 78 34
0.00/0.04 c 2770 20493 72917 70264 0 0 43 81 73
0.00/0.04 c 3142 23636 83683 80783 0 0 42 79 70
0.00/0.05 c 3551 26805 94512 91287 0 0 27 79 67
0.00/0.05 c 4000 30487 107446 103920 0 0 51 81 69
0.00/0.06 c 4493 34890 122456 118584 0 0 18 79 67
0.00/0.07 c 5035 39668 139038 134920 0 0 42 75 67
0.00/0.08 c 5631 44306 155570 150923 0 0 27 77 68
0.00/0.09 c 6286 49510 173259 168315 0 0 40 76 68
0.00/0.10 c 7006 55050 192893 187612 0 0 38 76 70
0.10/0.11 c 7798 61907 217045 211351 0 0 42 74 69
0.10/0.12 c 8669 68437 240592 234163 0 0 24 74 68
0.10/0.13 c 9627 76636 269126 262168 0 0 30 76 69
0.10/0.15 c 10680 84670 298177 290339 0 0 35 76 69
0.10/0.16 c 11838 93997 330693 322289 0 0 47 76 68
0.10/0.18 c 13111 105888 373430 363913 0 0 21 76 68
0.10/0.20 c 14511 117776 415165 404942 0 0 41 76 69
0.21/0.22 c 16051 128786 455658 444260 0 0 34 76 64
0.21/0.24 c 17745 142951 505212 492996 0 0 13 76 65
0.21/0.27 c 19608 155985 552820 539478 0 0 16 76 68
0.21/0.29 c 21657 172363 610281 595392 0 0 17 77 66
0.31/0.33 c 23910 194932 689352 673417 0 0 25 75 68
0.31/0.37 c 26388 214970 760582 742525 0 0 30 77 69
0.31/0.41 c 29113 237422 840585 820387 0 0 39 77 69
0.41/0.45 c 32110 262314 930190 908577 0 0 34 76 69
0.41/0.49 c 35406 288480 1023755 1000224 0 0 27 76 65
0.51/0.55 c 39031 320715 1137034 1112190 0 0 21 76 66
0.60/0.62 c 43018 359077 1272356 1244999 0 0 21 76 65
0.60/0.68 c 47403 398545 1411403 1382266 0 0 25 75 62
0.69/0.76 c 52226 442130 1566649 1535699 0 0 22 74 64
0.79/0.85 c 57531 493687 1749837 1716190 0 0 23 74 64
0.89/0.93 c 63366 538769 1912166 1876304 0 0 16 72 51
1.00/1.04 c 69784 598726 2124851 2085885 0 0 22 74 65
1.10/1.15 c 76843 665739 2366802 2324457 0 0 17 74 62
1.19/1.29 c 84607 741136 2634864 2588853 0 0 21 74 63
1.39/1.43 c 93147 822189 2927496 2875689 0 0 19 74 64
1.49/1.56 c 102541 894675 3188666 3131127 0 0 22 74 62
1.69/1.72 c 112874 990840 3525865 3458523 0 0 22 74 67
1.79/1.88 c 124240 1081936 3850866 3778992 0 0 17 74 60
2.00/2.10 c 136742 1209437 4301658 4223413 0 0 19 74 65
2.29/2.33 c 150494 1338124 4753986 4664817 0 0 17 72 56
2.49/2.55 c 165621 1464047 5205937 5108768 0 0 16 74 62
2.79/2.84 c 182260 1633602 5805344 5699866 0 0 20 74 66
3.10/3.16 c 200562 1815550 6445861 6330473 0 0 22 74 65
3.49/3.50 c 220694 2011739 7134160 7009508 0 0 18 74 64
3.79/3.80 c 242839 2184240 7763355 7623226 0 0 16 74 64
4.10/4.13 c 267198 2371618 8444851 8287374 0 0 16 74 60
4.49/4.53 c 293992 2598952 9257070 9089816 0 0 19 74 63
5.00/5.03 c 323465 2885427 10269976 10090022 0 0 18 74 63
5.49/5.58 c 355885 3206377 11403331 11190827 0 0 19 74 65
6.10/6.16 c 391547 3533526 12568468 12339397 0 0 15 74 63
6.79/6.82 c 430775 3914874 13929047 13680086 0 0 16 74 64
7.39/7.42 c 473925 4250713 15111940 14851874 0 0 17 74 57
8.19/8.26 c 521390 4739363 16840923 16549991 0 0 16 74 66
9.00/9.05 c 573601 5187042 18421725 18103271 0 0 15 74 61
10.00/10.01 c 631033 5727445 20426415 20071369 0 0 16 74 63
11.00/11.09 c 694208 6346475 22614301 22223437 0 0 16 74 64
12.19/12.26 c 763700 7017402 25001225 24555086 0 0 17 74 63
13.39/13.47 c 840141 7712803 27496118 26999323 0 0 20 74 64
14.59/14.61 c 924226 8358356 29786288 29255919 0 0 13 74 57
16.10/16.16 c 1016719 9248093 32973350 32383678 0 0 18 74 65
17.89/17.92 c 1118461 10255474 36559267 35918908 0 0 14 74 64
19.59/19.60 c 1230377 11214894 39936641 39242662 0 0 15 74 62
21.39/21.46 c 1353484 12270990 43683627 42884106 0 0 13 74 59
23.60/23.65 c 1488901 13509646 48188793 47304442 0 0 15 74 64
25.90/25.97 c 1637859 14827130 52986925 52012235 0 0 15 74 63
28.70/28.74 c 1801712 16401151 58584499 57548862 0 0 15 74 63
31.60/31.62 c 1981950 18055590 64408933 63271356 0 0 15 74 62
34.90/34.95 c 2180211 19953561 71244586 69977687 0 0 12 74 64
38.40/38.49 c 2398298 21987527 78545046 77127763 0 0 17 74 65
42.50/42.51 c 2638193 24300377 86818616 85188335 0 0 14 74 64
46.70/46.76 c 2902077 26711896 95370389 93610921 0 0 15 74 61
51.50/51.57 c 3192349 29470701 105121528 103173465 0 0 15 74 61
55.70/55.74 c 3511648 31811820 113462744 111414086 0 0 12 74 55
61.40/61.42 c 3862876 35077979 125055875 122665310 0 0 15 74 62
67.01/67.04 c 4249226 38313637 136509806 133867874 0 0 16 74 61
73.80/73.88 c 4674211 42237908 150572694 147617605 0 0 14 74 64
80.90/81.00 c 5141694 46307414 165039868 161837234 0 0 10 74 62
88.80/88.85 c 5655925 50765579 181296240 177700347 0 0 10 74 63
97.40/97.48 c 6221579 55711214 198874641 194978869 0 0 11 74 62
107.50/107.52 c 6843798 61421121 219612258 215278313 0 0 12 74 64
117.70/117.75 c 7528238 67226399 240545990 235809498 0 0 11 74 62
130.11/130.12 c 8281122 74272605 265965706 260712831 0 0 11 74 63
142.81/142.80 c 9109294 81537400 291923735 286273070 0 0 14 74 64
157.31/157.37 c 10020283 89839952 322120174 315666980 0 0 16 74 64
173.31/173.31 c 11022370 98861458 355151772 348131865 0 0 14 74 64
191.31/191.36 c 12124665 109098336 392143799 384521600 0 0 13 74 63
208.02/208.08 c 13337189 118711532 425945009 417707530 0 0 12 74 61
230.12/230.19 c 14670965 131225117 471380182 462242583 0 0 12 74 62
251.81/251.89 c 16138118 143460062 515953195 505991558 0 0 13 74 62
278.22/278.26 c 17751986 158505410 569919429 558581616 0 0 11 74 63
308.42/308.48 c 19527240 175719265 633040570 619685650 0 0 11 74 63
337.92/337.97 c 21480019 192689737 693700568 678972072 0 0 13 74 63
371.32/371.38 c 23628075 211812351 762110960 746612786 0 0 13 74 64
409.14/409.16 c 25990936 233570608 838870572 822414461 0 0 14 74 63
449.63/449.68 c 28590083 256661705 921572473 904171250 0 0 11 74 63
493.33/493.31 c 31449144 281721182 1011046606 991948355 0 0 16 74 63
541.15/541.16 c 34594111 309044804 1109289597 1088163827 0 0 11 74 63
591.84/591.83 c 38053574 337800779 1213585977 1189637558 0 0 11 74 62
648.35/648.38 c 41858983 369480568 1329670155 1303910244 0 0 8 74 61
712.75/712.77 c 46044932 405970456 1459227257 1432048359 0 0 10 74 61
776.36/776.36 c 50649475 441891914 1586948308 1558406924 0 0 10 74 58
860.67/860.62 c 55714472 490456684 1758964439 1726899259 0 0 8 74 64
954.77/954.71 c 61285968 544824057 1952025558 1915252651 0 0 12 74 64
1039.09/1039.07 c 67414613 592429870 2123504042 2084528459 0 0 9 74 59
1141.29/1141.26 c 74156122 650655107 2332418682 2287990884 0 0 11 74 62
1255.50/1255.47 c 81571781 715353630 2565510130 2517859063 0 0 11 74 62
1383.51/1383.41 c 89729005 787753940 2826746656 2775902594 0 0 9 74 63
1519.13/1519.06 c 98701951 866393894 3101274828 3045817122 0 0 12 74 63
1670.84/1670.77 c 108572191 953451851 3412830349 3349505766 0 0 12 74 63
1834.45/1834.31 c 119429455 1047580343 3747322015 3678824163 0 0 11 74 63
2014.97/2014.88 c 131372445 1150849894 4115170595 4041616283 0 0 8 74 63
2192.38/2192.23 c 144509734 1252632639 4472923902 4396671872 0 0 11 74 61
2386.90/2386.71 c 158960751 1361240110 4870327926 4788479895 0 0 12 74 59
2520.02/2519.80
2520.02/2519.80 c *** INTERRUPTED ***
2520.02/2519.80 c restarts : 126
2520.02/2519.80 c conflicts : 167170229 (66337 /sec)
2520.02/2519.80 c decisions : 1437394441 (570392 /sec)
2520.02/2519.80 c propagations : 5055531689 (2006154 /sec)
2520.02/2519.80 c root propagations : 0
2520.02/2519.80 c filter calls : 5139960550 (2039658 /sec)
2520.02/2519.80 c useless filter calls : 2880651917 (56 %)
2520.02/2519.80 c Memory used : 26.72 MB
2520.02/2519.80 c CPU time : 2520.01 s
2520.02/2519.80 c real time : 2519.8 s
2520.02/2519.80
2520.02/2519.80 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
NUMA information:
number of nodes: 2
memory of node 0: 16375 MiB (13459 MiB free)
memory of node 1: 16384 MiB (15709 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389447-1568333603/watcher-4389447-1568333603 -o /tmp/evaluation-result-4389447-1568333603/solver-4389447-1568333603 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6438 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389447-1568333603.xml
running on 4 cores: 0-3
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=10967, runsolver pid=10964
[startup+0.10014 s]*
/proc/loadavg: 2.00 2.06 2.07 3/200 10968
/proc/meminfo: memFree=29868884/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3688 CPUtime=0.1 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1138 0 0 0 10 0 0 0 20 0 1 0 409302012 28016640 922 33554432000 4194304 6210612 140733509471040 140733509467576 5038670 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 922 811 493 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3688 KiB
[startup+0.210618 s]*
/proc/loadavg: 2.00 2.06 2.07 3/200 10968
/proc/meminfo: memFree=29868884/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3688 CPUtime=0.21 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1138 0 0 0 21 0 0 0 20 0 1 0 409302012 28016640 922 33554432000 4194304 6210612 140733509471040 140733509467576 5034864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 922 811 493 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3688 KiB
[startup+0.310159 s]*
/proc/loadavg: 2.00 2.06 2.07 3/200 10968
/proc/meminfo: memFree=29868884/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3688 CPUtime=0.31 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1138 0 0 0 31 0 0 0 20 0 1 0 409302012 28016640 922 33554432000 4194304 6210612 140733509471040 140733509467576 5034884 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 922 811 493 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3688 KiB
[startup+0.700284 s]
/proc/loadavg: 2.00 2.06 2.07 3/200 10968
/proc/meminfo: memFree=29868884/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3688 CPUtime=0.69 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1138 0 0 0 69 0 0 0 20 0 1 0 409302012 28016640 922 33554432000 4194304 6210612 140733509471040 140733509469000 5391664 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 922 811 493 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3688 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.06 2.07 3/200 10968
/proc/meminfo: memFree=29868812/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3688 CPUtime=1.49 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1138 0 0 0 149 0 0 0 20 0 1 0 409302012 28016640 922 33554432000 4194304 6210612 140733509471040 140733509469000 5185958 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 922 811 493 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3688 KiB
[startup+3.11044 s]
/proc/loadavg: 2.00 2.06 2.07 3/200 10968
/proc/meminfo: memFree=29868356/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=3.1 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1209 0 0 0 310 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5396261 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+6.30029 s]
/proc/loadavg: 2.00 2.05 2.07 3/201 10970
/proc/meminfo: memFree=29867572/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=6.29 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1280 0 0 0 629 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5038420 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+12.7003 s]
/proc/loadavg: 2.08 2.07 2.07 3/201 10970
/proc/meminfo: memFree=29867592/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=12.69 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1351 0 0 0 1269 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5038831 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+25.5003 s]
/proc/loadavg: 2.06 2.07 2.07 3/200 10970
/proc/meminfo: memFree=29867244/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=25.5 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1493 0 0 0 2550 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5409293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+51.1103 s]
/proc/loadavg: 2.04 2.06 2.07 3/201 10972
/proc/meminfo: memFree=29866960/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=51.11 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1564 0 0 0 5111 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5034910 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.05 2.06 3/201 10976
/proc/meminfo: memFree=29867028/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=102.3 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1635 0 0 0 10230 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5034915 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.06 3/199 10980
/proc/meminfo: memFree=29867224/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=162.31 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1706 0 0 0 16231 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5380107 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/199 10984
/proc/meminfo: memFree=29867268/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=222.31 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1777 0 0 0 22231 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5008679 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 10990
/proc/meminfo: memFree=29865652/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=282.32 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1777 0 0 0 28232 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5034944 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 10994
/proc/meminfo: memFree=29866488/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=342.32 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1848 0 0 0 34232 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5009058 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 10998
/proc/meminfo: memFree=29866412/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=402.33 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1848 0 0 0 40233 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5034864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/200 11011
/proc/meminfo: memFree=29866544/32770688 swapFree=66960980/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=462.33 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 1919 0 0 0 46233 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5034884 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
################
# More data... #
################
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 1722.44 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 11131
/proc/meminfo: memFree=29865444/32770688 swapFree=66960988/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=1782.45 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 2674 0 0 0 178245 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5034872 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 1782.45 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 11135
/proc/meminfo: memFree=29865708/32770688 swapFree=66960988/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=1842.45 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 2687 0 0 0 184245 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5039342 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 1842.45 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 11141
/proc/meminfo: memFree=29865660/32770688 swapFree=66960988/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=1902.46 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 2745 0 0 0 190246 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5391554 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 1902.46 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+1962.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/199 11145
/proc/meminfo: memFree=29864932/32770688 swapFree=66960988/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=1962.46 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 2745 0 0 0 196246 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5008850 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 1962.46 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+2022.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/199 11149
/proc/meminfo: memFree=29865268/32770688 swapFree=66960988/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=2022.47 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 2816 0 0 0 202247 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5038420 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 2022.47 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 11155
/proc/meminfo: memFree=29864972/32770688 swapFree=66960988/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=2082.47 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 2816 0 0 0 208247 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5034904 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 2082.47 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11159
/proc/meminfo: memFree=29864940/32770688 swapFree=66960988/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=2142.48 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 2874 0 0 0 214248 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5409293 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 2142.48 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11163
/proc/meminfo: memFree=29865184/32770688 swapFree=66960988/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=2202.48 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 2887 0 0 0 220248 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5380110 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 2202.48 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 11177
/proc/meminfo: memFree=29865268/32770688 swapFree=66960988/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=2262.49 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 2945 0 0 0 226249 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5397215 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 2262.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11181
/proc/meminfo: memFree=29866088/32770688 swapFree=66960988/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=2322.49 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 2945 0 0 0 232249 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5008992 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 2322.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11186
/proc/meminfo: memFree=29865488/32770688 swapFree=66960988/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=2382.5 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 3003 0 0 0 238250 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5034864 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 2382.5 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 11192
/proc/meminfo: memFree=29864984/32770688 swapFree=66960988/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=2442.5 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 3016 0 0 0 244250 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5034944 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 2442.5 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
[startup+2502.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 11196
/proc/meminfo: memFree=29865400/32770688 swapFree=66960988/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=2502.51 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 3074 0 0 0 250251 0 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5038982 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 2502.51 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.03 2.02 2.05 3/200 11257
/proc/meminfo: memFree=29863624/32770688 swapFree=66960988/67108860
[pid=10967] ppid=10964 vsize=27360 memory=3908 CPUtime=2520.02 cores=0-3
/proc/10967/stat : 10967 (cosoco) R 10964 10967 6407 0 -1 4202496 3074 0 0 0 252001 1 0 0 20 0 1 0 409302012 28016640 977 33554432000 4194304 6210612 140733509471040 140733509469000 5034915 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8308220 8313664 29945856 140733509477387 140733509477489 140733509477489 140733509480398 0
/proc/10967/statm: 6840 977 847 493 0 145 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.8 s]
# the end of solver process 10967 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.01 s, system=0.012001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2519.8
CPU time (s): 2520.02
CPU user time (s): 2520.01
CPU system time (s): 0.012001
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 27360
Max. memory (cumulated for all children) (KiB): 3908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.01
system time used= 0.012001
maximum resident set size= 3980
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3125
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= 652
# summary of solver processes directly reported to runsolver:
# pid: 10967
# total CPU time (s): 2520.02
# total CPU user time (s): 2520.01
# total CPU system time (s): 0.012001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1246 second user time and 17.1483 second system time
The end
Begin job on node116 at 2019-09-13 02:12:42
IDJOB=4389447
IDBENCH=126870
IDSOLVER=2829
FILE ID=node116/4389447-1568333603
RUNJOBID= node116-1568311136-6438
PBS_JOBID= 21701125
Free space on /tmp= 56884 MiB
SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/Dubois/Dubois-m1-s1/Dubois-028.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389447-1568333603/watcher-4389447-1568333603 -o /tmp/evaluation-result-4389447-1568333603/solver-4389447-1568333603 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6438 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389447-1568333603.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= db9859f55fdeeb063308babcaf6783a7
RANDOM SEED=290803743
node116.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 : 2667.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.12
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 : 2667.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.12
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 : 2667.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.12
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 : 2667.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.12
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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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 : 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 : 2667.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: 32770688 kB
MemFree: 29868996 kB
MemAvailable: 31849168 kB
Buffers: 85000 kB
Cached: 2172564 kB
SwapCached: 46700 kB
Active: 818396 kB
Inactive: 1490752 kB
Active(anon): 3204 kB
Inactive(anon): 88756 kB
Active(file): 815192 kB
Inactive(file): 1401996 kB
Unevictable: 110248 kB
Mlocked: 110248 kB
SwapTotal: 67108860 kB
SwapFree: 66960980 kB
Dirty: 2936 kB
Writeback: 0 kB
AnonPages: 161692 kB
Mapped: 44536 kB
Shmem: 31884 kB
Slab: 186412 kB
SReclaimable: 157636 kB
SUnreclaim: 28776 kB
KernelStack: 3792 kB
PageTables: 5028 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494204 kB
Committed_AS: 528228 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350212 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 114688 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 116160 kB
DirectMap2M: 33429504 kB
Free space on /tmp at the end= 56880 MiB
End job on node116 at 2019-09-13 02:54:42