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
0.00/0.01
44085.62/1544.98 s UNSATISFIABLE
44086.16/1545.10 solver [5] plingeling 276-6264d55-100731 answered
44086.16/1545.10 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-3347361-1305052924/watcher-3347361-1305052924 -o /tmp/evaluation-result-3347361-1305052924/solver-3347361-1305052924 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347361-1305052924.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: 23.15 30.05 30.46 1/413 4601
/proc/meminfo: memFree=256093604/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=0 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 214 0 0 0 0 0 0 20 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
[startup+0.132608 s]
/proc/loadavg: 23.15 30.05 30.46 1/413 4601
/proc/meminfo: memFree=256093604/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=0 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 214 0 0 0 0 0 0 20 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200623 s]
/proc/loadavg: 23.15 30.05 30.46 1/413 4601
/proc/meminfo: memFree=256093604/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=0 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 214 0 0 0 0 0 0 20 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300606 s]
/proc/loadavg: 23.15 30.05 30.46 1/413 4601
/proc/meminfo: memFree=256093604/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=0 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 214 0 0 0 0 0 0 20 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.70064 s]
/proc/loadavg: 23.15 30.05 30.46 1/413 4601
/proc/meminfo: memFree=256093604/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=0 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 214 0 0 0 0 0 0 20 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50063 s]
/proc/loadavg: 21.62 29.62 30.31 5/418 4612
/proc/meminfo: memFree=255646348/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=0 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 214 0 0 0 0 0 0 20 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
[pid=4602] ppid=4601 vsize=241520 CPUtime=1.49 cores=0
/proc/4602/stat : 4602 (cryptominisat) R 4601 4601 4575 0 -1 4202496 53260 0 0 0 134 15 0 0 25 0 1 0 616779419 247316480 52807 268435456000 4194304 4587354 140737180267488 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4602/statm: 60380 52807 286 96 0 56942 0
[pid=4603] ppid=4601 vsize=116856 CPUtime=1.48 cores=1
/proc/4603/stat : 4603 (clasp) R 4601 4601 4575 0 -1 4202496 29439 0 0 0 135 13 0 0 20 0 1 0 616779419 119660544 25743 268435456000 4194304 4785740 140736062414800 18446744073709551615 258650955760 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4603/statm: 29214 25743 307 145 0 26259 0
[pid=4605] ppid=4601 vsize=214060 CPUtime=1.49 cores=3
/proc/4605/stat : 4605 (march_hi) R 4601 4601 4575 0 -1 4194304 44779 0 0 0 133 16 0 0 20 0 1 0 616779419 219197440 44675 268435456000 4194304 4331988 140733281859920 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4605/statm: 53515 44676 112 34 0 51957 0
[pid=4606] ppid=4601 vsize=77620 CPUtime=1.49 cores=4-31
/proc/4606/stat : 4606 (plingeling) R 4601 4601 4575 0 -1 4202496 18180 1244 0 0 144 4 0 1 21 0 1 0 616779419 79482880 18064 268435456000 4194304 4356188 140735683262000 18446744073709551615 4273601 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4606/statm: 19405 18064 129 40 0 17949 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 668380
[startup+3.10071 s]
/proc/loadavg: 21.62 29.62 30.31 5/418 4612
/proc/meminfo: memFree=255258476/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=0 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 214 0 0 0 0 0 0 20 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
[pid=4602] ppid=4601 vsize=546656 CPUtime=3.08 cores=0
/proc/4602/stat : 4602 (cryptominisat) R 4601 4601 4575 0 -1 4202496 120183 0 0 0 277 31 0 0 25 0 1 0 616779419 559775744 119331 268435456000 4194304 4587354 140737180267488 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4602/statm: 136664 119334 286 96 0 133226 0
[pid=4603] ppid=4601 vsize=192912 CPUtime=3.08 cores=1
/proc/4603/stat : 4603 (clasp) R 4601 4601 4575 0 -1 4202496 48454 0 0 0 284 24 0 0 25 0 1 0 616779419 197541888 44758 268435456000 4194304 4785740 140736062414800 18446744073709551615 258650955760 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4603/statm: 48228 44758 307 145 0 45273 0
[pid=4605] ppid=4601 vsize=300920 CPUtime=3.08 cores=3
/proc/4605/stat : 4605 (march_hi) R 4601 4601 4575 0 -1 4194304 69179 0 0 0 284 24 0 0 25 0 1 0 616779419 308142080 69075 268435456000 4194304 4331988 140733281859920 18446744073709551615 258650955760 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4605/statm: 75230 69075 112 34 0 73672 0
[pid=4606] ppid=4601 vsize=189596 CPUtime=3.09 cores=4-31
/proc/4606/stat : 4606 (plingeling) R 4601 4601 4575 0 -1 4202496 46262 1244 0 0 298 10 0 1 25 0 1 0 616779419 194146304 46058 268435456000 4194304 4356188 140735683262000 18446744073709551615 4277906 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4606/statm: 47399 46058 129 40 0 45943 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 1248408
[startup+6.30082 s]
/proc/loadavg: 20.20 29.19 30.17 5/418 4612
/proc/meminfo: memFree=254509352/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=0 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 214 0 0 0 0 0 0 15 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633295 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
[pid=4602] ppid=4601 vsize=753632 CPUtime=6.29 cores=0
/proc/4602/stat : 4602 (cryptominisat) R 4601 4601 4575 0 -1 4202496 172808 0 0 0 588 41 0 0 25 0 1 0 616779419 771719168 171910 268435456000 4194304 4587354 140737180267488 18446744073709551615 4364505 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4602/statm: 188408 171910 308 96 0 184970 0
[pid=4603] ppid=4601 vsize=194940 CPUtime=6.29 cores=1
/proc/4603/stat : 4603 (clasp) R 4601 4601 4575 0 -1 4202496 59031 0 0 0 603 26 0 0 25 0 1 0 616779419 199618560 45650 268435456000 4194304 4785740 140736062414800 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4603/statm: 48735 45650 327 145 0 45780 0
[pid=4605] ppid=4601 vsize=890060 CPUtime=6.29 cores=3
/proc/4605/stat : 4605 (march_hi) R 4601 4601 4575 0 -1 4194304 135396 0 0 0 580 49 0 0 25 0 1 0 616779419 911421440 135289 268435456000 4194304 4331988 140733281859920 18446744073709551615 4256854 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4605/statm: 222515 135289 115 34 0 220957 0
[pid=4606] ppid=4601 vsize=368124 CPUtime=6.29 cores=4-31
/proc/4606/stat : 4606 (plingeling) R 4601 4601 4575 0 -1 4202496 90894 1244 0 0 608 20 0 1 25 0 1 0 616779419 376958976 90690 268435456000 4194304 4356188 140735683262000 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4606/statm: 92031 90690 129 40 0 90575 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 2225080
[startup+12.7011 s]
/proc/loadavg: 18.91 28.78 30.03 5/418 4612
/proc/meminfo: memFree=253982996/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=0 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 214 0 0 0 0 0 0 15 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633295 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
[pid=4602] ppid=4601 vsize=751252 CPUtime=12.68 cores=0
/proc/4602/stat : 4602 (cryptominisat) R 4601 4601 4575 0 -1 4202496 175024 0 0 0 1227 41 0 0 25 0 1 0 616779419 769282048 170300 268435456000 4194304 4587354 140737180267488 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4602/statm: 187813 170300 321 96 0 184375 0
[pid=4603] ppid=4601 vsize=194940 CPUtime=12.69 cores=1
/proc/4603/stat : 4603 (clasp) R 4601 4601 4575 0 -1 4202496 59038 0 0 0 1243 26 0 0 25 0 1 0 616779419 199618560 45657 268435456000 4194304 4785740 140736062414800 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4603/statm: 48735 45657 334 145 0 45780 0
[pid=4605] ppid=4601 vsize=925100 CPUtime=12.69 cores=3
/proc/4605/stat : 4605 (march_hi) R 4601 4601 4575 0 -1 4194304 208412 0 0 0 1204 65 0 0 25 0 1 0 616779419 947302400 144075 268435456000 4194304 4331988 140733281859920 18446744073709551615 4252174 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4605/statm: 231275 144075 126 34 0 229717 0
[pid=4606] ppid=4601 vsize=727556 CPUtime=12.68 cores=4-31
/proc/4606/stat : 4606 (plingeling) R 4601 4601 4575 0 -1 4202496 180752 1244 0 0 1229 38 0 1 25 0 1 0 616779419 745017344 180548 268435456000 4194304 4356188 140735683262000 18446744073709551615 4277939 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4606/statm: 181889 180548 129 40 0 180433 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 2617172
[startup+25.5015 s]
/proc/loadavg: 16.62 27.96 29.75 5/418 4612
/proc/meminfo: memFree=253227184/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=0 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 214 0 0 0 0 0 0 15 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633295 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
[pid=4602] ppid=4601 vsize=752164 CPUtime=25.48 cores=0
/proc/4602/stat : 4602 (cryptominisat) R 4601 4601 4575 0 -1 4202496 200979 0 0 0 2502 46 0 0 25 0 1 0 616779419 770215936 171187 268435456000 4194304 4587354 140737180267488 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4602/statm: 188041 171187 325 96 0 184603 0
[pid=4603] ppid=4601 vsize=194940 CPUtime=25.49 cores=1
/proc/4603/stat : 4603 (clasp) R 4601 4601 4575 0 -1 4202496 59075 0 0 0 2523 26 0 0 25 0 1 0 616779419 199618560 45694 268435456000 4194304 4785740 140736062414800 18446744073709551615 4553032 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4603/statm: 48735 45694 334 145 0 45780 0
[pid=4605] ppid=4601 vsize=924728 CPUtime=25.48 cores=3
/proc/4605/stat : 4605 (march_hi) R 4601 4601 4575 0 -1 4194304 272872 0 0 0 2468 80 0 0 25 0 1 0 616779419 946921472 143873 268435456000 4194304 4331988 140733281859920 18446744073709551615 4252200 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4605/statm: 231182 143873 127 34 0 229624 0
[pid=4606] ppid=4601 vsize=1432180 CPUtime=25.48 cores=4-31
/proc/4606/stat : 4606 (plingeling) R 4601 4601 4575 0 -1 4202496 356916 1244 0 0 2475 72 0 1 25 0 1 0 616779419 1466552320 356704 268435456000 4194304 4356188 140735683262000 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4606/statm: 358045 356704 129 40 0 356589 0
Current children cumulated CPU time (s) 101.93
Current children cumulated vsize (KiB) 3322336
[startup+51.1014 s]
/proc/loadavg: 11.64 25.67 28.93 5/418 4614
/proc/meminfo: memFree=251807496/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=0 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 214 0 0 0 0 0 0 15 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633295 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
[pid=4602] ppid=4601 vsize=752164 CPUtime=51.07 cores=0
/proc/4602/stat : 4602 (cryptominisat) R 4601 4601 4575 0 -1 4202496 206003 0 0 0 5058 49 0 0 25 0 1 0 616779419 770215936 176203 268435456000 4194304 4587354 140737180267488 18446744073709551615 4236522 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4602/statm: 188041 176203 325 96 0 184603 0
[pid=4603] ppid=4601 vsize=194940 CPUtime=51.08 cores=1
/proc/4603/stat : 4603 (clasp) R 4601 4601 4575 0 -1 4202496 59077 0 0 0 5082 26 0 0 25 0 1 0 616779419 199618560 45696 268435456000 4194304 4785740 140736062414800 18446744073709551615 4416773 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4603/statm: 48735 45696 334 145 0 45780 0
[pid=4605] ppid=4601 vsize=912844 CPUtime=51.08 cores=3
/proc/4605/stat : 4605 (march_hi) R 4601 4601 4575 0 -1 4202496 391094 0 0 0 5003 105 0 0 25 0 1 0 616779419 934752256 140082 268435456000 4194304 4331988 140733281859920 18446744073709551615 4256763 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/4605/statm: 228211 140082 151 34 0 226653 0
[pid=4606] ppid=4601 vsize=2845108 CPUtime=51.08 cores=4-31
/proc/4606/stat : 4606 (plingeling) R 4601 4601 4575 0 -1 4202496 710276 1244 0 0 4962 145 0 1 25 0 1 0 616779419 2913390592 709936 268435456000 4194304 4356188 140735683262000 18446744073709551615 4278267 0 0 4096 17442 0 0 0 17 20 0 0 0
/proc/4606/statm: 711277 709936 129 40 0 709821 0
Current children cumulated CPU time (s) 204.31
Current children cumulated vsize (KiB) 4723380
[startup+102.302 s]
/proc/loadavg: 12.55 23.47 28.00 32/446 4642
/proc/meminfo: memFree=249812980/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=0 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 214 0 0 0 0 0 0 15 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633295 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
[pid=4602] ppid=4601 vsize=2637532 CPUtime=102.28 cores=0
/proc/4602/stat : 4602 (cryptominisat) R 4601 4601 4575 0 -1 4202496 211840 0 0 0 10176 52 0 0 25 0 1 0 616779419 2700832768 166887 268435456000 4194304 4587354 140737180267488 18446744073709551615 4238481 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4602/statm: 659383 166887 328 96 0 655945 0
[pid=4603] ppid=4601 vsize=218160 CPUtime=102.28 cores=1
################
# More data... #
################
[pid=4606/tid=4620] ppid=4601 vsize=5507124 CPUtime=1455.01 cores=4-31
/proc/4606/task/4620/stat : 4620 (plingeling) R 4601 4601 4575 0 -1 4202560 159438 1244 0 0 145296 204 0 1 25 0 29 0 616788010 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=4606/tid=4621] ppid=4601 vsize=5507124 CPUtime=1454.53 cores=4-31
/proc/4606/task/4621/stat : 4621 (plingeling) R 4601 4601 4575 0 -1 4202560 197774 1244 0 0 145210 242 0 1 25 0 29 0 616788010 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=4606/tid=4622] ppid=4601 vsize=5507124 CPUtime=1449.76 cores=4-31
/proc/4606/task/4622/stat : 4622 (plingeling) R 4601 4601 4575 0 -1 4202560 192991 1244 0 0 144798 177 0 1 25 0 29 0 616788010 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=4606/tid=4623] ppid=4601 vsize=5507124 CPUtime=1453.91 cores=4-31
/proc/4606/task/4623/stat : 4623 (plingeling) R 4601 4601 4575 0 -1 4202560 181166 1244 0 0 145180 210 0 1 25 0 29 0 616788010 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4242671 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4606/tid=4624] ppid=4601 vsize=5507124 CPUtime=1453.99 cores=4-31
/proc/4606/task/4624/stat : 4624 (plingeling) R 4601 4601 4575 0 -1 4202560 165096 1244 0 0 145163 235 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4237251 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=4606/tid=4625] ppid=4601 vsize=5507124 CPUtime=1454.14 cores=4-31
/proc/4606/task/4625/stat : 4625 (plingeling) R 4601 4601 4575 0 -1 4202560 177449 1244 0 0 145205 208 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=4606/tid=4626] ppid=4601 vsize=5507124 CPUtime=1450.36 cores=4-31
/proc/4606/task/4626/stat : 4626 (plingeling) R 4601 4601 4575 0 -1 4202560 162963 1244 0 0 144847 188 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4238443 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=4606/tid=4627] ppid=4601 vsize=5507124 CPUtime=1452.58 cores=4-31
/proc/4606/task/4627/stat : 4627 (plingeling) R 4601 4601 4575 0 -1 4202560 163570 1244 0 0 145046 211 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=4606/tid=4628] ppid=4601 vsize=5507124 CPUtime=1453.14 cores=4-31
/proc/4606/task/4628/stat : 4628 (plingeling) R 4601 4601 4575 0 -1 4202560 170909 1244 0 0 145070 243 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4210791 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4606/tid=4629] ppid=4601 vsize=5507124 CPUtime=1453.76 cores=4-31
/proc/4606/task/4629/stat : 4629 (plingeling) R 4601 4601 4575 0 -1 4202560 185743 1244 0 0 145116 259 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=4606/tid=4630] ppid=4601 vsize=5507124 CPUtime=1453.93 cores=4-31
/proc/4606/task/4630/stat : 4630 (plingeling) R 4601 4601 4575 0 -1 4202560 181066 1244 0 0 145233 159 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=4606/tid=4631] ppid=4601 vsize=5507124 CPUtime=1444.5 cores=4-31
/proc/4606/task/4631/stat : 4631 (plingeling) R 4601 4601 4575 0 -1 4202560 173373 1244 0 0 144228 221 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=4606/tid=4632] ppid=4601 vsize=5507124 CPUtime=1449.63 cores=4-31
/proc/4606/task/4632/stat : 4632 (plingeling) R 4601 4601 4575 0 -1 4202560 217421 1244 0 0 144702 260 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=4606/tid=4633] ppid=4601 vsize=5507124 CPUtime=1454.63 cores=4-31
/proc/4606/task/4633/stat : 4633 (plingeling) R 4601 4601 4575 0 -1 4202560 162905 1244 0 0 145251 211 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4210704 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=4606/tid=4634] ppid=4601 vsize=5507124 CPUtime=1446.8 cores=4-31
/proc/4606/task/4634/stat : 4634 (plingeling) R 4601 4601 4575 0 -1 4202560 156012 1244 0 0 144476 203 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=4606/tid=4635] ppid=4601 vsize=5507124 CPUtime=1455.19 cores=4-31
/proc/4606/task/4635/stat : 4635 (plingeling) R 4601 4601 4575 0 -1 4202560 198344 1244 0 0 145265 253 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=4606/tid=4636] ppid=4601 vsize=5507124 CPUtime=1455.13 cores=4-31
/proc/4606/task/4636/stat : 4636 (plingeling) R 4601 4601 4575 0 -1 4202560 127947 1244 0 0 145359 153 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=4606/tid=4637] ppid=4601 vsize=5507124 CPUtime=1453.64 cores=4-31
/proc/4606/task/4637/stat : 4637 (plingeling) R 4601 4601 4575 0 -1 4202560 168744 1244 0 0 145101 262 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=4606/tid=4638] ppid=4601 vsize=5507124 CPUtime=1454.82 cores=4-31
/proc/4606/task/4638/stat : 4638 (plingeling) R 4601 4601 4575 0 -1 4202560 142493 1244 0 0 145323 158 0 1 25 0 29 0 616788012 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4331023 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=4606/tid=4639] ppid=4601 vsize=5507124 CPUtime=1454.62 cores=4-31
/proc/4606/task/4639/stat : 4639 (plingeling) R 4601 4601 4575 0 -1 4202560 200320 1244 0 0 145262 199 0 1 25 0 29 0 616788012 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4242651 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=4606/tid=4640] ppid=4601 vsize=5507124 CPUtime=1441.25 cores=4-31
/proc/4606/task/4640/stat : 4640 (plingeling) R 4601 4601 4575 0 -1 4202560 165549 1244 0 0 143886 238 0 1 25 0 29 0 616788012 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4331069 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=4606/tid=4641] ppid=4601 vsize=5507124 CPUtime=1453.71 cores=4-31
/proc/4606/task/4641/stat : 4641 (plingeling) R 4601 4601 4575 0 -1 4202560 152575 1244 0 0 145185 185 0 1 25 0 29 0 616788012 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=4606/tid=4642] ppid=4601 vsize=5507124 CPUtime=1453.53 cores=4-31
/proc/4606/task/4642/stat : 4642 (plingeling) R 4601 4601 4575 0 -1 4202560 159948 1244 0 0 145143 209 0 1 25 0 29 0 616788012 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 44017
Current children cumulated vsize (KiB) 8876600
[startup+1544 s]
/proc/loadavg: 30.15 30.08 29.68 31/445 4691
/proc/meminfo: memFree=247884756/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=205.77 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 633947 0 0 0 0 20247 330 15 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 17899121587257344000 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
[pid=4602] ppid=4601 vsize=3066160 CPUtime=1543.7 cores=0
/proc/4602/stat : 4602 (cryptominisat) R 4601 4601 4575 0 -1 4202496 485071 0 0 0 154211 159 0 0 25 0 1 0 616779419 3139747840 212468 268435456000 4194304 4587354 140737180267488 18446744073709551615 4413559 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4602/statm: 766540 212468 336 96 0 763102 0
[pid=4603] ppid=4601 vsize=1384060 CPUtime=1543.7 cores=1
/proc/4603/stat : 4603 (clasp) R 4601 4601 4575 0 -1 4202496 356190 0 0 0 154220 150 0 0 25 0 1 0 616779419 1417277440 342809 268435456000 4194304 4785740 140736062414800 18446744073709551615 4290592 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4603/statm: 346015 342809 334 145 0 343060 0
[pid=4606] ppid=4601 vsize=5507124 CPUtime=40771.7 cores=4-31
/proc/4606/stat : 4606 (plingeling) S 4601 4601 4575 0 -1 4202496 6005187 1244 0 0 4071018 6153 0 1 18 0 29 0 616779419 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 5 0 0 0
/proc/4606/statm: 1376781 1269038 159 40 0 1375325 0
[pid=4606/tid=4615] ppid=4601 vsize=5507124 CPUtime=1455.68 cores=4-31
/proc/4606/task/4615/stat : 4615 (plingeling) R 4601 4601 4575 0 -1 4202560 197109 1244 0 0 145382 185 0 1 25 0 29 0 616788009 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=4606/tid=4616] ppid=4601 vsize=5507124 CPUtime=1423.72 cores=4-31
/proc/4606/task/4616/stat : 4616 (plingeling) R 4601 4601 4575 0 -1 4202560 170751 1244 0 0 142137 234 0 1 25 0 29 0 616788009 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=4606/tid=4617] ppid=4601 vsize=5507124 CPUtime=1455.78 cores=4-31
/proc/4606/task/4617/stat : 4617 (plingeling) R 4601 4601 4575 0 -1 4202560 155532 1244 0 0 145382 195 0 1 25 0 29 0 616788009 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=4606/tid=4618] ppid=4601 vsize=5507124 CPUtime=1454.74 cores=4-31
/proc/4606/task/4618/stat : 4618 (plingeling) R 4601 4601 4575 0 -1 4202560 162207 1244 0 0 145249 224 0 1 25 0 29 0 616788010 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=4606/tid=4619] ppid=4601 vsize=5507124 CPUtime=1456.62 cores=4-31
/proc/4606/task/4619/stat : 4619 (plingeling) R 4601 4601 4575 0 -1 4202560 158056 1244 0 0 145493 168 0 1 25 0 29 0 616788010 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=4606/tid=4620] ppid=4601 vsize=5507124 CPUtime=1456.61 cores=4-31
/proc/4606/task/4620/stat : 4620 (plingeling) R 4601 4601 4575 0 -1 4202560 159438 1244 0 0 145456 204 0 1 25 0 29 0 616788010 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=4606/tid=4621] ppid=4601 vsize=5507124 CPUtime=1456.13 cores=4-31
/proc/4606/task/4621/stat : 4621 (plingeling) R 4601 4601 4575 0 -1 4202560 197774 1244 0 0 145370 242 0 1 25 0 29 0 616788010 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4237473 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=4606/tid=4622] ppid=4601 vsize=5507124 CPUtime=1451.36 cores=4-31
/proc/4606/task/4622/stat : 4622 (plingeling) R 4601 4601 4575 0 -1 4202560 192991 1244 0 0 144958 177 0 1 25 0 29 0 616788010 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=4606/tid=4623] ppid=4601 vsize=5507124 CPUtime=1455.51 cores=4-31
/proc/4606/task/4623/stat : 4623 (plingeling) R 4601 4601 4575 0 -1 4202560 181166 1244 0 0 145340 210 0 1 25 0 29 0 616788010 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=4606/tid=4624] ppid=4601 vsize=5507124 CPUtime=1455.59 cores=4-31
/proc/4606/task/4624/stat : 4624 (plingeling) R 4601 4601 4575 0 -1 4202560 165096 1244 0 0 145323 235 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4237251 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=4606/tid=4625] ppid=4601 vsize=5507124 CPUtime=1455.74 cores=4-31
/proc/4606/task/4625/stat : 4625 (plingeling) R 4601 4601 4575 0 -1 4202560 177449 1244 0 0 145365 208 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=4606/tid=4626] ppid=4601 vsize=5507124 CPUtime=1451.92 cores=4-31
/proc/4606/task/4626/stat : 4626 (plingeling) R 4601 4601 4575 0 -1 4202560 162963 1244 0 0 145003 188 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4334467 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=4606/tid=4627] ppid=4601 vsize=5507124 CPUtime=1454.18 cores=4-31
/proc/4606/task/4627/stat : 4627 (plingeling) R 4601 4601 4575 0 -1 4202560 163570 1244 0 0 145206 211 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4242762 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=4606/tid=4628] ppid=4601 vsize=5507124 CPUtime=1454.74 cores=4-31
/proc/4606/task/4628/stat : 4628 (plingeling) R 4601 4601 4575 0 -1 4202560 170909 1244 0 0 145230 243 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=4606/tid=4629] ppid=4601 vsize=5507124 CPUtime=1455.36 cores=4-31
/proc/4606/task/4629/stat : 4629 (plingeling) R 4601 4601 4575 0 -1 4202560 185743 1244 0 0 145276 259 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=4606/tid=4630] ppid=4601 vsize=5507124 CPUtime=1455.53 cores=4-31
/proc/4606/task/4630/stat : 4630 (plingeling) R 4601 4601 4575 0 -1 4202560 181066 1244 0 0 145393 159 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4284253 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=4606/tid=4631] ppid=4601 vsize=5507124 CPUtime=1446.1 cores=4-31
/proc/4606/task/4631/stat : 4631 (plingeling) R 4601 4601 4575 0 -1 4202560 173373 1244 0 0 144388 221 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=4606/tid=4632] ppid=4601 vsize=5507124 CPUtime=1451.23 cores=4-31
/proc/4606/task/4632/stat : 4632 (plingeling) R 4601 4601 4575 0 -1 4202560 217421 1244 0 0 144862 260 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4331383 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=4606/tid=4633] ppid=4601 vsize=5507124 CPUtime=1456.23 cores=4-31
/proc/4606/task/4633/stat : 4633 (plingeling) R 4601 4601 4575 0 -1 4202560 162905 1244 0 0 145411 211 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4238445 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=4606/tid=4634] ppid=4601 vsize=5507124 CPUtime=1448.4 cores=4-31
/proc/4606/task/4634/stat : 4634 (plingeling) R 4601 4601 4575 0 -1 4202560 156012 1244 0 0 144636 203 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4334437 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=4606/tid=4635] ppid=4601 vsize=5507124 CPUtime=1456.79 cores=4-31
/proc/4606/task/4635/stat : 4635 (plingeling) R 4601 4601 4575 0 -1 4202560 198344 1244 0 0 145425 253 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=4606/tid=4636] ppid=4601 vsize=5507124 CPUtime=1456.73 cores=4-31
/proc/4606/task/4636/stat : 4636 (plingeling) R 4601 4601 4575 0 -1 4202560 127947 1244 0 0 145519 153 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=4606/tid=4637] ppid=4601 vsize=5507124 CPUtime=1455.24 cores=4-31
/proc/4606/task/4637/stat : 4637 (plingeling) R 4601 4601 4575 0 -1 4202560 168744 1244 0 0 145261 262 0 1 25 0 29 0 616788011 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=4606/tid=4638] ppid=4601 vsize=5507124 CPUtime=1456.41 cores=4-31
/proc/4606/task/4638/stat : 4638 (plingeling) R 4601 4601 4575 0 -1 4202560 142493 1244 0 0 145482 158 0 1 25 0 29 0 616788012 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=4606/tid=4639] ppid=4601 vsize=5507124 CPUtime=1456.22 cores=4-31
/proc/4606/task/4639/stat : 4639 (plingeling) R 4601 4601 4575 0 -1 4202560 200320 1244 0 0 145422 199 0 1 25 0 29 0 616788012 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=4606/tid=4640] ppid=4601 vsize=5507124 CPUtime=1442.85 cores=4-31
/proc/4606/task/4640/stat : 4640 (plingeling) R 4601 4601 4575 0 -1 4202560 165549 1244 0 0 144046 238 0 1 25 0 29 0 616788012 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=4606/tid=4641] ppid=4601 vsize=5507124 CPUtime=1455.31 cores=4-31
/proc/4606/task/4641/stat : 4641 (plingeling) R 4601 4601 4575 0 -1 4202560 152575 1244 0 0 145345 185 0 1 25 0 29 0 616788012 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=4606/tid=4642] ppid=4601 vsize=5507124 CPUtime=1455.13 cores=4-31
/proc/4606/task/4642/stat : 4642 (plingeling) R 4601 4601 4575 0 -1 4202560 159948 1244 0 0 145303 209 0 1 25 0 29 0 616788012 5639294976 1269038 268435456000 4194304 4356188 140735683262000 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 44064.9
Current children cumulated vsize (KiB) 9975668
[startup+1544.8 s]
/proc/loadavg: 30.15 30.08 29.68 31/445 4691
/proc/meminfo: memFree=247910548/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=205.77 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 633947 0 0 0 0 20247 330 15 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 17899121587257344000 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
[pid=4602] ppid=4601 vsize=1953756 CPUtime=1544.5 cores=0
/proc/4602/stat : 4602 (cryptominisat) R 4601 4601 4575 0 -1 4202496 485071 0 0 0 154291 159 0 0 25 0 1 0 616779419 2000646144 205786 268435456000 4194304 4587354 140737180267488 18446744073709551615 4243680 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4602/statm: 488439 205786 336 96 0 485001 0
[pid=4603] ppid=4601 vsize=1384060 CPUtime=1544.5 cores=1
/proc/4603/stat : 4603 (clasp) R 4601 4601 4575 0 -1 4202496 356190 0 0 0 154300 150 0 0 25 0 1 0 616779419 1417277440 342809 268435456000 4194304 4785740 140736062414800 18446744073709551615 4290633 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/4603/statm: 346015 342809 334 145 0 343060 0
[pid=4606] ppid=4601 vsize=3809660 CPUtime=40790.6 cores=4-31
/proc/4606/stat : 4606 (plingeling) R 4601 4601 4575 0 -1 4202496 6005188 1244 0 0 4072890 6164 0 1 17 0 1 0 616779419 3901091840 867499 268435456000 4194304 4356188 140735683262000 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/4606/statm: 952415 867282 160 40 0 950959 0
Current children cumulated CPU time (s) 44085.3
Current children cumulated vsize (KiB) 7165800
[startup+1545 s]
/proc/loadavg: 30.15 30.08 29.68 31/445 4691
/proc/meminfo: memFree=247910548/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=205.77 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 633947 0 0 0 0 20247 330 15 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 9152001362706300928 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
[pid=4602] ppid=4601 vsize=0 CPUtime=1544.69 cores=0
/proc/4602/stat : 4602 (cryptominisat) R 4601 4601 4575 0 -1 4203524 485071 0 0 0 154309 160 0 0 25 0 1 0 616779419 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/4602/statm: 0 0 0 0 0 0 0
[pid=4603] ppid=4601 vsize=0 CPUtime=1544.69 cores=1
/proc/4603/stat : 4603 (clasp) R 4601 4601 4575 0 -1 4203524 356190 0 0 0 154318 151 0 0 25 0 1 0 616779419 0 0 268435456000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/4603/statm: 0 0 0 0 0 0 0
[pid=4606] ppid=4601 vsize=0 CPUtime=40790.8 cores=4-31
/proc/4606/stat : 4606 (plingeling) R 4601 4601 4575 0 -1 4202500 6005191 1244 0 0 4072890 6184 0 1 18 0 1 0 616779419 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 0
/proc/4606/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 44085.9
Current children cumulated vsize (KiB) 18324
[startup+1545.1 s]
/proc/loadavg: 30.15 30.08 29.68 31/445 4691
/proc/meminfo: memFree=247910548/264257624 swapFree=67111528/67111528
[pid=4601] ppid=4599 vsize=18324 CPUtime=42541.4 cores=0-31
/proc/4601/stat : 4601 (ppfolio) S 4599 4601 4575 0 -1 4202496 516 7125453 0 0 0 0 4247447 6690 15 0 1 0 616779418 18763776 387 268435456000 4194304 4287625 140735221397344 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 16 0 0 0
/proc/4601/statm: 4581 387 338 23 0 91 0
[pid=4603] ppid=4601 vsize=0 CPUtime=1544.79 cores=1
/proc/4603/stat : 4603 (clasp) R 4601 4601 4575 0 -1 4203524 356190 0 0 0 154318 161 0 0 25 0 1 0 616779419 0 0 268435456000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/4603/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 44086.2
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 1545.1
CPU time (s): 44086.2
CPU user time (s): 44017.7
CPU system time (s): 68.5296
CPU usage (%): 2853.29
Max. virtual memory (cumulated for all children) (KiB): 10864136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44017.7
system time used= 68.5296
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7482179
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= 7374
involuntary context switches= 109841
runsolver used 7.83481 second user time and 33.8409 second system time
The end
Begin job on node200 at 2011-05-10 20:42:10
IDJOB=3347361
IDBENCH=82371
IDSOLVER=1808
FILE ID=node200/3347361-1305052924
RUNJOBID= node200-1305052923-4589
PBS_JOBID= 13282045
Free space on /tmp= 61896 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/application/rintanen/SATPlanning/blocks-blocks-36-0.120-NOTKNOWN.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347361-1305052924/watcher-3347361-1305052924 -o /tmp/evaluation-result-3347361-1305052924/solver-3347361-1305052924 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347361-1305052924.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 8d94c04f870c828c80bd9a45ae3dedff
RANDOM SEED=208474632
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: 256094016 kB
Buffers: 380736 kB
Cached: 7433556 kB
SwapCached: 0 kB
Active: 6947208 kB
Inactive: 935508 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256094016 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 169576 kB
Writeback: 0 kB
AnonPages: 68772 kB
Mapped: 14400 kB
Slab: 195528 kB
PageTables: 4424 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 186756 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= 61020 MiB
End job on node200 at 2011-05-10 21:07:55