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
16365.98/515.75 s UNSATISFIABLE
16367.96/515.87 solver [1] cryptominisat 2.7.1 answered
16367.96/515.87 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-3347467-1305198718/watcher-3347467-1305198718 -o /tmp/evaluation-result-3347467-1305198718/solver-3347467-1305198718 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347467-1305198718.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: 29.44 31.10 31.60 1/413 17342
/proc/meminfo: memFree=255731896/264257624 swapFree=67111528/67111528
[pid=17342] ppid=17340 vsize=18324 CPUtime=0 cores=0-31
/proc/17342/stat : 17342 (ppfolio) S 17340 17342 17316 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 631358274 18763776 385 268435456000 4194304 4287625 140734001597008 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 8 0 0 0
/proc/17342/statm: 4581 385 337 23 0 91 0
[startup+0.08983 s]
/proc/loadavg: 29.44 31.10 31.60 1/413 17342
/proc/meminfo: memFree=255731896/264257624 swapFree=67111528/67111528
[pid=17342] ppid=17340 vsize=18324 CPUtime=0 cores=0-31
/proc/17342/stat : 17342 (ppfolio) S 17340 17342 17316 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 631358274 18763776 385 268435456000 4194304 4287625 140734001597008 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 8 0 0 0
/proc/17342/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100831 s]
/proc/loadavg: 29.44 31.10 31.60 1/413 17342
/proc/meminfo: memFree=255731896/264257624 swapFree=67111528/67111528
[pid=17342] ppid=17340 vsize=18324 CPUtime=0 cores=0-31
/proc/17342/stat : 17342 (ppfolio) S 17340 17342 17316 0 -1 4202496 511 0 0 0 0 0 0 0 20 0 1 0 631358274 18763776 385 268435456000 4194304 4287625 140734001597008 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 8 0 0 0
/proc/17342/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300812 s]
/proc/loadavg: 29.44 31.10 31.60 1/413 17342
/proc/meminfo: memFree=255731896/264257624 swapFree=67111528/67111528
[pid=17342] ppid=17340 vsize=18324 CPUtime=0 cores=0-31
/proc/17342/stat : 17342 (ppfolio) S 17340 17342 17316 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 631358274 18763776 385 268435456000 4194304 4287625 140734001597008 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 8 0 0 0
/proc/17342/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700862 s]
/proc/loadavg: 29.44 31.10 31.60 1/413 17342
/proc/meminfo: memFree=255731896/264257624 swapFree=67111528/67111528
[pid=17342] ppid=17340 vsize=18324 CPUtime=0 cores=0-31
/proc/17342/stat : 17342 (ppfolio) S 17340 17342 17316 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 631358274 18763776 385 268435456000 4194304 4287625 140734001597008 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 8 0 0 0
/proc/17342/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50087 s]
/proc/loadavg: 29.44 31.10 31.60 6/419 17353
/proc/meminfo: memFree=255528836/264257624 swapFree=67111528/67111528
[pid=17342] ppid=17340 vsize=18324 CPUtime=0 cores=0-31
/proc/17342/stat : 17342 (ppfolio) S 17340 17342 17316 0 -1 4202496 511 0 0 0 0 0 0 0 18 0 1 0 631358274 18763776 385 268435456000 4194304 4287625 140734001597008 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 8 0 0 0
/proc/17342/statm: 4581 385 337 23 0 91 0
[pid=17343] ppid=17342 vsize=52968 CPUtime=1.48 cores=0
/proc/17343/stat : 17343 (cryptominisat) R 17342 17342 17316 0 -1 4202496 8228 0 0 0 145 3 0 0 25 0 1 0 631358275 54239232 7931 268435456000 4194304 4587354 140735447968832 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17343/statm: 13242 7931 304 96 0 9804 0
[pid=17344] ppid=17342 vsize=66372 CPUtime=1.48 cores=1
/proc/17344/stat : 17344 (clasp) R 17342 17342 17316 0 -1 4202496 15872 0 0 0 142 6 0 0 20 0 1 0 631358275 67964928 13577 268435456000 4194304 4785740 140734482654144 18446744073709551615 258650616632 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/17344/statm: 16593 13577 317 145 0 13638 0
[pid=17345] ppid=17342 vsize=470348 CPUtime=1.48 cores=2
/proc/17345/stat : 17345 (TNM) R 17342 17342 17316 0 -1 4202496 9280 0 0 0 145 3 0 0 20 0 1 0 631358275 481636352 9178 268435456000 134512640 134534564 4291742400 18446744073709551615 134529352 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17345/statm: 117587 9178 95 6 0 116252 0
[pid=17346] ppid=17342 vsize=61404 CPUtime=1.48 cores=3
/proc/17346/stat : 17346 (march_hi) R 17342 17342 17316 0 -1 4202496 34996 0 0 0 137 11 0 0 20 0 1 0 631358275 62877696 11348 268435456000 4194304 4331988 140733401484752 18446744073709551615 4252171 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17346/statm: 15351 11348 138 34 0 13793 0
[pid=17347] ppid=17342 vsize=119940 CPUtime=1.49 cores=4-31
/proc/17347/stat : 17347 (plingeling) R 17342 17342 17316 0 -1 4202496 28760 1243 0 0 140 8 0 1 21 0 1 0 631358275 122818560 28644 268435456000 4194304 4356188 140735802098848 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/17347/statm: 29985 28644 129 40 0 28529 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 789356
[startup+3.10089 s]
/proc/loadavg: 27.48 30.66 31.46 6/419 17353
/proc/meminfo: memFree=255386756/264257624 swapFree=67111528/67111528
[pid=17342] ppid=17340 vsize=18324 CPUtime=0 cores=0-31
/proc/17342/stat : 17342 (ppfolio) S 17340 17342 17316 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 631358274 18763776 385 268435456000 4194304 4287625 140734001597008 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 8 0 0 0
/proc/17342/statm: 4581 385 337 23 0 91 0
[pid=17343] ppid=17342 vsize=132096 CPUtime=3.08 cores=0
/proc/17343/stat : 17343 (cryptominisat) R 17342 17342 17316 0 -1 4202496 24026 0 0 0 302 6 0 0 25 0 1 0 631358275 135266304 19185 268435456000 4194304 4587354 140735447968832 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17343/statm: 33024 19185 330 96 0 29586 0
[pid=17344] ppid=17342 vsize=65580 CPUtime=3.08 cores=1
/proc/17344/stat : 17344 (clasp) R 17342 17342 17316 0 -1 4202496 17169 0 0 0 302 6 0 0 25 0 1 0 631358275 67153920 13497 268435456000 4194304 4785740 140734482654144 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/17344/statm: 16395 13497 338 145 0 13440 0
[pid=17345] ppid=17342 vsize=470348 CPUtime=3.08 cores=2
/proc/17345/stat : 17345 (TNM) R 17342 17342 17316 0 -1 4202496 9280 0 0 0 305 3 0 0 25 0 1 0 631358275 481636352 9178 268435456000 134512640 134534564 4291742400 18446744073709551615 134525873 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17345/statm: 117587 9178 95 6 0 116252 0
[pid=17346] ppid=17342 vsize=173092 CPUtime=3.08 cores=3
/proc/17346/stat : 17346 (march_hi) R 17342 17342 17316 0 -1 4202496 79328 0 0 0 287 21 0 0 25 0 1 0 631358275 177246208 22136 268435456000 4194304 4331988 140733401484752 18446744073709551615 4228847 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17346/statm: 43273 22141 172 34 0 41715 0
[pid=17347] ppid=17342 vsize=255112 CPUtime=3.09 cores=4-31
/proc/17347/stat : 17347 (plingeling) R 17342 17342 17316 0 -1 4202496 62454 1243 0 0 294 14 0 1 25 0 1 0 631358275 261234688 62338 268435456000 4194304 4356188 140735802098848 18446744073709551615 258650649933 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/17347/statm: 63778 62345 129 40 0 62322 0
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (KiB) 1114552
[startup+6.30197 s]
/proc/loadavg: 27.48 30.66 31.46 33/447 17381
/proc/meminfo: memFree=254905448/264257624 swapFree=67111528/67111528
[pid=17342] ppid=17340 vsize=18324 CPUtime=0 cores=0-31
/proc/17342/stat : 17342 (ppfolio) S 17340 17342 17316 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 631358274 18763776 385 268435456000 4194304 4287625 140734001597008 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 8 0 0 0
/proc/17342/statm: 4581 385 337 23 0 91 0
[pid=17343] ppid=17342 vsize=132096 CPUtime=6.28 cores=0
/proc/17343/stat : 17343 (cryptominisat) R 17342 17342 17316 0 -1 4202496 24210 0 0 0 622 6 0 0 25 0 1 0 631358275 135266304 19356 268435456000 4194304 4587354 140735447968832 18446744073709551615 4248764 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17343/statm: 33024 19356 330 96 0 29586 0
[pid=17344] ppid=17342 vsize=65580 CPUtime=6.28 cores=1
/proc/17344/stat : 17344 (clasp) R 17342 17342 17316 0 -1 4202496 17169 0 0 0 622 6 0 0 25 0 1 0 631358275 67153920 13497 268435456000 4194304 4785740 140734482654144 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/17344/statm: 16395 13497 338 145 0 13440 0
[pid=17345] ppid=17342 vsize=470348 CPUtime=6.28 cores=2
/proc/17345/stat : 17345 (TNM) R 17342 17342 17316 0 -1 4202496 9280 0 0 0 625 3 0 0 25 0 1 0 631358275 481636352 9178 268435456000 134512640 134534564 4291742400 18446744073709551615 134530260 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17345/statm: 117587 9178 95 6 0 116252 0
[pid=17346] ppid=17342 vsize=182460 CPUtime=6.28 cores=3
/proc/17346/stat : 17346 (march_hi) R 17342 17342 17316 0 -1 4202496 96422 0 0 0 603 25 0 0 25 0 1 0 631358275 186839040 39230 268435456000 4194304 4331988 140733401484752 18446744073709551615 4229351 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17346/statm: 45615 39230 172 34 0 44057 0
[pid=17347] ppid=17342 vsize=927644 CPUtime=61.64 cores=4-31
/proc/17347/stat : 17347 (plingeling) S 17342 17342 17316 0 -1 4202496 219486 1243 0 0 6109 54 0 1 18 0 29 0 631358275 949907456 119742 268435456000 4194304 4356188 140735802098848 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/17347/statm: 231911 119748 155 40 0 230455 0
[pid=17347/tid=17354] ppid=17342 vsize=927644 CPUtime=2.05 cores=4-31
/proc/17347/task/17354/stat : 17354 (plingeling) R 17342 17342 17316 0 -1 4202560 6636 1243 0 0 203 1 0 1 25 0 29 0 631358696 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4322106 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17347/tid=17355] ppid=17342 vsize=927644 CPUtime=2.08 cores=4-31
/proc/17347/task/17355/stat : 17355 (plingeling) R 17342 17342 17316 0 -1 4202560 6985 1243 0 0 206 1 0 1 21 0 29 0 631358696 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17347/tid=17356] ppid=17342 vsize=927644 CPUtime=2.07 cores=4-31
/proc/17347/task/17356/stat : 17356 (plingeling) R 17342 17342 17316 0 -1 4202560 4532 1243 0 0 205 1 0 1 20 0 29 0 631358696 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4321963 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17347/tid=17357] ppid=17342 vsize=927644 CPUtime=2.08 cores=4-31
/proc/17347/task/17357/stat : 17357 (plingeling) R 17342 17342 17316 0 -1 4202560 4121 1243 0 0 206 1 0 1 19 0 29 0 631358696 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17347/tid=17358] ppid=17342 vsize=927644 CPUtime=2.06 cores=4-31
/proc/17347/task/17358/stat : 17358 (plingeling) R 17342 17342 17316 0 -1 4202560 4865 1243 0 0 204 1 0 1 25 0 29 0 631358696 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4322000 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17347/tid=17359] ppid=17342 vsize=927644 CPUtime=2.06 cores=4-31
/proc/17347/task/17359/stat : 17359 (plingeling) R 17342 17342 17316 0 -1 4202560 3701 1243 0 0 205 0 0 1 21 0 29 0 631358696 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4317483 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17347/tid=17360] ppid=17342 vsize=927644 CPUtime=2.07 cores=4-31
/proc/17347/task/17360/stat : 17360 (plingeling) R 17342 17342 17316 0 -1 4202560 3595 1243 0 0 206 0 0 1 21 0 29 0 631358696 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4322074 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17347/tid=17361] ppid=17342 vsize=927644 CPUtime=2.06 cores=4-31
/proc/17347/task/17361/stat : 17361 (plingeling) R 17342 17342 17316 0 -1 4202560 3894 1243 0 0 204 1 0 1 25 0 29 0 631358696 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4321511 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17347/tid=17362] ppid=17342 vsize=927644 CPUtime=2.07 cores=4-31
/proc/17347/task/17362/stat : 17362 (plingeling) R 17342 17342 17316 0 -1 4202560 3593 1243 0 0 205 1 0 1 21 0 29 0 631358696 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4321963 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17347/tid=17363] ppid=17342 vsize=927644 CPUtime=2 cores=4-31
/proc/17347/task/17363/stat : 17363 (plingeling) R 17342 17342 17316 0 -1 4202560 1165 1243 0 0 199 0 0 1 25 0 29 0 631358696 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4244333 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17347/tid=17364] ppid=17342 vsize=927644 CPUtime=2.05 cores=4-31
/proc/17347/task/17364/stat : 17364 (plingeling) R 17342 17342 17316 0 -1 4202560 4290 1243 0 0 204 0 0 1 25 0 29 0 631358697 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4317120 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17347/tid=17365] ppid=17342 vsize=927644 CPUtime=2.05 cores=4-31
/proc/17347/task/17365/stat : 17365 (plingeling) R 17342 17342 17316 0 -1 4202560 3890 1243 0 0 204 0 0 1 18 0 29 0 631358697 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4334518 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17347/tid=17366] ppid=17342 vsize=927644 CPUtime=2.05 cores=4-31
/proc/17347/task/17366/stat : 17366 (plingeling) R 17342 17342 17316 0 -1 4202560 4588 1243 0 0 204 0 0 1 20 0 29 0 631358697 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17347/tid=17367] ppid=17342 vsize=927644 CPUtime=2.06 cores=4-31
/proc/17347/task/17367/stat : 17367 (plingeling) R 17342 17342 17316 0 -1 4202560 2577 1243 0 0 205 0 0 1 21 0 29 0 631358697 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4321927 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17347/tid=17368] ppid=17342 vsize=927644 CPUtime=2.06 cores=4-31
/proc/17347/task/17368/stat : 17368 (plingeling) R 17342 17342 17316 0 -1 4202560 5854 1243 0 0 204 1 0 1 25 0 29 0 631358697 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4320759 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17347/tid=17369] ppid=17342 vsize=927644 CPUtime=2.05 cores=4-31
/proc/17347/task/17369/stat : 17369 (plingeling) R 17342 17342 17316 0 -1 4202560 3584 1243 0 0 204 0 0 1 21 0 29 0 631358697 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17347/tid=17370] ppid=17342 vsize=927644 CPUtime=2.06 cores=4-31
/proc/17347/task/17370/stat : 17370 (plingeling) R 17342 17342 17316 0 -1 4202560 4269 1243 0 0 204 1 0 1 25 0 29 0 631358697 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4322106 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17347/tid=17371] ppid=17342 vsize=927644 CPUtime=2.06 cores=4-31
/proc/17347/task/17371/stat : 17371 (plingeling) R 17342 17342 17316 0 -1 4202560 4692 1243 0 0 204 1 0 1 25 0 29 0 631358697 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4321963 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17347/tid=17372] ppid=17342 vsize=927644 CPUtime=2.06 cores=4-31
/proc/17347/task/17372/stat : 17372 (plingeling) R 17342 17342 17316 0 -1 4202560 4670 1243 0 0 204 1 0 1 25 0 29 0 631358697 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4315131 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17347/tid=17373] ppid=17342 vsize=927644 CPUtime=2.02 cores=4-31
/proc/17347/task/17373/stat : 17373 (plingeling) R 17342 17342 17316 0 -1 4202560 1826 1243 0 0 201 0 0 1 25 0 29 0 631358697 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4334437 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17347/tid=17374] ppid=17342 vsize=927644 CPUtime=2.04 cores=4-31
/proc/17347/task/17374/stat : 17374 (plingeling) R 17342 17342 17316 0 -1 4202560 2429 1243 0 0 203 0 0 1 21 0 29 0 631358698 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4314588 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17347/tid=17375] ppid=17342 vsize=927644 CPUtime=2.03 cores=4-31
/proc/17347/task/17375/stat : 17375 (plingeling) R 17342 17342 17316 0 -1 4202560 3764 1243 0 0 202 0 0 1 25 0 29 0 631358698 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4322106 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17347/tid=17376] ppid=17342 vsize=927644 CPUtime=2.03 cores=4-31
/proc/17347/task/17376/stat : 17376 (plingeling) R 17342 17342 17316 0 -1 4202560 3347 1243 0 0 201 1 0 1 25 0 29 0 631358698 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17347/tid=17377] ppid=17342 vsize=927644 CPUtime=2.04 cores=4-31
/proc/17347/task/17377/stat : 17377 (plingeling) R 17342 17342 17316 0 -1 4202560 2154 1243 0 0 202 1 0 1 21 0 29 0 631358698 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4262044 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17347/tid=17378] ppid=17342 vsize=927644 CPUtime=2.01 cores=4-31
/proc/17347/task/17378/stat : 17378 (plingeling) R 17342 17342 17316 0 -1 4202560 2138 1243 0 0 200 0 0 1 25 0 29 0 631358698 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4260252 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17347/tid=17379] ppid=17342 vsize=927644 CPUtime=2.04 cores=4-31
/proc/17347/task/17379/stat : 17379 (plingeling) R 17342 17342 17316 0 -1 4202560 3089 1243 0 0 203 0 0 1 25 0 29 0 631358698 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4315078 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17347/tid=17380] ppid=17342 vsize=927644 CPUtime=2.06 cores=4-31
/proc/17347/task/17380/stat : 17380 (plingeling) R 17342 17342 17316 0 -1 4202560 3378 1243 0 0 205 0 0 1 21 0 29 0 631358698 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4322106 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17347/tid=17381] ppid=17342 vsize=927644 CPUtime=2.04 cores=4-31
/proc/17347/task/17381/stat : 17381 (plingeling) R 17342 17342 17316 0 -1 4202560 2836 1243 0 0 202 1 0 1 25 0 29 0 631358698 949907456 119748 268435456000 4194304 4356188 140735802098848 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 86.76
Current children cumulated vsize (KiB) 1796452
[startup+12.7022 s]
/proc/loadavg: 28.17 30.71 31.46 33/447 17381
/proc/meminfo: memFree=254481588/264257624 swapFree=67111528/67111528
[pid=17342] ppid=17340 vsize=18324 CPUtime=0 cores=0-31
/proc/17342/stat : 17342 (ppfolio) S 17340 17342 17316 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 631358274 18763776 385 268435456000 4194304 4287625 140734001597008 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 8 0 0 0
/proc/17342/statm: 4581 385 337 23 0 91 0
[pid=17343] ppid=17342 vsize=132096 CPUtime=12.68 cores=0
/proc/17343/stat : 17343 (cryptominisat) R 17342 17342 17316 0 -1 4202496 24558 0 0 0 1262 6 0 0 25 0 1 0 631358275 135266304 19689 268435456000 4194304 4587354 140735447968832 18446744073709551615 4449074 0 0 4096 2 0 0 0 17 0 0 0 0
################
# More data... #
################
[pid=17342] ppid=17340 vsize=18324 CPUtime=0 cores=0-31
/proc/17342/stat : 17342 (ppfolio) S 17340 17342 17316 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 631358274 18763776 385 268435456000 4194304 4287625 140734001597008 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 8 0 0 0
/proc/17342/statm: 4581 385 337 23 0 91 0
[pid=17343] ppid=17342 vsize=2159848 CPUtime=515.38 cores=0
/proc/17343/stat : 17343 (cryptominisat) R 17342 17342 17316 0 -1 4202496 131797 0 0 0 51487 51 0 0 25 0 1 0 631358275 2211684352 38008 268435456000 4194304 4587354 140735447968832 18446744073709551615 4232133 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17343/statm: 539962 38008 336 96 0 536524 0
[pid=17344] ppid=17342 vsize=210404 CPUtime=515.39 cores=1
/proc/17344/stat : 17344 (clasp) R 17342 17342 17316 0 -1 4202496 53231 0 0 0 51513 26 0 0 25 0 1 0 631358275 215453696 49559 268435456000 4194304 4785740 140734482654144 18446744073709551615 4287017 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/17344/statm: 52601 49559 338 145 0 49646 0
[pid=17345] ppid=17342 vsize=470348 CPUtime=515.38 cores=2
/proc/17345/stat : 17345 (TNM) R 17342 17342 17316 0 -1 4202496 9280 0 0 0 51535 3 0 0 25 0 1 0 631358275 481636352 9178 268435456000 134512640 134534564 4291742400 18446744073709551615 134530736 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17345/statm: 117587 9178 95 6 0 116252 0
[pid=17346] ppid=17342 vsize=232308 CPUtime=515.39 cores=3
/proc/17346/stat : 17346 (march_hi) R 17342 17342 17316 0 -1 4202496 108050 0 0 0 51504 35 0 0 25 0 1 0 631358275 237883392 50711 268435456000 4194304 4331988 140733401484752 18446744073709551615 4228864 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17346/statm: 58077 50711 172 34 0 56519 0
[pid=17347] ppid=17342 vsize=1830484 CPUtime=14298 cores=4-31
/proc/17347/stat : 17347 (plingeling) S 17342 17342 17316 0 -1 4202496 675272 1243 0 0 1429542 261 0 1 18 0 29 0 631358275 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/17347/statm: 457621 328758 159 40 0 456165 0
[pid=17347/tid=17354] ppid=17342 vsize=1830484 CPUtime=511.08 cores=4-31
/proc/17347/task/17354/stat : 17354 (plingeling) R 17342 17342 17316 0 -1 4202560 22046 1243 0 0 51103 4 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4279749 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17347/tid=17355] ppid=17342 vsize=1830484 CPUtime=511.11 cores=4-31
/proc/17347/task/17355/stat : 17355 (plingeling) R 17342 17342 17316 0 -1 4202560 23481 1243 0 0 51102 8 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17347/tid=17356] ppid=17342 vsize=1830484 CPUtime=511.05 cores=4-31
/proc/17347/task/17356/stat : 17356 (plingeling) R 17342 17342 17316 0 -1 4202560 19783 1243 0 0 51095 9 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17347/tid=17357] ppid=17342 vsize=1830484 CPUtime=511.07 cores=4-31
/proc/17347/task/17357/stat : 17357 (plingeling) R 17342 17342 17316 0 -1 4202560 31674 1243 0 0 51091 15 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4238461 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17347/tid=17358] ppid=17342 vsize=1830484 CPUtime=496.73 cores=4-31
/proc/17347/task/17358/stat : 17358 (plingeling) R 17342 17342 17316 0 -1 4202560 19938 1243 0 0 49663 9 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17347/tid=17359] ppid=17342 vsize=1830484 CPUtime=510.9 cores=4-31
/proc/17347/task/17359/stat : 17359 (plingeling) R 17342 17342 17316 0 -1 4202560 13430 1243 0 0 51083 6 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4242651 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17347/tid=17360] ppid=17342 vsize=1830484 CPUtime=511.03 cores=4-31
/proc/17347/task/17360/stat : 17360 (plingeling) R 17342 17342 17316 0 -1 4202560 19678 1243 0 0 51098 4 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4211022 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17347/tid=17361] ppid=17342 vsize=1830484 CPUtime=511.01 cores=4-31
/proc/17347/task/17361/stat : 17361 (plingeling) R 17342 17342 17316 0 -1 4202560 25801 1243 0 0 51089 11 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4242660 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17347/tid=17362] ppid=17342 vsize=1830484 CPUtime=511.05 cores=4-31
/proc/17347/task/17362/stat : 17362 (plingeling) R 17342 17342 17316 0 -1 4202560 12879 1243 0 0 51092 12 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17347/tid=17363] ppid=17342 vsize=1830484 CPUtime=510.86 cores=4-31
/proc/17347/task/17363/stat : 17363 (plingeling) R 17342 17342 17316 0 -1 4202560 18407 1243 0 0 51079 6 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331311 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17347/tid=17364] ppid=17342 vsize=1830484 CPUtime=510.91 cores=4-31
/proc/17347/task/17364/stat : 17364 (plingeling) R 17342 17342 17316 0 -1 4202560 17602 1243 0 0 51081 9 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17347/tid=17365] ppid=17342 vsize=1830484 CPUtime=511.05 cores=4-31
/proc/17347/task/17365/stat : 17365 (plingeling) R 17342 17342 17316 0 -1 4202560 23611 1243 0 0 51091 13 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17347/tid=17366] ppid=17342 vsize=1830484 CPUtime=510.95 cores=4-31
/proc/17347/task/17366/stat : 17366 (plingeling) R 17342 17342 17316 0 -1 4202560 19459 1243 0 0 51088 6 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17347/tid=17367] ppid=17342 vsize=1830484 CPUtime=511.03 cores=4-31
/proc/17347/task/17367/stat : 17367 (plingeling) R 17342 17342 17316 0 -1 4202560 15513 1243 0 0 51095 7 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17347/tid=17368] ppid=17342 vsize=1830484 CPUtime=511.11 cores=4-31
/proc/17347/task/17368/stat : 17368 (plingeling) R 17342 17342 17316 0 -1 4202560 21046 1243 0 0 51101 9 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4281771 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17347/tid=17369] ppid=17342 vsize=1830484 CPUtime=511.1 cores=4-31
/proc/17347/task/17369/stat : 17369 (plingeling) R 17342 17342 17316 0 -1 4202560 24302 1243 0 0 51104 5 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17347/tid=17370] ppid=17342 vsize=1830484 CPUtime=511.01 cores=4-31
/proc/17347/task/17370/stat : 17370 (plingeling) R 17342 17342 17316 0 -1 4202560 24237 1243 0 0 51091 9 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17347/tid=17371] ppid=17342 vsize=1830484 CPUtime=511.1 cores=4-31
/proc/17347/task/17371/stat : 17371 (plingeling) R 17342 17342 17316 0 -1 4202560 25771 1243 0 0 51100 9 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17347/tid=17372] ppid=17342 vsize=1830484 CPUtime=511.07 cores=4-31
/proc/17347/task/17372/stat : 17372 (plingeling) R 17342 17342 17316 0 -1 4202560 19134 1243 0 0 51098 8 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17347/tid=17373] ppid=17342 vsize=1830484 CPUtime=511.01 cores=4-31
/proc/17347/task/17373/stat : 17373 (plingeling) R 17342 17342 17316 0 -1 4202560 21404 1243 0 0 51086 14 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331026 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17347/tid=17374] ppid=17342 vsize=1830484 CPUtime=511.09 cores=4-31
/proc/17347/task/17374/stat : 17374 (plingeling) R 17342 17342 17316 0 -1 4202560 15825 1243 0 0 51104 4 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17347/tid=17375] ppid=17342 vsize=1830484 CPUtime=510.75 cores=4-31
/proc/17347/task/17375/stat : 17375 (plingeling) R 17342 17342 17316 0 -1 4202560 17083 1243 0 0 51066 8 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17347/tid=17376] ppid=17342 vsize=1830484 CPUtime=511.07 cores=4-31
/proc/17347/task/17376/stat : 17376 (plingeling) R 17342 17342 17316 0 -1 4202560 21624 1243 0 0 51098 8 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4281668 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17347/tid=17377] ppid=17342 vsize=1830484 CPUtime=510.89 cores=4-31
/proc/17347/task/17377/stat : 17377 (plingeling) R 17342 17342 17316 0 -1 4202560 18203 1243 0 0 51081 7 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17347/tid=17378] ppid=17342 vsize=1830484 CPUtime=511 cores=4-31
/proc/17347/task/17378/stat : 17378 (plingeling) R 17342 17342 17316 0 -1 4202560 18889 1243 0 0 51093 6 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17347/tid=17379] ppid=17342 vsize=1830484 CPUtime=511.15 cores=4-31
/proc/17347/task/17379/stat : 17379 (plingeling) R 17342 17342 17316 0 -1 4202560 16356 1243 0 0 51107 7 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17347/tid=17380] ppid=17342 vsize=1830484 CPUtime=510.9 cores=4-31
/proc/17347/task/17380/stat : 17380 (plingeling) R 17342 17342 17316 0 -1 4202560 20013 1243 0 0 51084 5 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17347/tid=17381] ppid=17342 vsize=1830484 CPUtime=510.79 cores=4-31
/proc/17347/task/17381/stat : 17381 (plingeling) R 17342 17342 17316 0 -1 4202560 15052 1243 0 0 51071 7 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 16359.6
Current children cumulated vsize (KiB) 4921716
[startup+515.702 s]
/proc/loadavg: 32.00 31.77 31.68 33/447 17393
/proc/meminfo: memFree=253836472/264257624 swapFree=67111528/67111528
[pid=17342] ppid=17340 vsize=18324 CPUtime=0 cores=0-31
/proc/17342/stat : 17342 (ppfolio) S 17340 17342 17316 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 631358274 18763776 385 268435456000 4194304 4287625 140734001597008 18446744073709551615 258650975999 0 0 4096 65536 9170076650967138303 0 0 17 8 0 0 0
/proc/17342/statm: 4581 385 337 23 0 91 0
[pid=17343] ppid=17342 vsize=2159332 CPUtime=515.58 cores=0
/proc/17343/stat : 17343 (cryptominisat) R 17342 17342 17316 0 -1 4202496 131815 0 0 0 51507 51 0 0 25 0 1 0 631358275 2211155968 37938 268435456000 4194304 4587354 140735447968832 18446744073709551615 258650610681 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17343/statm: 539833 37938 349 96 0 536395 0
[pid=17344] ppid=17342 vsize=210404 CPUtime=515.59 cores=1
/proc/17344/stat : 17344 (clasp) R 17342 17342 17316 0 -1 4202496 53231 0 0 0 51533 26 0 0 25 0 1 0 631358275 215453696 49559 268435456000 4194304 4785740 140734482654144 18446744073709551615 4553027 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/17344/statm: 52601 49559 338 145 0 49646 0
[pid=17345] ppid=17342 vsize=470348 CPUtime=515.58 cores=2
/proc/17345/stat : 17345 (TNM) R 17342 17342 17316 0 -1 4202496 9280 0 0 0 51555 3 0 0 25 0 1 0 631358275 481636352 9178 268435456000 134512640 134534564 4291742400 18446744073709551615 134530151 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/17345/statm: 117587 9178 95 6 0 116252 0
[pid=17346] ppid=17342 vsize=232308 CPUtime=515.59 cores=3
/proc/17346/stat : 17346 (march_hi) R 17342 17342 17316 0 -1 4202496 108050 0 0 0 51524 35 0 0 25 0 1 0 631358275 237883392 50711 268435456000 4194304 4331988 140733401484752 18446744073709551615 4229294 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/17346/statm: 58077 50711 172 34 0 56519 0
[pid=17347] ppid=17342 vsize=1830484 CPUtime=14303.6 cores=4-31
/proc/17347/stat : 17347 (plingeling) S 17342 17342 17316 0 -1 4202496 675272 1243 0 0 1430102 261 0 1 18 0 29 0 631358275 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/17347/statm: 457621 328758 159 40 0 456165 0
[pid=17347/tid=17354] ppid=17342 vsize=1830484 CPUtime=511.28 cores=4-31
/proc/17347/task/17354/stat : 17354 (plingeling) R 17342 17342 17316 0 -1 4202560 22046 1243 0 0 51123 4 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4281681 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=17347/tid=17355] ppid=17342 vsize=1830484 CPUtime=511.31 cores=4-31
/proc/17347/task/17355/stat : 17355 (plingeling) R 17342 17342 17316 0 -1 4202560 23481 1243 0 0 51122 8 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331401 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=17347/tid=17356] ppid=17342 vsize=1830484 CPUtime=511.25 cores=4-31
/proc/17347/task/17356/stat : 17356 (plingeling) R 17342 17342 17316 0 -1 4202560 19783 1243 0 0 51115 9 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=17347/tid=17357] ppid=17342 vsize=1830484 CPUtime=511.27 cores=4-31
/proc/17347/task/17357/stat : 17357 (plingeling) R 17342 17342 17316 0 -1 4202560 31674 1243 0 0 51111 15 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4238443 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=17347/tid=17358] ppid=17342 vsize=1830484 CPUtime=496.93 cores=4-31
/proc/17347/task/17358/stat : 17358 (plingeling) R 17342 17342 17316 0 -1 4202560 19938 1243 0 0 49683 9 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=17347/tid=17359] ppid=17342 vsize=1830484 CPUtime=511.1 cores=4-31
/proc/17347/task/17359/stat : 17359 (plingeling) R 17342 17342 17316 0 -1 4202560 13430 1243 0 0 51103 6 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=17347/tid=17360] ppid=17342 vsize=1830484 CPUtime=511.23 cores=4-31
/proc/17347/task/17360/stat : 17360 (plingeling) R 17342 17342 17316 0 -1 4202560 19678 1243 0 0 51118 4 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4281652 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=17347/tid=17361] ppid=17342 vsize=1830484 CPUtime=511.21 cores=4-31
/proc/17347/task/17361/stat : 17361 (plingeling) R 17342 17342 17316 0 -1 4202560 25801 1243 0 0 51109 11 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4225618 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=17347/tid=17362] ppid=17342 vsize=1830484 CPUtime=511.25 cores=4-31
/proc/17347/task/17362/stat : 17362 (plingeling) R 17342 17342 17316 0 -1 4202560 12879 1243 0 0 51112 12 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4281760 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=17347/tid=17363] ppid=17342 vsize=1830484 CPUtime=511.06 cores=4-31
/proc/17347/task/17363/stat : 17363 (plingeling) R 17342 17342 17316 0 -1 4202560 18407 1243 0 0 51099 6 0 1 25 0 29 0 631358696 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=17347/tid=17364] ppid=17342 vsize=1830484 CPUtime=511.11 cores=4-31
/proc/17347/task/17364/stat : 17364 (plingeling) R 17342 17342 17316 0 -1 4202560 17602 1243 0 0 51101 9 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4281652 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=17347/tid=17365] ppid=17342 vsize=1830484 CPUtime=511.25 cores=4-31
/proc/17347/task/17365/stat : 17365 (plingeling) R 17342 17342 17316 0 -1 4202560 23611 1243 0 0 51111 13 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=17347/tid=17366] ppid=17342 vsize=1830484 CPUtime=511.15 cores=4-31
/proc/17347/task/17366/stat : 17366 (plingeling) R 17342 17342 17316 0 -1 4202560 19459 1243 0 0 51108 6 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331841 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=17347/tid=17367] ppid=17342 vsize=1830484 CPUtime=511.23 cores=4-31
/proc/17347/task/17367/stat : 17367 (plingeling) R 17342 17342 17316 0 -1 4202560 15513 1243 0 0 51115 7 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4281692 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=17347/tid=17368] ppid=17342 vsize=1830484 CPUtime=511.31 cores=4-31
/proc/17347/task/17368/stat : 17368 (plingeling) R 17342 17342 17316 0 -1 4202560 21046 1243 0 0 51121 9 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=17347/tid=17369] ppid=17342 vsize=1830484 CPUtime=511.3 cores=4-31
/proc/17347/task/17369/stat : 17369 (plingeling) R 17342 17342 17316 0 -1 4202560 24302 1243 0 0 51124 5 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=17347/tid=17370] ppid=17342 vsize=1830484 CPUtime=511.21 cores=4-31
/proc/17347/task/17370/stat : 17370 (plingeling) R 17342 17342 17316 0 -1 4202560 24237 1243 0 0 51111 9 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=17347/tid=17371] ppid=17342 vsize=1830484 CPUtime=511.3 cores=4-31
/proc/17347/task/17371/stat : 17371 (plingeling) R 17342 17342 17316 0 -1 4202560 25771 1243 0 0 51120 9 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=17347/tid=17372] ppid=17342 vsize=1830484 CPUtime=511.27 cores=4-31
/proc/17347/task/17372/stat : 17372 (plingeling) R 17342 17342 17316 0 -1 4202560 19134 1243 0 0 51118 8 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331045 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=17347/tid=17373] ppid=17342 vsize=1830484 CPUtime=511.21 cores=4-31
/proc/17347/task/17373/stat : 17373 (plingeling) R 17342 17342 17316 0 -1 4202560 21404 1243 0 0 51106 14 0 1 25 0 29 0 631358697 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=17347/tid=17374] ppid=17342 vsize=1830484 CPUtime=511.29 cores=4-31
/proc/17347/task/17374/stat : 17374 (plingeling) R 17342 17342 17316 0 -1 4202560 15825 1243 0 0 51124 4 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4281643 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=17347/tid=17375] ppid=17342 vsize=1830484 CPUtime=510.95 cores=4-31
/proc/17347/task/17375/stat : 17375 (plingeling) R 17342 17342 17316 0 -1 4202560 17083 1243 0 0 51086 8 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=17347/tid=17376] ppid=17342 vsize=1830484 CPUtime=511.27 cores=4-31
/proc/17347/task/17376/stat : 17376 (plingeling) R 17342 17342 17316 0 -1 4202560 21624 1243 0 0 51118 8 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=17347/tid=17377] ppid=17342 vsize=1830484 CPUtime=511.09 cores=4-31
/proc/17347/task/17377/stat : 17377 (plingeling) R 17342 17342 17316 0 -1 4202560 18203 1243 0 0 51101 7 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=17347/tid=17378] ppid=17342 vsize=1830484 CPUtime=511.2 cores=4-31
/proc/17347/task/17378/stat : 17378 (plingeling) R 17342 17342 17316 0 -1 4202560 18889 1243 0 0 51113 6 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=17347/tid=17379] ppid=17342 vsize=1830484 CPUtime=511.35 cores=4-31
/proc/17347/task/17379/stat : 17379 (plingeling) R 17342 17342 17316 0 -1 4202560 16356 1243 0 0 51127 7 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=17347/tid=17380] ppid=17342 vsize=1830484 CPUtime=511.1 cores=4-31
/proc/17347/task/17380/stat : 17380 (plingeling) R 17342 17342 17316 0 -1 4202560 20013 1243 0 0 51104 5 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4284127 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=17347/tid=17381] ppid=17342 vsize=1830484 CPUtime=510.99 cores=4-31
/proc/17347/task/17381/stat : 17381 (plingeling) R 17342 17342 17316 0 -1 4202560 15052 1243 0 0 51091 7 0 1 25 0 29 0 631358698 1874415616 328758 268435456000 4194304 4356188 140735802098848 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 16366
Current children cumulated vsize (KiB) 4921200
[startup+515.802 s]
/proc/loadavg: 32.00 31.77 31.68 2/416 17393
/proc/meminfo: memFree=254861132/264257624 swapFree=67111528/67111528
[pid=17342] ppid=17340 vsize=18324 CPUtime=2062.64 cores=0-31
/proc/17342/stat : 17342 (ppfolio) S 17340 17342 17316 0 -1 4202496 513 302377 0 0 0 0 206143 121 15 0 1 0 631358274 18763776 387 268435456000 4194304 4287625 140734001597008 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 8 0 0 0
/proc/17342/statm: 4581 387 338 23 0 91 0
[pid=17347] ppid=17342 vsize=0 CPUtime=14305.3 cores=4-31
/proc/17347/stat : 17347 (plingeling) Z 17342 17342 17316 0 -1 4203548 675272 1243 0 0 1430264 267 0 1 18 0 2 0 631358275 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 14 0 0 0
/proc/17347/statm: 0 0 0 0 0 0 0
[pid=17347/tid=17370] ppid=17342 vsize=0 CPUtime=511.33 cores=4-31
/proc/17347/task/17370/stat : 17370 (plingeling) R 17342 17342 17316 0 -1 4203588 24237 1243 0 0 51117 15 0 1 25 0 2 0 631358697 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 14 0 0 0
Current children cumulated CPU time (s) 16368
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 515.875
CPU time (s): 16368.1
CPU user time (s): 16364.1
CPU system time (s): 3.9674
CPU usage (%): 3172.87
Max. virtual memory (cumulated for all children) (KiB): 6637956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16364.1
system time used= 3.9674
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 979424
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= 2567
involuntary context switches= 40617
runsolver used 3.08953 second user time and 11.5013 second system time
The end
Begin job on node200 at 2011-05-12 13:11:59
IDJOB=3347467
IDBENCH=82469
IDSOLVER=1808
FILE ID=node200/3347467-1305198718
RUNJOBID= node200-1305198718-17330
PBS_JOBID= 13282082
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k50-pdtpmsns2-tseitin.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347467-1305198718/watcher-3347467-1305198718 -o /tmp/evaluation-result-3347467-1305198718/solver-3347467-1305198718 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347467-1305198718.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 9059f458d76edcc4dc5681746a6de6e5
RANDOM SEED=1215115923
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: 255732060 kB
Buffers: 426768 kB
Cached: 7693292 kB
SwapCached: 0 kB
Active: 7264660 kB
Inactive: 923932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255732060 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 14608 kB
Writeback: 0 kB
AnonPages: 69864 kB
Mapped: 13724 kB
Slab: 248984 kB
PageTables: 4228 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 189588 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-12 13:20:35