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
26768.51/838.97 s UNSATISFIABLE
26770.93/839.09 solver [1] cryptominisat 2.7.1 answered
26770.93/839.09 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-3347633-1305405436/watcher-3347633-1305405436 -o /tmp/evaluation-result-3347633-1305405436/solver-3347633-1305405436 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347633-1305405436.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: 32.12 31.67 31.78 1/413 32666
/proc/meminfo: memFree=255578556/264257624 swapFree=67111528/67111528
[pid=32666] ppid=32664 vsize=18324 CPUtime=0 cores=0-31
/proc/32666/stat : 32666 (ppfolio) S 32664 32666 32569 0 -1 4202496 512 0 0 0 0 0 0 0 22 0 1 0 652029995 18763776 385 268435456000 4194304 4287625 140734257320528 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/32666/statm: 4581 385 337 23 0 91 0
[startup+0.0994109 s]
/proc/loadavg: 32.12 31.67 31.78 1/413 32666
/proc/meminfo: memFree=255578556/264257624 swapFree=67111528/67111528
[pid=32666] ppid=32664 vsize=18324 CPUtime=0 cores=0-31
/proc/32666/stat : 32666 (ppfolio) S 32664 32666 32569 0 -1 4202496 512 0 0 0 0 0 0 0 22 0 1 0 652029995 18763776 385 268435456000 4194304 4287625 140734257320528 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/32666/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100455 s]
/proc/loadavg: 32.12 31.67 31.78 1/413 32666
/proc/meminfo: memFree=255578556/264257624 swapFree=67111528/67111528
[pid=32666] ppid=32664 vsize=18324 CPUtime=0 cores=0-31
/proc/32666/stat : 32666 (ppfolio) S 32664 32666 32569 0 -1 4202496 512 0 0 0 0 0 0 0 22 0 1 0 652029995 18763776 385 268435456000 4194304 4287625 140734257320528 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/32666/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300428 s]
/proc/loadavg: 32.12 31.67 31.78 1/413 32666
/proc/meminfo: memFree=255578556/264257624 swapFree=67111528/67111528
[pid=32666] ppid=32664 vsize=18324 CPUtime=0 cores=0-31
/proc/32666/stat : 32666 (ppfolio) S 32664 32666 32569 0 -1 4202496 512 0 0 0 0 0 0 0 22 0 1 0 652029995 18763776 385 268435456000 4194304 4287625 140734257320528 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/32666/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700431 s]
/proc/loadavg: 32.12 31.67 31.78 1/413 32666
/proc/meminfo: memFree=255578556/264257624 swapFree=67111528/67111528
[pid=32666] ppid=32664 vsize=18324 CPUtime=0 cores=0-31
/proc/32666/stat : 32666 (ppfolio) S 32664 32666 32569 0 -1 4202496 512 0 0 0 0 0 0 0 22 0 1 0 652029995 18763776 385 268435456000 4194304 4287625 140734257320528 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/32666/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50044 s]
/proc/loadavg: 32.12 31.67 31.78 6/419 32677
/proc/meminfo: memFree=255454592/264257624 swapFree=67111528/67111528
[pid=32666] ppid=32664 vsize=18324 CPUtime=0 cores=0-31
/proc/32666/stat : 32666 (ppfolio) S 32664 32666 32569 0 -1 4202496 512 0 0 0 0 0 0 0 22 0 1 0 652029995 18763776 385 268435456000 4194304 4287625 140734257320528 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/32666/statm: 4581 385 337 23 0 91 0
[pid=32667] ppid=32666 vsize=29096 CPUtime=1.48 cores=0
/proc/32667/stat : 32667 (cryptominisat) R 32666 32666 32569 0 -1 4202496 2182 0 0 0 148 0 0 0 20 0 1 0 652029996 29794304 2018 268435456000 4194304 4587354 140735981653888 18446744073709551615 4230359 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32667/statm: 7274 2018 304 96 0 3836 0
[pid=32668] ppid=32666 vsize=19520 CPUtime=1.47 cores=1
/proc/32668/stat : 32668 (clasp) R 32666 32666 32569 0 -1 4202496 2774 0 0 0 147 0 0 0 20 0 1 0 652029996 19988480 2210 268435456000 4194304 4785740 140733983258064 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32668/statm: 4880 2210 339 145 0 1925 0
[pid=32669] ppid=32666 vsize=455960 CPUtime=1.48 cores=2
/proc/32669/stat : 32669 (TNM) R 32666 32666 32569 0 -1 4202496 1516 0 0 0 147 1 0 0 20 0 1 0 652029996 466903040 1414 268435456000 134512640 134534564 4288019952 18446744073709551615 134524698 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32669/statm: 113990 1414 91 6 0 112655 0
[pid=32670] ppid=32666 vsize=137120 CPUtime=1.48 cores=3
/proc/32670/stat : 32670 (march_hi) R 32666 32666 32569 0 -1 4202496 33958 0 0 0 139 9 0 0 20 0 1 0 652029996 140410880 26803 268435456000 4194304 4331988 140734599169120 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32670/statm: 34280 26804 149 34 0 32722 0
[pid=32671] ppid=32666 vsize=107424 CPUtime=1.48 cores=4-31
/proc/32671/stat : 32671 (plingeling) R 32666 32666 32569 0 -1 4202496 25598 1240 0 0 140 7 0 1 21 0 1 0 652029996 110002176 25483 268435456000 4194304 4356188 140735984348384 18446744073709551615 4213270 0 0 4096 17442 0 0 0 17 10 0 0 0
/proc/32671/statm: 26856 25483 129 40 0 25400 0
Current children cumulated CPU time (s) 7.39
Current children cumulated vsize (KiB) 767444
[startup+3.10246 s]
/proc/loadavg: 32.11 31.67 31.79 34/447 32705
/proc/meminfo: memFree=255220200/264257624 swapFree=67111528/67111528
[pid=32666] ppid=32664 vsize=18324 CPUtime=0 cores=0-31
/proc/32666/stat : 32666 (ppfolio) S 32664 32666 32569 0 -1 4202496 512 0 0 0 0 0 0 0 16 0 1 0 652029995 18763776 385 268435456000 4194304 4287625 140734257320528 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/32666/statm: 4581 385 337 23 0 91 0
[pid=32667] ppid=32666 vsize=37044 CPUtime=3.09 cores=0
/proc/32667/stat : 32667 (cryptominisat) R 32666 32666 32569 0 -1 4202496 4530 0 0 0 308 1 0 0 25 0 1 0 652029996 37933056 3752 268435456000 4194304 4587354 140735981653888 18446744073709551615 4237681 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32667/statm: 9261 3752 327 96 0 5823 0
[pid=32668] ppid=32666 vsize=20456 CPUtime=3.08 cores=1
/proc/32668/stat : 32668 (clasp) R 32666 32666 32569 0 -1 4202496 3008 0 0 0 307 1 0 0 25 0 1 0 652029996 20946944 2444 268435456000 4194304 4785740 140733983258064 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32668/statm: 5114 2444 339 145 0 2159 0
[pid=32669] ppid=32666 vsize=460320 CPUtime=3.08 cores=2
/proc/32669/stat : 32669 (TNM) R 32666 32666 32569 0 -1 4202496 2131 0 0 0 307 1 0 0 25 0 1 0 652029996 471367680 2029 268435456000 134512640 134534564 4288019952 18446744073709551615 134530659 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32669/statm: 115080 2029 95 6 0 113745 0
[pid=32670] ppid=32666 vsize=334116 CPUtime=3.09 cores=3
/proc/32670/stat : 32670 (march_hi) R 32666 32666 32569 0 -1 4202496 87809 0 0 0 286 23 0 0 25 0 1 0 652029996 342134784 65035 268435456000 4194304 4331988 140734599169120 18446744073709551615 4251674 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32670/statm: 83529 65036 149 34 0 81971 0
[pid=32671] ppid=32666 vsize=583416 CPUtime=42.31 cores=4-31
/proc/32671/stat : 32671 (plingeling) S 32666 32666 32569 0 -1 4202496 57087 1240 0 0 4157 73 0 1 21 0 29 0 652029996 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/32671/statm: 145854 40700 159 40 0 144398 0
[pid=32671/tid=32678] ppid=32666 vsize=583416 CPUtime=1.44 cores=4-31
/proc/32671/task/32678/stat : 32678 (plingeling) R 32666 32666 32569 0 -1 4202560 1028 1240 0 0 141 2 0 1 19 0 29 0 652030156 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4300701 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32671/tid=32679] ppid=32666 vsize=583416 CPUtime=1.46 cores=4-31
/proc/32671/task/32679/stat : 32679 (plingeling) R 32666 32666 32569 0 -1 4202560 1216 1240 0 0 143 2 0 1 19 0 29 0 652030156 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4306784 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32671/tid=32680] ppid=32666 vsize=583416 CPUtime=1.41 cores=4-31
/proc/32671/task/32680/stat : 32680 (plingeling) R 32666 32666 32569 0 -1 4202560 1023 1240 0 0 138 2 0 1 19 0 29 0 652030156 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4216203 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32671/tid=32681] ppid=32666 vsize=583416 CPUtime=1.48 cores=4-31
/proc/32671/task/32681/stat : 32681 (plingeling) R 32666 32666 32569 0 -1 4202560 1176 1240 0 0 145 2 0 1 23 0 29 0 652030156 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4210823 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32671/tid=32682] ppid=32666 vsize=583416 CPUtime=1.45 cores=4-31
/proc/32671/task/32682/stat : 32682 (plingeling) R 32666 32666 32569 0 -1 4202560 1400 1240 0 0 142 2 0 1 19 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4233426 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32671/tid=32683] ppid=32666 vsize=583416 CPUtime=1.42 cores=4-31
/proc/32671/task/32683/stat : 32683 (plingeling) R 32666 32666 32569 0 -1 4202560 921 1240 0 0 139 2 0 1 19 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4215056 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32671/tid=32684] ppid=32666 vsize=583416 CPUtime=1.46 cores=4-31
/proc/32671/task/32684/stat : 32684 (plingeling) R 32666 32666 32569 0 -1 4202560 1181 1240 0 0 143 2 0 1 19 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4233168 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32671/tid=32685] ppid=32666 vsize=583416 CPUtime=1.45 cores=4-31
/proc/32671/task/32685/stat : 32685 (plingeling) R 32666 32666 32569 0 -1 4202560 963 1240 0 0 142 2 0 1 19 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4216149 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32671/tid=32686] ppid=32666 vsize=583416 CPUtime=1.45 cores=4-31
/proc/32671/task/32686/stat : 32686 (plingeling) R 32666 32666 32569 0 -1 4202560 1192 1240 0 0 142 2 0 1 19 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4232869 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32671/tid=32687] ppid=32666 vsize=583416 CPUtime=1.46 cores=4-31
/proc/32671/task/32687/stat : 32687 (plingeling) R 32666 32666 32569 0 -1 4202560 1186 1240 0 0 143 2 0 1 19 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4301904 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32671/tid=32688] ppid=32666 vsize=583416 CPUtime=1.43 cores=4-31
/proc/32671/task/32688/stat : 32688 (plingeling) R 32666 32666 32569 0 -1 4202560 1165 1240 0 0 140 2 0 1 22 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4232856 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32671/tid=32689] ppid=32666 vsize=583416 CPUtime=1.45 cores=4-31
/proc/32671/task/32689/stat : 32689 (plingeling) R 32666 32666 32569 0 -1 4202560 1120 1240 0 0 143 1 0 1 22 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330995 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32671/tid=32690] ppid=32666 vsize=583416 CPUtime=1.44 cores=4-31
/proc/32671/task/32690/stat : 32690 (plingeling) R 32666 32666 32569 0 -1 4202560 963 1240 0 0 141 2 0 1 19 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4217793 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32671/tid=32691] ppid=32666 vsize=583416 CPUtime=1.45 cores=4-31
/proc/32671/task/32691/stat : 32691 (plingeling) R 32666 32666 32569 0 -1 4202560 1095 1240 0 0 142 2 0 1 19 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4270554 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32671/tid=32692] ppid=32666 vsize=583416 CPUtime=1.44 cores=4-31
/proc/32671/task/32692/stat : 32692 (plingeling) R 32666 32666 32569 0 -1 4202560 1199 1240 0 0 141 2 0 1 19 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4216199 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32671/tid=32693] ppid=32666 vsize=583416 CPUtime=1.48 cores=4-31
/proc/32671/task/32693/stat : 32693 (plingeling) R 32666 32666 32569 0 -1 4202560 1303 1240 0 0 145 2 0 1 25 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4301882 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32671/tid=32694] ppid=32666 vsize=583416 CPUtime=1.47 cores=4-31
/proc/32671/task/32694/stat : 32694 (plingeling) R 32666 32666 32569 0 -1 4202560 1254 1240 0 0 144 2 0 1 19 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4217220 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32671/tid=32695] ppid=32666 vsize=583416 CPUtime=1.47 cores=4-31
/proc/32671/task/32695/stat : 32695 (plingeling) R 32666 32666 32569 0 -1 4202560 1099 1240 0 0 144 2 0 1 25 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4232894 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32671/tid=32696] ppid=32666 vsize=583416 CPUtime=1.46 cores=4-31
/proc/32671/task/32696/stat : 32696 (plingeling) R 32666 32666 32569 0 -1 4202560 1193 1240 0 0 144 1 0 1 25 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4301875 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32671/tid=32697] ppid=32666 vsize=583416 CPUtime=1.46 cores=4-31
/proc/32671/task/32697/stat : 32697 (plingeling) R 32666 32666 32569 0 -1 4202560 1179 1240 0 0 144 1 0 1 25 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331086 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32671/tid=32698] ppid=32666 vsize=583416 CPUtime=1.46 cores=4-31
/proc/32671/task/32698/stat : 32698 (plingeling) R 32666 32666 32569 0 -1 4202560 963 1240 0 0 143 2 0 1 19 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4216203 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32671/tid=32699] ppid=32666 vsize=583416 CPUtime=1.46 cores=4-31
/proc/32671/task/32699/stat : 32699 (plingeling) R 32666 32666 32569 0 -1 4202560 1159 1240 0 0 143 2 0 1 19 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4306223 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32671/tid=32700] ppid=32666 vsize=583416 CPUtime=1.48 cores=4-31
/proc/32671/task/32700/stat : 32700 (plingeling) R 32666 32666 32569 0 -1 4202560 963 1240 0 0 145 2 0 1 25 0 29 0 652030157 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4216375 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32671/tid=32701] ppid=32666 vsize=583416 CPUtime=1.45 cores=4-31
/proc/32671/task/32701/stat : 32701 (plingeling) R 32666 32666 32569 0 -1 4202560 1063 1240 0 0 143 1 0 1 25 0 29 0 652030158 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4302366 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32671/tid=32702] ppid=32666 vsize=583416 CPUtime=1.46 cores=4-31
/proc/32671/task/32702/stat : 32702 (plingeling) R 32666 32666 32569 0 -1 4202560 1160 1240 0 0 143 2 0 1 19 0 29 0 652030158 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4211433 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32671/tid=32703] ppid=32666 vsize=583416 CPUtime=1.46 cores=4-31
/proc/32671/task/32703/stat : 32703 (plingeling) R 32666 32666 32569 0 -1 4202560 1261 1240 0 0 143 2 0 1 19 0 29 0 652030158 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4312588 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32671/tid=32704] ppid=32666 vsize=583416 CPUtime=1.45 cores=4-31
/proc/32671/task/32704/stat : 32704 (plingeling) R 32666 32666 32569 0 -1 4202560 1037 1240 0 0 142 2 0 1 25 0 29 0 652030158 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4276709 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32671/tid=32705] ppid=32666 vsize=583416 CPUtime=1.45 cores=4-31
/proc/32671/task/32705/stat : 32705 (plingeling) R 32666 32666 32569 0 -1 4202560 990 1240 0 0 143 1 0 1 25 0 29 0 652030158 597417984 40700 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 54.65
Current children cumulated vsize (KiB) 1453676
[startup+6.30158 s]
/proc/loadavg: 32.11 31.67 31.79 33/447 32705
/proc/meminfo: memFree=255137516/264257624 swapFree=67111528/67111528
[pid=32666] ppid=32664 vsize=18324 CPUtime=0 cores=0-31
/proc/32666/stat : 32666 (ppfolio) S 32664 32666 32569 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 652029995 18763776 385 268435456000 4194304 4287625 140734257320528 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/32666/statm: 4581 385 337 23 0 91 0
[pid=32667] ppid=32666 vsize=433476 CPUtime=6.28 cores=0
/proc/32667/stat : 32667 (cryptominisat) R 32666 32666 32569 0 -1 4202496 5394 0 0 0 627 1 0 0 25 0 1 0 652029996 443879424 3801 268435456000 4194304 4587354 140735981653888 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32667/statm: 108369 3801 329 96 0 104931 0
[pid=32668] ppid=32666 vsize=23816 CPUtime=6.28 cores=1
/proc/32668/stat : 32668 (clasp) R 32666 32666 32569 0 -1 4202496 3824 0 0 0 627 1 0 0 25 0 1 0 652029996 24387584 3260 268435456000 4194304 4785740 140733983258064 18446744073709551615 4553010 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32668/statm: 5954 3260 339 145 0 2999 0
[pid=32669] ppid=32666 vsize=460320 CPUtime=6.28 cores=2
/proc/32669/stat : 32669 (TNM) R 32666 32666 32569 0 -1 4202496 2131 0 0 0 627 1 0 0 25 0 1 0 652029996 471367680 2029 268435456000 134512640 134534564 4288019952 18446744073709551615 134528628 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32669/statm: 115080 2029 95 6 0 113745 0
[pid=32670] ppid=32666 vsize=237620 CPUtime=6.28 cores=3
/proc/32670/stat : 32670 (march_hi) R 32666 32666 32569 0 -1 4202496 114591 0 0 0 599 29 0 0 25 0 1 0 652029996 243322880 52312 268435456000 4194304 4331988 140734599169120 18446744073709551615 4196400 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32670/statm: 59405 52312 149 34 0 57847 0
[pid=32671] ppid=32666 vsize=609804 CPUtime=131.76 cores=4-31
/proc/32671/stat : 32671 (plingeling) S 32666 32666 32569 0 -1 4202496 65185 1240 0 0 13099 76 0 1 21 0 29 0 652029996 624439296 47659 268435456000 4194304 4356188 140735984348384 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/32671/statm: 152451 47659 159 40 0 150995 0
[pid=32671/tid=32678] ppid=32666 vsize=609804 CPUtime=4.63 cores=4-31
/proc/32671/task/32678/stat : 32678 (plingeling) R 32666 32666 32569 0 -1 4202560 1200 1240 0 0 460 2 0 1 25 0 29 0 652030156 624439296 47659 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331951 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32671/tid=32679] ppid=32666 vsize=609804 CPUtime=4.66 cores=4-31
/proc/32671/task/32679/stat : 32679 (plingeling) R 32666 32666 32569 0 -1 4202560 1559 1240 0 0 463 2 0 1 25 0 29 0 652030156 624439296 47659 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32671/tid=32680] ppid=32666 vsize=609804 CPUtime=4.52 cores=4-31
/proc/32671/task/32680/stat : 32680 (plingeling) R 32666 32666 32569 0 -1 4202560 1247 1240 0 0 449 2 0 1 25 0 29 0 652030156 624439296 47659 268435456000 4194304 4356188 140735984348384 18446744073709551615 4210758 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32671/tid=32681] ppid=32666 vsize=609804 CPUtime=4.68 cores=4-31
/proc/32671/task/32681/stat : 32681 (plingeling) R 32666 32666 32569 0 -1 4202560 2075 1240 0 0 465 2 0 1 25 0 29 0 652030156 624439296 47659 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32671/tid=32682] ppid=32666 vsize=609804 CPUtime=4.65 cores=4-31
/proc/32671/task/32682/stat : 32682 (plingeling) R 32666 32666 32569 0 -1 4202560 1672 1240 0 0 462 2 0 1 25 0 29 0 652030157 624439296 47659 268435456000 4194304 4356188 140735984348384 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32671/tid=32683] ppid=32666 vsize=609804 CPUtime=4.62 cores=4-31
################
# More data... #
################
[pid=32667] ppid=32666 vsize=463324 CPUtime=838.53 cores=0
/proc/32667/stat : 32667 (cryptominisat) R 32666 32666 32569 0 -1 4202496 90413 0 0 0 83809 44 0 0 25 0 1 0 652029996 474443776 13111 268435456000 4194304 4587354 140735981653888 18446744073709551615 4231420 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32667/statm: 115831 13111 336 96 0 112393 0
[pid=32668] ppid=32666 vsize=102464 CPUtime=838.52 cores=1
/proc/32668/stat : 32668 (clasp) R 32666 32666 32569 0 -1 4202496 23291 0 0 0 83843 9 0 0 25 0 1 0 652029996 104923136 22727 268435456000 4194304 4785740 140733983258064 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32668/statm: 25616 22727 339 145 0 22661 0
[pid=32669] ppid=32666 vsize=460320 CPUtime=838.53 cores=2
/proc/32669/stat : 32669 (TNM) R 32666 32666 32569 0 -1 4202496 2131 0 0 0 83852 1 0 0 25 0 1 0 652029996 471367680 2029 268435456000 134512640 134534564 4288019952 18446744073709551615 134528330 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32669/statm: 115080 2029 95 6 0 113745 0
[pid=32670] ppid=32666 vsize=660732 CPUtime=838.53 cores=3
/proc/32670/stat : 32670 (march_hi) R 32666 32666 32569 0 -1 4202496 368493 0 0 0 83765 88 0 0 25 0 1 0 652029996 676589568 126845 268435456000 4194304 4331988 140734599169120 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32670/statm: 165183 126845 174 34 0 163625 0
[pid=32671] ppid=32666 vsize=1649720 CPUtime=23408 cores=4-31
/proc/32671/stat : 32671 (plingeling) S 32666 32666 32569 0 -1 4202496 2802402 1240 0 0 2338547 2252 0 1 21 0 29 0 652029996 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/32671/statm: 412430 312615 159 40 0 410974 0
[pid=32671/tid=32678] ppid=32666 vsize=1649720 CPUtime=832.63 cores=4-31
/proc/32671/task/32678/stat : 32678 (plingeling) R 32666 32666 32569 0 -1 4202560 95743 1240 0 0 83200 62 0 1 25 0 29 0 652030156 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32671/tid=32679] ppid=32666 vsize=1649720 CPUtime=836.86 cores=4-31
/proc/32671/task/32679/stat : 32679 (plingeling) R 32666 32666 32569 0 -1 4202560 106967 1240 0 0 83600 85 0 1 25 0 29 0 652030156 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32671/tid=32680] ppid=32666 vsize=1649720 CPUtime=833.94 cores=4-31
/proc/32671/task/32680/stat : 32680 (plingeling) R 32666 32666 32569 0 -1 4202560 103233 1240 0 0 83311 82 0 1 25 0 29 0 652030156 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331047 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32671/tid=32681] ppid=32666 vsize=1649720 CPUtime=836.8 cores=4-31
/proc/32671/task/32681/stat : 32681 (plingeling) R 32666 32666 32569 0 -1 4202560 103929 1240 0 0 83593 86 0 1 25 0 29 0 652030156 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32671/tid=32682] ppid=32666 vsize=1649720 CPUtime=836.68 cores=4-31
/proc/32671/task/32682/stat : 32682 (plingeling) R 32666 32666 32569 0 -1 4202560 104919 1240 0 0 83595 72 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331716 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32671/tid=32683] ppid=32666 vsize=1649720 CPUtime=836.83 cores=4-31
/proc/32671/task/32683/stat : 32683 (plingeling) R 32666 32666 32569 0 -1 4202560 110132 1240 0 0 83606 76 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330845 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32671/tid=32684] ppid=32666 vsize=1649720 CPUtime=836.89 cores=4-31
/proc/32671/task/32684/stat : 32684 (plingeling) R 32666 32666 32569 0 -1 4202560 94573 1240 0 0 83625 63 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4211729 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32671/tid=32685] ppid=32666 vsize=1649720 CPUtime=836.84 cores=4-31
/proc/32671/task/32685/stat : 32685 (plingeling) R 32666 32666 32569 0 -1 4202560 91974 1240 0 0 83562 121 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32671/tid=32686] ppid=32666 vsize=1649720 CPUtime=836.85 cores=4-31
/proc/32671/task/32686/stat : 32686 (plingeling) R 32666 32666 32569 0 -1 4202560 91852 1240 0 0 83618 66 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4232885 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32671/tid=32687] ppid=32666 vsize=1649720 CPUtime=830.79 cores=4-31
/proc/32671/task/32687/stat : 32687 (plingeling) R 32666 32666 32569 0 -1 4202560 95869 1240 0 0 82998 80 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32671/tid=32688] ppid=32666 vsize=1649720 CPUtime=836.81 cores=4-31
/proc/32671/task/32688/stat : 32688 (plingeling) R 32666 32666 32569 0 -1 4202560 94180 1240 0 0 83605 75 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4210859 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32671/tid=32689] ppid=32666 vsize=1649720 CPUtime=836.86 cores=4-31
/proc/32671/task/32689/stat : 32689 (plingeling) R 32666 32666 32569 0 -1 4202560 103000 1240 0 0 83608 77 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32671/tid=32690] ppid=32666 vsize=1649720 CPUtime=836.12 cores=4-31
/proc/32671/task/32690/stat : 32690 (plingeling) R 32666 32666 32569 0 -1 4202560 104343 1240 0 0 83530 81 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331984 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32671/tid=32691] ppid=32666 vsize=1649720 CPUtime=836.81 cores=4-31
/proc/32671/task/32691/stat : 32691 (plingeling) R 32666 32666 32569 0 -1 4202560 94252 1240 0 0 83608 72 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32671/tid=32692] ppid=32666 vsize=1649720 CPUtime=836.79 cores=4-31
/proc/32671/task/32692/stat : 32692 (plingeling) R 32666 32666 32569 0 -1 4202560 100391 1240 0 0 83609 69 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32671/tid=32693] ppid=32666 vsize=1649720 CPUtime=829.61 cores=4-31
/proc/32671/task/32693/stat : 32693 (plingeling) R 32666 32666 32569 0 -1 4202560 86731 1240 0 0 82844 116 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331165 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32671/tid=32694] ppid=32666 vsize=1649720 CPUtime=836.72 cores=4-31
/proc/32671/task/32694/stat : 32694 (plingeling) R 32666 32666 32569 0 -1 4202560 97840 1240 0 0 83611 60 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32671/tid=32695] ppid=32666 vsize=1649720 CPUtime=836.89 cores=4-31
/proc/32671/task/32695/stat : 32695 (plingeling) R 32666 32666 32569 0 -1 4202560 97991 1240 0 0 83614 74 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32671/tid=32696] ppid=32666 vsize=1649720 CPUtime=836.82 cores=4-31
/proc/32671/task/32696/stat : 32696 (plingeling) R 32666 32666 32569 0 -1 4202560 104190 1240 0 0 83612 69 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4301072 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32671/tid=32697] ppid=32666 vsize=1649720 CPUtime=836.85 cores=4-31
/proc/32671/task/32697/stat : 32697 (plingeling) R 32666 32666 32569 0 -1 4202560 108006 1240 0 0 83599 85 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32671/tid=32698] ppid=32666 vsize=1649720 CPUtime=836.72 cores=4-31
/proc/32671/task/32698/stat : 32698 (plingeling) R 32666 32666 32569 0 -1 4202560 95647 1240 0 0 83584 87 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32671/tid=32699] ppid=32666 vsize=1649720 CPUtime=836.83 cores=4-31
/proc/32671/task/32699/stat : 32699 (plingeling) R 32666 32666 32569 0 -1 4202560 97364 1240 0 0 83618 64 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331350 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32671/tid=32700] ppid=32666 vsize=1649720 CPUtime=836.87 cores=4-31
/proc/32671/task/32700/stat : 32700 (plingeling) R 32666 32666 32569 0 -1 4202560 97321 1240 0 0 83613 73 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331082 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32671/tid=32701] ppid=32666 vsize=1649720 CPUtime=836.83 cores=4-31
/proc/32671/task/32701/stat : 32701 (plingeling) R 32666 32666 32569 0 -1 4202560 97714 1240 0 0 83536 146 0 1 25 0 29 0 652030158 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331309 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32671/tid=32702] ppid=32666 vsize=1649720 CPUtime=836.74 cores=4-31
/proc/32671/task/32702/stat : 32702 (plingeling) R 32666 32666 32569 0 -1 4202560 103739 1240 0 0 83587 86 0 1 25 0 29 0 652030158 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330990 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32671/tid=32703] ppid=32666 vsize=1649720 CPUtime=836.16 cores=4-31
/proc/32671/task/32703/stat : 32703 (plingeling) R 32666 32666 32569 0 -1 4202560 99639 1240 0 0 83546 69 0 1 25 0 29 0 652030158 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32671/tid=32704] ppid=32666 vsize=1649720 CPUtime=834.05 cores=4-31
/proc/32671/task/32704/stat : 32704 (plingeling) R 32666 32666 32569 0 -1 4202560 99266 1240 0 0 83344 60 0 1 25 0 29 0 652030158 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32671/tid=32705] ppid=32666 vsize=1649720 CPUtime=836.81 cores=4-31
/proc/32671/task/32705/stat : 32705 (plingeling) R 32666 32666 32569 0 -1 4202560 95962 1240 0 0 83607 73 0 1 25 0 29 0 652030158 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 26762.1
Current children cumulated vsize (KiB) 3354884
[startup+838.902 s]
/proc/loadavg: 32.06 32.07 31.96 33/447 32727
/proc/meminfo: memFree=253679492/264257624 swapFree=67111528/67111528
[pid=32666] ppid=32664 vsize=18324 CPUtime=0 cores=0-31
/proc/32666/stat : 32666 (ppfolio) S 32664 32666 32569 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 652029995 18763776 385 268435456000 4194304 4287625 140734257320528 18446744073709551615 258650975999 0 0 4096 65536 9203097459050414079 0 0 17 16 0 0 0
/proc/32666/statm: 4581 385 337 23 0 91 0
[pid=32667] ppid=32666 vsize=463324 CPUtime=838.73 cores=0
/proc/32667/stat : 32667 (cryptominisat) R 32666 32666 32569 0 -1 4202496 90413 0 0 0 83829 44 0 0 25 0 1 0 652029996 474443776 13111 268435456000 4194304 4587354 140735981653888 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/32667/statm: 115831 13111 336 96 0 112393 0
[pid=32668] ppid=32666 vsize=102464 CPUtime=838.72 cores=1
/proc/32668/stat : 32668 (clasp) R 32666 32666 32569 0 -1 4202496 23291 0 0 0 83863 9 0 0 25 0 1 0 652029996 104923136 22727 268435456000 4194304 4785740 140733983258064 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/32668/statm: 25616 22727 339 145 0 22661 0
[pid=32669] ppid=32666 vsize=460320 CPUtime=838.73 cores=2
/proc/32669/stat : 32669 (TNM) R 32666 32666 32569 0 -1 4202496 2131 0 0 0 83872 1 0 0 25 0 1 0 652029996 471367680 2029 268435456000 134512640 134534564 4288019952 18446744073709551615 134528934 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/32669/statm: 115080 2029 95 6 0 113745 0
[pid=32670] ppid=32666 vsize=660732 CPUtime=838.73 cores=3
/proc/32670/stat : 32670 (march_hi) R 32666 32666 32569 0 -1 4202496 368493 0 0 0 83785 88 0 0 25 0 1 0 652029996 676589568 126845 268435456000 4194304 4331988 140734599169120 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/32670/statm: 165183 126845 174 34 0 163625 0
[pid=32671] ppid=32666 vsize=1649720 CPUtime=23413.6 cores=4-31
/proc/32671/stat : 32671 (plingeling) S 32666 32666 32569 0 -1 4202496 2802402 1240 0 0 2339107 2252 0 1 21 0 29 0 652029996 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/32671/statm: 412430 312615 159 40 0 410974 0
[pid=32671/tid=32678] ppid=32666 vsize=1649720 CPUtime=832.83 cores=4-31
/proc/32671/task/32678/stat : 32678 (plingeling) R 32666 32666 32569 0 -1 4202560 95743 1240 0 0 83220 62 0 1 25 0 29 0 652030156 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=32671/tid=32679] ppid=32666 vsize=1649720 CPUtime=837.06 cores=4-31
/proc/32671/task/32679/stat : 32679 (plingeling) R 32666 32666 32569 0 -1 4202560 106967 1240 0 0 83620 85 0 1 25 0 29 0 652030156 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=32671/tid=32680] ppid=32666 vsize=1649720 CPUtime=834.14 cores=4-31
/proc/32671/task/32680/stat : 32680 (plingeling) R 32666 32666 32569 0 -1 4202560 103233 1240 0 0 83331 82 0 1 25 0 29 0 652030156 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=32671/tid=32681] ppid=32666 vsize=1649720 CPUtime=837 cores=4-31
/proc/32671/task/32681/stat : 32681 (plingeling) R 32666 32666 32569 0 -1 4202560 103929 1240 0 0 83613 86 0 1 25 0 29 0 652030156 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=32671/tid=32682] ppid=32666 vsize=1649720 CPUtime=836.88 cores=4-31
/proc/32671/task/32682/stat : 32682 (plingeling) R 32666 32666 32569 0 -1 4202560 104919 1240 0 0 83615 72 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4211015 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=32671/tid=32683] ppid=32666 vsize=1649720 CPUtime=837.03 cores=4-31
/proc/32671/task/32683/stat : 32683 (plingeling) R 32666 32666 32569 0 -1 4202560 110132 1240 0 0 83626 76 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=32671/tid=32684] ppid=32666 vsize=1649720 CPUtime=837.09 cores=4-31
/proc/32671/task/32684/stat : 32684 (plingeling) R 32666 32666 32569 0 -1 4202560 94573 1240 0 0 83645 63 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=32671/tid=32685] ppid=32666 vsize=1649720 CPUtime=837.04 cores=4-31
/proc/32671/task/32685/stat : 32685 (plingeling) R 32666 32666 32569 0 -1 4202560 91974 1240 0 0 83582 121 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=32671/tid=32686] ppid=32666 vsize=1649720 CPUtime=837.05 cores=4-31
/proc/32671/task/32686/stat : 32686 (plingeling) R 32666 32666 32569 0 -1 4202560 91852 1240 0 0 83638 66 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4215259 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=32671/tid=32687] ppid=32666 vsize=1649720 CPUtime=830.99 cores=4-31
/proc/32671/task/32687/stat : 32687 (plingeling) R 32666 32666 32569 0 -1 4202560 95869 1240 0 0 83018 80 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=32671/tid=32688] ppid=32666 vsize=1649720 CPUtime=837.01 cores=4-31
/proc/32671/task/32688/stat : 32688 (plingeling) R 32666 32666 32569 0 -1 4202560 94180 1240 0 0 83625 75 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=32671/tid=32689] ppid=32666 vsize=1649720 CPUtime=837.06 cores=4-31
/proc/32671/task/32689/stat : 32689 (plingeling) R 32666 32666 32569 0 -1 4202560 103000 1240 0 0 83628 77 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330909 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=32671/tid=32690] ppid=32666 vsize=1649720 CPUtime=836.31 cores=4-31
/proc/32671/task/32690/stat : 32690 (plingeling) R 32666 32666 32569 0 -1 4202560 104343 1240 0 0 83549 81 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4210856 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=32671/tid=32691] ppid=32666 vsize=1649720 CPUtime=837.01 cores=4-31
/proc/32671/task/32691/stat : 32691 (plingeling) R 32666 32666 32569 0 -1 4202560 94252 1240 0 0 83628 72 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4281677 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=32671/tid=32692] ppid=32666 vsize=1649720 CPUtime=836.99 cores=4-31
/proc/32671/task/32692/stat : 32692 (plingeling) R 32666 32666 32569 0 -1 4202560 100391 1240 0 0 83629 69 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=32671/tid=32693] ppid=32666 vsize=1649720 CPUtime=829.8 cores=4-31
/proc/32671/task/32693/stat : 32693 (plingeling) R 32666 32666 32569 0 -1 4202560 86731 1240 0 0 82863 116 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=32671/tid=32694] ppid=32666 vsize=1649720 CPUtime=836.92 cores=4-31
/proc/32671/task/32694/stat : 32694 (plingeling) R 32666 32666 32569 0 -1 4202560 97840 1240 0 0 83631 60 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4284043 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=32671/tid=32695] ppid=32666 vsize=1649720 CPUtime=837.09 cores=4-31
/proc/32671/task/32695/stat : 32695 (plingeling) R 32666 32666 32569 0 -1 4202560 97991 1240 0 0 83634 74 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=32671/tid=32696] ppid=32666 vsize=1649720 CPUtime=837.02 cores=4-31
/proc/32671/task/32696/stat : 32696 (plingeling) R 32666 32666 32569 0 -1 4202560 104190 1240 0 0 83632 69 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4231344 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=32671/tid=32697] ppid=32666 vsize=1649720 CPUtime=837.05 cores=4-31
/proc/32671/task/32697/stat : 32697 (plingeling) R 32666 32666 32569 0 -1 4202560 108006 1240 0 0 83619 85 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=32671/tid=32698] ppid=32666 vsize=1649720 CPUtime=836.92 cores=4-31
/proc/32671/task/32698/stat : 32698 (plingeling) R 32666 32666 32569 0 -1 4202560 95647 1240 0 0 83604 87 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330931 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=32671/tid=32699] ppid=32666 vsize=1649720 CPUtime=837.03 cores=4-31
/proc/32671/task/32699/stat : 32699 (plingeling) R 32666 32666 32569 0 -1 4202560 97364 1240 0 0 83638 64 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=32671/tid=32700] ppid=32666 vsize=1649720 CPUtime=837.07 cores=4-31
/proc/32671/task/32700/stat : 32700 (plingeling) R 32666 32666 32569 0 -1 4202560 97321 1240 0 0 83633 73 0 1 25 0 29 0 652030157 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331079 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=32671/tid=32701] ppid=32666 vsize=1649720 CPUtime=837.03 cores=4-31
/proc/32671/task/32701/stat : 32701 (plingeling) R 32666 32666 32569 0 -1 4202560 97714 1240 0 0 83556 146 0 1 25 0 29 0 652030158 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=32671/tid=32702] ppid=32666 vsize=1649720 CPUtime=836.94 cores=4-31
/proc/32671/task/32702/stat : 32702 (plingeling) R 32666 32666 32569 0 -1 4202560 103739 1240 0 0 83607 86 0 1 25 0 29 0 652030158 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4236874 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=32671/tid=32703] ppid=32666 vsize=1649720 CPUtime=836.36 cores=4-31
/proc/32671/task/32703/stat : 32703 (plingeling) R 32666 32666 32569 0 -1 4202560 99639 1240 0 0 83566 69 0 1 25 0 29 0 652030158 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4331296 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=32671/tid=32704] ppid=32666 vsize=1649720 CPUtime=834.25 cores=4-31
/proc/32671/task/32704/stat : 32704 (plingeling) R 32666 32666 32569 0 -1 4202560 99266 1240 0 0 83364 60 0 1 25 0 29 0 652030158 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4283959 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=32671/tid=32705] ppid=32666 vsize=1649720 CPUtime=837.01 cores=4-31
/proc/32671/task/32705/stat : 32705 (plingeling) R 32666 32666 32569 0 -1 4202560 95962 1240 0 0 83627 73 0 1 25 0 29 0 652030158 1689313280 312615 268435456000 4194304 4356188 140735984348384 18446744073709551615 4330999 0 0 4096 17442 0 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 26768.5
Current children cumulated vsize (KiB) 3354884
[startup+839.002 s]
/proc/loadavg: 32.06 32.07 31.96 33/447 32727
/proc/meminfo: memFree=253679492/264257624 swapFree=67111528/67111528
[pid=32666] ppid=32664 vsize=18324 CPUtime=2516.43 cores=0-31
/proc/32666/stat : 32666 (ppfolio) S 32664 32666 32569 0 -1 4202496 513 115850 0 0 0 0 251587 56 15 0 1 0 652029995 18763776 386 268435456000 4194304 4287625 140734257320528 18446744073709551615 258650975999 0 0 4096 65536 9192742945734754608 0 0 17 16 0 0 0
/proc/32666/statm: 4581 386 338 23 0 91 0
[pid=32670] ppid=32666 vsize=0 CPUtime=838.83 cores=3
/proc/32670/stat : 32670 (march_hi) R 32666 32666 32569 0 -1 4203524 368493 0 0 0 83792 91 0 0 25 0 1 0 652029996 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/32670/statm: 0 0 0 0 0 0 0
[pid=32671] ppid=32666 vsize=0 CPUtime=23415.7 cores=4-31
/proc/32671/stat : 32671 (plingeling) Z 32666 32666 32569 0 -1 4203548 2802402 1240 0 0 2339311 2255 0 1 18 0 2 0 652029996 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/32671/statm: 0 0 0 0 0 0 0
[pid=32671/tid=32703] ppid=32666 vsize=0 CPUtime=836.46 cores=4-31
/proc/32671/task/32703/stat : 32703 (plingeling) R 32666 32666 32569 0 -1 4203588 99639 1240 0 0 83574 71 0 1 25 0 2 0 652030158 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 26770.9
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 839.092
CPU time (s): 26771.1
CPU user time (s): 26746.9
CPU system time (s): 24.1523
CPU usage (%): 3190.48
Max. virtual memory (cumulated for all children) (KiB): 3818444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 26746.9
system time used= 24.1523
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3288518
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= 2556
involuntary context switches= 64532
runsolver used 5.03723 second user time and 18.7202 second system time
The end
Begin job on node200 at 2011-05-14 22:37:16
IDJOB=3347633
IDBENCH=84211
IDSOLVER=1808
FILE ID=node200/3347633-1305405436
RUNJOBID= node200-1305405168-32583
PBS_JOBID= 13285493
Free space on /tmp= 62052 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/x1mul.miter.shuffled-as.sat03-359.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347633-1305405436/watcher-3347633-1305405436 -o /tmp/evaluation-result-3347633-1305405436/solver-3347633-1305405436 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347633-1305405436.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 9edcffddbe07377cf6685697aafad673
RANDOM SEED=1228328586
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: 255578844 kB
Buffers: 438180 kB
Cached: 7835744 kB
SwapCached: 0 kB
Active: 7386264 kB
Inactive: 956224 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255578844 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10860 kB
Writeback: 0 kB
AnonPages: 70824 kB
Mapped: 15968 kB
Slab: 249784 kB
PageTables: 6548 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 193648 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= 62040 MiB
End job on node200 at 2011-05-14 22:51:15