0.00/0.01 c root propagations : 0
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 2.00 --
0.00/0.01 c
0.00/0.01 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389417-1568349237.xml
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: 220
0.00/0.01 c | Domain Sizes: 2..2
0.00/0.01 c |
0.00/0.01 c | Constraints: 42
0.00/0.01 c | Arity: 10..11
0.00/0.01 c |
0.00/0.01 c | Types:
0.00/0.01 c | Sum: 42
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.01 c 101 941 4852 5164 0 0 82 106 97
0.00/0.01 c 211 2217 10425 13364 0 0 70 93 83
0.00/0.02 c 332 3528 16625 20628 0 0 80 103 93
0.00/0.02 c 465 5270 24089 30764 0 0 59 95 85
0.00/0.03 c 611 6400 29651 36959 0 0 83 105 96
0.00/0.04 c 771 8563 39644 50125 0 0 64 91 82
0.00/0.04 c 947 10031 47056 58565 0 0 86 105 95
0.00/0.05 c 1140 12549 58706 72211 0 0 62 94 86
0.00/0.06 c 1352 15096 70504 88726 0 0 70 101 89
0.00/0.06 c 1585 17052 79605 98766 0 0 26 105 98
0.00/0.08 c 1841 20245 93425 115929 0 0 65 101 86
0.00/0.09 c 2122 23870 109246 134273 0 0 48 105 85
0.00/0.10 c 2431 26494 123841 152898 0 0 67 105 92
0.10/0.12 c 2770 31226 146582 180616 0 0 57 97 83
0.10/0.13 c 3142 35601 170777 211926 0 0 54 98 85
0.10/0.15 c 3551 39505 189014 235662 0 0 54 103 89
0.10/0.17 c 4000 45084 215547 269331 0 0 70 99 87
0.10/0.19 c 4493 52011 247646 311833 0 0 65 101 87
0.10/0.20 c 5035 56001 268045 336435 0 0 86 105 96
0.21/0.22 c 5631 61530 295032 367350 0 0 86 105 97
0.21/0.25 c 6286 70336 336838 417802 0 0 66 103 86
0.21/0.28 c 7006 77194 370576 459902 0 0 69 105 92
0.21/0.31 c 7798 85959 415378 518948 0 0 56 103 87
0.31/0.35 c 8669 96574 469842 590230 0 0 60 103 89
0.31/0.39 c 9627 108319 523242 662208 0 0 65 105 88
0.41/0.43 c 10680 119327 575540 734111 0 0 58 105 87
0.41/0.47 c 11838 131283 635563 810413 0 0 67 105 91
0.51/0.53 c 13111 147723 717529 915219 0 0 56 103 84
0.51/0.58 c 14511 162486 793426 1013143 0 0 69 105 90
0.60/0.64 c 16051 179139 879996 1123127 0 0 66 104 89
0.69/0.71 c 17745 198219 979066 1249724 0 0 63 105 92
0.69/0.79 c 19608 220650 1092979 1404247 0 0 60 104 88
0.79/0.87 c 21657 244363 1209660 1544239 0 0 48 105 90
0.89/0.96 c 23910 268634 1334682 1708494 0 0 52 105 88
1.00/1.06 c 26388 294669 1471573 1885010 0 0 59 105 84
1.10/1.16 c 29113 319967 1614423 2076204 0 0 66 105 91
1.29/1.30 c 32110 358804 1793522 2307594 0 0 49 103 86
1.39/1.45 c 35406 404571 1997100 2540801 0 0 47 105 89
1.49/1.59 c 39031 444064 2207510 2802087 0 0 61 105 89
1.69/1.74 c 43018 487414 2416193 3086143 0 0 51 105 88
1.89/1.93 c 47403 538607 2678524 3426788 0 0 47 103 87
2.10/2.14 c 52226 595387 2970135 3783574 0 0 51 105 88
2.29/2.38 c 57531 663499 3303898 4213048 0 0 60 105 90
2.59/2.66 c 63366 734519 3711297 4725802 0 0 48 105 88
2.89/2.92 c 69784 803849 4068499 5201742 0 0 62 105 89
3.19/3.24 c 76843 893819 4524160 5802385 0 0 56 103 86
3.49/3.58 c 84607 982347 4984135 6431697 0 0 49 105 84
3.89/3.96 c 93147 1084856 5514638 7128295 0 0 39 105 84
4.29/4.34 c 102541 1186496 6044389 7792883 0 0 55 103 84
4.79/4.82 c 112874 1310513 6703393 8653929 0 0 49 105 83
5.19/5.28 c 124240 1433545 7356233 9499207 0 0 57 105 85
5.69/5.76 c 136742 1556235 8033887 10388776 0 0 58 105 85
6.29/6.39 c 150494 1722837 8924859 11556801 0 0 48 105 87
6.89/6.98 c 165621 1884682 9738937 12645409 0 0 53 105 90
7.69/7.70 c 182260 2082778 10767228 13978404 0 0 51 105 89
8.39/8.48 c 200562 2300733 11843094 15345094 0 0 50 105 89
9.39/9.42 c 220694 2548666 13163483 17082132 0 0 44 105 87
10.29/10.37 c 242839 2800335 14509933 18856462 0 0 46 104 88
11.39/11.44 c 267198 3096570 15993962 20757177 0 0 51 105 88
12.59/12.66 c 293992 3429850 17689413 23009283 0 0 45 105 88
14.00/14.02 c 323465 3788527 19628999 25497679 0 0 41 105 87
15.29/15.31 c 355885 4156059 21405906 27928413 0 0 53 103 88
16.79/16.82 c 391547 4570241 23519030 30710820 0 0 47 105 88
18.39/18.43 c 430775 5021462 25763977 33691128 0 0 45 105 89
20.29/20.32 c 473925 5520056 28410429 37184264 0 0 39 105 87
22.29/22.35 c 521390 6061960 31191124 40928401 0 0 42 103 87
24.29/24.30 c 573601 6608995 33949893 44497124 0 0 49 105 89
26.69/26.72 c 631033 7279188 37292387 48979641 0 0 45 105 88
29.19/29.27 c 694208 8012257 40930164 53589751 0 0 53 105 90
32.20/32.22 c 763700 8844690 45025065 59021216 0 0 31 105 88
35.40/35.46 c 840141 9692180 49537102 65029500 0 0 48 105 88
38.90/38.92 c 924226 10605718 54426975 71289077 0 0 41 105 89
42.60/42.65 c 1016719 11611002 59675634 78117030 0 0 49 105 88
46.90/46.95 c 1118461 12732792 65816341 85907388 0 0 39 105 87
51.60/51.66 c 1230377 13991237 72398000 94426819 0 0 37 105 86
57.01/57.09 c 1353484 15486614 79961703 104180590 0 0 40 105 88
62.80/62.85 c 1488901 16965782 88079654 114648595 0 0 37 105 87
69.20/69.23 c 1637859 18644611 97040086 126116639 0 0 48 105 89
75.90/76.00 c 1801712 20418287 106656059 138302698 0 0 45 105 89
83.50/83.57 c 1981950 22447927 117387367 151893723 0 0 36 105 89
92.01/92.05 c 2180211 24726811 129405285 166959632 0 0 23 105 89
101.80/101.81 c 2398298 27293425 143198034 184569898 0 0 41 105 88
112.20/112.27 c 2638193 30154020 157938979 203048146 0 0 23 105 89
123.11/123.11 c 2902077 33077685 173067530 222970681 0 0 24 105 88
135.01/135.09 c 3192349 36232728 189983082 244603403 0 0 41 105 88
148.81/148.84 c 3511648 39898122 209353590 269748528 0 0 39 105 88
163.41/163.49 c 3862876 43803479 229813356 296526706 0 0 39 105 88
179.51/179.52 c 4249226 48005186 252116710 325507054 0 0 30 105 84
197.81/197.84 c 4674211 52906675 277699958 359249270 0 0 30 105 87
217.41/217.40 c 5141694 58065426 304979215 395470202 0 0 35 105 87
239.51/239.57 c 5655925 64133049 335781963 436085496 0 0 16 105 87
264.32/264.35 c 6221579 70500967 370574307 481206419 0 0 25 105 83
291.62/291.63 c 6843798 77800697 409000316 530470669 0 0 29 105 88
320.92/320.98 c 7528238 85800562 449896534 583959109 0 0 33 105 89
353.32/353.35 c 8281122 94340771 495416469 641409736 0 0 20 105 88
389.53/389.55 c 9109294 103893590 546742617 707171299 0 0 30 105 87
430.33/430.36 c 10020283 114766059 604205052 778730049 0 0 39 105 89
476.43/476.40 c 11022370 127102252 668805807 859526793 0 0 34 105 88
522.64/522.69 c 12124665 139591334 733430482 944571820 1 0 16 105 86
576.05/576.01 c 13337189 153267681 808671572 1042039283 1 0 37 104 86
630.75/630.74 c 14670965 167056096 886068470 1141294616 1 0 31 104 85
694.25/694.21 c 16138118 183082075 975487214 1257418718 1 0 33 105 87
766.46/766.41 c 17751986 201918529 1077391478 1385628013 1 0 35 105 88
845.67/845.64 c 19527240 222439856 1189225477 1528714744 1 0 32 105 88
929.87/929.82 c 21480019 244434383 1307962213 1681631187 1 0 31 105 88
1022.38/1022.35 c 23628075 268965335 1437947232 1851867323 1 0 28 105 87
1121.79/1121.77 c 25990936 295563436 1577454482 2029961572 1 0 27 105 89
1235.21/1235.11 c 28590083 324610768 1737691422 2236192876 1 0 19 105 88
1356.12/1356.01 c 31449144 356690808 1907176910 2459325374 2 0 27 105 88
1492.62/1492.52 c 34594111 393913130 2100293496 2701955370 2 0 26 105 89
1643.15/1643.10 c 38053574 434127906 2311735420 2975352357 4 0 29 105 88
1809.16/1809.09 c 41858983 477239205 2546077334 3276329167 4 0 29 105 88
1987.97/1987.85 c 46044932 523157594 2796876313 3606008464 4 0 30 105 87
2185.49/2185.39 c 50649475 574146094 3074970793 3969241596 4 0 23 105 88
2403.21/2403.03 c 55714472 631671712 3380213364 4364649049 15 0 22 105 88
2431.22/2431.04 s UNSATISFIABLE
2431.22/2431.04 c restarts : 115
2431.22/2431.04 c conflicts : 56396627 (23196 /sec)
2431.22/2431.04 c decisions : 638751070 (262724 /sec)
2431.22/2431.04 c propagations : 4416996844 (1816752 /sec)
2431.22/2431.04 c root propagations : 0
2431.22/2431.04 c filter calls : 3419402208 (1406432 /sec)
2431.22/2431.04 c useless filter calls : 2404870251 (70 %)
2431.22/2431.04 c Memory used : 26.84 MB
2431.22/2431.04 c CPU time : 2431.26 s
2431.22/2431.04 c real time : 2431.04 s
2431.22/2431.04
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 (13442 MiB free)
memory of node 1: 16384 MiB (15670 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389417-1568349237/watcher-4389417-1568349237 -o /tmp/evaluation-result-4389417-1568349237/solver-4389417-1568349237 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568346432-13138 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389417-1568349237.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
solver pid=13819, runsolver pid=13816
Current StackSize limit: 8192 KiB
[startup+0.100157 s]*
/proc/loadavg: 2.00 1.99 2.03 3/201 13820
/proc/meminfo: memFree=29811800/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=3876 CPUtime=0.1 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 1181 0 0 0 10 0 0 0 20 0 1 0 410865393 28143616 969 33554432000 4194304 6210612 140722511028816 140722511025352 5156072 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 969 833 493 0 176 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 3876 KiB
[startup+0.210663 s]*
/proc/loadavg: 2.00 1.99 2.03 3/201 13820
/proc/meminfo: memFree=29811800/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=3876 CPUtime=0.21 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 1182 0 0 0 21 0 0 0 20 0 1 0 410865393 28143616 969 33554432000 4194304 6210612 140722511028816 140722511025352 5249738 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 969 833 493 0 176 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 3876 KiB
[startup+0.31022 s]*
/proc/loadavg: 2.00 1.99 2.03 3/201 13820
/proc/meminfo: memFree=29811800/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=3876 CPUtime=0.31 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 1182 0 0 0 31 0 0 0 20 0 1 0 410865393 28143616 969 33554432000 4194304 6210612 140722511028816 140722511025352 5155086 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 969 833 493 0 176 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 3876 KiB
[startup+0.700289 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 13820
/proc/meminfo: memFree=29811800/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=3876 CPUtime=0.69 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 1182 0 0 0 69 0 0 0 20 0 1 0 410865393 28143616 969 33554432000 4194304 6210612 140722511028816 140722511025352 5249719 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 969 833 493 0 176 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 3876 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 13820
/proc/meminfo: memFree=29811644/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=3876 CPUtime=1.49 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 1182 0 0 0 149 0 0 0 20 0 1 0 410865393 28143616 969 33554432000 4194304 6210612 140722511028816 140722511026776 5409293 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 969 833 493 0 176 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 3876 KiB
[startup+3.1103 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 13820
/proc/meminfo: memFree=29811640/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=3.1 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 1264 0 0 0 310 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5157608 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+6.30028 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 13821
/proc/meminfo: memFree=29811268/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=6.29 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 1346 0 0 0 629 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5397215 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 13821
/proc/meminfo: memFree=29811392/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=12.69 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 1428 0 0 0 1269 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5155327 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 13821
/proc/meminfo: memFree=29810896/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=25.49 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 1592 0 0 0 2549 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5403852 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+51.1103 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 13823
/proc/meminfo: memFree=29809924/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=51.11 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 1674 0 0 0 5111 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5409297 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/201 13827
/proc/meminfo: memFree=29809604/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=102.3 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 1756 0 0 0 10230 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5249719 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 13831
/proc/meminfo: memFree=29809644/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=162.31 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 1838 0 0 0 16231 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5249727 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 13837
/proc/meminfo: memFree=29809628/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=222.31 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 1920 0 0 0 22231 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5409264 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 13841
/proc/meminfo: memFree=29809700/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=282.32 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 1920 0 0 0 28232 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5192938 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 13845
/proc/meminfo: memFree=29810348/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=342.32 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 2002 0 0 0 34232 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/199 13851
/proc/meminfo: memFree=29810780/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=402.33 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 2002 0 0 0 40233 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5390986 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 13863
/proc/meminfo: memFree=29809592/32770688 swapFree=66961020/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=462.33 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 2084 0 0 0 46233 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5155614 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
################
# More data... #
################
Current children cumulated memory: 4080 KiB
[startup+1962.3 s]
/proc/loadavg: 2.84 2.30 2.14 3/199 14017
/proc/meminfo: memFree=29809752/32770688 swapFree=66961028/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=1962.47 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 3044 0 0 0 196247 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5155436 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 1962.47 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+2022.3 s]
/proc/loadavg: 2.31 2.25 2.13 3/199 14023
/proc/meminfo: memFree=29809704/32770688 swapFree=66961028/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=2022.47 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 3126 0 0 0 202247 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5249664 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 2022.47 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+2082.3 s]
/proc/loadavg: 2.11 2.20 2.13 3/199 14027
/proc/meminfo: memFree=29810064/32770688 swapFree=66961028/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=2082.48 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 3126 0 0 0 208248 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5155614 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 2082.48 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+2142.3 s]
/proc/loadavg: 2.04 2.16 2.12 3/199 14031
/proc/meminfo: memFree=29810136/32770688 swapFree=66961028/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=2142.48 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 3196 0 0 0 214248 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5157090 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 2142.48 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+2202.3 s]
/proc/loadavg: 2.02 2.13 2.11 3/199 14037
/proc/meminfo: memFree=29808924/32770688 swapFree=66961028/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=2202.49 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 3208 0 0 0 220249 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5380096 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 2202.49 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+2262.3 s]
/proc/loadavg: 2.01 2.11 2.11 3/200 14049
/proc/meminfo: memFree=29807864/32770688 swapFree=66961028/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=2262.49 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 3278 0 0 0 226249 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5156540 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 2262.49 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+2322.3 s]
/proc/loadavg: 1.96 2.07 2.10 3/200 14113
/proc/meminfo: memFree=29820200/32770688 swapFree=66961028/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=2322.5 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 3278 0 0 0 232250 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5409264 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 2322.5 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+2382.3 s]
/proc/loadavg: 1.98 2.06 2.09 3/200 14119
/proc/meminfo: memFree=29820112/32770688 swapFree=66961028/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=2382.5 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 3348 0 0 0 238250 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5008637 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 2382.5 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+2431.05 s]
# the end of solver process 13819 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2431.26 s, system=0.003 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2406.4 s]
/proc/loadavg: 1.99 2.06 2.09 3/200 14120
/proc/meminfo: memFree=29819992/32770688 swapFree=66961028/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=2406.61 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 3360 0 0 0 240661 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5155765 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 2406.61 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+2419.2 s]
/proc/loadavg: 1.99 2.05 2.09 3/200 14123
/proc/meminfo: memFree=29820148/32770688 swapFree=66961028/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=2419.41 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 3360 0 0 0 241941 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5389857 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 2419.41 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+2425.6 s]
/proc/loadavg: 1.99 2.05 2.09 3/200 14123
/proc/meminfo: memFree=29820236/32770688 swapFree=66961028/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=2425.81 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 3360 0 0 0 242581 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5390031 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 2425.81 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+2428.8 s]
/proc/loadavg: 1.99 2.05 2.09 3/200 14123
/proc/meminfo: memFree=29820300/32770688 swapFree=66961028/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=2429.01 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 3360 0 0 0 242901 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5249733 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 2429.01 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+2430.4 s]
/proc/loadavg: 1.99 2.05 2.09 3/200 14123
/proc/meminfo: memFree=29820300/32770688 swapFree=66961028/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=2430.61 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 3360 0 0 0 243061 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5249712 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 2430.61 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+2430.8 s]
/proc/loadavg: 1.99 2.05 2.09 3/200 14123
/proc/meminfo: memFree=29820300/32770688 swapFree=66961028/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=2431.01 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 3360 0 0 0 243101 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5156325 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 2431.01 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
[startup+2431 s]*
/proc/loadavg: 1.99 2.05 2.09 3/200 14123
/proc/meminfo: memFree=29820292/32770688 swapFree=66961028/67108860
[pid=13819] ppid=13816 vsize=27484 memory=4080 CPUtime=2431.22 cores=0-3
/proc/13819/stat : 13819 (cosoco) R 13816 13819 13106 0 -1 4202496 3360 0 0 0 243122 0 0 0 20 0 1 0 410865393 28143616 1020 33554432000 4194304 6210612 140722511028816 140722511026776 5249674 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 20148224 140722511037451 140722511037553 140722511037553 140722511040462 0
/proc/13819/statm: 6871 1020 871 493 0 176 0
Current children cumulated CPU time: 2431.22 s
Current children cumulated vsize: 27484 KiB
Current children cumulated memory: 4080 KiB
Child status: 0
Real time (s): 2431.05
CPU time (s): 2431.26
CPU user time (s): 2431.26
CPU system time (s): 0.003
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 27484
Max. memory (cumulated for all children) (KiB): 4080
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2431.26
system time used= 0.003
maximum resident set size= 4152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3400
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= 15
involuntary context switches= 610
# summary of solver processes directly reported to runsolver:
# pid: 13819
# total CPU time (s): 2431.26
# total CPU user time (s): 2431.26
# total CPU system time (s): 0.003
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.646 second user time and 16.3582 second system time
The end
Begin job on node116 at 2019-09-13 06:33:16
IDJOB=4389417
IDBENCH=134710
IDSOLVER=2829
FILE ID=node116/4389417-1568349237
RUNJOBID= node116-1568346432-13138
PBS_JOBID= 21701168
Free space on /tmp= 56884 MiB
SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-fpga/Pb-chnl10-11.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389417-1568349237/watcher-4389417-1568349237 -o /tmp/evaluation-result-4389417-1568349237/solver-4389417-1568349237 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568346432-13138 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389417-1568349237.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 0cb6e3dc45605db1284c892a60e68314
RANDOM SEED=2029384825
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: 29812496 kB
MemAvailable: 31834496 kB
Buffers: 110112 kB
Cached: 2188900 kB
SwapCached: 46664 kB
Active: 840684 kB
Inactive: 1522312 kB
Active(anon): 17768 kB
Inactive(anon): 86980 kB
Active(file): 822916 kB
Inactive(file): 1435332 kB
Unevictable: 110248 kB
Mlocked: 110248 kB
SwapTotal: 67108860 kB
SwapFree: 66961020 kB
Dirty: 2912 kB
Writeback: 0 kB
AnonPages: 149336 kB
Mapped: 45020 kB
Shmem: 31924 kB
Slab: 187820 kB
SReclaimable: 159172 kB
SUnreclaim: 28648 kB
KernelStack: 3792 kB
PageTables: 5776 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494204 kB
Committed_AS: 541032 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350212 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 100352 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 07:13:47