0.00/0.00 This is pico-portfolio, a naive parallel portfolio
0.00/0.00 Copyright (C) 2011 Olivier Roussel
0.00/0.00 Using 32 processing units
0.00/0.00 This portfolio uses the following solvers:
0.00/0.00 [1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00 [2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00 [3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00 [4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00 [5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00 Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00 Starting clasp 1.3.6 on core(s) 1
0.00/0.00 Starting TNM 2009 on core(s) 2
0.00/0.00 Starting march_hi 2009 on core(s) 3
0.00/0.00 Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
53263.52/1669.73 s UNSATISFIABLE
53264.99/1669.93 solver [1] cryptominisat 2.7.1 answered
53264.99/1669.93 Done
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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-3347605-1305388183/watcher-3347605-1305388183 -o /tmp/evaluation-result-3347605-1305388183/solver-3347605-1305388183 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347605-1305388183.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 27.80 29.78 31.09 1/413 31224
/proc/meminfo: memFree=255577940/264257624 swapFree=67111528/67111528
[pid=31224] ppid=31222 vsize=18324 CPUtime=0 cores=0-31
/proc/31224/stat : 31224 (ppfolio) S 31222 31224 30763 0 -1 4202496 510 0 0 0 0 0 0 0 22 0 1 0 650304776 18763776 385 268435456000 4194304 4287625 140735648291504 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/31224/statm: 4581 385 337 23 0 91 0
[startup+0.107489 s]
/proc/loadavg: 27.80 29.78 31.09 1/413 31224
/proc/meminfo: memFree=255577940/264257624 swapFree=67111528/67111528
[pid=31224] ppid=31222 vsize=18324 CPUtime=0 cores=0-31
/proc/31224/stat : 31224 (ppfolio) S 31222 31224 30763 0 -1 4202496 510 0 0 0 0 0 0 0 22 0 1 0 650304776 18763776 385 268435456000 4194304 4287625 140735648291504 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/31224/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.20053 s]
/proc/loadavg: 27.80 29.78 31.09 1/413 31224
/proc/meminfo: memFree=255577940/264257624 swapFree=67111528/67111528
[pid=31224] ppid=31222 vsize=18324 CPUtime=0 cores=0-31
/proc/31224/stat : 31224 (ppfolio) S 31222 31224 30763 0 -1 4202496 510 0 0 0 0 0 0 0 18 0 1 0 650304776 18763776 385 268435456000 4194304 4287625 140735648291504 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/31224/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300497 s]
/proc/loadavg: 27.80 29.78 31.09 1/413 31224
/proc/meminfo: memFree=255577940/264257624 swapFree=67111528/67111528
[pid=31224] ppid=31222 vsize=18324 CPUtime=0 cores=0-31
/proc/31224/stat : 31224 (ppfolio) S 31222 31224 30763 0 -1 4202496 510 0 0 0 0 0 0 0 18 0 1 0 650304776 18763776 385 268435456000 4194304 4287625 140735648291504 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/31224/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700533 s]
/proc/loadavg: 27.80 29.78 31.09 1/413 31224
/proc/meminfo: memFree=255577940/264257624 swapFree=67111528/67111528
[pid=31224] ppid=31222 vsize=18324 CPUtime=0 cores=0-31
/proc/31224/stat : 31224 (ppfolio) S 31222 31224 30763 0 -1 4202496 510 0 0 0 0 0 0 0 18 0 1 0 650304776 18763776 385 268435456000 4194304 4287625 140735648291504 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/31224/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50157 s]
/proc/loadavg: 27.80 29.78 31.09 6/419 31235
/proc/meminfo: memFree=255414512/264257624 swapFree=67111528/67111528
[pid=31224] ppid=31222 vsize=18324 CPUtime=0 cores=0-31
/proc/31224/stat : 31224 (ppfolio) S 31222 31224 30763 0 -1 4202496 510 0 0 0 0 0 0 0 18 0 1 0 650304776 18763776 385 268435456000 4194304 4287625 140735648291504 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/31224/statm: 4581 385 337 23 0 91 0
[pid=31225] ppid=31224 vsize=40752 CPUtime=1.48 cores=0
/proc/31225/stat : 31225 (cryptominisat) R 31224 31224 30763 0 -1 4202496 6543 0 0 0 147 1 0 0 20 0 1 0 650304776 41730048 6340 268435456000 4194304 4587354 140734180701792 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31225/statm: 10188 6340 305 96 0 6750 0
[pid=31226] ppid=31224 vsize=33968 CPUtime=1.48 cores=1
/proc/31226/stat : 31226 (clasp) R 31224 31224 30763 0 -1 4202496 6696 0 0 0 146 2 0 0 20 0 1 0 650304776 34783232 5768 268435456000 4194304 4785740 140735710732224 18446744073709551615 4495623 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31226/statm: 8492 5768 317 145 0 5537 0
[pid=31227] ppid=31224 vsize=475340 CPUtime=1.49 cores=2
/proc/31227/stat : 31227 (TNM) R 31224 31224 30763 0 -1 4202496 6886 0 0 0 145 4 0 0 20 0 1 0 650304776 486748160 6784 268435456000 134512640 134534564 4290899296 18446744073709551615 134524686 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31227/statm: 118835 6784 91 6 0 117500 0
[pid=31228] ppid=31224 vsize=28456 CPUtime=1.49 cores=3
/proc/31228/stat : 31228 (march_hi) R 31224 31224 30763 0 -1 4202496 23686 0 0 0 141 8 0 0 20 0 1 0 650304776 29138944 3868 268435456000 4194304 4331988 140734539634720 18446744073709551615 4220842 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31228/statm: 7114 3868 146 34 0 5556 0
[pid=31229] ppid=31224 vsize=135224 CPUtime=1.49 cores=4-31
/proc/31229/stat : 31229 (plingeling) R 31224 31224 30763 0 -1 4202496 33028 1238 0 0 140 8 0 1 21 0 1 0 650304776 138469376 32465 268435456000 4194304 4356188 140735343236864 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/31229/statm: 33806 32465 129 40 0 32350 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 732064
[startup+3.10057 s]
/proc/loadavg: 27.80 29.78 31.09 6/419 31235
/proc/meminfo: memFree=255187468/264257624 swapFree=67111528/67111528
[pid=31224] ppid=31222 vsize=18324 CPUtime=0 cores=0-31
/proc/31224/stat : 31224 (ppfolio) S 31222 31224 30763 0 -1 4202496 510 0 0 0 0 0 0 0 16 0 1 0 650304776 18763776 385 268435456000 4194304 4287625 140735648291504 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/31224/statm: 4581 385 337 23 0 91 0
[pid=31225] ppid=31224 vsize=71980 CPUtime=3.08 cores=0
/proc/31225/stat : 31225 (cryptominisat) R 31224 31224 30763 0 -1 4202496 16147 0 0 0 305 3 0 0 25 0 1 0 650304776 73707520 13902 268435456000 4194304 4587354 140734180701792 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31225/statm: 17995 13902 314 96 0 14557 0
[pid=31226] ppid=31224 vsize=33968 CPUtime=3.08 cores=1
/proc/31226/stat : 31226 (clasp) R 31224 31224 30763 0 -1 4202496 6696 0 0 0 306 2 0 0 25 0 1 0 650304776 34783232 5768 268435456000 4194304 4785740 140735710732224 18446744073709551615 4495525 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31226/statm: 8492 5768 317 145 0 5537 0
[pid=31227] ppid=31224 vsize=475340 CPUtime=3.09 cores=2
/proc/31227/stat : 31227 (TNM) R 31224 31224 30763 0 -1 4202496 6886 0 0 0 305 4 0 0 25 0 1 0 650304776 486748160 6784 268435456000 134512640 134534564 4290899296 18446744073709551615 134524577 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31227/statm: 118835 6784 91 6 0 117500 0
[pid=31228] ppid=31224 vsize=84720 CPUtime=3.08 cores=3
/proc/31228/stat : 31228 (march_hi) R 31224 31224 30763 0 -1 4202496 50387 0 0 0 296 12 0 0 25 0 1 0 650304776 86753280 17913 268435456000 4194304 4331988 140734539634720 18446744073709551615 4271136 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31228/statm: 21180 17913 149 34 0 19622 0
[pid=31229] ppid=31224 vsize=479288 CPUtime=3.08 cores=4-31
/proc/31229/stat : 31229 (plingeling) R 31224 31224 30763 0 -1 4202496 119044 1238 0 0 282 25 0 1 25 0 1 0 650304776 490790912 118481 268435456000 4194304 4356188 140735343236864 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/31229/statm: 119822 118481 129 40 0 118366 0
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (KiB) 1163620
[startup+6.30164 s]
/proc/loadavg: 25.98 29.36 30.95 33/447 31263
/proc/meminfo: memFree=254745164/264257624 swapFree=67111528/67111528
[pid=31224] ppid=31222 vsize=18324 CPUtime=0 cores=0-31
/proc/31224/stat : 31224 (ppfolio) S 31222 31224 30763 0 -1 4202496 510 0 0 0 0 0 0 0 16 0 1 0 650304776 18763776 385 268435456000 4194304 4287625 140735648291504 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/31224/statm: 4581 385 337 23 0 91 0
[pid=31225] ppid=31224 vsize=80288 CPUtime=6.29 cores=0
/proc/31225/stat : 31225 (cryptominisat) R 31224 31224 30763 0 -1 4202496 18041 0 0 0 625 4 0 0 25 0 1 0 650304776 82214912 15796 268435456000 4194304 4587354 140734180701792 18446744073709551615 4388277 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31225/statm: 20072 15796 315 96 0 16634 0
[pid=31226] ppid=31224 vsize=33968 CPUtime=6.28 cores=1
/proc/31226/stat : 31226 (clasp) R 31224 31224 30763 0 -1 4202496 6696 0 0 0 626 2 0 0 25 0 1 0 650304776 34783232 5768 268435456000 4194304 4785740 140735710732224 18446744073709551615 4495638 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31226/statm: 8492 5768 317 145 0 5537 0
[pid=31227] ppid=31224 vsize=475340 CPUtime=6.29 cores=2
/proc/31227/stat : 31227 (TNM) R 31224 31224 30763 0 -1 4202496 6886 0 0 0 625 4 0 0 25 0 1 0 650304776 486748160 6784 268435456000 134512640 134534564 4290899296 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31227/statm: 118835 6784 91 6 0 117500 0
[pid=31228] ppid=31224 vsize=117204 CPUtime=6.29 cores=3
/proc/31228/stat : 31228 (march_hi) R 31224 31224 30763 0 -1 4202496 57242 0 0 0 614 15 0 0 25 0 1 0 650304776 120016896 24768 268435456000 4194304 4331988 140734539634720 18446744073709551615 4271154 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31228/statm: 29301 24768 149 34 0 27743 0
[pid=31229] ppid=31224 vsize=1323848 CPUtime=70.24 cores=4-31
/proc/31229/stat : 31229 (plingeling) S 31224 31224 30763 0 -1 4202496 227292 1238 0 0 6800 223 0 1 20 0 29 0 650304776 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/31229/statm: 330962 193921 158 40 0 329506 0
[pid=31229/tid=31236] ppid=31224 vsize=1323848 CPUtime=2.23 cores=4-31
/proc/31229/task/31236/stat : 31236 (plingeling) R 31224 31224 30763 0 -1 4202560 4083 1238 0 0 217 5 0 1 17 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4211189 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31229/tid=31237] ppid=31224 vsize=1323848 CPUtime=2.44 cores=4-31
/proc/31229/task/31237/stat : 31237 (plingeling) R 31224 31224 30763 0 -1 4202560 4025 1238 0 0 237 6 0 1 18 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4271296 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31229/tid=31238] ppid=31224 vsize=1323848 CPUtime=2.27 cores=4-31
/proc/31229/task/31238/stat : 31238 (plingeling) R 31224 31224 30763 0 -1 4202560 4045 1238 0 0 220 6 0 1 25 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4271045 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31229/tid=31239] ppid=31224 vsize=1323848 CPUtime=2.31 cores=4-31
/proc/31229/task/31239/stat : 31239 (plingeling) R 31224 31224 30763 0 -1 4202560 2985 1238 0 0 224 6 0 1 20 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31229/tid=31240] ppid=31224 vsize=1323848 CPUtime=2.27 cores=4-31
/proc/31229/task/31240/stat : 31240 (plingeling) R 31224 31224 30763 0 -1 4202560 4050 1238 0 0 217 9 0 1 18 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4270740 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31229/tid=31241] ppid=31224 vsize=1323848 CPUtime=2.45 cores=4-31
/proc/31229/task/31241/stat : 31241 (plingeling) R 31224 31224 30763 0 -1 4202560 3960 1238 0 0 239 5 0 1 25 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4271296 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31229/tid=31242] ppid=31224 vsize=1323848 CPUtime=2.34 cores=4-31
/proc/31229/task/31242/stat : 31242 (plingeling) R 31224 31224 30763 0 -1 4202560 4070 1238 0 0 222 11 0 1 22 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4270889 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31229/tid=31243] ppid=31224 vsize=1323848 CPUtime=2.26 cores=4-31
/proc/31229/task/31243/stat : 31243 (plingeling) R 31224 31224 30763 0 -1 4202560 3964 1238 0 0 219 6 0 1 17 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4211529 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31229/tid=31244] ppid=31224 vsize=1323848 CPUtime=2.3 cores=4-31
/proc/31229/task/31244/stat : 31244 (plingeling) R 31224 31224 30763 0 -1 4202560 3851 1238 0 0 221 8 0 1 18 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4271303 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31229/tid=31245] ppid=31224 vsize=1323848 CPUtime=2.33 cores=4-31
/proc/31229/task/31245/stat : 31245 (plingeling) R 31224 31224 30763 0 -1 4202560 4036 1238 0 0 222 10 0 1 21 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31229/tid=31246] ppid=31224 vsize=1323848 CPUtime=2.36 cores=4-31
/proc/31229/task/31246/stat : 31246 (plingeling) R 31224 31224 30763 0 -1 4202560 4034 1238 0 0 228 7 0 1 18 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31229/tid=31247] ppid=31224 vsize=1323848 CPUtime=2.47 cores=4-31
/proc/31229/task/31247/stat : 31247 (plingeling) R 31224 31224 30763 0 -1 4202560 3180 1238 0 0 241 5 0 1 21 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331360 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31229/tid=31248] ppid=31224 vsize=1323848 CPUtime=2.35 cores=4-31
/proc/31229/task/31248/stat : 31248 (plingeling) R 31224 31224 30763 0 -1 4202560 4088 1238 0 0 227 7 0 1 18 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4270759 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31229/tid=31249] ppid=31224 vsize=1323848 CPUtime=2.46 cores=4-31
/proc/31229/task/31249/stat : 31249 (plingeling) R 31224 31224 30763 0 -1 4202560 3847 1238 0 0 237 8 0 1 20 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4270780 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31229/tid=31250] ppid=31224 vsize=1323848 CPUtime=2.39 cores=4-31
/proc/31229/task/31250/stat : 31250 (plingeling) R 31224 31224 30763 0 -1 4202560 4144 1238 0 0 232 6 0 1 18 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31229/tid=31251] ppid=31224 vsize=1323848 CPUtime=2.44 cores=4-31
/proc/31229/task/31251/stat : 31251 (plingeling) R 31224 31224 30763 0 -1 4202560 3830 1238 0 0 236 7 0 1 25 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4270898 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31229/tid=31252] ppid=31224 vsize=1323848 CPUtime=2.41 cores=4-31
/proc/31229/task/31252/stat : 31252 (plingeling) R 31224 31224 30763 0 -1 4202560 4122 1238 0 0 235 5 0 1 18 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31229/tid=31253] ppid=31224 vsize=1323848 CPUtime=2.42 cores=4-31
/proc/31229/task/31253/stat : 31253 (plingeling) R 31224 31224 30763 0 -1 4202560 4010 1238 0 0 233 8 0 1 18 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4271303 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31229/tid=31254] ppid=31224 vsize=1323848 CPUtime=2.43 cores=4-31
/proc/31229/task/31254/stat : 31254 (plingeling) R 31224 31224 30763 0 -1 4202560 3859 1238 0 0 237 5 0 1 20 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4270728 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31229/tid=31255] ppid=31224 vsize=1323848 CPUtime=2.41 cores=4-31
/proc/31229/task/31255/stat : 31255 (plingeling) R 31224 31224 30763 0 -1 4202560 3020 1238 0 0 235 5 0 1 20 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31229/tid=31256] ppid=31224 vsize=1323848 CPUtime=2.47 cores=4-31
/proc/31229/task/31256/stat : 31256 (plingeling) R 31224 31224 30763 0 -1 4202560 3883 1238 0 0 240 6 0 1 25 0 29 0 650305148 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31229/tid=31257] ppid=31224 vsize=1323848 CPUtime=2.43 cores=4-31
/proc/31229/task/31257/stat : 31257 (plingeling) R 31224 31224 30763 0 -1 4202560 3955 1238 0 0 235 7 0 1 20 0 29 0 650305149 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31229/tid=31258] ppid=31224 vsize=1323848 CPUtime=2.39 cores=4-31
/proc/31229/task/31258/stat : 31258 (plingeling) R 31224 31224 30763 0 -1 4202560 4135 1238 0 0 231 7 0 1 18 0 29 0 650305149 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31229/tid=31259] ppid=31224 vsize=1323848 CPUtime=2.44 cores=4-31
/proc/31229/task/31259/stat : 31259 (plingeling) R 31224 31224 30763 0 -1 4202560 3938 1238 0 0 238 5 0 1 21 0 29 0 650305149 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4270889 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31229/tid=31260] ppid=31224 vsize=1323848 CPUtime=2.33 cores=4-31
/proc/31229/task/31260/stat : 31260 (plingeling) R 31224 31224 30763 0 -1 4202560 4046 1238 0 0 228 4 0 1 25 0 29 0 650305149 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31229/tid=31261] ppid=31224 vsize=1323848 CPUtime=2.42 cores=4-31
/proc/31229/task/31261/stat : 31261 (plingeling) R 31224 31224 30763 0 -1 4202560 3984 1238 0 0 235 6 0 1 25 0 29 0 650305149 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31229/tid=31262] ppid=31224 vsize=1323848 CPUtime=2.32 cores=4-31
/proc/31229/task/31262/stat : 31262 (plingeling) R 31224 31224 30763 0 -1 4202560 4095 1238 0 0 225 6 0 1 18 0 29 0 650305149 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=31229/tid=31263] ppid=31224 vsize=1323848 CPUtime=2.38 cores=4-31
/proc/31229/task/31263/stat : 31263 (plingeling) R 31224 31224 30763 0 -1 4202560 2971 1238 0 0 232 5 0 1 20 0 29 0 650305149 1355620352 193921 268435456000 4194304 4356188 140735343236864 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 95.39
Current children cumulated vsize (KiB) 2048972
[startup+12.7019 s]
/proc/loadavg: 26.46 29.41 30.96 33/447 31263
/proc/meminfo: memFree=254579808/264257624 swapFree=67111528/67111528
[pid=31224] ppid=31222 vsize=18324 CPUtime=0 cores=0-31
/proc/31224/stat : 31224 (ppfolio) S 31222 31224 30763 0 -1 4202496 510 0 0 0 0 0 0 0 15 0 1 0 650304776 18763776 385 268435456000 4194304 4287625 140735648291504 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/31224/statm: 4581 385 337 23 0 91 0
[pid=31225] ppid=31224 vsize=116732 CPUtime=12.68 cores=0
/proc/31225/stat : 31225 (cryptominisat) R 31224 31224 30763 0 -1 4202496 20606 0 0 0 1264 4 0 0 25 0 1 0 650304776 119533568 16687 268435456000 4194304 4587354 140734180701792 18446744073709551615 258650612756 0 0 4096 2 0 0 0 17 0 0 0 0
################
# More data... #
################
[pid=31229] ppid=31224 vsize=1972352 CPUtime=46561.4 cores=4-31
/proc/31229/stat : 31229 (plingeling) S 31224 31224 30763 0 -1 4202496 3411227 1238 0 0 4653797 2347 0 1 20 0 29 0 650304776 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/31229/statm: 493088 361096 158 40 0 491632 0
[pid=31229/tid=31236] ppid=31224 vsize=1972352 CPUtime=1664.44 cores=4-31
/proc/31229/task/31236/stat : 31236 (plingeling) R 31224 31224 30763 0 -1 4202560 120014 1238 0 0 166356 87 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31229/tid=31237] ppid=31224 vsize=1972352 CPUtime=1664.58 cores=4-31
/proc/31229/task/31237/stat : 31237 (plingeling) R 31224 31224 30763 0 -1 4202560 109914 1238 0 0 166396 61 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31229/tid=31238] ppid=31224 vsize=1972352 CPUtime=1664.43 cores=4-31
/proc/31229/task/31238/stat : 31238 (plingeling) R 31224 31224 30763 0 -1 4202560 102564 1238 0 0 166377 65 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31229/tid=31239] ppid=31224 vsize=1972352 CPUtime=1662.69 cores=4-31
/proc/31229/task/31239/stat : 31239 (plingeling) R 31224 31224 30763 0 -1 4202560 100486 1238 0 0 166193 75 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31229/tid=31240] ppid=31224 vsize=1972352 CPUtime=1664.39 cores=4-31
/proc/31229/task/31240/stat : 31240 (plingeling) R 31224 31224 30763 0 -1 4202560 95061 1238 0 0 166389 49 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4281578 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31229/tid=31241] ppid=31224 vsize=1972352 CPUtime=1664.64 cores=4-31
/proc/31229/task/31241/stat : 31241 (plingeling) R 31224 31224 30763 0 -1 4202560 148773 1238 0 0 166369 94 0 1 19 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4330839 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31229/tid=31242] ppid=31224 vsize=1972352 CPUtime=1664.49 cores=4-31
/proc/31229/task/31242/stat : 31242 (plingeling) R 31224 31224 30763 0 -1 4202560 122389 1238 0 0 166380 68 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331151 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31229/tid=31243] ppid=31224 vsize=1972352 CPUtime=1664.47 cores=4-31
/proc/31229/task/31243/stat : 31243 (plingeling) R 31224 31224 30763 0 -1 4202560 109996 1238 0 0 166299 147 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31229/tid=31244] ppid=31224 vsize=1972352 CPUtime=1662.84 cores=4-31
/proc/31229/task/31244/stat : 31244 (plingeling) R 31224 31224 30763 0 -1 4202560 99433 1238 0 0 166206 77 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31229/tid=31245] ppid=31224 vsize=1972352 CPUtime=1649.58 cores=4-31
/proc/31229/task/31245/stat : 31245 (plingeling) R 31224 31224 30763 0 -1 4202560 111951 1238 0 0 164864 93 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31229/tid=31246] ppid=31224 vsize=1972352 CPUtime=1660.77 cores=4-31
/proc/31229/task/31246/stat : 31246 (plingeling) R 31224 31224 30763 0 -1 4202560 136488 1238 0 0 165992 84 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31229/tid=31247] ppid=31224 vsize=1972352 CPUtime=1664.6 cores=4-31
/proc/31229/task/31247/stat : 31247 (plingeling) R 31224 31224 30763 0 -1 4202560 131237 1238 0 0 166364 95 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31229/tid=31248] ppid=31224 vsize=1972352 CPUtime=1664.53 cores=4-31
/proc/31229/task/31248/stat : 31248 (plingeling) R 31224 31224 30763 0 -1 4202560 115770 1238 0 0 166389 63 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331101 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31229/tid=31249] ppid=31224 vsize=1972352 CPUtime=1664.67 cores=4-31
/proc/31229/task/31249/stat : 31249 (plingeling) R 31224 31224 30763 0 -1 4202560 91929 1238 0 0 166404 62 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31229/tid=31250] ppid=31224 vsize=1972352 CPUtime=1657.45 cores=4-31
/proc/31229/task/31250/stat : 31250 (plingeling) R 31224 31224 30763 0 -1 4202560 124991 1238 0 0 165678 66 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31229/tid=31251] ppid=31224 vsize=1972352 CPUtime=1647.56 cores=4-31
/proc/31229/task/31251/stat : 31251 (plingeling) R 31224 31224 30763 0 -1 4202560 88364 1238 0 0 164634 121 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31229/tid=31252] ppid=31224 vsize=1972352 CPUtime=1664.52 cores=4-31
/proc/31229/task/31252/stat : 31252 (plingeling) R 31224 31224 30763 0 -1 4202560 122242 1238 0 0 166372 79 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31229/tid=31253] ppid=31224 vsize=1972352 CPUtime=1664.61 cores=4-31
/proc/31229/task/31253/stat : 31253 (plingeling) R 31224 31224 30763 0 -1 4202560 123297 1238 0 0 166321 139 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31229/tid=31254] ppid=31224 vsize=1972352 CPUtime=1664.53 cores=4-31
/proc/31229/task/31254/stat : 31254 (plingeling) R 31224 31224 30763 0 -1 4202560 149518 1238 0 0 166382 70 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31229/tid=31255] ppid=31224 vsize=1972352 CPUtime=1663.78 cores=4-31
/proc/31229/task/31255/stat : 31255 (plingeling) R 31224 31224 30763 0 -1 4202560 147684 1238 0 0 166292 85 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31229/tid=31256] ppid=31224 vsize=1972352 CPUtime=1663.99 cores=4-31
/proc/31229/task/31256/stat : 31256 (plingeling) R 31224 31224 30763 0 -1 4202560 102787 1238 0 0 166315 83 0 1 25 0 29 0 650305148 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331971 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31229/tid=31257] ppid=31224 vsize=1972352 CPUtime=1664.55 cores=4-31
/proc/31229/task/31257/stat : 31257 (plingeling) R 31224 31224 30763 0 -1 4202560 94864 1238 0 0 166394 60 0 1 25 0 29 0 650305149 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31229/tid=31258] ppid=31224 vsize=1972352 CPUtime=1664.52 cores=4-31
/proc/31229/task/31258/stat : 31258 (plingeling) R 31224 31224 30763 0 -1 4202560 117621 1238 0 0 166390 61 0 1 25 0 29 0 650305149 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31229/tid=31259] ppid=31224 vsize=1972352 CPUtime=1664.64 cores=4-31
/proc/31229/task/31259/stat : 31259 (plingeling) R 31224 31224 30763 0 -1 4202560 118459 1238 0 0 166350 113 0 1 25 0 29 0 650305149 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31229/tid=31260] ppid=31224 vsize=1972352 CPUtime=1663.5 cores=4-31
/proc/31229/task/31260/stat : 31260 (plingeling) R 31224 31224 30763 0 -1 4202560 138176 1238 0 0 166283 66 0 1 25 0 29 0 650305149 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31229/tid=31261] ppid=31224 vsize=1972352 CPUtime=1664.59 cores=4-31
/proc/31229/task/31261/stat : 31261 (plingeling) R 31224 31224 30763 0 -1 4202560 99238 1238 0 0 166386 72 0 1 25 0 29 0 650305149 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331352 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31229/tid=31262] ppid=31224 vsize=1972352 CPUtime=1664.38 cores=4-31
/proc/31229/task/31262/stat : 31262 (plingeling) R 31224 31224 30763 0 -1 4202560 154122 1238 0 0 166350 87 0 1 25 0 29 0 650305149 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31229/tid=31263] ppid=31224 vsize=1972352 CPUtime=1664.03 cores=4-31
/proc/31229/task/31263/stat : 31263 (plingeling) R 31224 31224 30763 0 -1 4202560 114777 1238 0 0 166318 84 0 1 25 0 29 0 650305149 2019688448 361096 268435456000 4194304 4356188 140735343236864 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 53235.4
Current children cumulated vsize (KiB) 7264872
[startup+1669.6 s]
/proc/loadavg: 32.23 32.18 31.96 33/447 31318
/proc/meminfo: memFree=251153964/264257624 swapFree=67111528/67111528
[pid=31224] ppid=31222 vsize=18324 CPUtime=0 cores=0-31
/proc/31224/stat : 31224 (ppfolio) S 31222 31224 30763 0 -1 4202496 510 0 0 0 0 0 0 0 15 0 1 0 650304776 18763776 385 268435456000 4194304 4287625 140735648291504 18446744073709551615 258650975999 0 0 4096 65536 9184097348366630911 0 0 17 20 0 0 0
/proc/31224/statm: 4581 385 337 23 0 91 0
[pid=31225] ppid=31224 vsize=1102536 CPUtime=1669.24 cores=0
/proc/31225/stat : 31225 (cryptominisat) R 31224 31224 30763 0 -1 4202496 314726 0 0 0 166774 150 0 0 25 0 1 0 650304776 1128996864 20280 268435456000 4194304 4587354 140734180701792 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/31225/statm: 275634 20280 336 96 0 272196 0
[pid=31226] ppid=31224 vsize=200628 CPUtime=1669.27 cores=1
/proc/31226/stat : 31226 (clasp) R 31224 31224 30763 0 -1 4202496 46657 0 0 0 166902 25 0 0 25 0 1 0 650304776 205443072 45364 268435456000 4194304 4785740 140735710732224 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/31226/statm: 50157 45364 339 145 0 47202 0
[pid=31227] ppid=31224 vsize=476272 CPUtime=1669.27 cores=2
/proc/31227/stat : 31227 (TNM) R 31224 31224 30763 0 -1 4202496 8215 0 0 0 166923 4 0 0 25 0 1 0 650304776 487702528 8113 268435456000 134512640 134534564 4290899296 18446744073709551615 134530367 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/31227/statm: 119068 8113 95 6 0 117733 0
[pid=31228] ppid=31224 vsize=3494760 CPUtime=1669.27 cores=3
/proc/31228/stat : 31228 (march_hi) R 31224 31224 30763 0 -1 4202496 2420313 0 0 0 166363 564 0 0 25 0 1 0 650304776 3578634240 675095 268435456000 4194304 4331988 140734539634720 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/31228/statm: 873690 675095 174 34 0 872132 0
[pid=31229] ppid=31224 vsize=1980544 CPUtime=46583.3 cores=4-31
/proc/31229/stat : 31229 (plingeling) S 31224 31224 30763 0 -1 4202496 3413275 1238 0 0 4655980 2347 0 1 20 0 29 0 650304776 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/31229/statm: 495136 363144 158 40 0 493680 0
[pid=31229/tid=31236] ppid=31224 vsize=1980544 CPUtime=1665.22 cores=4-31
/proc/31229/task/31236/stat : 31236 (plingeling) R 31224 31224 30763 0 -1 4202560 120014 1238 0 0 166434 87 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=31229/tid=31237] ppid=31224 vsize=1980544 CPUtime=1665.35 cores=4-31
/proc/31229/task/31237/stat : 31237 (plingeling) R 31224 31224 30763 0 -1 4202560 109914 1238 0 0 166473 61 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=31229/tid=31238] ppid=31224 vsize=1980544 CPUtime=1665.21 cores=4-31
/proc/31229/task/31238/stat : 31238 (plingeling) R 31224 31224 30763 0 -1 4202560 102564 1238 0 0 166455 65 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=31229/tid=31239] ppid=31224 vsize=1980544 CPUtime=1663.47 cores=4-31
/proc/31229/task/31239/stat : 31239 (plingeling) R 31224 31224 30763 0 -1 4202560 100486 1238 0 0 166271 75 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=31229/tid=31240] ppid=31224 vsize=1980544 CPUtime=1665.17 cores=4-31
/proc/31229/task/31240/stat : 31240 (plingeling) R 31224 31224 30763 0 -1 4202560 95061 1238 0 0 166467 49 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=31229/tid=31241] ppid=31224 vsize=1980544 CPUtime=1665.42 cores=4-31
/proc/31229/task/31241/stat : 31241 (plingeling) R 31224 31224 30763 0 -1 4202560 148773 1238 0 0 166447 94 0 1 21 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=31229/tid=31242] ppid=31224 vsize=1980544 CPUtime=1665.27 cores=4-31
/proc/31229/task/31242/stat : 31242 (plingeling) R 31224 31224 30763 0 -1 4202560 122389 1238 0 0 166458 68 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331328 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=31229/tid=31243] ppid=31224 vsize=1980544 CPUtime=1665.25 cores=4-31
/proc/31229/task/31243/stat : 31243 (plingeling) R 31224 31224 30763 0 -1 4202560 109996 1238 0 0 166377 147 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=31229/tid=31244] ppid=31224 vsize=1980544 CPUtime=1663.62 cores=4-31
/proc/31229/task/31244/stat : 31244 (plingeling) R 31224 31224 30763 0 -1 4202560 99433 1238 0 0 166284 77 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=31229/tid=31245] ppid=31224 vsize=1980544 CPUtime=1650.36 cores=4-31
/proc/31229/task/31245/stat : 31245 (plingeling) R 31224 31224 30763 0 -1 4202560 111951 1238 0 0 164942 93 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=31229/tid=31246] ppid=31224 vsize=1980544 CPUtime=1661.55 cores=4-31
/proc/31229/task/31246/stat : 31246 (plingeling) R 31224 31224 30763 0 -1 4202560 136488 1238 0 0 166070 84 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=31229/tid=31247] ppid=31224 vsize=1980544 CPUtime=1665.38 cores=4-31
/proc/31229/task/31247/stat : 31247 (plingeling) R 31224 31224 30763 0 -1 4202560 131237 1238 0 0 166442 95 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=31229/tid=31248] ppid=31224 vsize=1980544 CPUtime=1665.3 cores=4-31
/proc/31229/task/31248/stat : 31248 (plingeling) R 31224 31224 30763 0 -1 4202560 115770 1238 0 0 166466 63 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=31229/tid=31249] ppid=31224 vsize=1980544 CPUtime=1665.45 cores=4-31
/proc/31229/task/31249/stat : 31249 (plingeling) R 31224 31224 30763 0 -1 4202560 91929 1238 0 0 166482 62 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=31229/tid=31250] ppid=31224 vsize=1980544 CPUtime=1658.23 cores=4-31
/proc/31229/task/31250/stat : 31250 (plingeling) R 31224 31224 30763 0 -1 4202560 124991 1238 0 0 165756 66 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=31229/tid=31251] ppid=31224 vsize=1980544 CPUtime=1648.34 cores=4-31
/proc/31229/task/31251/stat : 31251 (plingeling) R 31224 31224 30763 0 -1 4202560 88364 1238 0 0 164712 121 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=31229/tid=31252] ppid=31224 vsize=1980544 CPUtime=1665.3 cores=4-31
/proc/31229/task/31252/stat : 31252 (plingeling) R 31224 31224 30763 0 -1 4202560 122242 1238 0 0 166450 79 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=31229/tid=31253] ppid=31224 vsize=1980544 CPUtime=1665.39 cores=4-31
/proc/31229/task/31253/stat : 31253 (plingeling) R 31224 31224 30763 0 -1 4202560 123297 1238 0 0 166399 139 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=31229/tid=31254] ppid=31224 vsize=1980544 CPUtime=1665.3 cores=4-31
/proc/31229/task/31254/stat : 31254 (plingeling) R 31224 31224 30763 0 -1 4202560 149518 1238 0 0 166459 70 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331996 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=31229/tid=31255] ppid=31224 vsize=1980544 CPUtime=1664.56 cores=4-31
/proc/31229/task/31255/stat : 31255 (plingeling) R 31224 31224 30763 0 -1 4202560 147684 1238 0 0 166370 85 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4281690 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=31229/tid=31256] ppid=31224 vsize=1980544 CPUtime=1664.76 cores=4-31
/proc/31229/task/31256/stat : 31256 (plingeling) R 31224 31224 30763 0 -1 4202560 103299 1238 0 0 166392 83 0 1 25 0 29 0 650305148 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=31229/tid=31257] ppid=31224 vsize=1980544 CPUtime=1665.33 cores=4-31
/proc/31229/task/31257/stat : 31257 (plingeling) R 31224 31224 30763 0 -1 4202560 95376 1238 0 0 166472 60 0 1 25 0 29 0 650305149 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=31229/tid=31258] ppid=31224 vsize=1980544 CPUtime=1665.3 cores=4-31
/proc/31229/task/31258/stat : 31258 (plingeling) R 31224 31224 30763 0 -1 4202560 117621 1238 0 0 166468 61 0 1 25 0 29 0 650305149 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=31229/tid=31259] ppid=31224 vsize=1980544 CPUtime=1665.43 cores=4-31
/proc/31229/task/31259/stat : 31259 (plingeling) R 31224 31224 30763 0 -1 4202560 119483 1238 0 0 166428 114 0 1 25 0 29 0 650305149 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331971 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=31229/tid=31260] ppid=31224 vsize=1980544 CPUtime=1664.28 cores=4-31
/proc/31229/task/31260/stat : 31260 (plingeling) R 31224 31224 30763 0 -1 4202560 138176 1238 0 0 166361 66 0 1 25 0 29 0 650305149 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=31229/tid=31261] ppid=31224 vsize=1980544 CPUtime=1665.36 cores=4-31
/proc/31229/task/31261/stat : 31261 (plingeling) R 31224 31224 30763 0 -1 4202560 99238 1238 0 0 166463 72 0 1 25 0 29 0 650305149 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=31229/tid=31262] ppid=31224 vsize=1980544 CPUtime=1665.16 cores=4-31
/proc/31229/task/31262/stat : 31262 (plingeling) R 31224 31224 30763 0 -1 4202560 154122 1238 0 0 166428 87 0 1 25 0 29 0 650305149 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4279701 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=31229/tid=31263] ppid=31224 vsize=1980544 CPUtime=1664.81 cores=4-31
/proc/31229/task/31263/stat : 31263 (plingeling) R 31224 31224 30763 0 -1 4202560 114777 1238 0 0 166396 84 0 1 25 0 29 0 650305149 2028077056 363144 268435456000 4194304 4356188 140735343236864 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 53260.3
Current children cumulated vsize (KiB) 7273064
[startup+1669.8 s]
/proc/loadavg: 32.23 32.18 31.96 3/417 31318
/proc/meminfo: memFree=252985800/264257624 swapFree=67111528/67111528
[pid=31224] ppid=31222 vsize=18324 CPUtime=5008.22 cores=0-31
/proc/31224/stat : 31224 (ppfolio) S 31222 31224 30763 0 -1 4202496 511 369618 0 0 0 0 500639 183 15 0 1 0 650304776 18763776 386 268435456000 4194304 4287625 140735648291504 18446744073709551615 258650975999 0 0 4096 65536 9190568111735013680 0 0 17 20 0 0 0
/proc/31224/statm: 4581 386 338 23 0 91 0
[pid=31228] ppid=31224 vsize=0 CPUtime=1669.49 cores=3
/proc/31228/stat : 31228 (march_hi) R 31224 31224 30763 0 -1 4203524 2420313 0 0 0 166376 573 0 0 25 0 1 0 650304776 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/31228/statm: 0 0 0 0 0 0 0
[pid=31229] ppid=31224 vsize=0 CPUtime=46587.1 cores=4-31
/proc/31229/stat : 31229 (plingeling) Z 31224 31224 30763 0 -1 4203548 3413787 1238 0 0 4656354 2356 0 1 18 0 2 0 650304776 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 30 0 0 0
/proc/31229/statm: 0 0 0 0 0 0 0
[pid=31229/tid=31250] ppid=31224 vsize=0 CPUtime=1658.45 cores=4-31
/proc/31229/task/31250/stat : 31250 (plingeling) R 31224 31224 30763 0 -1 4203588 124991 1238 0 0 165769 75 0 1 25 0 2 0 650305148 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 30 0 0 0
Current children cumulated CPU time (s) 53264.8
Current children cumulated vsize (KiB) 18324
[startup+1669.92 s]
/proc/loadavg: 32.23 32.18 31.96 3/417 31318
/proc/meminfo: memFree=252985800/264257624 swapFree=67111528/67111528
[pid=31224] ppid=31222 vsize=18324 CPUtime=51595.4 cores=0-31
/proc/31224/stat : 31224 (ppfolio) S 31222 31224 30763 0 -1 4202496 511 3784643 0 0 0 0 5156995 2545 15 0 1 0 650304776 18763776 386 268435456000 4194304 4287625 140735648291504 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 20 0 0 0
/proc/31224/statm: 4581 386 338 23 0 91 0
[pid=31228] ppid=31224 vsize=0 CPUtime=1669.59 cores=3
/proc/31228/stat : 31228 (march_hi) R 31224 31224 30763 0 -1 4203524 2420313 0 0 0 166376 583 0 0 25 0 1 0 650304776 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/31228/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 53265
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 1669.93
CPU time (s): 53265
CPU user time (s): 53233.7
CPU system time (s): 31.3052
CPU usage (%): 3189.66
Max. virtual memory (cumulated for all children) (KiB): 9888712
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53233.7
system time used= 31.3052
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6205486
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= 3115
involuntary context switches= 130253
runsolver used 9.80651 second user time and 37.3403 second system time
The end
Begin job on node200 at 2011-05-14 17:49:44
IDJOB=3347605
IDBENCH=83446
IDSOLVER=1808
FILE ID=node200/3347605-1305388183
RUNJOBID= node200-1305387880-30777
PBS_JOBID= 13285490
Free space on /tmp= 62044 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/korf-18.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347605-1305388183/watcher-3347605-1305388183 -o /tmp/evaluation-result-3347605-1305388183/solver-3347605-1305388183 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347605-1305388183.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 47bea79e2bf12e18e409c2c4bd6fac03
RANDOM SEED=1434908020
node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 0
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 0
cpu cores : 8
apicid : 32
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 0
cpu cores : 8
apicid : 64
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 0
cpu cores : 8
apicid : 96
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 1
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 1
cpu cores : 8
apicid : 34
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 1
cpu cores : 8
apicid : 66
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 1
cpu cores : 8
apicid : 98
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 8
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 2
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 9
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 2
cpu cores : 8
apicid : 36
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 10
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 2
cpu cores : 8
apicid : 68
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 11
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 2
cpu cores : 8
apicid : 100
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.02
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 12
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 3
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.17
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 13
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 3
cpu cores : 8
apicid : 38
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 14
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 3
cpu cores : 8
apicid : 70
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3989.98
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 15
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 3
cpu cores : 8
apicid : 102
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 16
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 8
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.04
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 17
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 8
cpu cores : 8
apicid : 48
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 18
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 8
cpu cores : 8
apicid : 80
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 19
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 8
cpu cores : 8
apicid : 112
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 20
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 9
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 21
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 9
cpu cores : 8
apicid : 50
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.07
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 22
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 9
cpu cores : 8
apicid : 82
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 23
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 9
cpu cores : 8
apicid : 114
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.23
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 24
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 10
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 25
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 10
cpu cores : 8
apicid : 52
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 26
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 10
cpu cores : 8
apicid : 84
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.08
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 27
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 10
cpu cores : 8
apicid : 116
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 28
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 0
siblings : 8
core id : 11
cpu cores : 8
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 29
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 1
siblings : 8
core id : 11
cpu cores : 8
apicid : 54
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.09
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 30
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 2
siblings : 8
core id : 11
cpu cores : 8
apicid : 86
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.05
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
processor : 31
vendor_id : GenuineIntel
cpu family : 6
model : 46
model name : Intel(R) Xeon(R) CPU X7550 @ 2.00GHz
stepping : 6
cpu MHz : 1995.049
cache size : 18432 KB
physical id : 3
siblings : 8
core id : 11
cpu cores : 8
apicid : 118
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips : 3990.06
clflush size : 64
cache_alignment : 64
address sizes : 44 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 264257624 kB
MemFree: 255578220 kB
Buffers: 436720 kB
Cached: 7819024 kB
SwapCached: 0 kB
Active: 7389340 kB
Inactive: 935744 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255578220 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 16940 kB
Writeback: 0 kB
AnonPages: 71656 kB
Mapped: 15916 kB
Slab: 250520 kB
PageTables: 5020 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 194748 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62036 MiB
End job on node200 at 2011-05-14 18:17:34