| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| cosoco 1.12 | ? (TO) | 2519.92 | 2520.01 |
| Name | CarSequencing/ CarSequencing-04-72_c18.xml |
| MD5SUM | 606ad4221d4941292d84c5bdd64a5487 |
| Bench Category | CSP (decision problem) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | 18.6809 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 600 |
| Number of constraints | 731 |
| Number of domains | 2 |
| Minimum domain size | 2 |
| Maximum domain size | 22 |
| Distribution of domain sizes | [{"size":2,"count":500},{"size":22,"count":100}] |
| Minimum variable degree | 2 |
| Maximum variable degree | 53 |
| Distribution of variable degrees | [{"degree":2,"count":100},{"degree":3,"count":5},{"degree":4,"count":5},{"degree":5,"count":6},{"degree":6,"count":10},{"degree":7,"count":10},{"degree":8,"count":18},{"degree":9,"count":18},{"degree":10,"count":18},{"degree":11,"count":18},{"degree":12,"count":18},{"degree":13,"count":18},{"degree":14,"count":18},{"degree":15,"count":18},{"degree":16,"count":18},{"degree":17,"count":18},{"degree":18,"count":18},{"degree":19,"count":18},{"degree":20,"count":19},{"degree":21,"count":19},{"degree":22,"count":20},{"degree":23,"count":20},{"degree":24,"count":25},{"degree":25,"count":14},{"degree":26,"count":9},"...",{"degree":29,"count":9}, {"degree":30,"count":10}, {"degree":31,"count":26}, {"degree":32,"count":19}, {"degree":33,"count":2}, {"degree":34,"count":2}, {"degree":35,"count":2}, {"degree":36,"count":2}, {"degree":37,"count":2}, {"degree":38,"count":2}, {"degree":39,"count":2}, {"degree":40,"count":2}, {"degree":41,"count":2}, {"degree":42,"count":2}, {"degree":43,"count":2}, {"degree":44,"count":2}, {"degree":45,"count":2}, {"degree":46,"count":2}, {"degree":47,"count":2}, {"degree":48,"count":2}, {"degree":49,"count":2}, {"degree":50,"count":2}, {"degree":51,"count":2}, {"degree":52,"count":3}, {"degree":53,"count":1}] |
| Minimum constraint arity | 2 |
| Maximum constraint arity | 100 |
| Distribution of constraint arities | [{"arity":2,"count":100},{"arity":3,"count":196},{"arity":4,"count":1},{"arity":5,"count":193},{"arity":6,"count":101},{"arity":8,"count":1},{"arity":10,"count":2},{"arity":12,"count":1},{"arity":14,"count":1},{"arity":15,"count":2},{"arity":16,"count":1},{"arity":18,"count":1},{"arity":19,"count":1},{"arity":20,"count":3},{"arity":22,"count":3},{"arity":24,"count":1},{"arity":25,"count":4},{"arity":26,"count":1},{"arity":28,"count":3},{"arity":30,"count":3},{"arity":31,"count":2},{"arity":32,"count":1},{"arity":34,"count":3},{"arity":35,"count":2},{"arity":36,"count":1},"...",{"arity":67,"count":2}, {"arity":68,"count":1}, {"arity":70,"count":5}, {"arity":72,"count":1}, {"arity":73,"count":2}, {"arity":74,"count":1}, {"arity":75,"count":2}, {"arity":76,"count":3}, {"arity":78,"count":1}, {"arity":79,"count":2}, {"arity":80,"count":3}, {"arity":82,"count":3}, {"arity":84,"count":1}, {"arity":85,"count":4}, {"arity":86,"count":1}, {"arity":88,"count":3}, {"arity":90,"count":3}, {"arity":91,"count":2}, {"arity":92,"count":1}, {"arity":94,"count":3}, {"arity":95,"count":2}, {"arity":96,"count":1}, {"arity":97,"count":2}, {"arity":98,"count":1}, {"arity":100,"count":6}] |
| Number of extensional constraints | 100 |
| Number of intensional constraints | 0 |
| Distribution of constraint types | [{"type":"extension","count":100},{"type":"sum","count":630},{"type":"cardinality","count":1}] |
| Optimization problem | NO |
| Type of objective |
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 100 Exactly/AtMost.. constraint 0.00/0.00 c 0.00/0.06 c root propagations : 0 0.00/0.06 c restarts enabled, print stats at every restarts 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c 0.00/0.06 c This is cosoco 1.12 -- 0.00/0.06 c 0.00/0.06 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295034-1532523862.xml 0.00/0.06 c ========================================[ Problem Statistics ]=========================================== 0.00/0.06 c | 0.00/0.06 c | Parse time : 0.06 s 0.00/0.06 c | 0.00/0.06 c | Variables: 600 0.00/0.06 c | Domain Sizes: 2..22 0.00/0.06 c | 0.00/0.06 c | Constraints: 752 0.00/0.06 c | Arity: 2..100 -- Binary: 100 -- Ternary: 196 0.00/0.06 c | 0.00/0.06 c | Types: 0.00/0.06 c | Exactly K: 22 0.00/0.06 c | Extension: 100 (nb tuples: 22..22) -- (shared: 99) 0.00/0.06 c | Sum: 630 0.00/0.06 c | 0.00/0.06 c ========================================================================================================= 0.00/0.06 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.10/0.18 c 101 694 59864 20946 0 0 339 382 355 0.31/0.35 c 211 1699 125527 36221 0 0 98 148 120 0.51/0.58 c 332 2533 198323 61970 0 0 12 184 38 0.69/0.72 c 465 3160 267404 75350 0 0 170 196 182 0.79/0.89 c 611 4663 350381 91232 0 0 4 276 237 1.00/1.06 c 771 5534 416711 109668 0 0 28 126 92 1.19/1.28 c 947 6221 496629 133145 0 0 23 111 79 1.39/1.44 c 1140 6826 569313 151298 0 0 26 153 136 1.59/1.62 c 1352 8157 637515 163012 0 0 22 139 117 1.69/1.76 c 1585 9041 719718 178472 0 0 18 185 172 1.89/2.00 c 1841 9954 814800 191926 0 0 26 117 112 2.29/2.32 c 2122 11011 956092 224167 0 0 16 179 167 2.89/2.98 c 2431 12893 1223015 304052 0 0 12 152 99 3.79/3.83 c 2770 14393 1519235 507097 0 0 60 144 118 4.00/4.10 c 3142 15530 1633554 540627 0 0 74 163 156 4.29/4.34 c 3551 17258 1745671 578424 0 0 22 184 163 4.79/4.80 c 4000 18590 1953099 627403 0 0 34 208 192 5.19/5.29 c 4493 20449 2138311 653499 0 0 34 153 148 5.49/5.52 c 5035 21998 2271155 680263 0 0 11 226 212 6.00/6.04 c 5631 24790 2480676 722357 0 0 13 148 131 6.89/6.96 c 6286 27902 2874884 856965 0 0 52 148 136 7.59/7.68 c 7006 31370 3158187 902460 0 0 14 151 137 9.19/9.26 c 7798 37845 3691072 1076653 0 0 17 116 100 9.89/9.99 c 8669 41042 4045434 1151918 0 0 56 201 181 10.69/10.78 c 9627 46459 4394820 1239134 0 0 12 192 170 11.39/11.45 c 10680 50343 4801992 1337065 0 0 16 223 209 12.19/12.21 c 11838 54316 5224808 1410764 0 0 77 206 191 15.49/15.51 c 13111 59799 6321397 1589731 0 0 11 175 150 16.89/16.91 c 14511 65573 6845763 1694226 0 0 15 196 128 18.18/18.29 c 16051 70423 7408109 1843689 0 0 8 224 179 19.09/19.19 c 17745 76006 7954458 1964905 0 0 5 206 194 21.09/21.16 c 19608 81710 8801503 2288490 0 0 5 206 176 22.28/22.30 c 21657 89549 9388880 2485159 0 0 8 223 190 23.99/24.03 c 23910 102156 10097905 2742307 0 0 10 192 51 25.88/25.90 c 26388 116326 10995842 2870641 0 0 27 193 154 28.28/28.37 c 29113 128090 12005048 3079558 0 0 27 220 162 30.18/30.22 c 32110 139643 13122821 3317947 0 0 37 203 192 32.99/33.10 c 35406 154760 14528817 3571898 0 0 38 193 175 37.18/37.24 c 39031 166936 16273277 5412381 0 0 43 89 71 40.78/40.88 c 43018 184520 17833294 5697439 0 0 43 175 139 44.28/44.33 c 47403 201348 19329316 5935967 0 0 26 218 185 49.09/49.17 c 52226 222280 21305572 6545395 0 0 21 168 151 52.18/52.20 c 57531 239267 23005778 6850920 0 0 30 204 189 56.48/56.50 c 63366 257827 24910024 7277432 0 0 27 204 153 59.88/59.90 c 69784 276085 26881639 7864065 0 0 8 251 233 62.18/62.24 c 76843 296359 28477020 8189522 0 0 6 212 205 67.57/67.67 c 84607 327205 30877653 8664964 0 0 16 209 142 73.67/73.73 c 93147 358453 33795533 9266178 0 0 8 230 162 78.47/78.53 c 102541 390999 36859275 9896196 0 0 11 222 212 84.98/85.07 c 112874 425185 40326597 10614139 0 0 9 228 196 91.98/92.01 c 124240 475037 43761257 11349627 0 0 4 250 171 127.08/127.15 c 136742 552154 54988818 13993849 0 0 35 123 103 139.67/139.79 c 150494 609713 60321317 15009465 0 0 33 188 164 147.98/148.10 c 165621 661892 65075907 16023483 0 0 41 226 210 180.87/180.99 c 182260 734311 76385519 19433029 0 0 22 176 124 194.37/194.47 c 200562 790720 82224113 20524379 0 0 37 197 192 208.47/208.55 c 220694 861526 88122868 21375518 0 0 30 192 184 218.57/218.66 c 242839 938706 93277198 22241815 0 0 10 237 196 246.87/246.96 c 267198 1085126 105785312 25271488 0 0 25 249 182 262.26/262.31 c 293992 1177131 114671270 26965641 0 0 10 238 214 311.36/311.40 c 323465 1300834 132753840 30301748 0 0 5 228 165 327.07/327.16 c 355885 1401217 143345728 33275816 0 0 5 296 232 352.46/352.58 c 391547 1531031 157852137 36477022 0 0 5 217 203 375.07/375.15 c 430775 1632451 169905016 39152956 0 0 7 234 210 398.97/399.07 c 473925 1808390 183132813 42108961 0 0 7 224 202 427.76/427.87 c 521390 1984137 200103871 45797824 0 0 18 235 214 448.76/448.88 c 573601 2124123 212810179 48649787 0 0 13 223 200 511.46/511.51 c 631033 2397477 238595017 58636479 0 0 13 241 124 613.35/613.42 c 694208 2754051 280181285 90098423 0 0 13 173 104 705.45/705.55 c 763700 3189534 314217658 97749801 0 0 13 177 138 758.25/758.33 c 840141 3494914 339733396 102651311 0 0 9 216 157 815.85/815.95 c 924226 3765789 368061717 108212443 0 0 16 251 220 862.35/862.40 c 1016719 4032066 393698265 115124101 0 0 9 262 235 908.14/908.20 c 1118461 4409938 419790692 118737099 0 0 9 246 228 968.05/968.18 c 1230377 4668366 451579181 126540175 0 0 7 232 223 1041.64/1041.77 c 1353484 5080602 486852989 134468905 0 0 7 233 196 1110.95/1111.06 c 1488901 5491758 524553980 144452354 0 0 8 256 211 1186.54/1186.69 c 1637859 5962606 569232385 154461266 0 0 8 257 211 1307.23/1307.31 c 1801712 6594749 625658648 170216207 0 0 21 268 189 1479.63/1479.76 c 1981950 7284599 705228096 189103327 0 0 11 259 201 1602.72/1602.87 c 2180211 7949867 772374777 202562489 0 0 22 235 214 1716.52/1716.66 c 2398298 8631724 836568094 219582893 0 0 31 219 196 1847.72/1847.84 c 2638193 9185474 900469296 233280489 0 0 19 254 225 1983.92/1984.05 c 2902077 9839729 969983390 250423623 0 0 10 235 218 2279.30/2279.45 c 3192349 10860699 1096996838 276983913 0 0 9 247 204 2476.80/2476.99 c 3511648 12451757 1191378871 302097399 0 0 14 231 148 2519.90/2520.00 2519.90/2520.00 c *** INTERRUPTED *** 2519.90/2520.00 c restarts : 86 2519.90/2520.00 c conflicts : 3563836 (1414 /sec) 2519.90/2520.00 c decisions : 12675326 (5030 /sec) 2519.90/2520.00 c propagations : 306034330 (121447 /sec) 2519.90/2520.00 c root propagations : 0 2519.90/2520.00 c filter calls : 1208594798 (479618 /sec) 2519.90/2520.00 c useless filter calls : 1117296931 (92 %) 2519.90/2520.00 c Memory used : 30.55 MB 2519.90/2520.00 c CPU time : 2519.91 s 2519.90/2520.00 2519.90/2520.00 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: 16374 MiB (1587 MiB free)
memory of node 1: 16384 MiB (6062 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295034-1532523862/watcher-4295034-1532523862 -o /tmp/evaluation-result-4295034-1532523862/solver-4295034-1532523862 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21842 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295034-1532523862.xml
running on 4 cores: 1,3,5,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
solver pid=24375, runsolver pid=24372
Current StackSize limit: 8192 KiB
[startup+0.100154 s]*
/proc/loadavg: 2.00 2.03 2.05 3/188 24376
/proc/meminfo: memFree=7829576/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=30884 memory=7480 CPUtime=0.1 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 2058 0 0 0 10 0 0 0 20 0 1 0 69949328 31625216 1870 33554432000 4194304 6142532 140734246898080 140734246894712 5137685 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7721 1870 876 476 0 1043 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 30884 KiB
Current children cumulated memory: 7480 KiB
[startup+0.209474 s]*
/proc/loadavg: 2.00 2.03 2.05 3/188 24376
/proc/meminfo: memFree=7829576/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31016 memory=7480 CPUtime=0.21 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 2087 0 0 0 21 0 0 0 20 0 1 0 69949328 31760384 1870 33554432000 4194304 6142532 140734246898080 140734246894712 5137685 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7754 1870 876 476 0 1076 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 31016 KiB
Current children cumulated memory: 7480 KiB
[startup+0.308855 s]*
/proc/loadavg: 2.00 2.03 2.05 3/188 24376
/proc/meminfo: memFree=7829312/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31016 memory=7480 CPUtime=0.31 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 2087 0 0 0 31 0 0 0 20 0 1 0 69949328 31760384 1870 33554432000 4194304 6142532 140734246898080 140734246894712 5137685 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7754 1870 876 476 0 1076 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 31016 KiB
Current children cumulated memory: 7480 KiB
[startup+0.700275 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24376
/proc/meminfo: memFree=7828996/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31148 memory=7744 CPUtime=0.69 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 2111 0 0 0 69 0 0 0 20 0 1 0 69949328 31895552 1936 33554432000 4194304 6142532 140734246898080 140734246895480 5215632 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7787 1936 878 476 0 1109 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7744 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24376
/proc/meminfo: memFree=7828996/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31148 memory=7744 CPUtime=1.49 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 2121 0 0 0 149 0 0 0 20 0 1 0 69949328 31895552 1936 33554432000 4194304 6142532 140734246898080 140734246895480 5215818 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7787 1936 878 476 0 1109 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7744 KiB
[startup+3.10896 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24376
/proc/meminfo: memFree=7828964/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31148 memory=7868 CPUtime=3.1 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 2954 0 0 0 310 0 0 0 20 0 1 0 69949328 31895552 1967 33554432000 4194304 6142532 140734246898080 140734246895480 5138019 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7787 1967 878 476 0 1109 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7868 KiB
[startup+6.30026 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24376
/proc/meminfo: memFree=7829276/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31148 memory=7888 CPUtime=6.29 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 4125 0 0 0 629 0 0 0 20 0 1 0 69949328 31895552 1972 33554432000 4194304 6142532 140734246898080 140734246895480 5138684 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7787 1972 878 476 0 1109 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7888 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24376
/proc/meminfo: memFree=7829276/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31148 memory=7900 CPUtime=12.69 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 5130 0 0 0 1269 0 0 0 20 0 1 0 69949328 31895552 1975 33554432000 4194304 6142532 140734246898080 140734246895480 5215639 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7787 1975 878 476 0 1109 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 31148 KiB
Current children cumulated memory: 7900 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24376
/proc/meminfo: memFree=7829368/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=7928 CPUtime=25.48 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 7151 0 0 0 2548 0 0 0 20 0 1 0 69949328 32030720 1982 33554432000 4194304 6142532 140734246898080 140734246895480 5138688 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 1982 878 476 0 1142 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 7928 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24376
/proc/meminfo: memFree=7829416/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=7932 CPUtime=51.09 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 7662 0 0 0 5109 0 0 0 20 0 1 0 69949328 32030720 1983 33554432000 4194304 6142532 140734246898080 140734246895480 5139100 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 1983 878 476 0 1142 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 7932 KiB
[startup+102.3 s]
/proc/loadavg: 1.93 2.01 2.04 3/187 24377
/proc/meminfo: memFree=7829660/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=7956 CPUtime=102.27 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 8182 0 0 0 10227 0 0 0 20 0 1 0 69949328 32030720 1989 33554432000 4194304 6142532 140734246898080 140734246895480 5137678 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 1989 878 476 0 1142 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 7956 KiB
[startup+162.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/187 24378
/proc/meminfo: memFree=7829816/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=7968 CPUtime=162.27 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 8698 0 0 0 16227 0 0 0 20 0 1 0 69949328 32030720 1992 33554432000 4194304 6142532 140734246898080 140734246895480 5139120 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 1992 878 476 0 1142 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 7968 KiB
[startup+222.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/187 24379
/proc/meminfo: memFree=7829064/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=7968 CPUtime=222.27 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 9214 0 0 0 22227 0 0 0 20 0 1 0 69949328 32030720 1992 33554432000 4194304 6142532 140734246898080 140734246895480 5138688 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 1992 878 476 0 1142 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 7968 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 24380
/proc/meminfo: memFree=7828952/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=7968 CPUtime=282.26 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 9732 0 0 0 28226 0 0 0 20 0 1 0 69949328 32030720 1992 33554432000 4194304 6142532 140734246898080 140734246895480 5137804 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 1992 878 476 0 1142 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 7968 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 24389
/proc/meminfo: memFree=7827452/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=7972 CPUtime=342.26 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 10258 0 0 0 34226 0 0 0 20 0 1 0 69949328 32030720 1993 33554432000 4194304 6142532 140734246898080 140734246895480 5215649 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 1993 878 476 0 1142 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 7972 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/188 24451
/proc/meminfo: memFree=7826760/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8008 CPUtime=402.26 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 10783 0 0 0 40226 0 0 0 20 0 1 0 69949328 32030720 2002 33554432000 4194304 6142532 140734246898080 140734246895480 5140391 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2002 878 476 0 1142 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8008 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 24452
/proc/meminfo: memFree=7827056/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8008 CPUtime=462.26 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 11308 0 0 0 46226 0 0 0 20 0 1 0 69949328 32030720 2002 33554432000 4194304 6142532 140734246898080 140734246895480 5120760 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2002 878 476 0 1142 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8008 KiB
################
# More data... #
################
/proc/24375/statm: 7820 2005 878 476 0 1142 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8020 KiB
[startup+1782.3 s]
/proc/loadavg: 2.02 2.07 2.07 4/188 24491
/proc/meminfo: memFree=7826728/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8020 CPUtime=1782.22 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 22163 0 0 0 178222 0 0 0 20 0 1 0 69949328 32030720 2005 33554432000 4194304 6142532 140734246898080 140734246895480 5175056 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2005 878 476 0 1142 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8020 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.06 2.06 3/187 24492
/proc/meminfo: memFree=7826496/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8020 CPUtime=1842.22 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 22542 0 0 0 184222 0 0 0 20 0 1 0 69949328 32030720 2005 33554432000 4194304 6142532 140734246898080 140734246895480 5120997 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2005 878 476 0 1142 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8020 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/187 24493
/proc/meminfo: memFree=7826628/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8020 CPUtime=1902.22 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 23085 0 0 0 190222 0 0 0 20 0 1 0 69949328 32030720 2005 33554432000 4194304 6142532 140734246898080 140734246895480 5336826 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2005 878 476 0 1142 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8020 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24494
/proc/meminfo: memFree=7826632/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8020 CPUtime=1962.21 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 23471 0 0 0 196221 0 0 0 20 0 1 0 69949328 32030720 2005 33554432000 4194304 6142532 140734246898080 140734246895480 5138684 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2005 878 476 0 1142 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8020 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/187 24495
/proc/meminfo: memFree=7826384/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8020 CPUtime=2022.21 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 23999 0 0 0 202221 0 0 0 20 0 1 0 69949328 32030720 2005 33554432000 4194304 6142532 140734246898080 140734246895480 5120836 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2005 878 476 0 1142 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8020 KiB
[startup+2082.3 s]
/proc/loadavg: 2.08 2.05 2.05 4/187 24496
/proc/meminfo: memFree=7826516/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8020 CPUtime=2082.21 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 24403 0 0 0 208221 0 0 0 20 0 1 0 69949328 32030720 2005 33554432000 4194304 6142532 140734246898080 140734246895480 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2005 878 476 0 1142 0
Current children cumulated CPU time: 2082.21 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8020 KiB
[startup+2142.3 s]
/proc/loadavg: 2.44 2.17 2.09 4/188 24505
/proc/meminfo: memFree=7825188/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8020 CPUtime=2142.21 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 24767 0 0 0 214221 0 0 0 20 0 1 0 69949328 32030720 2005 33554432000 4194304 6142532 140734246898080 140734246895480 5137784 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2005 878 476 0 1142 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8020 KiB
[startup+2202.3 s]
/proc/loadavg: 2.16 2.14 2.09 3/188 24506
/proc/meminfo: memFree=7826220/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8020 CPUtime=2202.21 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 25145 0 0 0 220221 0 0 0 20 0 1 0 69949328 32030720 2005 33554432000 4194304 6142532 140734246898080 140734246895480 5140439 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2005 878 476 0 1142 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8020 KiB
[startup+2262.3 s]
/proc/loadavg: 2.06 2.11 2.08 4/188 24507
/proc/meminfo: memFree=7826328/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8020 CPUtime=2262.21 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 25524 0 0 0 226221 0 0 0 20 0 1 0 69949328 32030720 2005 33554432000 4194304 6142532 140734246898080 140734246895480 5139106 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2005 878 476 0 1142 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8020 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/188 24508
/proc/meminfo: memFree=7826312/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8020 CPUtime=2322.2 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 26026 0 0 0 232220 0 0 0 20 0 1 0 69949328 32030720 2005 33554432000 4194304 6142532 140734246898080 140734246895480 5137736 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2005 878 476 0 1142 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8020 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.08 2.07 3/188 24509
/proc/meminfo: memFree=7826420/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8020 CPUtime=2382.2 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 26455 0 0 0 238220 0 0 0 20 0 1 0 69949328 32030720 2005 33554432000 4194304 6142532 140734246898080 140734246895480 5140439 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2005 878 476 0 1142 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8020 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.06 2.06 4/187 24510
/proc/meminfo: memFree=7826172/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8020 CPUtime=2442.2 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 26970 0 0 0 244220 0 0 0 20 0 1 0 69949328 32030720 2005 33554432000 4194304 6142532 140734246898080 140734246895480 5215632 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2005 878 476 0 1142 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8020 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.05 2.06 4/187 24511
/proc/meminfo: memFree=7826288/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8020 CPUtime=2502.2 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 27498 0 0 0 250220 0 0 0 20 0 1 0 69949328 32030720 2005 33554432000 4194304 6142532 140734246898080 140734246895480 5138688 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2005 878 476 0 1142 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8020 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.05 2.06 4/187 24511
/proc/meminfo: memFree=7826532/32770624 swapFree=67108860/67108860
[pid=24375] ppid=24372 vsize=31280 memory=8020 CPUtime=2519.9 cores=1,3,5,7
/proc/24375/stat : 24375 (cosoco) R 24372 24375 21810 0 -1 4202496 27784 0 0 0 251990 0 0 0 20 0 1 0 69949328 32030720 2005 33554432000 4194304 6142532 140734246898080 140734246895480 5017923 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8243016 8247936 10719232 140734246904966 140734246905096 140734246905096 140734246907854 0
/proc/24375/statm: 7820 2005 878 476 0 1142 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 31280 KiB
Current children cumulated memory: 8020 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 24375 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.91 s, system=0.008999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.92
CPU user time (s): 2519.91
CPU system time (s): 0.008999
CPU usage (%): 99.9964
Max. virtual memory (cumulated for all children) (KiB): 31280
Max. memory (cumulated for all children) (KiB): 8020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.91
system time used= 0.008999
maximum resident set size= 8084
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27833
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= 7
involuntary context switches= 707
# summary of solver processes directly reported to runsolver:
# pid: 24375
# total CPU time (s): 2519.92
# total CPU user time (s): 2519.91
# total CPU system time (s): 0.008999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.75267 second user time and 15.8817 second system time
The end
Begin job on node139 at 2018-07-25 15:04:22 IDJOB=4295034 IDBENCH=141457 IDSOLVER=2752 FILE ID=node139/4295034-1532523862 RUNJOBID= node139-1532498649-21842 PBS_JOBID= 21021588 Free space on /tmp= 38840 MiB SOLVER NAME= cosoco 1.12 BENCH NAME= XCSP18/CarSequencing/CarSequencing-04-72_c18.xml COMMAND LINE= DIR/cosoco -lc -model -restarts BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4295034-1532523862/watcher-4295034-1532523862 -o /tmp/evaluation-result-4295034-1532523862/solver-4295034-1532523862 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1532498649-21842 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295034-1532523862.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 606ad4221d4941292d84c5bdd64a5487 RANDOM SEED=637048582 node139.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017 /sys/devices/system/cpu/cpu0/cpufreq/scaling_governor: performance /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5333.80 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 microcode : 0x19 cpu MHz : 2668.000 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.55 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32770624 kB MemFree: 7833056 kB MemAvailable: 31916800 kB Buffers: 214184 kB Cached: 23717784 kB SwapCached: 0 kB Active: 2817020 kB Inactive: 21182156 kB Active(anon): 23144 kB Inactive(anon): 72248 kB Active(file): 2793876 kB Inactive(file): 21109908 kB Unevictable: 7304 kB Mlocked: 7304 kB SwapTotal: 67108860 kB SwapFree: 67108860 kB Dirty: 2808 kB Writeback: 0 kB AnonPages: 84844 kB Mapped: 42668 kB Shmem: 25228 kB Slab: 636372 kB SReclaimable: 608420 kB SUnreclaim: 27952 kB KernelStack: 3584 kB PageTables: 4796 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494172 kB Committed_AS: 367296 kB VmallocTotal: 34359738367 kB VmallocUsed: 350232 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 30720 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 107904 kB DirectMap2M: 33437696 kB Free space on /tmp at the end= 38836 MiB End job on node139 at 2018-07-25 15:46:22