runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4087691-1465430997/watcher-4087691-1465430997 -o /tmp/evaluation-result-4087691-1465430997/solver-4087691-1465430997 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465427020-23744 --watchdog 1960 --input HOME/instance-4087691-1465430997.opb ./cdcl-cuttingplanes-opt-binarysearch-release
pid=24164
running on 8 cores: 4-7,12-15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.18 2.11 2.06 2/258 24167
/proc/meminfo: memFree=30151940/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=56116 CPUtime=0 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 309 0 0 0 0 0 0 0 20 0 1 0 124941249 57462784 10923 33554432000 4194304 6211289 140733377045680 140735445264168 5252991 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 14029 10925 120 493 0 13526 0
[startup+0.100313 s]
/proc/loadavg: 2.18 2.11 2.06 2/258 24167
/proc/meminfo: memFree=30151940/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=63772 CPUtime=0.09 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 1546 0 0 0 9 0 0 0 20 0 1 0 124941249 65302528 13842 33554432000 4194304 6211289 140733377045680 140735445264168 4228084 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 15943 13842 144 493 0 15440 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 63772
[startup+0.200296 s]
/proc/loadavg: 2.18 2.11 2.06 2/258 24167
/proc/meminfo: memFree=30151940/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=72360 CPUtime=0.19 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 2492 0 0 0 18 1 0 0 20 0 1 0 124941249 74096640 16054 33554432000 4194304 6211289 140733377045680 140733377043208 4228763 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 18090 16054 144 493 0 17587 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 72360
[startup+0.300288 s]
/proc/loadavg: 2.18 2.11 2.06 2/258 24167
/proc/meminfo: memFree=30151940/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=80992 CPUtime=0.29 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 3482 0 0 0 28 1 0 0 20 0 1 0 124941249 82935808 17533 33554432000 4194304 6211289 140733377045680 140733377043208 5312027 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 20248 17533 204 493 0 19745 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 80992
[startup+0.700285 s]
/proc/loadavg: 2.18 2.11 2.06 2/258 24167
/proc/meminfo: memFree=30151940/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=135420 CPUtime=0.68 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 8158 0 0 0 66 2 0 0 20 0 1 0 124941249 138670080 29295 33554432000 4194304 6211289 140733377045680 140733377043208 4202024 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 33855 29295 204 493 0 33352 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 135420
[startup+1.50025 s]
/proc/loadavg: 2.18 2.11 2.06 3/259 24168
/proc/meminfo: memFree=30025932/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=166388 CPUtime=1.49 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 8437 0 0 0 146 3 0 0 20 0 1 0 124941249 170381312 32589 33554432000 4194304 6211289 140733377045680 140733377043912 4209376 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 41597 32589 204 493 0 41094 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 166388
[startup+3.10028 s]
/proc/loadavg: 2.18 2.11 2.06 3/259 24168
/proc/meminfo: memFree=30016360/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=166388 CPUtime=3.09 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 8441 0 0 0 306 3 0 0 20 0 1 0 124941249 170381312 34637 33554432000 4194304 6211289 140733377045680 140733377043912 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 41597 34637 204 493 0 41094 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 166388
[startup+6.3003 s]
/proc/loadavg: 2.17 2.11 2.06 3/260 24171
/proc/meminfo: memFree=30000900/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=175752 CPUtime=6.28 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 10777 0 0 0 625 3 0 0 20 0 1 0 124941249 179970048 39528 33554432000 4194304 6211289 140733377045680 140733377043672 4216766 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 43938 39528 214 493 0 43435 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 175752
[startup+12.7003 s]
/proc/loadavg: 2.15 2.11 2.06 3/260 24171
/proc/meminfo: memFree=29970772/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=234064 CPUtime=12.69 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 13082 0 0 0 1265 4 0 0 20 0 1 0 124941249 239681536 45363 33554432000 4194304 6211289 140733377045680 140733377043672 4209322 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 58516 45363 214 493 0 58013 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 234064
[startup+25.5004 s]
/proc/loadavg: 2.12 2.10 2.06 3/260 24171
/proc/meminfo: memFree=29954236/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=234208 CPUtime=25.49 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 15763 0 0 0 2544 5 0 0 20 0 1 0 124941249 239828992 49237 33554432000 4194304 6211289 140733377045680 140733377044024 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 58552 49237 214 493 0 58049 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 234208
[startup+51.1004 s]
/proc/loadavg: 2.08 2.09 2.06 3/260 24171
/proc/meminfo: memFree=29952540/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=234208 CPUtime=51.09 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 15897 0 0 0 5104 5 0 0 20 0 1 0 124941249 239828992 49365 33554432000 4194304 6211289 140733377045680 140733377044024 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 58552 49365 219 493 0 58049 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 234208
[startup+102.3 s]
/proc/loadavg: 2.03 2.08 2.05 3/259 24172
/proc/meminfo: memFree=29921128/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=234640 CPUtime=102.28 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 16091 0 0 0 10223 5 0 0 20 0 1 0 124941249 240271360 56182 33554432000 4194304 6211289 140733377045680 140733377043592 4209314 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 58660 56182 219 493 0 58157 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 234640
[startup+162.3 s]
/proc/loadavg: 2.09 2.09 2.06 3/259 24174
/proc/meminfo: memFree=29910796/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=316164 CPUtime=162.27 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 16875 0 0 0 16221 6 0 0 20 0 1 0 124941249 323751936 57217 33554432000 4194304 6211289 140733377045680 140733377043912 4209507 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 79041 57217 219 493 0 78538 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 316164
[startup+222.311 s]
/proc/loadavg: 2.11 2.10 2.06 3/259 24175
/proc/meminfo: memFree=29858028/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=348584 CPUtime=222.27 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 23358 0 0 0 22219 8 0 0 20 0 1 0 124941249 356950016 70343 33554432000 4194304 6211289 140733377045680 140733377043592 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 87146 70343 219 493 0 86643 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 348584
[startup+282.3 s]
/proc/loadavg: 2.08 2.09 2.06 3/259 24176
/proc/meminfo: memFree=29833544/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=349964 CPUtime=282.25 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 24229 0 0 0 28217 8 0 0 20 0 1 0 124941249 358363136 76324 33554432000 4194304 6211289 140733377045680 140733377043672 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 87491 76324 219 493 0 86988 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 349964
[startup+342.3 s]
/proc/loadavg: 2.16 2.12 2.07 3/259 24177
/proc/meminfo: memFree=29828116/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=350252 CPUtime=342.24 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 24707 0 0 0 34216 8 0 0 20 0 1 0 124941249 358658048 77587 33554432000 4194304 6211289 140733377045680 140733377044024 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 87563 77587 219 493 0 87060 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 350252
[startup+402.3 s]
/proc/loadavg: 2.19 2.14 2.08 3/259 24178
/proc/meminfo: memFree=29828808/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=350252 CPUtime=402.23 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 24709 0 0 0 40215 8 0 0 20 0 1 0 124941249 358658048 77589 33554432000 4194304 6211289 140733377045680 140733377044024 4209306 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 87563 77589 219 493 0 87060 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 350252
[startup+462.3 s]
/proc/loadavg: 2.11 2.12 2.08 3/259 24180
/proc/meminfo: memFree=29828428/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=350396 CPUtime=462.22 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 24743 0 0 0 46214 8 0 0 20 0 1 0 124941249 358805504 77623 33554432000 4194304 6211289 140733377045680 140733377043592 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 87599 77623 219 493 0 87096 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 350396
[startup+522.3 s]
/proc/loadavg: 2.12 2.13 2.09 3/259 24181
/proc/meminfo: memFree=29813220/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=350700 CPUtime=522.2 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 25134 0 0 0 52212 8 0 0 20 0 1 0 124941249 359116800 81591 33554432000 4194304 6211289 140733377045680 140733377043592 4209376 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 87675 81591 219 493 0 87172 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 350700
[startup+582.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/259 24182
/proc/meminfo: memFree=29796068/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=351148 CPUtime=582.2 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 25839 0 0 0 58211 9 0 0 20 0 1 0 124941249 359575552 85809 33554432000 4194304 6211289 140733377045680 140733377044024 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 87787 85809 219 493 0 87284 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 351148
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.09 2.12 2.09 3/259 24192
/proc/meminfo: memFree=29748584/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=485412 CPUtime=942.14 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 27017 0 0 0 94204 10 0 0 20 0 1 0 124941249 497061888 97453 33554432000 4194304 6211289 140733377045680 140733377043592 4209384 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 121353 97453 219 493 0 120850 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 485412
[startup+1002.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/259 24193
/proc/meminfo: memFree=29748088/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=485556 CPUtime=1002.13 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 27081 0 0 0 100203 10 0 0 20 0 1 0 124941249 497209344 97517 33554432000 4194304 6211289 140733377045680 140733377043592 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 121389 97517 219 493 0 120886 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 485556
[startup+1062.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/259 24194
/proc/meminfo: memFree=29748280/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=485860 CPUtime=1062.12 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 27154 0 0 0 106202 10 0 0 20 0 1 0 124941249 497520640 97590 33554432000 4194304 6211289 140733377045680 140733377043592 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 121465 97590 219 493 0 120962 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 485860
[startup+1122.3 s]
/proc/loadavg: 2.11 2.12 2.09 3/259 24196
/proc/meminfo: memFree=29747280/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=486884 CPUtime=1122.11 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 27413 0 0 0 112201 10 0 0 20 0 1 0 124941249 498569216 97849 33554432000 4194304 6211289 140733377045680 140733377043672 4209376 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 121721 97849 219 493 0 121218 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 486884
[startup+1182.3 s]
/proc/loadavg: 2.08 2.11 2.09 3/259 24197
/proc/meminfo: memFree=29747028/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=487172 CPUtime=1182.1 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 27488 0 0 0 118200 10 0 0 20 0 1 0 124941249 498864128 97924 33554432000 4194304 6211289 140733377045680 140733377044024 4209507 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 121793 97924 219 493 0 121290 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 487172
[startup+1242.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/260 24201
/proc/meminfo: memFree=29745236/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=487636 CPUtime=1242.09 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 27585 0 0 0 124199 10 0 0 20 0 1 0 124941249 499339264 98021 33554432000 4194304 6211289 140733377045680 140733377043592 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 121909 98021 219 493 0 121406 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 487636
[startup+1302.3 s]
/proc/loadavg: 2.09 2.10 2.09 3/259 24202
/proc/meminfo: memFree=29743992/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=488580 CPUtime=1302.08 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 27813 0 0 0 130198 10 0 0 20 0 1 0 124941249 500305920 98249 33554432000 4194304 6211289 140733377045680 140733377043672 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 122145 98249 219 493 0 121642 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 488580
[startup+1362.3 s]
/proc/loadavg: 2.19 2.12 2.10 3/259 24203
/proc/meminfo: memFree=29744232/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=489188 CPUtime=1362.07 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 27966 0 0 0 136197 10 0 0 20 0 1 0 124941249 500928512 98402 33554432000 4194304 6211289 140733377045680 140733377043592 4209376 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 122297 98402 219 493 0 121794 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 489188
[startup+1422.3 s]
/proc/loadavg: 2.15 2.13 2.09 3/259 24205
/proc/meminfo: memFree=29744044/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=489476 CPUtime=1422.07 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 28041 0 0 0 142197 10 0 0 20 0 1 0 124941249 501223424 98480 33554432000 4194304 6211289 140733377045680 140733377043672 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 122369 98480 219 493 0 121866 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 489476
[startup+1482.3 s]
/proc/loadavg: 2.21 2.15 2.10 3/259 24206
/proc/meminfo: memFree=29743048/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=489764 CPUtime=1482.06 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 28112 0 0 0 148196 10 0 0 20 0 1 0 124941249 501518336 98551 33554432000 4194304 6211289 140733377045680 140733377044024 4209376 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 122441 98551 219 493 0 121938 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 489764
[startup+1542.31 s]
/proc/loadavg: 2.12 2.13 2.09 3/259 24253
/proc/meminfo: memFree=29443084/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=489764 CPUtime=1542.06 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 28132 0 0 0 154196 10 0 0 20 0 1 0 124941249 501518336 98571 33554432000 4194304 6211289 140733377045680 140733377044024 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 122441 98571 219 493 0 121938 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 489764
[startup+1602.3 s]
/proc/loadavg: 2.09 2.12 2.09 3/259 24254
/proc/meminfo: memFree=29289860/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=489896 CPUtime=1602.04 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 28243 0 0 0 160194 10 0 0 20 0 1 0 124941249 501653504 98682 33554432000 4194304 6211289 140733377045680 140733377044024 4209392 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 122474 98682 219 493 0 121971 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 489896
[startup+1662.3 s]
/proc/loadavg: 2.03 2.10 2.08 3/259 24255
/proc/meminfo: memFree=29235544/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=489896 CPUtime=1662.03 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 28243 0 0 0 166193 10 0 0 20 0 1 0 124941249 501653504 98682 33554432000 4194304 6211289 140733377045680 140733377044024 4202024 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 122474 98682 219 493 0 121971 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 489896
[startup+1722.3 s]
/proc/loadavg: 2.01 2.08 2.08 3/259 24257
/proc/meminfo: memFree=29236064/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=489896 CPUtime=1722.02 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 28243 0 0 0 172192 10 0 0 20 0 1 0 124941249 501653504 98682 33554432000 4194304 6211289 140733377045680 140733377044024 4209388 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 122474 98682 219 493 0 121971 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 489896
[startup+1782.3 s]
/proc/loadavg: 2.00 2.06 2.07 3/259 24258
/proc/meminfo: memFree=29234968/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=489896 CPUtime=1782.01 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 28317 0 0 0 178191 10 0 0 20 0 1 0 124941249 501653504 98756 33554432000 4194304 6211289 140733377045680 140733377044024 4209464 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 122474 98756 219 493 0 121971 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 489896
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/259 24258
/proc/meminfo: memFree=29234952/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=489896 CPUtime=1800.01 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 28346 0 0 0 179991 10 0 0 20 0 1 0 124941249 501653504 98785 33554432000 4194304 6211289 140733377045680 140733377044024 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 122474 98785 219 493 0 121971 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 489896
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 24167 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.00 2.05 2.07 3/259 24258
/proc/meminfo: memFree=29234952/32872528 swapFree=9196/9196
[pid=24167] ppid=24164 vsize=489896 CPUtime=1800.01 cores=4-7,12-15
/proc/24167/stat : 24167 (cdcl-cuttingpla) R 24164 24167 23727 0 -1 4202496 28346 0 0 0 179991 10 0 0 20 0 1 0 124941249 501653504 98785 33554432000 4194304 6211289 140733377045680 140733377044024 4209396 0 0 4096 8388610 0 0 0 17 14 0 0 0 0 0
/proc/24167/statm: 122474 98785 219 493 0 121971 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 489896
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.91
CPU system time (s): 0.107983
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 489896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.91
system time used= 0.107983
maximum resident set size= 395140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28346
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= 29
involuntary context switches= 1853
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5144 second user time and 20.8538 second system time
The end
Begin job on node132 at 2016-06-09 02:09:57
IDJOB=4087691
IDBENCH=24994
IDSOLVER=2549
FILE ID=node132/4087691-1465430997
RUNJOBID= node132-1465427020-23744
PBS_JOBID= 19859780
Free space on /tmp= 71740 MiB
SOLVER NAME= cdcl-cuttingplanes OPT binary search 2016-05-01
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_010_area_delay.opb
COMMAND LINE= ./cdcl-cuttingplanes-opt-binarysearch-release
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4087691-1465430997/watcher-4087691-1465430997 -o /tmp/evaluation-result-4087691-1465430997/solver-4087691-1465430997 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node132-1465427020-23744 --watchdog 1960 --input HOME/instance-4087691-1465430997.opb ./cdcl-cuttingplanes-opt-binarysearch-release
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8
MD5SUM BENCH= d869c2ae266497675d66f161576eaac8
RANDOM SEED=2048281756
node132.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5334.41
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
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.51
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
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.51
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
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.51
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
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
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 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 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 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
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
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 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 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 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
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.56
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
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
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 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 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 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 : 8
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 4
apicid : 1
initial apicid : 1
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 4
apicid : 3
initial apicid : 3
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 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 : 10
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 4
apicid : 5
initial apicid : 5
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 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 : 11
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 4
apicid : 7
initial apicid : 7
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.54
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 4
apicid : 17
initial apicid : 17
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.56
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 4
apicid : 19
initial apicid : 19
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 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 : 14
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 4
apicid : 21
initial apicid : 21
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 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 : 15
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2667.209
cache size : 8192 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 4
apicid : 23
initial apicid : 23
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic 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 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 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: 32872528 kB
MemFree: 30151568 kB
Buffers: 105632 kB
Cached: 1203524 kB
SwapCached: 1420 kB
Active: 1097216 kB
Inactive: 847404 kB
Active(anon): 634292 kB
Inactive(anon): 3096 kB
Active(file): 462924 kB
Inactive(file): 844308 kB
Unevictable: 9196 kB
Mlocked: 9196 kB
SwapTotal: 67108856 kB
SwapFree: 67096368 kB
Dirty: 3412 kB
Writeback: 0 kB
AnonPages: 735336 kB
Mapped: 7944 kB
Shmem: 0 kB
Slab: 628584 kB
SReclaimable: 68912 kB
SUnreclaim: 559672 kB
KernelStack: 2200 kB
PageTables: 5528 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545120 kB
Committed_AS: 935024 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346412 kB
VmallocChunk: 34341987140 kB
HardwareCorrupted: 0 kB
AnonHugePages: 212992 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7552 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 71736 MiB
End job on node132 at 2016-06-09 02:39:57