Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
cosoco 2 | ? (TO) | 2520.02 | 2519.8 |
Name | PseudoBoolean/PseudoBoolean-dec-armies/ Pb-army12-21ls.xml |
MD5SUM | 23e4294b931acf98fdd35eb0662a4341 |
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 | 470.531 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 428 |
Number of constraints | 644 |
Number of domains | 1 |
Minimum domain size | 2 |
Maximum domain size | 2 |
Distribution of domain sizes | [{"size":2,"count":428}] |
Minimum variable degree | 3 |
Maximum variable degree | 14 |
Distribution of variable degrees | [{"degree":3,"count":8},{"degree":4,"count":8},{"degree":5,"count":8},{"degree":6,"count":8},{"degree":7,"count":296},{"degree":8,"count":8},{"degree":9,"count":8},{"degree":10,"count":8},{"degree":11,"count":8},{"degree":12,"count":8},{"degree":13,"count":8},{"degree":14,"count":52}] |
Minimum constraint arity | 2 |
Maximum constraint arity | 144 |
Distribution of constraint arities | [{"arity":2,"count":222},{"arity":3,"count":8},{"arity":4,"count":8},{"arity":5,"count":296},{"arity":6,"count":8},{"arity":7,"count":8},{"arity":8,"count":8},{"arity":9,"count":8},{"arity":10,"count":8},{"arity":11,"count":8},{"arity":12,"count":8},{"arity":13,"count":52},{"arity":144,"count":2}] |
Number of extensional constraints | 0 |
Number of intensional constraints | 0 |
Distribution of constraint types | [{"type":"sum","count":644}] |
Optimization problem | NO |
Type of objective |
0.00/0.07 c root propagations : 0 0.00/0.07 c restarts enabled, print stats at every restarts 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c 0.00/0.07 c This is cosoco 2.00 -- 0.00/0.07 c 0.00/0.07 c command line: cosoco -lc -model -restarts -stick HOME/instance-4389652-1568351515.xml 0.00/0.07 c ========================================[ Problem Statistics ]=========================================== 0.00/0.07 c | 0.00/0.07 c | Parse time : 0.06 s 0.00/0.07 c | 0.00/0.07 c | Variables: 428 0.00/0.07 c | Domain Sizes: 2..2 0.00/0.07 c | 0.00/0.07 c | Constraints: 644 0.00/0.07 c | Arity: 2..144 -- Binary: 222 -- Ternary: 8 0.00/0.07 c | 0.00/0.07 c | Types: 0.00/0.07 c | Sum: 644 0.00/0.07 c | 0.00/0.07 c ========================================================================================================= 0.00/0.07 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth 0.00/0.11 c 101 1150 56359 16067 0 0 276 309 289 0.10/0.15 c 211 2674 124717 33540 0 0 215 257 247 0.10/0.20 c 332 4168 195288 51415 0 0 228 260 250 0.21/0.26 c 465 5741 276901 73262 0 0 234 255 247 0.21/0.30 c 611 7129 338804 89960 0 0 217 259 251 0.31/0.34 c 771 8537 403610 106785 0 0 238 261 253 0.31/0.40 c 947 10410 494263 130650 0 0 232 257 250 0.41/0.46 c 1140 12194 581556 153153 0 0 215 259 251 0.51/0.53 c 1352 14160 678724 178197 0 0 229 261 252 0.60/0.63 c 1585 17555 815800 213318 0 0 191 260 250 0.69/0.71 c 1841 20441 942142 245807 0 0 218 261 251 0.69/0.79 c 2122 23053 1065469 277461 0 0 236 259 253 0.89/0.90 c 2431 26551 1216726 318529 0 0 214 258 249 0.89/1.00 c 2770 29938 1367093 357697 0 0 228 260 252 1.10/1.11 c 3142 33167 1520569 400482 0 0 236 260 252 1.19/1.24 c 3551 37256 1722778 454088 0 0 225 259 251 1.39/1.43 c 4000 43539 1986227 526851 0 0 190 260 249 1.59/1.60 c 4493 49319 2221560 593395 0 0 203 259 250 1.69/1.78 c 5035 54774 2477958 663258 0 0 209 260 252 1.89/1.98 c 5631 60942 2776705 743333 0 0 208 259 250 2.10/2.16 c 6286 66590 3063304 821870 0 0 229 260 252 2.29/2.36 c 7006 72783 3363170 903704 0 0 238 260 254 2.69/2.70 c 7798 84192 3832168 1027431 0 0 157 259 249 3.00/3.07 c 8669 96273 4353371 1162179 0 0 162 260 250 3.29/3.37 c 9627 105635 4804365 1282836 0 0 207 260 251 3.59/3.69 c 10680 115204 5286322 1409823 0 0 223 259 252 4.00/4.03 c 11838 125795 5797166 1546563 0 0 207 261 252 4.39/4.47 c 13111 139920 6446616 1720578 0 0 184 258 250 4.79/4.86 c 14511 151115 7061564 1882189 0 0 232 261 254 5.29/5.30 c 16051 164235 7757241 2066744 0 0 212 260 253 5.79/5.87 c 17745 181672 8606396 2289349 0 0 206 261 252 6.39/6.40 c 19608 198332 9421325 2508507 0 0 212 263 254 7.00/7.09 c 21657 218753 10471016 2786791 0 0 215 259 251 7.79/7.81 c 23910 240523 11568436 3080803 0 0 187 259 250 8.39/8.44 c 26388 259520 12522418 3354978 0 0 225 261 252 9.19/9.20 c 29113 281866 13706473 3675307 0 0 219 263 252 10.10/10.15 c 32110 310955 15144360 4070758 0 0 202 259 251 11.19/11.23 c 35406 344309 16734783 4510124 0 0 201 258 250 12.29/12.30 c 39031 377005 18361899 4949993 0 0 224 260 252 13.59/13.65 c 43018 418094 20382008 5493890 0 0 212 259 250 15.10/15.18 c 47403 463947 22684336 6100993 0 0 179 261 251 16.69/16.73 c 52226 509957 25081219 6734287 0 0 204 260 251 18.39/18.44 c 57531 562859 27660129 7426465 0 0 178 260 252 20.49/20.55 c 63366 626528 30822266 8276552 0 0 159 263 253 23.29/23.32 c 69784 713453 34792394 9312189 0 0 143 264 251 25.89/25.98 c 76843 798215 38635829 10331531 0 0 146 263 252 28.00/28.01 c 84607 861594 41745663 11155715 0 0 212 264 255 30.79/30.85 c 93147 952247 45945680 12253000 0 0 193 262 252 34.00/34.01 c 102541 1051008 50656435 13497867 0 0 172 260 250 37.00/37.06 c 112874 1143966 55337007 14746223 0 0 202 260 252 40.19/40.28 c 124240 1238940 60340856 16098527 0 0 211 262 253 44.00/44.09 c 136742 1355313 66116360 17665872 0 0 207 261 252 48.29/48.34 c 150494 1484543 72673273 19423507 0 0 156 259 250 53.00/53.02 c 165621 1622535 79940661 21327247 0 0 199 261 251 57.89/57.90 c 182260 1765611 87593891 23383534 0 0 195 260 252 63.79/63.82 c 200562 1949111 96516064 25725563 0 0 179 262 251 70.19/70.24 c 220694 2141505 106298011 28367205 0 0 178 261 251 78.49/78.57 c 242839 2401415 118490597 31573122 0 0 142 261 250 86.00/86.09 c 267198 2630380 129991448 34626174 0 0 179 262 253 95.40/95.48 c 293992 2923618 143777658 38382216 0 0 147 263 250 104.30/104.38 c 323465 3199742 157111759 41988221 0 0 176 263 252 114.70/114.75 c 355885 3526348 172626833 46040761 0 0 196 263 253 126.20/126.22 c 391547 3875785 189977862 50632539 0 0 147 263 252 139.11/139.19 c 430775 4278314 209375512 55755262 0 0 147 264 252 153.50/153.53 c 473925 4722244 230911117 61431535 0 0 193 261 251 169.50/169.51 c 521390 5194293 255086842 67879646 0 0 156 263 251 185.20/185.20 c 573601 5671960 278913348 74210426 0 0 175 262 252 201.01/201.03 c 631033 6145353 303295601 80837602 0 0 203 263 253 219.91/220.00 c 694208 6704017 332901222 88515438 0 0 207 264 253 245.12/245.14 c 763700 7489201 370080527 98274898 0 0 168 263 251 271.41/271.49 c 840141 8320794 409103638 108508046 0 0 151 264 252 294.61/294.67 c 924226 9012889 445138720 118403902 0 0 199 264 253 326.82/326.80 c 1016719 10004166 492965421 130902105 0 0 158 264 252 356.52/356.59 c 1118461 10855754 539904834 143354483 0 0 204 265 255 391.92/391.98 c 1230377 11923992 594922486 157541664 0 0 176 265 254 429.92/429.91 c 1353484 13014617 655095223 173141638 0 0 164 266 254 487.23/487.23 c 1488901 14903907 735577875 193996841 0 0 140 264 249 544.63/544.61 c 1637859 16757332 817734898 215564000 0 0 144 265 251 596.84/596.89 c 1801712 18387795 895953239 236306021 0 0 156 267 253 661.84/661.87 c 1981950 20444786 990316581 261335592 0 0 142 265 252 729.95/729.96 c 2180211 22576612 1090179522 288249618 0 0 138 264 252 805.56/805.55 c 2398298 24936843 1201383289 318262339 0 0 144 263 251 884.46/884.40 c 2638193 27421273 1317731629 349971281 0 0 135 265 252 997.77/997.79 c 2902077 31128876 1476570161 390613552 0 0 131 265 249 1113.19/1113.13 c 3192349 34904602 1640147083 432784570 0 0 133 266 250 1209.59/1209.58 c 3511648 37979740 1784438843 470458712 0 0 168 266 253 1320.00/1319.94 c 3862876 41417943 1950496874 513572540 0 0 162 266 253 1440.02/1439.97 c 4249226 44736162 2140306426 566241216 0 0 168 262 251 1557.63/1557.54 c 4674211 48136155 2325155973 617006370 0 0 175 266 254 1692.15/1692.01 c 5141694 51937752 2538370953 674576566 0 0 198 265 253 1856.95/1856.84 c 5655925 56580186 2797006423 745041863 0 0 180 261 250 2038.77/2038.64 c 6221579 61973812 3073042924 820355852 0 0 150 262 250 2246.30/2246.18 c 6843798 68058531 3389831733 904861190 0 0 136 264 250 2449.40/2449.23 c 7528238 73954465 3707051736 989525187 0 0 170 262 252 2520.01/2519.80 2520.01/2519.80 c *** INTERRUPTED *** 2520.01/2519.80 c restarts : 94 2520.01/2519.80 c conflicts : 7737506 (3070 /sec) 2520.01/2519.80 c decisions : 76041740 (30175 /sec) 2520.01/2519.80 c propagations : 1018257021 (404069 /sec) 2520.01/2519.80 c root propagations : 0 2520.01/2519.80 c filter calls : 3814858189 (1513830 /sec) 2520.01/2519.80 c useless filter calls : 3279748406 (85 %) 2520.01/2519.80 c Memory used : 28.98 MB 2520.01/2519.80 c CPU time : 2520 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 (13439 MiB free) memory of node 1: 16384 MiB (15684 MiB free) node distances: 10 21 21 10 command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389652-1568351515/watcher-4389652-1568351515 -o /tmp/evaluation-result-4389652-1568351515/solver-4389652-1568351515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568346432-13139 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389652-1568351515.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 solver pid=14109, runsolver pid=14106 Current StackSize limit: 8192 KiB [startup+0.100206 s]* /proc/loadavg: 2.00 2.10 2.11 3/200 14110 /proc/meminfo: memFree=29820276/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29404 memory=5804 CPUtime=0.1 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 1676 0 0 0 10 0 0 0 20 0 1 0 411093197 30109696 1451 33554432000 4194304 6210612 140728302530080 140728302527512 5249712 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7351 1451 870 493 0 656 0 Current children cumulated CPU time: 0.1 s Current children cumulated vsize: 29404 KiB Current children cumulated memory: 5804 KiB [startup+0.210768 s]* /proc/loadavg: 2.00 2.10 2.11 3/200 14110 /proc/meminfo: memFree=29819904/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6068 CPUtime=0.21 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 1721 0 0 0 21 0 0 0 20 0 1 0 411093197 30380032 1517 33554432000 4194304 6210612 140728302530080 140728302527672 5249712 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1517 872 493 0 722 0 Current children cumulated CPU time: 0.21 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6068 KiB [startup+0.310191 s]* /proc/loadavg: 2.00 2.10 2.11 3/200 14110 /proc/meminfo: memFree=29819904/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6068 CPUtime=0.31 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 1725 0 0 0 31 0 0 0 20 0 1 0 411093197 30380032 1517 33554432000 4194304 6210612 140728302530080 140728302527672 5155092 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1517 872 493 0 722 0 Current children cumulated CPU time: 0.31 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6068 KiB [startup+0.700302 s] /proc/loadavg: 2.00 2.10 2.11 3/200 14110 /proc/meminfo: memFree=29819904/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6068 CPUtime=0.69 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 1728 0 0 0 69 0 0 0 20 0 1 0 411093197 30380032 1517 33554432000 4194304 6210612 140728302530080 140728302527672 5249712 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1517 872 493 0 722 0 Current children cumulated CPU time: 0.69 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6068 KiB [startup+1.50029 s] /proc/loadavg: 2.00 2.10 2.11 3/200 14110 /proc/meminfo: memFree=29820092/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6068 CPUtime=1.49 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 1728 0 0 0 149 0 0 0 20 0 1 0 411093197 30380032 1517 33554432000 4194304 6210612 140728302530080 140728302528040 5155864 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1517 872 493 0 722 0 Current children cumulated CPU time: 1.49 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6068 KiB [startup+3.11044 s] /proc/loadavg: 2.00 2.10 2.11 3/201 14112 /proc/meminfo: memFree=29819584/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6264 CPUtime=3.1 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 2350 0 0 0 310 0 0 0 20 0 1 0 411093197 30380032 1566 33554432000 4194304 6210612 140728302530080 140728302528040 5409264 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1566 872 493 0 722 0 Current children cumulated CPU time: 3.1 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6264 KiB [startup+6.30028 s] /proc/loadavg: 1.92 2.08 2.10 3/201 14112 /proc/meminfo: memFree=29820152/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=6.29 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 2972 0 0 0 629 0 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5249733 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 6.29 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+12.7003 s] /proc/loadavg: 1.93 2.08 2.10 3/200 14113 /proc/meminfo: memFree=29819828/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=12.69 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 3594 0 0 0 1269 0 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5249664 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 12.69 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+25.5003 s] /proc/loadavg: 1.94 2.08 2.10 3/200 14113 /proc/meminfo: memFree=29819920/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=25.49 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 4838 0 0 0 2549 0 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5157176 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 25.49 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+51.1103 s] /proc/loadavg: 1.96 2.07 2.10 3/200 14115 /proc/meminfo: memFree=29819924/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=51.1 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 5460 0 0 0 5110 0 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5154973 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 51.1 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+102.3 s] /proc/loadavg: 1.98 2.06 2.09 3/200 14119 /proc/meminfo: memFree=29820112/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=102.3 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 6082 0 0 0 10230 0 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5155872 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 102.3 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+162.3 s] /proc/loadavg: 1.99 2.05 2.09 3/200 14184 /proc/meminfo: memFree=29773468/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=162.3 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 6704 0 0 0 16230 0 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5249729 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 162.3 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+222.3 s] /proc/loadavg: 2.00 2.04 2.08 3/200 14188 /proc/meminfo: memFree=29772760/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=222.31 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 7326 0 0 0 22231 0 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5154973 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 222.31 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+282.3 s] /proc/loadavg: 2.00 2.04 2.07 3/199 14194 /proc/meminfo: memFree=29773084/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=282.31 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 7326 0 0 0 28231 0 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5156546 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 282.31 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+342.3 s] /proc/loadavg: 2.00 2.03 2.07 3/199 14198 /proc/meminfo: memFree=29768796/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=342.32 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 7948 0 0 0 34232 0 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5154969 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 342.32 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+402.3 s] /proc/loadavg: 2.00 2.02 2.06 3/199 14202 /proc/meminfo: memFree=29768920/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=402.32 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 7948 0 0 0 40232 0 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5156092 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 402.32 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+462.3 s] /proc/loadavg: 2.00 2.02 2.06 3/199 14208 /proc/meminfo: memFree=29768508/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=462.33 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 8570 0 0 0 46233 0 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5409297 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 462.33 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB ################ # More data... # ################ /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 1722.44 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+1782.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 14336 /proc/meminfo: memFree=29767564/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=1782.45 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 15350 0 0 0 178244 1 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5155002 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 1782.45 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+1842.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 14340 /proc/meminfo: memFree=29767504/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=1842.45 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 15357 0 0 0 184244 1 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5157090 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 1842.45 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+1902.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 14346 /proc/meminfo: memFree=29767572/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=1902.46 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 15980 0 0 0 190245 1 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5155436 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 1902.46 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+1962.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 14350 /proc/meminfo: memFree=29767844/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=1962.46 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 15980 0 0 0 196245 1 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5155311 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 1962.46 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+2022.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 14354 /proc/meminfo: memFree=29768172/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=2022.47 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 16556 0 0 0 202246 1 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5409305 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 2022.47 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+2082.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 14360 /proc/meminfo: memFree=29768396/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=2082.47 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 16602 0 0 0 208246 1 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5155149 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 2082.47 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+2142.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 14364 /proc/meminfo: memFree=29767540/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=2142.48 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 17196 0 0 0 214247 1 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5249712 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 2142.48 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+2202.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 14368 /proc/meminfo: memFree=29768216/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=2202.48 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 17197 0 0 0 220247 1 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5155331 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 2202.48 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+2262.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 14374 /proc/meminfo: memFree=29768368/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=2262.49 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 17819 0 0 0 226248 1 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5154977 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 2262.49 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+2322.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 14378 /proc/meminfo: memFree=29768020/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=2322.49 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 17819 0 0 0 232248 1 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5249729 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 2322.49 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+2382.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 14390 /proc/meminfo: memFree=29767572/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=2382.5 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 18396 0 0 0 238249 1 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5155366 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 2382.5 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+2442.3 s] /proc/loadavg: 2.00 2.01 2.05 3/199 14396 /proc/meminfo: memFree=29769492/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=2442.5 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 18396 0 0 0 244249 1 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5155303 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 2442.5 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB [startup+2502.3 s] /proc/loadavg: 2.00 2.01 2.05 3/200 14401 /proc/meminfo: memFree=29767800/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=2502.51 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 19024 0 0 0 250250 1 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5156512 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 2502.51 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+2519.8 s] /proc/loadavg: 2.00 2.01 2.05 3/200 14401 /proc/meminfo: memFree=29768356/32770688 swapFree=66961028/67108860 [pid=14109] ppid=14106 vsize=29668 memory=6268 CPUtime=2520.01 cores=4-7 /proc/14109/stat : 14109 (cosoco) R 14106 14109 13106 0 -1 4202496 19024 0 0 0 252000 1 0 0 20 0 1 0 411093197 30380032 1567 33554432000 4194304 6210612 140728302530080 140728302528040 5192928 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 36724736 140728302535691 140728302535793 140728302535793 140728302538702 0 /proc/14109/statm: 7417 1567 872 493 0 722 0 Current children cumulated CPU time: 2520.01 s Current children cumulated vsize: 29668 KiB Current children cumulated memory: 6268 KiB Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds [startup+2519.8 s] # the end of solver process 14109 was just reported to runsolver # cumulated CPU time of all completed processes: user=2520.01 s, system=0.016001 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.016001 CPU usage (%): 100.009 Max. virtual memory (cumulated for all children) (KiB): 29668 Max. memory (cumulated for all children) (KiB): 6268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2520.01 system time used= 0.016001 maximum resident set size= 6336 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19077 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= 646 # summary of solver processes directly reported to runsolver: # pid: 14109 # total CPU time (s): 2520.02 # total CPU user time (s): 2520.01 # total CPU system time (s): 0.016001 ??? join timestamper begins ??? join timestamper ends ??? end of timestamper thread runsolver used 9.85643 second user time and 18.3748 second system time The end
Begin job on node116 at 2019-09-13 07:11:14 IDJOB=4389652 IDBENCH=134846 IDSOLVER=2829 FILE ID=node116/4389652-1568351515 RUNJOBID= node116-1568346432-13139 PBS_JOBID= 21701168 Free space on /tmp= 56884 MiB SOLVER NAME= cosoco 2 BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-armies/Pb-army12-21ls.xml COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389652-1568351515/watcher-4389652-1568351515 -o /tmp/evaluation-result-4389652-1568351515/solver-4389652-1568351515 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node116-1568346432-13139 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389652-1568351515.xml TIME LIMIT= 2520 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 23e4294b931acf98fdd35eb0662a4341 RANDOM SEED=1975651885 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: 29822508 kB MemAvailable: 31845636 kB Buffers: 110992 kB Cached: 2189068 kB SwapCached: 46656 kB Active: 828148 kB Inactive: 1523612 kB Active(anon): 5404 kB Inactive(anon): 86980 kB Active(file): 822744 kB Inactive(file): 1436632 kB Unevictable: 110248 kB Mlocked: 110248 kB SwapTotal: 67108860 kB SwapFree: 66961028 kB Dirty: 2736 kB Writeback: 0 kB AnonPages: 126452 kB Mapped: 45072 kB Shmem: 31932 kB Slab: 187804 kB SReclaimable: 159172 kB SUnreclaim: 28632 kB KernelStack: 3568 kB PageTables: 5752 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83494204 kB Committed_AS: 528172 kB VmallocTotal: 34359738367 kB VmallocUsed: 350212 kB VmallocChunk: 34341910524 kB HardwareCorrupted: 0 kB AnonHugePages: 79872 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:53:14