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-4389441-1568333590.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: 150
0.00/0.00 c | Domain Sizes: 2..2
0.00/0.00 c |
0.00/0.00 c | Constraints: 100
0.00/0.00 c | Arity: 3..3 -- Ternary: 100
0.00/0.00 c |
0.00/0.00 c | Types:
0.00/0.00 c | Extension: 100 (nb tuples: 4..4) -- (shared: 95)
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.01 c 101 2638 11617 11232 0 0 51 147 106
0.00/0.01 c 211 3378 14235 13714 0 0 79 107 92
0.00/0.02 c 332 4034 16598 15912 0 0 86 117 103
0.00/0.02 c 465 4736 19171 18280 0 0 66 149 92
0.00/0.02 c 611 5709 22591 21560 0 0 49 79 63
0.00/0.02 c 771 6851 26639 25376 0 0 21 147 122
0.00/0.03 c 947 7984 30561 29057 0 0 97 136 118
0.00/0.03 c 1140 9192 34821 33062 0 0 104 140 123
0.00/0.03 c 1352 10748 40215 38198 0 0 128 147 142
0.00/0.04 c 1585 12567 46455 44281 0 0 25 99 76
0.00/0.04 c 1841 14179 52107 49664 0 0 18 147 114
0.00/0.05 c 2122 16048 58514 55796 0 0 112 146 133
0.00/0.05 c 2431 18046 65640 62600 0 0 68 146 117
0.00/0.06 c 2770 21169 76537 73217 0 0 84 128 110
0.00/0.07 c 3142 24190 86853 83215 0 0 55 147 133
0.00/0.08 c 3551 27302 97767 93786 0 0 77 106 98
0.00/0.08 c 4000 29698 106491 102159 0 0 58 141 94
0.00/0.10 c 4493 33434 119764 115066 0 0 59 83 76
0.00/0.11 c 5035 37045 132386 127234 0 0 22 148 108
0.10/0.12 c 5631 41371 147263 141657 0 0 101 145 140
0.10/0.13 c 6286 45838 162896 156746 0 0 101 146 124
0.10/0.14 c 7006 51934 183599 177001 0 0 77 144 136
0.10/0.16 c 7798 57843 204469 197294 0 0 45 144 120
0.10/0.18 c 8669 64322 226534 218996 0 0 47 144 135
0.10/0.20 c 9627 72339 254609 246370 0 0 40 132 120
0.21/0.22 c 10680 80851 284341 275445 0 0 39 130 117
0.21/0.24 c 11838 88620 312266 302407 0 0 60 146 119
0.21/0.27 c 13111 98322 346914 336043 0 0 59 139 124
0.21/0.29 c 14511 108590 382814 371035 0 0 56 136 104
0.31/0.33 c 16051 120712 425816 413055 0 0 25 132 126
0.31/0.36 c 17745 132818 468963 454944 0 0 55 136 100
0.31/0.40 c 19608 148936 527299 512090 0 0 98 136 130
0.41/0.45 c 21657 165827 587486 570674 0 0 56 137 108
0.41/0.49 c 23910 183285 648921 630557 0 0 81 137 128
0.51/0.54 c 26388 201503 713561 694235 0 0 19 137 120
0.60/0.61 c 29113 223596 792017 771193 0 0 48 121 82
0.60/0.68 c 32110 249681 884541 862799 0 0 16 137 126
0.69/0.75 c 35406 279269 989994 966546 0 0 59 134 127
0.79/0.84 c 39031 309964 1097602 1072087 0 0 42 134 88
0.89/0.93 c 43018 342608 1213817 1186218 0 0 27 136 129
1.00/1.02 c 47403 379572 1345186 1315693 0 0 99 134 128
1.10/1.14 c 52226 420798 1491612 1459870 0 0 43 127 89
1.19/1.25 c 57531 463197 1641960 1606715 0 0 41 136 128
1.29/1.38 c 63366 513559 1820352 1781530 0 0 69 134 128
1.49/1.53 c 69784 568044 2013292 1971831 0 0 82 134 119
1.59/1.69 c 76843 629489 2231571 2184158 0 0 77 136 129
1.79/1.85 c 84607 690883 2450374 2398076 0 0 29 134 125
2.00/2.05 c 93147 761560 2698174 2641647 0 0 60 134 93
2.19/2.24 c 102541 834274 2959407 2899067 0 0 41 136 128
2.39/2.48 c 112874 925709 3282798 3215797 0 0 30 134 128
2.69/2.74 c 124240 1015131 3605763 3529368 0 0 63 103 94
3.00/3.01 c 136742 1121317 3974881 3890377 0 0 29 136 129
3.29/3.32 c 150494 1239576 4390737 4299333 0 0 92 134 129
3.59/3.69 c 165621 1368833 4841098 4740811 0 0 50 95 87
4.00/4.01 c 182260 1492252 5293415 5184753 0 0 84 136 128
4.39/4.41 c 200562 1645207 5834700 5713891 0 0 78 134 129
4.79/4.83 c 220694 1793153 6367641 6239511 0 0 56 134 101
5.29/5.33 c 242839 1987665 7043556 6902950 0 0 45 137 130
5.79/5.85 c 267198 2188107 7755959 7602169 0 0 92 135 130
6.39/6.45 c 293992 2407087 8531312 8360516 0 0 33 136 105
7.10/7.12 c 323465 2659080 9425347 9243327 0 0 73 134 122
7.79/7.88 c 355885 2938425 10404514 10199428 0 0 68 123 109
8.69/8.75 c 391547 3264220 11557524 11333866 0 0 30 136 125
9.59/9.60 c 430775 3586649 12700665 12456248 0 0 27 136 121
10.49/10.58 c 473925 3959001 14008166 13736535 0 0 74 136 126
11.79/11.83 c 521390 4434435 15679940 15392360 0 0 37 136 126
13.00/13.09 c 573601 4910802 17367357 17054316 0 0 39 136 127
14.39/14.49 c 631033 5446586 19272371 18922290 0 0 76 134 128
15.89/16.00 c 694208 6015370 21284607 20895665 0 0 23 136 125
17.59/17.67 c 763700 6644237 23507523 23081361 0 0 41 134 124
19.29/19.35 c 840141 7282158 25760631 25297927 0 0 81 136 125
21.19/21.26 c 924226 8003125 28300775 27806235 0 0 22 136 124
23.69/23.72 c 1016719 8941153 31566450 31026845 0 0 68 136 127
26.10/26.15 c 1118461 9861521 34834735 34244355 0 0 33 136 126
28.79/28.89 c 1230377 10915418 38490946 37847359 0 0 36 136 128
32.00/32.09 c 1353484 12131093 42745230 42015619 0 0 72 136 126
35.39/35.44 c 1488901 13394534 47163684 46358374 0 0 55 136 124
38.89/38.93 c 1637859 14720509 51835977 50950636 0 0 66 136 126
42.69/42.79 c 1801712 16162251 56911900 55926976 0 0 41 134 119
46.89/46.91 c 1981950 17722437 62445536 61393686 0 0 81 136 125
51.59/51.60 c 2180211 19502261 68678896 67508785 0 0 43 136 125
56.80/56.80 c 2398298 21478540 75605901 74335732 0 0 32 136 126
62.80/62.80 c 2638193 23762826 83615956 82227915 0 0 51 136 127
69.01/69.01 c 2902077 26133229 91935434 90429982 0 0 60 136 128
76.50/76.55 c 3192349 28996328 101997696 100315121 0 0 80 136 127
83.80/83.85 c 3511648 31761916 111833943 109985856 0 0 30 136 126
92.30/92.35 c 3862876 34994826 123103801 121047029 0 0 72 136 125
101.30/101.30 c 4249226 38397850 135167388 132935474 0 0 49 136 127
112.01/112.10 c 4674211 42514550 149586201 147097449 0 0 61 136 128
123.11/123.16 c 5141694 46735016 164476717 161693969 0 0 49 136 128
135.30/135.31 c 5655925 51321859 180749893 177609765 0 0 70 136 123
148.20/148.22 c 6221579 56135049 197937121 194486874 0 0 66 137 120
163.50/163.56 c 6843798 61962050 218520933 214692290 0 0 22 137 128
179.71/179.79 c 7528238 68124266 240397276 236275044 0 0 73 137 127
197.81/197.87 c 8281122 75003052 264629515 260085932 0 0 60 137 127
218.12/218.14 c 9109294 82704620 291928696 286882003 0 0 22 135 127
240.81/240.81 c 10020283 91200577 321965122 316400572 0 0 43 136 122
264.81/264.85 c 11022370 100237721 354342545 348057644 0 0 46 136 124
291.72/291.78 c 12124665 110355501 389852325 382921078 0 0 38 136 122
320.52/320.58 c 13337189 121291044 428745461 421172810 0 0 71 136 127
354.32/354.32 c 14670965 134016947 473737092 465259155 0 0 58 136 124
389.82/389.89 c 16138118 147065876 519442445 510414862 0 0 34 136 113
431.73/431.77 c 17751986 162815324 575006581 565253286 0 0 37 136 123
477.04/477.02 c 19527240 179301841 632386865 621924601 0 0 31 136 110
528.74/528.75 c 21480019 198702478 700329124 689115464 0 0 28 136 124
580.94/580.95 c 23628075 217937459 768895434 756289446 0 0 30 136 116
651.65/651.68 c 25990936 244361047 860358948 846814905 0 0 32 136 122
723.75/723.78 c 28590083 271422516 955520043 940621226 0 0 34 136 122
810.76/810.73 c 31449144 303994226 1068023318 1051994677 0 0 33 136 123
887.67/887.61 c 34594111 332464649 1168551973 1151246147 0 0 31 136 117
977.47/977.42 c 38053574 365634105 1284445301 1265442913 0 0 28 136 115
1076.98/1076.90 c 41858983 401753291 1411781775 1389612911 0 0 24 136 108
1186.49/1186.43 c 46044932 442932564 1557972822 1533418640 0 0 39 136 124
1288.60/1288.52 c 50649475 480545972 1689283171 1662939401 0 0 32 136 112
1423.01/1422.95 c 55714472 530805551 1868688558 1840221361 0 0 32 136 123
1560.53/1560.42 c 61285968 582486547 2047970744 2016322941 0 0 31 136 122
1721.26/1721.12 c 67414613 642570800 2257738360 2224242673 0 0 34 136 122
1901.27/1901.13 c 74156122 709973936 2492328151 2455577727 0 0 31 137 121
2107.19/2107.04 c 81571781 786244657 2760318169 2718087786 0 0 36 137 120
2327.10/2326.94 c 89729005 868074305 3048734858 3003107238 0 0 34 137 121
2520.01/2519.80
2520.01/2519.80 c *** INTERRUPTED ***
2520.01/2519.80 c restarts : 120
2520.01/2519.80 c conflicts : 96338955 (38230 /sec)
2520.01/2519.80 c decisions : 939609919 (372860 /sec)
2520.01/2519.80 c propagations : 3251206368 (1290156 /sec)
2520.01/2519.80 c root propagations : 0
2520.01/2519.80 c filter calls : 3300158823 (1309582 /sec)
2520.01/2519.80 c useless filter calls : 1881976239 (57 %)
2520.01/2519.80 c Memory used : 26.98 MB
2520.01/2519.80 c CPU time : 2520.01 s
2520.01/2519.80 c real time : 2519.8 s
2520.01/2519.80
2520.01/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 (13323 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-4389441-1568333590/watcher-4389441-1568333590 -o /tmp/evaluation-result-4389441-1568333590/solver-4389441-1568333590 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389441-1568333590.xml
running on 4 cores: 4-7
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=10905, runsolver pid=10902
[startup+0.100157 s]*
/proc/loadavg: 2.00 2.06 2.07 3/200 10906
/proc/meminfo: memFree=29730204/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=3952 CPUtime=0.1 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 1208 0 0 0 10 0 0 0 20 0 1 0 409300734 28286976 988 33554432000 4194304 6210612 140729746508144 140729746505656 5034944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 988 831 493 0 211 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB
[startup+0.210644 s]*
/proc/loadavg: 2.00 2.06 2.07 3/200 10906
/proc/meminfo: memFree=29730204/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=3952 CPUtime=0.21 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 1208 0 0 0 21 0 0 0 20 0 1 0 409300734 28286976 988 33554432000 4194304 6210612 140729746508144 140729746505656 5034915 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 988 831 493 0 211 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB
[startup+0.310082 s]*
/proc/loadavg: 2.00 2.06 2.07 3/200 10906
/proc/meminfo: memFree=29730204/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=3952 CPUtime=0.31 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 1208 0 0 0 31 0 0 0 20 0 1 0 409300734 28286976 988 33554432000 4194304 6210612 140729746508144 140729746505656 5008550 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 988 831 493 0 211 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB
[startup+0.700339 s]
/proc/loadavg: 2.00 2.06 2.07 3/200 10906
/proc/meminfo: memFree=29730264/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=3952 CPUtime=0.69 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 1208 0 0 0 69 0 0 0 20 0 1 0 409300734 28286976 988 33554432000 4194304 6210612 140729746508144 140729746506104 5391923 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 988 831 493 0 211 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.06 2.07 4/200 10906
/proc/meminfo: memFree=29730140/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=3952 CPUtime=1.49 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 1208 0 0 0 149 0 0 0 20 0 1 0 409300734 28286976 988 33554432000 4194304 6210612 140729746508144 140729746506104 5249724 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 988 831 493 0 211 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 3952 KiB
[startup+3.11018 s]
/proc/loadavg: 2.00 2.06 2.07 5/200 10906
/proc/meminfo: memFree=29730140/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=3.1 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 1347 0 0 0 310 0 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5185901 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+6.30032 s]
/proc/loadavg: 2.00 2.06 2.07 5/200 10906
/proc/meminfo: memFree=29730136/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=6.29 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 1486 0 0 0 629 0 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5034848 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.06 2.07 3/198 10907
/proc/meminfo: memFree=29866192/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=12.69 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 1625 0 0 0 1269 0 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5034864 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+25.5003 s]
/proc/loadavg: 2.08 2.07 2.07 3/201 10970
/proc/meminfo: memFree=29867592/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=25.49 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 1879 0 0 0 2549 0 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+51.1101 s]
/proc/loadavg: 2.05 2.06 2.07 3/200 10970
/proc/meminfo: memFree=29867368/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=51.1 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 2042 0 0 0 5110 0 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5038465 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.05 2.07 3/200 10974
/proc/meminfo: memFree=29866984/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=102.3 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 2181 0 0 0 10230 0 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5409226 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.06 3/199 10980
/proc/meminfo: memFree=29867192/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=162.3 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 2320 0 0 0 16230 0 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5034895 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 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=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=222.31 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 2459 0 0 0 22231 0 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5038845 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 10988
/proc/meminfo: memFree=29866192/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=282.32 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 2459 0 0 0 28232 0 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 10994
/proc/meminfo: memFree=29866364/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=342.32 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 2598 0 0 0 34232 0 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5034904 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 10998
/proc/meminfo: memFree=29866288/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=402.33 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 2598 0 0 0 40233 0 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5185934 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+462.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 11009
/proc/meminfo: memFree=29866776/32770688 swapFree=66960980/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=462.33 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 2737 0 0 0 46233 0 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
################
# More data... #
################
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 1722.45 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 11131
/proc/meminfo: memFree=29865288/32770688 swapFree=66960988/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=1782.45 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 4253 0 0 0 178244 1 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5380107 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 1782.45 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 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=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=1842.46 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 4253 0 0 0 184245 1 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5389248 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 1842.46 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 11139
/proc/meminfo: memFree=29865336/32770688 swapFree=66960988/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=1902.46 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 4392 0 0 0 190245 1 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5034915 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 1902.46 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+1962.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 11145
/proc/meminfo: memFree=29864840/32770688 swapFree=66960988/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=1962.47 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 4392 0 0 0 196246 1 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5409297 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 1962.47 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+2022.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 11149
/proc/meminfo: memFree=29865208/32770688 swapFree=66960988/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=2022.47 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 4518 0 0 0 202246 1 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5389928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 2022.47 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 11153
/proc/meminfo: memFree=29864932/32770688 swapFree=66960988/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=2082.48 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 4518 0 0 0 208247 1 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 2082.48 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11159
/proc/meminfo: memFree=29864844/32770688 swapFree=66960988/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=2142.48 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 4657 0 0 0 214247 1 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5409279 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 2142.48 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11163
/proc/meminfo: memFree=29865216/32770688 swapFree=66960988/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=2202.49 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 4657 0 0 0 220248 1 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5391904 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 2202.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11175
/proc/meminfo: memFree=29864672/32770688 swapFree=66960988/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=2262.49 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 4783 0 0 0 226248 1 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5396596 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 2262.49 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 11181
/proc/meminfo: memFree=29866460/32770688 swapFree=66960988/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=2322.5 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 4783 0 0 0 232249 1 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5034895 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 2322.5 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11186
/proc/meminfo: memFree=29865332/32770688 swapFree=66960988/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=2382.5 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 4921 0 0 0 238249 1 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5039082 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 2382.5 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 11190
/proc/meminfo: memFree=29865128/32770688 swapFree=66960988/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=2442.51 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 4921 0 0 0 244250 1 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5034944 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 2442.51 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
[startup+2502.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 11196
/proc/meminfo: memFree=29865244/32770688 swapFree=66960988/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=2502.51 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 5046 0 0 0 250250 1 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5380107 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 2502.51 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.03 2.03 2.05 3/200 11196
/proc/meminfo: memFree=29865184/32770688 swapFree=66960988/67108860
[pid=10905] ppid=10902 vsize=27624 memory=4188 CPUtime=2520.01 cores=4-7
/proc/10905/stat : 10905 (cosoco) R 10902 10905 6407 0 -1 4202496 5046 0 0 0 252000 1 0 0 20 0 1 0 409300734 28286976 1047 33554432000 4194304 6210612 140729746508144 140729746506104 5034864 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 19881984 140729746510859 140729746510961 140729746510961 140729746513870 0
/proc/10905/statm: 6906 1047 847 493 0 211 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 27624 KiB
Current children cumulated memory: 4188 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.8 s]
# the end of solver process 10905 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.01 s, system=0.013001 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.013001
CPU usage (%): 100.009
Max. virtual memory (cumulated for all children) (KiB): 27624
Max. memory (cumulated for all children) (KiB): 4188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.01
system time used= 0.013001
maximum resident set size= 4256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5096
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= 14
involuntary context switches= 633
# summary of solver processes directly reported to runsolver:
# pid: 10905
# total CPU time (s): 2520.02
# total CPU user time (s): 2520.01
# total CPU system time (s): 0.013001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.7299 second user time and 16.2147 second system time
The end
Begin job on node116 at 2019-09-13 02:12:30
IDJOB=4389441
IDBENCH=126861
IDSOLVER=2829
FILE ID=node116/4389441-1568333590
RUNJOBID= node116-1568311136-6439
PBS_JOBID= 21701125
Free space on /tmp= 56884 MiB
SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/Dubois/Dubois-m1-s1/Dubois-050.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389441-1568333590/watcher-4389441-1568333590 -o /tmp/evaluation-result-4389441-1568333590/solver-4389441-1568333590 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568311136-6439 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389441-1568333590.xml
TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 630ab63eaf7c5bcaa7f0eb192a58705a
RANDOM SEED=1941484945
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: 29730808 kB
MemAvailable: 31711856 kB
Buffers: 84964 kB
Cached: 2173436 kB
SwapCached: 46700 kB
Active: 956308 kB
Inactive: 1490688 kB
Active(anon): 140224 kB
Inactive(anon): 88756 kB
Active(file): 816084 kB
Inactive(file): 1401932 kB
Unevictable: 110248 kB
Mlocked: 110248 kB
SwapTotal: 67108860 kB
SwapFree: 66960980 kB
Dirty: 2744 kB
Writeback: 0 kB
AnonPages: 314456 kB
Mapped: 44684 kB
Shmem: 31884 kB
Slab: 186296 kB
SReclaimable: 157732 kB
SUnreclaim: 28564 kB
KernelStack: 3792 kB
PageTables: 5640 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494204 kB
Committed_AS: 664788 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350212 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 266240 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:30