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
4263.57/136.80 s UNSATISFIABLE
4263.57/136.82 solver [5] plingeling 276-6264d55-100731 answered
4263.57/136.82 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-3347413-1305157365/watcher-3347413-1305157365 -o /tmp/evaluation-result-3347413-1305157365/solver-3347413-1305157365 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347413-1305157365.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: 25.53 21.47 22.97 1/413 12162
/proc/meminfo: memFree=255849404/264257624 swapFree=67111528/67111528
[pid=12162] ppid=12160 vsize=18324 CPUtime=0 cores=0-31
/proc/12162/stat : 12162 (ppfolio) S 12160 12162 12136 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 627222949 18763776 385 268435456000 4194304 4287625 140736869433424 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 12 0 0 0
/proc/12162/statm: 4581 385 337 23 0 91 0
[startup+0.136393 s]
/proc/loadavg: 25.53 21.47 22.97 1/413 12162
/proc/meminfo: memFree=255849404/264257624 swapFree=67111528/67111528
[pid=12162] ppid=12160 vsize=18324 CPUtime=0 cores=0-31
/proc/12162/stat : 12162 (ppfolio) S 12160 12162 12136 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 627222949 18763776 385 268435456000 4194304 4287625 140736869433424 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 12 0 0 0
/proc/12162/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200426 s]
/proc/loadavg: 25.53 21.47 22.97 1/413 12162
/proc/meminfo: memFree=255849404/264257624 swapFree=67111528/67111528
[pid=12162] ppid=12160 vsize=18324 CPUtime=0 cores=0-31
/proc/12162/stat : 12162 (ppfolio) S 12160 12162 12136 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 627222949 18763776 385 268435456000 4194304 4287625 140736869433424 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 12 0 0 0
/proc/12162/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300411 s]
/proc/loadavg: 25.53 21.47 22.97 1/413 12162
/proc/meminfo: memFree=255849404/264257624 swapFree=67111528/67111528
[pid=12162] ppid=12160 vsize=18324 CPUtime=0 cores=0-31
/proc/12162/stat : 12162 (ppfolio) S 12160 12162 12136 0 -1 4202496 513 0 0 0 0 0 0 0 18 0 1 0 627222949 18763776 385 268435456000 4194304 4287625 140736869433424 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 12 0 0 0
/proc/12162/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700419 s]
/proc/loadavg: 25.53 21.47 22.97 1/413 12162
/proc/meminfo: memFree=255849404/264257624 swapFree=67111528/67111528
[pid=12162] ppid=12160 vsize=18324 CPUtime=0 cores=0-31
/proc/12162/stat : 12162 (ppfolio) S 12160 12162 12136 0 -1 4202496 513 0 0 0 0 0 0 0 18 0 1 0 627222949 18763776 385 268435456000 4194304 4287625 140736869433424 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 12 0 0 0
/proc/12162/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50146 s]
/proc/loadavg: 25.53 21.47 22.97 6/419 12173
/proc/meminfo: memFree=255618440/264257624 swapFree=67111528/67111528
[pid=12162] ppid=12160 vsize=18324 CPUtime=0 cores=0-31
/proc/12162/stat : 12162 (ppfolio) S 12160 12162 12136 0 -1 4202496 513 0 0 0 0 0 0 0 18 0 1 0 627222949 18763776 385 268435456000 4194304 4287625 140736869433424 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 12 0 0 0
/proc/12162/statm: 4581 385 337 23 0 91 0
[pid=12163] ppid=12162 vsize=51652 CPUtime=1.48 cores=0
/proc/12163/stat : 12163 (cryptominisat) R 12162 12162 12136 0 -1 4202496 7222 0 0 0 146 2 0 0 20 0 1 0 627222949 52891648 7062 268435456000 4194304 4587354 140733682661488 18446744073709551615 4230209 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12163/statm: 12913 7062 304 96 0 9475 0
[pid=12164] ppid=12162 vsize=39456 CPUtime=1.49 cores=1
/proc/12164/stat : 12164 (clasp) R 12162 12162 12136 0 -1 4202496 9957 0 0 0 146 3 0 0 20 0 1 0 627222949 40402944 7084 268435456000 4194304 4785740 140734702330784 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12164/statm: 9864 7084 338 145 0 6909 0
[pid=12165] ppid=12162 vsize=473920 CPUtime=1.48 cores=2
/proc/12165/stat : 12165 (TNM) R 12162 12162 12136 0 -1 4202496 9527 0 0 0 146 2 0 0 20 0 1 0 627222949 485294080 9425 268435456000 134512640 134534564 4288229792 18446744073709551615 3808480 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12165/statm: 118480 9425 95 6 0 117145 0
[pid=12166] ppid=12162 vsize=42840 CPUtime=1.48 cores=3
/proc/12166/stat : 12166 (march_hi) R 12162 12162 12136 0 -1 4202496 37862 0 0 0 138 10 0 0 20 0 1 0 627222949 43868160 6525 268435456000 4194304 4331988 140735184226240 18446744073709551615 4251467 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12166/statm: 10710 6525 148 34 0 9152 0
[pid=12167] ppid=12162 vsize=181900 CPUtime=1.49 cores=4-31
/proc/12167/stat : 12167 (plingeling) R 12162 12162 12136 0 -1 4202496 44266 1239 0 0 137 11 0 1 21 0 1 0 627222949 186265600 44134 268435456000 4194304 4356188 140735332043232 18446744073709551615 4278302 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/12167/statm: 45475 44134 129 40 0 44019 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 808092
[startup+3.10049 s]
/proc/loadavg: 25.53 21.47 22.97 6/419 12173
/proc/meminfo: memFree=255516372/264257624 swapFree=67111528/67111528
[pid=12162] ppid=12160 vsize=18324 CPUtime=0 cores=0-31
/proc/12162/stat : 12162 (ppfolio) S 12160 12162 12136 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 627222949 18763776 385 268435456000 4194304 4287625 140736869433424 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 12 0 0 0
/proc/12162/statm: 4581 385 337 23 0 91 0
[pid=12163] ppid=12162 vsize=82436 CPUtime=3.08 cores=0
/proc/12163/stat : 12163 (cryptominisat) R 12162 12162 12136 0 -1 4202496 15428 0 0 0 304 4 0 0 25 0 1 0 627222949 84414464 13886 268435456000 4194304 4587354 140733682661488 18446744073709551615 4238712 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12163/statm: 20609 13886 328 96 0 17171 0
[pid=12164] ppid=12162 vsize=39456 CPUtime=3.09 cores=1
/proc/12164/stat : 12164 (clasp) R 12162 12162 12136 0 -1 4202496 9957 0 0 0 306 3 0 0 25 0 1 0 627222949 40402944 7084 268435456000 4194304 4785740 140734702330784 18446744073709551615 4549596 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12164/statm: 9864 7084 338 145 0 6909 0
[pid=12165] ppid=12162 vsize=473920 CPUtime=3.08 cores=2
/proc/12165/stat : 12165 (TNM) R 12162 12162 12136 0 -1 4202496 9527 0 0 0 306 2 0 0 25 0 1 0 627222949 485294080 9425 268435456000 134512640 134534564 4288229792 18446744073709551615 134525871 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12165/statm: 118480 9425 95 6 0 117145 0
[pid=12166] ppid=12162 vsize=130048 CPUtime=3.08 cores=3
/proc/12166/stat : 12166 (march_hi) R 12162 12162 12136 0 -1 4202496 60221 0 0 0 293 15 0 0 25 0 1 0 627222949 133169152 16383 268435456000 4194304 4331988 140735184226240 18446744073709551615 4210412 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12166/statm: 32512 16383 174 34 0 30954 0
[pid=12167] ppid=12162 vsize=239244 CPUtime=3.08 cores=4-31
/proc/12167/stat : 12167 (plingeling) R 12162 12162 12136 0 -1 4202496 58602 1239 0 0 293 14 0 1 25 0 1 0 627222949 244985856 58470 268435456000 4194304 4356188 140735332043232 18446744073709551615 4277935 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/12167/statm: 59811 58470 129 40 0 58355 0
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (KiB) 983428
[startup+6.30254 s]
/proc/loadavg: 23.89 21.20 22.87 33/447 12201
/proc/meminfo: memFree=255250780/264257624 swapFree=67111528/67111528
[pid=12162] ppid=12160 vsize=18324 CPUtime=0 cores=0-31
/proc/12162/stat : 12162 (ppfolio) S 12160 12162 12136 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 627222949 18763776 385 268435456000 4194304 4287625 140736869433424 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 12 0 0 0
/proc/12162/statm: 4581 385 337 23 0 91 0
[pid=12163] ppid=12162 vsize=82556 CPUtime=6.28 cores=0
/proc/12163/stat : 12163 (cryptominisat) R 12162 12162 12136 0 -1 4202496 17460 0 0 0 623 5 0 0 25 0 1 0 627222949 84537344 15907 268435456000 4194304 4587354 140733682661488 18446744073709551615 258650652667 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12163/statm: 20639 15907 329 96 0 17201 0
[pid=12164] ppid=12162 vsize=49008 CPUtime=6.28 cores=1
/proc/12164/stat : 12164 (clasp) R 12162 12162 12136 0 -1 4202496 12346 0 0 0 625 3 0 0 25 0 1 0 627222949 50184192 9473 268435456000 4194304 4785740 140734702330784 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12164/statm: 12252 9473 338 145 0 9297 0
[pid=12165] ppid=12162 vsize=473920 CPUtime=6.28 cores=2
/proc/12165/stat : 12165 (TNM) R 12162 12162 12136 0 -1 4202496 9527 0 0 0 626 2 0 0 25 0 1 0 627222949 485294080 9425 268435456000 134512640 134534564 4288229792 18446744073709551615 134528708 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12165/statm: 118480 9425 95 6 0 117145 0
[pid=12166] ppid=12162 vsize=134020 CPUtime=6.29 cores=3
/proc/12166/stat : 12166 (march_hi) R 12162 12162 12136 0 -1 4202496 61322 0 0 0 613 16 0 0 25 0 1 0 627222949 137236480 17484 268435456000 4194304 4331988 140735184226240 18446744073709551615 4228192 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12166/statm: 33505 17484 174 34 0 31947 0
[pid=12167] ppid=12162 vsize=825404 CPUtime=69.33 cores=4-31
/proc/12167/stat : 12167 (plingeling) S 12162 12162 12136 0 -1 4202496 153916 1239 0 0 6821 111 0 1 25 0 29 0 627222949 845213696 98069 268435456000 4194304 4356188 140735332043232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/12167/statm: 206351 98069 159 40 0 204895 0
[pid=12167/tid=12174] ppid=12162 vsize=825404 CPUtime=2.33 cores=4-31
/proc/12167/task/12174/stat : 12174 (plingeling) R 12162 12162 12136 0 -1 4202560 2776 1239 0 0 229 3 0 1 21 0 29 0 627223335 845213696 98069 268435456000 4194304 4356188 140735332043232 18446744073709551615 4322236 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12167/tid=12175] ppid=12162 vsize=825404 CPUtime=2.33 cores=4-31
/proc/12167/task/12175/stat : 12175 (plingeling) R 12162 12162 12136 0 -1 4202560 3746 1239 0 0 229 3 0 1 19 0 29 0 627223335 845213696 98069 268435456000 4194304 4356188 140735332043232 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12167/tid=12176] ppid=12162 vsize=825404 CPUtime=2.37 cores=4-31
/proc/12167/task/12176/stat : 12176 (plingeling) R 12162 12162 12136 0 -1 4202560 2930 1239 0 0 234 2 0 1 21 0 29 0 627223335 845213696 98069 268435456000 4194304 4356188 140735332043232 18446744073709551615 4322401 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12167/tid=12177] ppid=12162 vsize=825404 CPUtime=2.28 cores=4-31
/proc/12167/task/12177/stat : 12177 (plingeling) R 12162 12162 12136 0 -1 4202560 4861 1239 0 0 223 4 0 1 19 0 29 0 627223335 845213696 98069 268435456000 4194304 4356188 140735332043232 18446744073709551615 4234192 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12167/tid=12178] ppid=12162 vsize=825404 CPUtime=2.33 cores=4-31
/proc/12167/task/12178/stat : 12178 (plingeling) R 12162 12162 12136 0 -1 4202560 4819 1239 0 0 226 6 0 1 19 0 29 0 627223335 845213696 98069 268435456000 4194304 4356188 140735332043232 18446744073709551615 4301724 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12167/tid=12179] ppid=12162 vsize=825404 CPUtime=2.36 cores=4-31
/proc/12167/task/12179/stat : 12179 (plingeling) R 12162 12162 12136 0 -1 4202560 4324 1239 0 0 230 5 0 1 19 0 29 0 627223335 845213696 98069 268435456000 4194304 4356188 140735332043232 18446744073709551615 4215047 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12167/tid=12180] ppid=12162 vsize=825404 CPUtime=2.36 cores=4-31
/proc/12167/task/12180/stat : 12180 (plingeling) R 12162 12162 12136 0 -1 4202560 3554 1239 0 0 231 4 0 1 25 0 29 0 627223335 845213696 98069 268435456000 4194304 4356188 140735332043232 18446744073709551615 4322041 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12167/tid=12181] ppid=12162 vsize=825404 CPUtime=2.32 cores=4-31
/proc/12167/task/12181/stat : 12181 (plingeling) R 12162 12162 12136 0 -1 4202560 5196 1239 0 0 226 5 0 1 20 0 29 0 627223336 845213696 98069 268435456000 4194304 4356188 140735332043232 18446744073709551615 4300701 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12167/tid=12182] ppid=12162 vsize=825404 CPUtime=2.31 cores=4-31
/proc/12167/task/12182/stat : 12182 (plingeling) R 12162 12162 12136 0 -1 4202560 2139 1239 0 0 228 2 0 1 25 0 29 0 627223336 845213696 98069 268435456000 4194304 4356188 140735332043232 18446744073709551615 4322032 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12167/tid=12183] ppid=12162 vsize=825404 CPUtime=2.28 cores=4-31
/proc/12167/task/12183/stat : 12183 (plingeling) R 12162 12162 12136 0 -1 4202560 3059 1239 0 0 226 1 0 1 19 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4322106 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=12167/tid=12184] ppid=12162 vsize=825404 CPUtime=2.3 cores=4-31
/proc/12167/task/12184/stat : 12184 (plingeling) R 12162 12162 12136 0 -1 4202560 2026 1239 0 0 229 0 0 1 25 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4322162 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12167/tid=12185] ppid=12162 vsize=825404 CPUtime=2.35 cores=4-31
/proc/12167/task/12185/stat : 12185 (plingeling) R 12162 12162 12136 0 -1 4202560 3963 1239 0 0 231 3 0 1 19 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12167/tid=12186] ppid=12162 vsize=825404 CPUtime=2.32 cores=4-31
/proc/12167/task/12186/stat : 12186 (plingeling) R 12162 12162 12136 0 -1 4202560 2438 1239 0 0 228 3 0 1 21 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4321963 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12167/tid=12187] ppid=12162 vsize=825404 CPUtime=2.34 cores=4-31
/proc/12167/task/12187/stat : 12187 (plingeling) R 12162 12162 12136 0 -1 4202560 3328 1239 0 0 230 3 0 1 19 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4210557 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12167/tid=12188] ppid=12162 vsize=825404 CPUtime=2.33 cores=4-31
/proc/12167/task/12188/stat : 12188 (plingeling) R 12162 12162 12136 0 -1 4202560 4509 1239 0 0 227 5 0 1 19 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4216626 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12167/tid=12189] ppid=12162 vsize=825404 CPUtime=2.35 cores=4-31
/proc/12167/task/12189/stat : 12189 (plingeling) R 12162 12162 12136 0 -1 4202560 2139 1239 0 0 233 1 0 1 25 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12167/tid=12190] ppid=12162 vsize=825404 CPUtime=2.36 cores=4-31
/proc/12167/task/12190/stat : 12190 (plingeling) R 12162 12162 12136 0 -1 4202560 3281 1239 0 0 232 3 0 1 19 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12167/tid=12191] ppid=12162 vsize=825404 CPUtime=2.36 cores=4-31
/proc/12167/task/12191/stat : 12191 (plingeling) R 12162 12162 12136 0 -1 4202560 2499 1239 0 0 232 3 0 1 21 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12167/tid=12192] ppid=12162 vsize=825404 CPUtime=2.31 cores=4-31
/proc/12167/task/12192/stat : 12192 (plingeling) R 12162 12162 12136 0 -1 4202560 4049 1239 0 0 226 4 0 1 20 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4293967 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12167/tid=12193] ppid=12162 vsize=825404 CPUtime=2.35 cores=4-31
/proc/12167/task/12193/stat : 12193 (plingeling) R 12162 12162 12136 0 -1 4202560 3410 1239 0 0 232 2 0 1 21 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12167/tid=12194] ppid=12162 vsize=825404 CPUtime=2.35 cores=4-31
/proc/12167/task/12194/stat : 12194 (plingeling) R 12162 12162 12136 0 -1 4202560 2769 1239 0 0 232 2 0 1 19 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4322046 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12167/tid=12195] ppid=12162 vsize=825404 CPUtime=2.38 cores=4-31
/proc/12167/task/12195/stat : 12195 (plingeling) R 12162 12162 12136 0 -1 4202560 3994 1239 0 0 234 3 0 1 19 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4322106 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12167/tid=12196] ppid=12162 vsize=825404 CPUtime=2.37 cores=4-31
/proc/12167/task/12196/stat : 12196 (plingeling) R 12162 12162 12136 0 -1 4202560 3552 1239 0 0 233 3 0 1 19 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4321963 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12167/tid=12197] ppid=12162 vsize=825404 CPUtime=2.36 cores=4-31
/proc/12167/task/12197/stat : 12197 (plingeling) R 12162 12162 12136 0 -1 4202560 3687 1239 0 0 233 2 0 1 20 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12167/tid=12198] ppid=12162 vsize=825404 CPUtime=2.35 cores=4-31
/proc/12167/task/12198/stat : 12198 (plingeling) R 12162 12162 12136 0 -1 4202560 3433 1239 0 0 231 3 0 1 19 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4322013 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12167/tid=12199] ppid=12162 vsize=825404 CPUtime=2.37 cores=4-31
/proc/12167/task/12199/stat : 12199 (plingeling) R 12162 12162 12136 0 -1 4202560 3060 1239 0 0 233 3 0 1 21 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4322013 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12167/tid=12200] ppid=12162 vsize=825404 CPUtime=2.35 cores=4-31
/proc/12167/task/12200/stat : 12200 (plingeling) R 12162 12162 12136 0 -1 4202560 2955 1239 0 0 230 4 0 1 21 0 29 0 627223336 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4275320 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12167/tid=12201] ppid=12162 vsize=825404 CPUtime=2.33 cores=4-31
/proc/12167/task/12201/stat : 12201 (plingeling) R 12162 12162 12136 0 -1 4202560 2781 1239 0 0 231 1 0 1 19 0 29 0 627223337 845213696 98070 268435456000 4194304 4356188 140735332043232 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 15 0 0 0
Current children cumulated CPU time (s) 94.46
Current children cumulated vsize (KiB) 1583232
[startup+12.7018 s]
/proc/loadavg: 24.54 21.38 22.92 33/447 12201
/proc/meminfo: memFree=255109912/264257624 swapFree=67111528/67111528
[pid=12162] ppid=12160 vsize=18324 CPUtime=0 cores=0-31
/proc/12162/stat : 12162 (ppfolio) S 12160 12162 12136 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 627222949 18763776 385 268435456000 4194304 4287625 140736869433424 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 12 0 0 0
/proc/12162/statm: 4581 385 337 23 0 91 0
[pid=12163] ppid=12162 vsize=515456 CPUtime=12.68 cores=0
/proc/12163/stat : 12163 (cryptominisat) R 12162 12162 12136 0 -1 4202496 22697 0 0 0 1261 7 0 0 25 0 1 0 627222949 527826944 17141 268435456000 4194304 4587354 140733682661488 18446744073709551615 4243968 0 0 4096 2 0 0 0 17 0 0 0 0
################
# More data... #
################
/proc/12165/stat : 12165 (TNM) R 12162 12162 12136 0 -1 4202496 9527 0 0 0 13594 2 0 0 25 0 1 0 627222949 485294080 9425 268435456000 134512640 134534564 4288229792 18446744073709551615 134528741 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12165/statm: 118480 9425 95 6 0 117145 0
[pid=12166] ppid=12162 vsize=134568 CPUtime=135.96 cores=3
/proc/12166/stat : 12166 (march_hi) R 12162 12162 12136 0 -1 4202496 61497 0 0 0 13580 16 0 0 25 0 1 0 627222949 137797632 17659 268435456000 4194304 4331988 140735184226240 18446744073709551615 4228205 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12166/statm: 33642 17659 174 34 0 32084 0
[pid=12167] ppid=12162 vsize=1213760 CPUtime=3696.28 cores=4-31
/proc/12167/stat : 12167 (plingeling) S 12162 12162 12136 0 -1 4202496 306550 1239 0 0 369448 179 0 1 25 0 29 0 627222949 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/12167/statm: 303440 186072 159 40 0 301984 0
[pid=12167/tid=12174] ppid=12162 vsize=1213760 CPUtime=132 cores=4-31
/proc/12167/task/12174/stat : 12174 (plingeling) R 12162 12162 12136 0 -1 4202560 6140 1239 0 0 13194 5 0 1 25 0 29 0 627223335 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12167/tid=12175] ppid=12162 vsize=1213760 CPUtime=132.01 cores=4-31
/proc/12167/task/12175/stat : 12175 (plingeling) R 12162 12162 12136 0 -1 4202560 9543 1239 0 0 13194 6 0 1 25 0 29 0 627223335 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12167/tid=12176] ppid=12162 vsize=1213760 CPUtime=132.04 cores=4-31
/proc/12167/task/12176/stat : 12176 (plingeling) R 12162 12162 12136 0 -1 4202560 4530 1239 0 0 13200 3 0 1 25 0 29 0 627223335 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12167/tid=12177] ppid=12162 vsize=1213760 CPUtime=131.95 cores=4-31
/proc/12167/task/12177/stat : 12177 (plingeling) R 12162 12162 12136 0 -1 4202560 9753 1239 0 0 13189 5 0 1 25 0 29 0 627223335 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12167/tid=12178] ppid=12162 vsize=1213760 CPUtime=132 cores=4-31
/proc/12167/task/12178/stat : 12178 (plingeling) R 12162 12162 12136 0 -1 4202560 11108 1239 0 0 13191 8 0 1 25 0 29 0 627223335 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12167/tid=12179] ppid=12162 vsize=1213760 CPUtime=132.03 cores=4-31
/proc/12167/task/12179/stat : 12179 (plingeling) R 12162 12162 12136 0 -1 4202560 8745 1239 0 0 13194 8 0 1 25 0 29 0 627223335 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12167/tid=12180] ppid=12162 vsize=1213760 CPUtime=132.02 cores=4-31
/proc/12167/task/12180/stat : 12180 (plingeling) R 12162 12162 12136 0 -1 4202560 9984 1239 0 0 13195 6 0 1 25 0 29 0 627223335 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12167/tid=12181] ppid=12162 vsize=1213760 CPUtime=131.93 cores=4-31
/proc/12167/task/12181/stat : 12181 (plingeling) R 12162 12162 12136 0 -1 4202560 20594 1239 0 0 13177 15 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331026 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12167/tid=12182] ppid=12162 vsize=1213760 CPUtime=129.77 cores=4-31
/proc/12167/task/12182/stat : 12182 (plingeling) R 12162 12162 12136 0 -1 4202560 5935 1239 0 0 12972 4 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12167/tid=12183] ppid=12162 vsize=1213760 CPUtime=131.94 cores=4-31
/proc/12167/task/12183/stat : 12183 (plingeling) R 12162 12162 12136 0 -1 4202560 8037 1239 0 0 13191 2 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4259390 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12167/tid=12184] ppid=12162 vsize=1213760 CPUtime=131.97 cores=4-31
/proc/12167/task/12184/stat : 12184 (plingeling) R 12162 12162 12136 0 -1 4202560 8057 1239 0 0 13194 2 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12167/tid=12185] ppid=12162 vsize=1213760 CPUtime=132.03 cores=4-31
/proc/12167/task/12185/stat : 12185 (plingeling) R 12162 12162 12136 0 -1 4202560 8296 1239 0 0 13198 4 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4279755 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12167/tid=12186] ppid=12162 vsize=1213760 CPUtime=131.99 cores=4-31
/proc/12167/task/12186/stat : 12186 (plingeling) R 12162 12162 12136 0 -1 4202560 8415 1239 0 0 13194 4 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12167/tid=12187] ppid=12162 vsize=1213760 CPUtime=132.01 cores=4-31
/proc/12167/task/12187/stat : 12187 (plingeling) R 12162 12162 12136 0 -1 4202560 8446 1239 0 0 13195 5 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12167/tid=12188] ppid=12162 vsize=1213760 CPUtime=131.97 cores=4-31
/proc/12167/task/12188/stat : 12188 (plingeling) R 12162 12162 12136 0 -1 4202560 8724 1239 0 0 13189 7 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12167/tid=12189] ppid=12162 vsize=1213760 CPUtime=132.02 cores=4-31
/proc/12167/task/12189/stat : 12189 (plingeling) R 12162 12162 12136 0 -1 4202560 11346 1239 0 0 13194 7 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4236736 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12167/tid=12190] ppid=12162 vsize=1213760 CPUtime=132.03 cores=4-31
/proc/12167/task/12190/stat : 12190 (plingeling) R 12162 12162 12136 0 -1 4202560 9201 1239 0 0 13196 6 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12167/tid=12191] ppid=12162 vsize=1213760 CPUtime=132.03 cores=4-31
/proc/12167/task/12191/stat : 12191 (plingeling) R 12162 12162 12136 0 -1 4202560 9086 1239 0 0 13197 5 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12167/tid=12192] ppid=12162 vsize=1213760 CPUtime=131.98 cores=4-31
/proc/12167/task/12192/stat : 12192 (plingeling) R 12162 12162 12136 0 -1 4202560 9786 1239 0 0 13190 7 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4237394 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12167/tid=12193] ppid=12162 vsize=1213760 CPUtime=132.02 cores=4-31
/proc/12167/task/12193/stat : 12193 (plingeling) R 12162 12162 12136 0 -1 4202560 5915 1239 0 0 13198 3 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12167/tid=12194] ppid=12162 vsize=1213760 CPUtime=132.03 cores=4-31
/proc/12167/task/12194/stat : 12194 (plingeling) R 12162 12162 12136 0 -1 4202560 7615 1239 0 0 13199 3 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4284157 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12167/tid=12195] ppid=12162 vsize=1213760 CPUtime=132.05 cores=4-31
/proc/12167/task/12195/stat : 12195 (plingeling) R 12162 12162 12136 0 -1 4202560 9189 1239 0 0 13199 5 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12167/tid=12196] ppid=12162 vsize=1213760 CPUtime=132.04 cores=4-31
/proc/12167/task/12196/stat : 12196 (plingeling) R 12162 12162 12136 0 -1 4202560 7169 1239 0 0 13198 5 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331281 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12167/tid=12197] ppid=12162 vsize=1213760 CPUtime=132.02 cores=4-31
/proc/12167/task/12197/stat : 12197 (plingeling) R 12162 12162 12136 0 -1 4202560 14744 1239 0 0 13191 10 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12167/tid=12198] ppid=12162 vsize=1213760 CPUtime=132.01 cores=4-31
/proc/12167/task/12198/stat : 12198 (plingeling) R 12162 12162 12136 0 -1 4202560 7450 1239 0 0 13196 4 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12167/tid=12199] ppid=12162 vsize=1213760 CPUtime=132.02 cores=4-31
/proc/12167/task/12199/stat : 12199 (plingeling) R 12162 12162 12136 0 -1 4202560 7609 1239 0 0 13196 5 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12167/tid=12200] ppid=12162 vsize=1213760 CPUtime=132.01 cores=4-31
/proc/12167/task/12200/stat : 12200 (plingeling) R 12162 12162 12136 0 -1 4202560 7756 1239 0 0 13195 5 0 1 25 0 29 0 627223336 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331655 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12167/tid=12201] ppid=12162 vsize=1213760 CPUtime=130.52 cores=4-31
/proc/12167/task/12201/stat : 12201 (plingeling) R 12162 12162 12136 0 -1 4202560 4737 1239 0 0 13049 2 0 1 25 0 29 0 627223337 1242890240 186072 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331259 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 4240.12
Current children cumulated vsize (KiB) 2624180
[startup+136.402 s]
/proc/loadavg: 31.19 25.05 24.07 33/447 12205
/proc/meminfo: memFree=254714964/264257624 swapFree=67111528/67111528
[pid=12162] ppid=12160 vsize=18324 CPUtime=0 cores=0-31
/proc/12162/stat : 12162 (ppfolio) S 12160 12162 12136 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 627222949 18763776 385 268435456000 4194304 4287625 140736869433424 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 12 0 0 0
/proc/12162/statm: 4581 385 337 23 0 91 0
[pid=12163] ppid=12162 vsize=583172 CPUtime=136.38 cores=0
/proc/12163/stat : 12163 (cryptominisat) R 12162 12162 12136 0 -1 4202496 38733 0 0 0 13626 12 0 0 25 0 1 0 627222949 597168128 24527 268435456000 4194304 4587354 140733682661488 18446744073709551615 4230266 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12163/statm: 145793 24527 337 96 0 142355 0
[pid=12164] ppid=12162 vsize=200436 CPUtime=136.38 cores=1
/proc/12164/stat : 12164 (clasp) R 12162 12162 12136 0 -1 4202496 49851 0 0 0 13617 21 0 0 25 0 1 0 627222949 205246464 46978 268435456000 4194304 4785740 140734702330784 18446744073709551615 4287028 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12164/statm: 50109 46978 338 145 0 47154 0
[pid=12165] ppid=12162 vsize=473920 CPUtime=136.38 cores=2
/proc/12165/stat : 12165 (TNM) R 12162 12162 12136 0 -1 4202496 9527 0 0 0 13636 2 0 0 25 0 1 0 627222949 485294080 9425 268435456000 134512640 134534564 4288229792 18446744073709551615 134529228 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12165/statm: 118480 9425 95 6 0 117145 0
[pid=12166] ppid=12162 vsize=134568 CPUtime=136.38 cores=3
/proc/12166/stat : 12166 (march_hi) R 12162 12162 12136 0 -1 4202496 61497 0 0 0 13622 16 0 0 25 0 1 0 627222949 137797632 17659 268435456000 4194304 4331988 140735184226240 18446744073709551615 4228243 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12166/statm: 33642 17659 174 34 0 32084 0
[pid=12167] ppid=12162 vsize=1209364 CPUtime=3708.01 cores=4-31
/proc/12167/stat : 12167 (plingeling) S 12162 12162 12136 0 -1 4202496 306550 1239 0 0 370621 179 0 1 25 0 29 0 627222949 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/12167/statm: 302341 184973 159 40 0 300885 0
[pid=12167/tid=12174] ppid=12162 vsize=1209364 CPUtime=132.42 cores=4-31
/proc/12167/task/12174/stat : 12174 (plingeling) R 12162 12162 12136 0 -1 4202560 6140 1239 0 0 13236 5 0 1 25 0 29 0 627223335 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331355 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=12167/tid=12175] ppid=12162 vsize=1209364 CPUtime=132.43 cores=4-31
/proc/12167/task/12175/stat : 12175 (plingeling) R 12162 12162 12136 0 -1 4202560 9543 1239 0 0 13236 6 0 1 25 0 29 0 627223335 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4210715 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=12167/tid=12176] ppid=12162 vsize=1209364 CPUtime=132.46 cores=4-31
/proc/12167/task/12176/stat : 12176 (plingeling) R 12162 12162 12136 0 -1 4202560 4530 1239 0 0 13242 3 0 1 25 0 29 0 627223335 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=12167/tid=12177] ppid=12162 vsize=1209364 CPUtime=132.37 cores=4-31
/proc/12167/task/12177/stat : 12177 (plingeling) R 12162 12162 12136 0 -1 4202560 9753 1239 0 0 13231 5 0 1 25 0 29 0 627223335 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=12167/tid=12178] ppid=12162 vsize=1209364 CPUtime=132.42 cores=4-31
/proc/12167/task/12178/stat : 12178 (plingeling) R 12162 12162 12136 0 -1 4202560 11108 1239 0 0 13233 8 0 1 25 0 29 0 627223335 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=12167/tid=12179] ppid=12162 vsize=1209364 CPUtime=132.45 cores=4-31
/proc/12167/task/12179/stat : 12179 (plingeling) R 12162 12162 12136 0 -1 4202560 8745 1239 0 0 13236 8 0 1 25 0 29 0 627223335 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=12167/tid=12180] ppid=12162 vsize=1209364 CPUtime=132.44 cores=4-31
/proc/12167/task/12180/stat : 12180 (plingeling) R 12162 12162 12136 0 -1 4202560 9984 1239 0 0 13237 6 0 1 25 0 29 0 627223335 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=12167/tid=12181] ppid=12162 vsize=1209364 CPUtime=132.35 cores=4-31
/proc/12167/task/12181/stat : 12181 (plingeling) R 12162 12162 12136 0 -1 4202560 20594 1239 0 0 13219 15 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=12167/tid=12182] ppid=12162 vsize=1209364 CPUtime=130.19 cores=4-31
/proc/12167/task/12182/stat : 12182 (plingeling) R 12162 12162 12136 0 -1 4202560 5935 1239 0 0 13014 4 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=12167/tid=12183] ppid=12162 vsize=1209364 CPUtime=132.36 cores=4-31
/proc/12167/task/12183/stat : 12183 (plingeling) R 12162 12162 12136 0 -1 4202560 8037 1239 0 0 13233 2 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4210992 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=12167/tid=12184] ppid=12162 vsize=1209364 CPUtime=132.39 cores=4-31
/proc/12167/task/12184/stat : 12184 (plingeling) R 12162 12162 12136 0 -1 4202560 8057 1239 0 0 13236 2 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=12167/tid=12185] ppid=12162 vsize=1209364 CPUtime=132.45 cores=4-31
/proc/12167/task/12185/stat : 12185 (plingeling) R 12162 12162 12136 0 -1 4202560 8296 1239 0 0 13240 4 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=12167/tid=12186] ppid=12162 vsize=1209364 CPUtime=132.41 cores=4-31
/proc/12167/task/12186/stat : 12186 (plingeling) R 12162 12162 12136 0 -1 4202560 8415 1239 0 0 13236 4 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=12167/tid=12187] ppid=12162 vsize=1209364 CPUtime=132.43 cores=4-31
/proc/12167/task/12187/stat : 12187 (plingeling) R 12162 12162 12136 0 -1 4202560 8446 1239 0 0 13237 5 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331259 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=12167/tid=12188] ppid=12162 vsize=1209364 CPUtime=132.39 cores=4-31
/proc/12167/task/12188/stat : 12188 (plingeling) R 12162 12162 12136 0 -1 4202560 8724 1239 0 0 13231 7 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=12167/tid=12189] ppid=12162 vsize=1209364 CPUtime=132.44 cores=4-31
/proc/12167/task/12189/stat : 12189 (plingeling) R 12162 12162 12136 0 -1 4202560 11346 1239 0 0 13236 7 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4238570 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=12167/tid=12190] ppid=12162 vsize=1209364 CPUtime=132.45 cores=4-31
/proc/12167/task/12190/stat : 12190 (plingeling) R 12162 12162 12136 0 -1 4202560 9201 1239 0 0 13238 6 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=12167/tid=12191] ppid=12162 vsize=1209364 CPUtime=132.45 cores=4-31
/proc/12167/task/12191/stat : 12191 (plingeling) R 12162 12162 12136 0 -1 4202560 9086 1239 0 0 13239 5 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4219569 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=12167/tid=12192] ppid=12162 vsize=1209364 CPUtime=132.4 cores=4-31
/proc/12167/task/12192/stat : 12192 (plingeling) R 12162 12162 12136 0 -1 4202560 9786 1239 0 0 13232 7 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=12167/tid=12193] ppid=12162 vsize=1209364 CPUtime=132.44 cores=4-31
/proc/12167/task/12193/stat : 12193 (plingeling) R 12162 12162 12136 0 -1 4202560 5915 1239 0 0 13240 3 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331345 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=12167/tid=12194] ppid=12162 vsize=1209364 CPUtime=132.45 cores=4-31
/proc/12167/task/12194/stat : 12194 (plingeling) R 12162 12162 12136 0 -1 4202560 7615 1239 0 0 13241 3 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331939 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=12167/tid=12195] ppid=12162 vsize=1209364 CPUtime=132.47 cores=4-31
/proc/12167/task/12195/stat : 12195 (plingeling) R 12162 12162 12136 0 -1 4202560 9189 1239 0 0 13241 5 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4244595 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=12167/tid=12196] ppid=12162 vsize=1209364 CPUtime=132.46 cores=4-31
/proc/12167/task/12196/stat : 12196 (plingeling) R 12162 12162 12136 0 -1 4202560 7169 1239 0 0 13240 5 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4210557 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=12167/tid=12197] ppid=12162 vsize=1209364 CPUtime=132.44 cores=4-31
/proc/12167/task/12197/stat : 12197 (plingeling) R 12162 12162 12136 0 -1 4202560 14744 1239 0 0 13233 10 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=12167/tid=12198] ppid=12162 vsize=1209364 CPUtime=132.43 cores=4-31
/proc/12167/task/12198/stat : 12198 (plingeling) R 12162 12162 12136 0 -1 4202560 7450 1239 0 0 13238 4 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4244592 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=12167/tid=12199] ppid=12162 vsize=1209364 CPUtime=132.44 cores=4-31
/proc/12167/task/12199/stat : 12199 (plingeling) R 12162 12162 12136 0 -1 4202560 7609 1239 0 0 13238 5 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4244524 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=12167/tid=12200] ppid=12162 vsize=1209364 CPUtime=132.43 cores=4-31
/proc/12167/task/12200/stat : 12200 (plingeling) R 12162 12162 12136 0 -1 4202560 7756 1239 0 0 13237 5 0 1 25 0 29 0 627223336 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4330882 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=12167/tid=12201] ppid=12162 vsize=1209364 CPUtime=130.92 cores=4-31
/proc/12167/task/12201/stat : 12201 (plingeling) R 12162 12162 12136 0 -1 4202560 4737 1239 0 0 13089 2 0 1 25 0 29 0 627223337 1238388736 184973 268435456000 4194304 4356188 140735332043232 18446744073709551615 4331245 0 0 4096 17442 0 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 4253.53
Current children cumulated vsize (KiB) 2619784
[startup+136.802 s]
/proc/loadavg: 31.19 25.05 24.07 33/447 12205
/proc/meminfo: memFree=254714964/264257624 swapFree=67111528/67111528
[pid=12162] ppid=12160 vsize=18324 CPUtime=0 cores=0-31
/proc/12162/stat : 12162 (ppfolio) S 12160 12162 12136 0 -1 4202496 513 0 0 0 0 0 0 0 15 0 1 0 627222949 18763776 385 268435456000 4194304 4287625 140736869433424 18446744073709551615 258650975999 0 0 4096 65536 9206941489140072447 0 0 17 12 0 0 0
/proc/12162/statm: 4581 385 337 23 0 91 0
[pid=12163] ppid=12162 vsize=583172 CPUtime=136.76 cores=0
/proc/12163/stat : 12163 (cryptominisat) R 12162 12162 12136 0 -1 4202496 38784 0 0 0 13664 12 0 0 25 0 1 0 627222949 597168128 24578 268435456000 4194304 4587354 140733682661488 18446744073709551615 4238606 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/12163/statm: 145793 24578 337 96 0 142355 0
[pid=12164] ppid=12162 vsize=200436 CPUtime=136.76 cores=1
/proc/12164/stat : 12164 (clasp) R 12162 12162 12136 0 -1 4202496 49851 0 0 0 13655 21 0 0 25 0 1 0 627222949 205246464 46978 268435456000 4194304 4785740 140734702330784 18446744073709551615 4303335 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/12164/statm: 50109 46978 338 145 0 47154 0
[pid=12165] ppid=12162 vsize=473920 CPUtime=136.76 cores=2
/proc/12165/stat : 12165 (TNM) R 12162 12162 12136 0 -1 4202496 9527 0 0 0 13674 2 0 0 25 0 1 0 627222949 485294080 9425 268435456000 134512640 134534564 4288229792 18446744073709551615 134530614 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/12165/statm: 118480 9425 95 6 0 117145 0
[pid=12166] ppid=12162 vsize=134568 CPUtime=136.76 cores=3
/proc/12166/stat : 12166 (march_hi) R 12162 12162 12136 0 -1 4202496 61497 0 0 0 13660 16 0 0 25 0 1 0 627222949 137797632 17659 268435456000 4194304 4331988 140735184226240 18446744073709551615 4239684 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/12166/statm: 33642 17659 174 34 0 32084 0
[pid=12167] ppid=12162 vsize=439492 CPUtime=3716.53 cores=4-31
/proc/12167/stat : 12167 (plingeling) R 12162 12162 12136 0 -1 4202496 306551 1239 0 0 371467 185 0 1 17 0 1 0 627222949 450039808 14598 268435456000 4194304 4356188 140735332043232 18446744073709551615 258650981722 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/12167/statm: 109873 14598 160 40 0 108417 0
Current children cumulated CPU time (s) 4263.57
Current children cumulated vsize (KiB) 1849912
Child status: 0
Real time (s): 136.824
CPU time (s): 4263.68
CPU user time (s): 4261.26
CPU system time (s): 2.42463
CPU usage (%): 3116.19
Max. virtual memory (cumulated for all children) (KiB): 3041808
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4261.26
system time used= 2.42463
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 467986
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= 2669
involuntary context switches= 10433
runsolver used 0.769882 second user time and 3.07853 second system time
The end
Begin job on node200 at 2011-05-12 01:42:45
IDJOB=3347413
IDBENCH=82422
IDSOLVER=1808
FILE ID=node200/3347413-1305157365
RUNJOBID= node200-1305157365-12150
PBS_JOBID= 13282070
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-pathways-17-step20.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347413-1305157365/watcher-3347413-1305157365 -o /tmp/evaluation-result-3347413-1305157365/solver-3347413-1305157365 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347413-1305157365.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 8f0e3738453893efc8a2d1abcf0d190d
RANDOM SEED=2127367406
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: 255849692 kB
Buffers: 422528 kB
Cached: 7587340 kB
SwapCached: 0 kB
Active: 7160700 kB
Inactive: 917912 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255849692 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 14548 kB
Writeback: 0 kB
AnonPages: 69248 kB
Mapped: 13484 kB
Slab: 248396 kB
PageTables: 3996 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 181764 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 01:45:02