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
87817.38/2751.28 s UNSATISFIABLE
87819.52/2751.37 solver [1] cryptominisat 2.7.1 answered
87819.52/2751.37 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-3347253-1304958555/watcher-3347253-1304958555 -o /tmp/evaluation-result-3347253-1304958555/solver-3347253-1304958555 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347253-1304958555.cnf
running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 29.55 31.60 31.93 1/413 26301
/proc/meminfo: memFree=256751228/264257624 swapFree=67111528/67111528
[pid=26301] ppid=26299 vsize=18324 CPUtime=0 cores=0-31
/proc/26301/stat : 26301 (ppfolio) S 26299 26301 26275 0 -1 4202496 515 0 0 0 0 0 0 0 22 0 1 0 607341948 18763776 386 268435456000 4194304 4287625 140734535497904 18446744073709551615 258650975999 0 0 4096 65536 2826088513535 0 0 17 20 0 0 0
/proc/26301/statm: 4581 386 337 23 0 91 0
[startup+0.127927 s]
/proc/loadavg: 29.55 31.60 31.93 1/413 26301
/proc/meminfo: memFree=256751228/264257624 swapFree=67111528/67111528
[pid=26301] ppid=26299 vsize=18324 CPUtime=0 cores=0-31
/proc/26301/stat : 26301 (ppfolio) S 26299 26301 26275 0 -1 4202496 515 0 0 0 0 0 0 0 22 0 1 0 607341948 18763776 386 268435456000 4194304 4287625 140734535497904 18446744073709551615 258650975999 0 0 4096 65536 2826088513535 0 0 17 20 0 0 0
/proc/26301/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.200952 s]
/proc/loadavg: 29.55 31.60 31.93 1/413 26301
/proc/meminfo: memFree=256751228/264257624 swapFree=67111528/67111528
[pid=26301] ppid=26299 vsize=18324 CPUtime=0 cores=0-31
/proc/26301/stat : 26301 (ppfolio) S 26299 26301 26275 0 -1 4202496 515 0 0 0 0 0 0 0 22 0 1 0 607341948 18763776 386 268435456000 4194304 4287625 140734535497904 18446744073709551615 258650975999 0 0 4096 65536 2826088513535 0 0 17 20 0 0 0
/proc/26301/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300946 s]
/proc/loadavg: 29.55 31.60 31.93 1/413 26301
/proc/meminfo: memFree=256751228/264257624 swapFree=67111528/67111528
[pid=26301] ppid=26299 vsize=18324 CPUtime=0 cores=0-31
/proc/26301/stat : 26301 (ppfolio) S 26299 26301 26275 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 607341948 18763776 386 268435456000 4194304 4287625 140734535497904 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 20 0 0 0
/proc/26301/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.70098 s]
/proc/loadavg: 29.55 31.60 31.93 1/413 26301
/proc/meminfo: memFree=256751228/264257624 swapFree=67111528/67111528
[pid=26301] ppid=26299 vsize=18324 CPUtime=0 cores=0-31
/proc/26301/stat : 26301 (ppfolio) S 26299 26301 26275 0 -1 4202496 515 0 0 0 0 0 0 0 16 0 1 0 607341948 18763776 386 268435456000 4194304 4287625 140734535497904 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 20 0 0 0
/proc/26301/statm: 4581 386 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.501 s]
/proc/loadavg: 29.55 31.60 31.93 6/419 26312
/proc/meminfo: memFree=256424188/264257624 swapFree=67111528/67111528
[pid=26301] ppid=26299 vsize=18324 CPUtime=0 cores=0-31
/proc/26301/stat : 26301 (ppfolio) S 26299 26301 26275 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 607341948 18763776 386 268435456000 4194304 4287625 140734535497904 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 20 0 0 0
/proc/26301/statm: 4581 386 337 23 0 91 0
[pid=26302] ppid=26301 vsize=134168 CPUtime=1.48 cores=0
/proc/26302/stat : 26302 (cryptominisat) R 26301 26301 26275 0 -1 4202496 23855 0 0 0 142 6 0 0 18 0 1 0 607341948 137388032 18518 268435456000 4194304 4587354 140735194900272 18446744073709551615 4238271 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26302/statm: 33542 18518 331 96 0 30104 0
[pid=26303] ppid=26301 vsize=56656 CPUtime=1.48 cores=1
/proc/26303/stat : 26303 (clasp) R 26301 26301 26275 0 -1 4202496 14328 0 0 0 144 4 0 0 20 0 1 0 607341948 58015744 11233 268435456000 4194304 4785740 140735838365936 18446744073709551615 4290592 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26303/statm: 14164 11233 331 145 0 11209 0
[pid=26304] ppid=26301 vsize=468368 CPUtime=1.48 cores=2
/proc/26304/stat : 26304 (TNM) R 26301 26301 26275 0 -1 4202496 8035 0 0 0 146 2 0 0 20 0 1 0 607341949 479608832 7933 268435456000 134512640 134534564 4292949872 18446744073709551615 134529366 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26304/statm: 117092 7933 95 6 0 115757 0
[pid=26305] ppid=26301 vsize=45332 CPUtime=1.49 cores=3
/proc/26305/stat : 26305 (march_hi) R 26301 26301 26275 0 -1 4202496 47178 0 0 0 139 10 0 0 20 0 1 0 607341949 46419968 7746 268435456000 4194304 4331988 140736546399472 18446744073709551615 4258189 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26305/statm: 11333 7746 145 34 0 9775 0
[pid=26306] ppid=26301 vsize=153668 CPUtime=1.49 cores=4-31
/proc/26306/stat : 26306 (plingeling) R 26301 26301 26275 0 -1 4202496 37207 1248 0 0 138 10 0 1 21 0 1 0 607341949 157356032 37076 268435456000 4194304 4356188 140736887770672 18446744073709551615 4278432 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/26306/statm: 38417 37076 129 40 0 36961 0
Current children cumulated CPU time (s) 7.42
Current children cumulated vsize (KiB) 876516
[startup+3.10103 s]
/proc/loadavg: 27.59 31.16 31.78 6/419 26312
/proc/meminfo: memFree=256331208/264257624 swapFree=67111528/67111528
[pid=26301] ppid=26299 vsize=18324 CPUtime=0 cores=0-31
/proc/26301/stat : 26301 (ppfolio) S 26299 26301 26275 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 607341948 18763776 386 268435456000 4194304 4287625 140734535497904 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 20 0 0 0
/proc/26301/statm: 4581 386 337 23 0 91 0
[pid=26302] ppid=26301 vsize=134168 CPUtime=3.08 cores=0
/proc/26302/stat : 26302 (cryptominisat) R 26301 26301 26275 0 -1 4202496 23951 0 0 0 302 6 0 0 20 0 1 0 607341948 137388032 18613 268435456000 4194304 4587354 140735194900272 18446744073709551615 4237740 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26302/statm: 33542 18613 331 96 0 30104 0
[pid=26303] ppid=26301 vsize=56656 CPUtime=3.08 cores=1
/proc/26303/stat : 26303 (clasp) R 26301 26301 26275 0 -1 4202496 14335 0 0 0 304 4 0 0 25 0 1 0 607341948 58015744 11240 268435456000 4194304 4785740 140735838365936 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26303/statm: 14164 11240 338 145 0 11209 0
[pid=26304] ppid=26301 vsize=472200 CPUtime=3.08 cores=2
/proc/26304/stat : 26304 (TNM) R 26301 26301 26275 0 -1 4202496 8036 0 0 0 306 2 0 0 25 0 1 0 607341949 483532800 7934 268435456000 134512640 134534564 4292949872 18446744073709551615 134525807 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26304/statm: 118050 7934 95 6 0 116715 0
[pid=26305] ppid=26301 vsize=135272 CPUtime=3.08 cores=3
/proc/26305/stat : 26305 (march_hi) R 26301 26301 26275 0 -1 4202496 64318 0 0 0 296 12 0 0 25 0 1 0 607341949 138518528 15401 268435456000 4194304 4331988 140736546399472 18446744073709551615 4299840 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26305/statm: 33818 15401 190 34 0 32260 0
[pid=26306] ppid=26301 vsize=342488 CPUtime=3.08 cores=4-31
/proc/26306/stat : 26306 (plingeling) R 26301 26301 26275 0 -1 4202496 84452 1248 0 0 288 19 0 1 25 0 1 0 607341949 350707712 84281 268435456000 4194304 4356188 140736887770672 18446744073709551615 4212207 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/26306/statm: 85622 84281 129 40 0 84166 0
Current children cumulated CPU time (s) 15.4
Current children cumulated vsize (KiB) 1159108
[startup+6.30209 s]
/proc/loadavg: 27.59 31.16 31.78 30/447 26340
/proc/meminfo: memFree=256047224/264257624 swapFree=67111528/67111528
[pid=26301] ppid=26299 vsize=18324 CPUtime=0 cores=0-31
/proc/26301/stat : 26301 (ppfolio) S 26299 26301 26275 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 607341948 18763776 386 268435456000 4194304 4287625 140734535497904 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 20 0 0 0
/proc/26301/statm: 4581 386 337 23 0 91 0
[pid=26302] ppid=26301 vsize=134168 CPUtime=6.28 cores=0
/proc/26302/stat : 26302 (cryptominisat) R 26301 26301 26275 0 -1 4202496 24096 0 0 0 622 6 0 0 25 0 1 0 607341948 137388032 18758 268435456000 4194304 4587354 140735194900272 18446744073709551615 4237960 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26302/statm: 33542 18758 332 96 0 30104 0
[pid=26303] ppid=26301 vsize=56656 CPUtime=6.28 cores=1
/proc/26303/stat : 26303 (clasp) R 26301 26301 26275 0 -1 4202496 14335 0 0 0 624 4 0 0 25 0 1 0 607341948 58015744 11240 268435456000 4194304 4785740 140735838365936 18446744073709551615 4546132 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26303/statm: 14164 11240 338 145 0 11209 0
[pid=26304] ppid=26301 vsize=472200 CPUtime=6.28 cores=2
/proc/26304/stat : 26304 (TNM) R 26301 26301 26275 0 -1 4202496 8036 0 0 0 626 2 0 0 25 0 1 0 607341949 483532800 7934 268435456000 134512640 134534564 4292949872 18446744073709551615 134528295 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26304/statm: 118050 7934 95 6 0 116715 0
[pid=26305] ppid=26301 vsize=140292 CPUtime=6.29 cores=3
/proc/26305/stat : 26305 (march_hi) R 26301 26301 26275 0 -1 4202496 65550 0 0 0 616 13 0 0 25 0 1 0 607341949 143659008 16615 268435456000 4194304 4331988 140736546399472 18446744073709551615 4263271 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26305/statm: 35073 16615 172 34 0 33515 0
[pid=26306] ppid=26301 vsize=1040152 CPUtime=55.41 cores=4-31
/proc/26306/stat : 26306 (plingeling) S 26301 26301 26275 0 -1 4202496 227852 1248 0 0 5480 60 0 1 18 0 29 0 607341949 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/26306/statm: 260038 103044 159 40 0 258582 0
[pid=26306/tid=26313] ppid=26301 vsize=1040152 CPUtime=1.84 cores=4-31
/proc/26306/task/26313/stat : 26313 (plingeling) R 26301 26301 26275 0 -1 4202560 2694 1248 0 0 183 0 0 1 25 0 29 0 607342393 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4290493 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26306/tid=26314] ppid=26301 vsize=1040152 CPUtime=1.79 cores=4-31
/proc/26306/task/26314/stat : 26314 (plingeling) R 26301 26301 26275 0 -1 4202560 4122 1248 0 0 177 1 0 1 25 0 29 0 607342393 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4303270 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26306/tid=26315] ppid=26301 vsize=1040152 CPUtime=1.84 cores=4-31
/proc/26306/task/26315/stat : 26315 (plingeling) R 26301 26301 26275 0 -1 4202560 4011 1248 0 0 183 0 0 1 25 0 29 0 607342393 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4301225 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26306/tid=26316] ppid=26301 vsize=1040152 CPUtime=1.82 cores=4-31
/proc/26306/task/26316/stat : 26316 (plingeling) R 26301 26301 26275 0 -1 4202560 3928 1248 0 0 180 1 0 1 20 0 29 0 607342393 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26306/tid=26317] ppid=26301 vsize=1040152 CPUtime=1.84 cores=4-31
/proc/26306/task/26317/stat : 26317 (plingeling) R 26301 26301 26275 0 -1 4202560 2505 1248 0 0 183 0 0 1 25 0 29 0 607342393 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4300670 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26306/tid=26318] ppid=26301 vsize=1040152 CPUtime=1.82 cores=4-31
/proc/26306/task/26318/stat : 26318 (plingeling) R 26301 26301 26275 0 -1 4202560 3414 1248 0 0 181 0 0 1 20 0 29 0 607342393 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4210549 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=26306/tid=26319] ppid=26301 vsize=1040152 CPUtime=1.84 cores=4-31
/proc/26306/task/26319/stat : 26319 (plingeling) R 26301 26301 26275 0 -1 4202560 4698 1248 0 0 182 1 0 1 20 0 29 0 607342393 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 258650653246 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26306/tid=26320] ppid=26301 vsize=1040152 CPUtime=1.84 cores=4-31
/proc/26306/task/26320/stat : 26320 (plingeling) R 26301 26301 26275 0 -1 4202560 4232 1248 0 0 182 1 0 1 25 0 29 0 607342393 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4254264 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26306/tid=26321] ppid=26301 vsize=1040152 CPUtime=1.82 cores=4-31
/proc/26306/task/26321/stat : 26321 (plingeling) R 26301 26301 26275 0 -1 4202560 3471 1248 0 0 180 1 0 1 25 0 29 0 607342393 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4232869 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26306/tid=26322] ppid=26301 vsize=1040152 CPUtime=1.82 cores=4-31
/proc/26306/task/26322/stat : 26322 (plingeling) R 26301 26301 26275 0 -1 4202560 4312 1248 0 0 180 1 0 1 20 0 29 0 607342393 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4322106 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26306/tid=26323] ppid=26301 vsize=1040152 CPUtime=1.82 cores=4-31
/proc/26306/task/26323/stat : 26323 (plingeling) R 26301 26301 26275 0 -1 4202560 4675 1248 0 0 180 1 0 1 20 0 29 0 607342393 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4236349 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26306/tid=26324] ppid=26301 vsize=1040152 CPUtime=1.81 cores=4-31
/proc/26306/task/26324/stat : 26324 (plingeling) R 26301 26301 26275 0 -1 4202560 3285 1248 0 0 180 0 0 1 20 0 29 0 607342394 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281771 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26306/tid=26325] ppid=26301 vsize=1040152 CPUtime=1.83 cores=4-31
/proc/26306/task/26325/stat : 26325 (plingeling) R 26301 26301 26275 0 -1 4202560 3657 1248 0 0 182 0 0 1 25 0 29 0 607342394 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4214946 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26306/tid=26326] ppid=26301 vsize=1040152 CPUtime=1.82 cores=4-31
/proc/26306/task/26326/stat : 26326 (plingeling) R 26301 26301 26275 0 -1 4202560 3020 1248 0 0 181 0 0 1 20 0 29 0 607342394 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4289578 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26306/tid=26327] ppid=26301 vsize=1040152 CPUtime=1.84 cores=4-31
/proc/26306/task/26327/stat : 26327 (plingeling) R 26301 26301 26275 0 -1 4202560 3762 1248 0 0 182 1 0 1 20 0 29 0 607342394 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4301736 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26306/tid=26328] ppid=26301 vsize=1040152 CPUtime=1.83 cores=4-31
/proc/26306/task/26328/stat : 26328 (plingeling) R 26301 26301 26275 0 -1 4202560 5489 1248 0 0 181 1 0 1 20 0 29 0 607342394 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4210605 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26306/tid=26329] ppid=26301 vsize=1040152 CPUtime=1.81 cores=4-31
/proc/26306/task/26329/stat : 26329 (plingeling) R 26301 26301 26275 0 -1 4202560 5131 1248 0 0 179 1 0 1 20 0 29 0 607342394 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4214539 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26306/tid=26330] ppid=26301 vsize=1040152 CPUtime=1.82 cores=4-31
/proc/26306/task/26330/stat : 26330 (plingeling) R 26301 26301 26275 0 -1 4202560 3623 1248 0 0 180 1 0 1 20 0 29 0 607342394 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4290493 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=26306/tid=26331] ppid=26301 vsize=1040152 CPUtime=1.82 cores=4-31
/proc/26306/task/26331/stat : 26331 (plingeling) R 26301 26301 26275 0 -1 4202560 4487 1248 0 0 180 1 0 1 25 0 29 0 607342394 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4225315 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=26306/tid=26332] ppid=26301 vsize=1040152 CPUtime=1.81 cores=4-31
/proc/26306/task/26332/stat : 26332 (plingeling) R 26301 26301 26275 0 -1 4202560 5507 1248 0 0 179 1 0 1 25 0 29 0 607342394 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4284008 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26306/tid=26333] ppid=26301 vsize=1040152 CPUtime=1.81 cores=4-31
/proc/26306/task/26333/stat : 26333 (plingeling) R 26301 26301 26275 0 -1 4202560 5001 1248 0 0 179 1 0 1 25 0 29 0 607342395 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4215420 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26306/tid=26334] ppid=26301 vsize=1040152 CPUtime=1.82 cores=4-31
/proc/26306/task/26334/stat : 26334 (plingeling) R 26301 26301 26275 0 -1 4202560 2761 1248 0 0 180 1 0 1 25 0 29 0 607342395 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4290612 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26306/tid=26335] ppid=26301 vsize=1040152 CPUtime=1.82 cores=4-31
/proc/26306/task/26335/stat : 26335 (plingeling) R 26301 26301 26275 0 -1 4202560 4622 1248 0 0 180 1 0 1 20 0 29 0 607342395 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4290690 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26306/tid=26336] ppid=26301 vsize=1040152 CPUtime=1.8 cores=4-31
/proc/26306/task/26336/stat : 26336 (plingeling) R 26301 26301 26275 0 -1 4202560 5610 1248 0 0 178 1 0 1 20 0 29 0 607342395 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4231350 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=26306/tid=26337] ppid=26301 vsize=1040152 CPUtime=1.81 cores=4-31
/proc/26306/task/26337/stat : 26337 (plingeling) R 26301 26301 26275 0 -1 4202560 4456 1248 0 0 179 1 0 1 20 0 29 0 607342395 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4289578 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26306/tid=26338] ppid=26301 vsize=1040152 CPUtime=1.81 cores=4-31
/proc/26306/task/26338/stat : 26338 (plingeling) R 26301 26301 26275 0 -1 4202560 6111 1248 0 0 178 2 0 1 20 0 29 0 607342395 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4217704 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=26306/tid=26339] ppid=26301 vsize=1040152 CPUtime=1.81 cores=4-31
/proc/26306/task/26339/stat : 26339 (plingeling) R 26301 26301 26275 0 -1 4202560 3355 1248 0 0 179 1 0 1 25 0 29 0 607342395 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4289623 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26306/tid=26340] ppid=26301 vsize=1040152 CPUtime=1.81 cores=4-31
/proc/26306/task/26340/stat : 26340 (plingeling) R 26301 26301 26275 0 -1 4202560 2752 1248 0 0 180 0 0 1 20 0 29 0 607342395 1065115648 103044 268435456000 4194304 4356188 140736887770672 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 80.54
Current children cumulated vsize (KiB) 1861792
[startup+12.7023 s]
/proc/loadavg: 28.19 31.17 31.78 33/447 26340
/proc/meminfo: memFree=255824668/264257624 swapFree=67111528/67111528
[pid=26301] ppid=26299 vsize=18324 CPUtime=0 cores=0-31
/proc/26301/stat : 26301 (ppfolio) S 26299 26301 26275 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 607341948 18763776 386 268435456000 4194304 4287625 140734535497904 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 20 0 0 0
/proc/26301/statm: 4581 386 337 23 0 91 0
[pid=26302] ppid=26301 vsize=134168 CPUtime=12.68 cores=0
/proc/26302/stat : 26302 (cryptominisat) R 26301 26301 26275 0 -1 4202496 24390 0 0 0 1262 6 0 0 25 0 1 0 607341948 137388032 19045 268435456000 4194304 4587354 140735194900272 18446744073709551615 4243397 0 0 4096 2 0 0 0 17 0 0 0 0
################
# More data... #
################
[pid=26301] ppid=26299 vsize=18324 CPUtime=0 cores=0-31
/proc/26301/stat : 26301 (ppfolio) S 26299 26301 26275 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 607341948 18763776 386 268435456000 4194304 4287625 140734535497904 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 20 0 0 0
/proc/26301/statm: 4581 386 337 23 0 91 0
[pid=26302] ppid=26301 vsize=585008 CPUtime=2750.26 cores=0
/proc/26302/stat : 26302 (cryptominisat) R 26301 26301 26275 0 -1 4202496 65711 0 0 0 274999 27 0 0 25 0 1 0 607341948 599048192 31149 268435456000 4194304 4587354 140735194900272 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26302/statm: 146252 31149 338 96 0 142814 0
[pid=26303] ppid=26301 vsize=183028 CPUtime=2750.24 cores=1
/proc/26303/stat : 26303 (clasp) R 26301 26301 26275 0 -1 4202496 45625 0 0 0 274995 29 0 0 25 0 1 0 607341948 187420672 42530 268435456000 4194304 4785740 140735838365936 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26303/statm: 45757 42530 338 145 0 42802 0
[pid=26304] ppid=26301 vsize=472204 CPUtime=2750.26 cores=2
/proc/26304/stat : 26304 (TNM) R 26301 26301 26275 0 -1 4202496 8045 0 0 0 275024 2 0 0 25 0 1 0 607341949 483536896 7943 268435456000 134512640 134534564 4292949872 18446744073709551615 134528661 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26304/statm: 118051 7943 103 6 0 116716 0
[pid=26305] ppid=26301 vsize=185188 CPUtime=2750.24 cores=3
/proc/26305/stat : 26305 (march_hi) R 26301 26301 26275 0 -1 4202496 76606 0 0 0 275001 23 0 0 25 0 1 0 607341949 189632512 27671 268435456000 4194304 4331988 140736546399472 18446744073709551615 4228575 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26305/statm: 46297 27671 172 34 0 44739 0
[pid=26306] ppid=26301 vsize=1601512 CPUtime=76803 cores=4-31
/proc/26306/stat : 26306 (plingeling) S 26301 26301 26275 0 -1 4202496 369166 1248 0 0 7680110 187 0 1 18 0 29 0 607341949 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/26306/statm: 400378 240352 159 40 0 398922 0
[pid=26306/tid=26313] ppid=26301 vsize=1601512 CPUtime=2705.27 cores=4-31
/proc/26306/task/26313/stat : 26313 (plingeling) R 26301 26301 26275 0 -1 4202560 8095 1248 0 0 270522 4 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281766 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26306/tid=26314] ppid=26301 vsize=1601512 CPUtime=2745.57 cores=4-31
/proc/26306/task/26314/stat : 26314 (plingeling) R 26301 26301 26275 0 -1 4202560 9982 1248 0 0 274548 8 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4331002 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26306/tid=26315] ppid=26301 vsize=1601512 CPUtime=2745.66 cores=4-31
/proc/26306/task/26315/stat : 26315 (plingeling) R 26301 26301 26275 0 -1 4202560 8297 1248 0 0 274561 4 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26306/tid=26316] ppid=26301 vsize=1601512 CPUtime=2745.7 cores=4-31
/proc/26306/task/26316/stat : 26316 (plingeling) R 26301 26301 26275 0 -1 4202560 7674 1248 0 0 274568 1 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4283959 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26306/tid=26317] ppid=26301 vsize=1601512 CPUtime=2745.68 cores=4-31
/proc/26306/task/26317/stat : 26317 (plingeling) R 26301 26301 26275 0 -1 4202560 7975 1248 0 0 274561 6 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4332165 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26306/tid=26318] ppid=26301 vsize=1601512 CPUtime=2745.63 cores=4-31
/proc/26306/task/26318/stat : 26318 (plingeling) R 26301 26301 26275 0 -1 4202560 7033 1248 0 0 274557 5 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281639 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=26306/tid=26319] ppid=26301 vsize=1601512 CPUtime=2745.69 cores=4-31
/proc/26306/task/26319/stat : 26319 (plingeling) R 26301 26301 26275 0 -1 4202560 9803 1248 0 0 274564 4 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4284205 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26306/tid=26320] ppid=26301 vsize=1601512 CPUtime=2745.63 cores=4-31
/proc/26306/task/26320/stat : 26320 (plingeling) R 26301 26301 26275 0 -1 4202560 10918 1248 0 0 274557 5 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281773 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26306/tid=26321] ppid=26301 vsize=1601512 CPUtime=2745.58 cores=4-31
/proc/26306/task/26321/stat : 26321 (plingeling) R 26301 26301 26275 0 -1 4202560 7981 1248 0 0 274554 3 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26306/tid=26322] ppid=26301 vsize=1601512 CPUtime=2745.59 cores=4-31
/proc/26306/task/26322/stat : 26322 (plingeling) R 26301 26301 26275 0 -1 4202560 11151 1248 0 0 274555 3 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26306/tid=26323] ppid=26301 vsize=1601512 CPUtime=2745.74 cores=4-31
/proc/26306/task/26323/stat : 26323 (plingeling) R 26301 26301 26275 0 -1 4202560 9804 1248 0 0 274567 6 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281643 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26306/tid=26324] ppid=26301 vsize=1601512 CPUtime=2745.79 cores=4-31
/proc/26306/task/26324/stat : 26324 (plingeling) R 26301 26301 26275 0 -1 4202560 7820 1248 0 0 274577 1 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4283899 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26306/tid=26325] ppid=26301 vsize=1601512 CPUtime=2745.62 cores=4-31
/proc/26306/task/26325/stat : 26325 (plingeling) R 26301 26301 26275 0 -1 4202560 8972 1248 0 0 274555 6 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4284190 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26306/tid=26326] ppid=26301 vsize=1601512 CPUtime=2745.57 cores=4-31
/proc/26306/task/26326/stat : 26326 (plingeling) R 26301 26301 26275 0 -1 4202560 8689 1248 0 0 274553 3 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4284178 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26306/tid=26327] ppid=26301 vsize=1601512 CPUtime=2745.62 cores=4-31
/proc/26306/task/26327/stat : 26327 (plingeling) R 26301 26301 26275 0 -1 4202560 9330 1248 0 0 274558 3 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4284178 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26306/tid=26328] ppid=26301 vsize=1601512 CPUtime=2745.58 cores=4-31
/proc/26306/task/26328/stat : 26328 (plingeling) R 26301 26301 26275 0 -1 4202560 14357 1248 0 0 274553 4 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26306/tid=26329] ppid=26301 vsize=1601512 CPUtime=2745.66 cores=4-31
/proc/26306/task/26329/stat : 26329 (plingeling) R 26301 26301 26275 0 -1 4202560 9683 1248 0 0 274561 4 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281706 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26306/tid=26330] ppid=26301 vsize=1601512 CPUtime=2745.61 cores=4-31
/proc/26306/task/26330/stat : 26330 (plingeling) R 26301 26301 26275 0 -1 4202560 7085 1248 0 0 274558 2 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=26306/tid=26331] ppid=26301 vsize=1601512 CPUtime=2745.63 cores=4-31
/proc/26306/task/26331/stat : 26331 (plingeling) R 26301 26301 26275 0 -1 4202560 9415 1248 0 0 274556 6 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4234040 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=26306/tid=26332] ppid=26301 vsize=1601512 CPUtime=2745.7 cores=4-31
/proc/26306/task/26332/stat : 26332 (plingeling) R 26301 26301 26275 0 -1 4202560 7943 1248 0 0 274567 2 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4330882 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26306/tid=26333] ppid=26301 vsize=1601512 CPUtime=2745.62 cores=4-31
/proc/26306/task/26333/stat : 26333 (plingeling) R 26301 26301 26275 0 -1 4202560 12209 1248 0 0 274555 6 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4284008 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26306/tid=26334] ppid=26301 vsize=1601512 CPUtime=2708.31 cores=4-31
/proc/26306/task/26334/stat : 26334 (plingeling) R 26301 26301 26275 0 -1 4202560 8068 1248 0 0 270825 5 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281782 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26306/tid=26335] ppid=26301 vsize=1601512 CPUtime=2745.63 cores=4-31
/proc/26306/task/26335/stat : 26335 (plingeling) R 26301 26301 26275 0 -1 4202560 8788 1248 0 0 274558 4 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4284032 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26306/tid=26336] ppid=26301 vsize=1601512 CPUtime=2745.72 cores=4-31
/proc/26306/task/26336/stat : 26336 (plingeling) R 26301 26301 26275 0 -1 4202560 11834 1248 0 0 274566 5 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281686 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=26306/tid=26337] ppid=26301 vsize=1601512 CPUtime=2745.64 cores=4-31
/proc/26306/task/26337/stat : 26337 (plingeling) R 26301 26301 26275 0 -1 4202560 7756 1248 0 0 274557 6 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4284043 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26306/tid=26338] ppid=26301 vsize=1601512 CPUtime=2745.64 cores=4-31
/proc/26306/task/26338/stat : 26338 (plingeling) R 26301 26301 26275 0 -1 4202560 10888 1248 0 0 274560 3 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281578 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=26306/tid=26339] ppid=26301 vsize=1601512 CPUtime=2745.63 cores=4-31
/proc/26306/task/26339/stat : 26339 (plingeling) R 26301 26301 26275 0 -1 4202560 8169 1248 0 0 274556 6 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26306/tid=26340] ppid=26301 vsize=1601512 CPUtime=2743.82 cores=4-31
/proc/26306/task/26340/stat : 26340 (plingeling) R 26301 26301 26275 0 -1 4202560 6286 1248 0 0 274349 32 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4283925 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 87804
Current children cumulated vsize (KiB) 3045264
[startup+2751.22 s]
/proc/loadavg: 32.13 32.14 32.06 33/447 26423
/proc/meminfo: memFree=255355016/264257624 swapFree=67111528/67111528
[pid=26301] ppid=26299 vsize=18324 CPUtime=0 cores=0-31
/proc/26301/stat : 26301 (ppfolio) S 26299 26301 26275 0 -1 4202496 515 0 0 0 0 0 0 0 15 0 1 0 607341948 18763776 386 268435456000 4194304 4287625 140734535497904 18446744073709551615 258650975999 0 0 4096 65536 9201681425512792063 0 0 17 20 0 0 0
/proc/26301/statm: 4581 386 337 23 0 91 0
[pid=26302] ppid=26301 vsize=585008 CPUtime=2750.68 cores=0
/proc/26302/stat : 26302 (cryptominisat) R 26301 26301 26275 0 -1 4202496 65711 0 0 0 275041 27 0 0 25 0 1 0 607341948 599048192 31149 268435456000 4194304 4587354 140735194900272 18446744073709551615 4238399 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/26302/statm: 146252 31149 338 96 0 142814 0
[pid=26303] ppid=26301 vsize=183028 CPUtime=2750.66 cores=1
/proc/26303/stat : 26303 (clasp) R 26301 26301 26275 0 -1 4202496 45625 0 0 0 275037 29 0 0 25 0 1 0 607341948 187420672 42530 268435456000 4194304 4785740 140735838365936 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/26303/statm: 45757 42530 338 145 0 42802 0
[pid=26304] ppid=26301 vsize=472204 CPUtime=2750.68 cores=2
/proc/26304/stat : 26304 (TNM) R 26301 26301 26275 0 -1 4202496 8045 0 0 0 275066 2 0 0 25 0 1 0 607341949 483536896 7943 268435456000 134512640 134534564 4292949872 18446744073709551615 134529823 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/26304/statm: 118051 7943 103 6 0 116716 0
[pid=26305] ppid=26301 vsize=185188 CPUtime=2750.66 cores=3
/proc/26305/stat : 26305 (march_hi) R 26301 26301 26275 0 -1 4202496 76607 0 0 0 275043 23 0 0 25 0 1 0 607341949 189632512 27672 268435456000 4194304 4331988 140736546399472 18446744073709551615 4241085 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/26305/statm: 46297 27672 172 34 0 44739 0
[pid=26306] ppid=26301 vsize=1601512 CPUtime=76814.7 cores=4-31
/proc/26306/stat : 26306 (plingeling) S 26301 26301 26275 0 -1 4202496 369166 1248 0 0 7681283 187 0 1 18 0 29 0 607341949 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/26306/statm: 400378 240352 159 40 0 398922 0
[pid=26306/tid=26313] ppid=26301 vsize=1601512 CPUtime=2705.67 cores=4-31
/proc/26306/task/26313/stat : 26313 (plingeling) R 26301 26301 26275 0 -1 4202560 8095 1248 0 0 270562 4 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=26306/tid=26314] ppid=26301 vsize=1601512 CPUtime=2745.99 cores=4-31
/proc/26306/task/26314/stat : 26314 (plingeling) R 26301 26301 26275 0 -1 4202560 9982 1248 0 0 274590 8 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4284182 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=26306/tid=26315] ppid=26301 vsize=1601512 CPUtime=2746.08 cores=4-31
/proc/26306/task/26315/stat : 26315 (plingeling) R 26301 26301 26275 0 -1 4202560 8297 1248 0 0 274603 4 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4284205 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=26306/tid=26316] ppid=26301 vsize=1601512 CPUtime=2746.12 cores=4-31
/proc/26306/task/26316/stat : 26316 (plingeling) R 26301 26301 26275 0 -1 4202560 7674 1248 0 0 274610 1 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=26306/tid=26317] ppid=26301 vsize=1601512 CPUtime=2746.1 cores=4-31
/proc/26306/task/26317/stat : 26317 (plingeling) R 26301 26301 26275 0 -1 4202560 7975 1248 0 0 274603 6 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=26306/tid=26318] ppid=26301 vsize=1601512 CPUtime=2746.05 cores=4-31
/proc/26306/task/26318/stat : 26318 (plingeling) R 26301 26301 26275 0 -1 4202560 7033 1248 0 0 274599 5 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=26306/tid=26319] ppid=26301 vsize=1601512 CPUtime=2746.11 cores=4-31
/proc/26306/task/26319/stat : 26319 (plingeling) R 26301 26301 26275 0 -1 4202560 9803 1248 0 0 274606 4 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281624 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=26306/tid=26320] ppid=26301 vsize=1601512 CPUtime=2746.05 cores=4-31
/proc/26306/task/26320/stat : 26320 (plingeling) R 26301 26301 26275 0 -1 4202560 10918 1248 0 0 274599 5 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=26306/tid=26321] ppid=26301 vsize=1601512 CPUtime=2746 cores=4-31
/proc/26306/task/26321/stat : 26321 (plingeling) R 26301 26301 26275 0 -1 4202560 7981 1248 0 0 274596 3 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4284244 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=26306/tid=26322] ppid=26301 vsize=1601512 CPUtime=2746.01 cores=4-31
/proc/26306/task/26322/stat : 26322 (plingeling) R 26301 26301 26275 0 -1 4202560 11151 1248 0 0 274597 3 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281686 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=26306/tid=26323] ppid=26301 vsize=1601512 CPUtime=2746.16 cores=4-31
/proc/26306/task/26323/stat : 26323 (plingeling) R 26301 26301 26275 0 -1 4202560 9804 1248 0 0 274609 6 0 1 25 0 29 0 607342393 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4284043 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=26306/tid=26324] ppid=26301 vsize=1601512 CPUtime=2746.21 cores=4-31
/proc/26306/task/26324/stat : 26324 (plingeling) R 26301 26301 26275 0 -1 4202560 7820 1248 0 0 274619 1 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4210587 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=26306/tid=26325] ppid=26301 vsize=1601512 CPUtime=2746.04 cores=4-31
/proc/26306/task/26325/stat : 26325 (plingeling) R 26301 26301 26275 0 -1 4202560 8972 1248 0 0 274597 6 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4283908 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=26306/tid=26326] ppid=26301 vsize=1601512 CPUtime=2745.99 cores=4-31
/proc/26306/task/26326/stat : 26326 (plingeling) R 26301 26301 26275 0 -1 4202560 8689 1248 0 0 274595 3 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281574 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=26306/tid=26327] ppid=26301 vsize=1601512 CPUtime=2746.04 cores=4-31
/proc/26306/task/26327/stat : 26327 (plingeling) R 26301 26301 26275 0 -1 4202560 9330 1248 0 0 274600 3 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=26306/tid=26328] ppid=26301 vsize=1601512 CPUtime=2746 cores=4-31
/proc/26306/task/26328/stat : 26328 (plingeling) R 26301 26301 26275 0 -1 4202560 14357 1248 0 0 274595 4 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4284205 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=26306/tid=26329] ppid=26301 vsize=1601512 CPUtime=2746.08 cores=4-31
/proc/26306/task/26329/stat : 26329 (plingeling) R 26301 26301 26275 0 -1 4202560 9683 1248 0 0 274603 4 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4283998 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=26306/tid=26330] ppid=26301 vsize=1601512 CPUtime=2746.03 cores=4-31
/proc/26306/task/26330/stat : 26330 (plingeling) R 26301 26301 26275 0 -1 4202560 7085 1248 0 0 274600 2 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4284224 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=26306/tid=26331] ppid=26301 vsize=1601512 CPUtime=2746.05 cores=4-31
/proc/26306/task/26331/stat : 26331 (plingeling) R 26301 26301 26275 0 -1 4202560 9415 1248 0 0 274598 6 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4284043 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=26306/tid=26332] ppid=26301 vsize=1601512 CPUtime=2746.12 cores=4-31
/proc/26306/task/26332/stat : 26332 (plingeling) R 26301 26301 26275 0 -1 4202560 7943 1248 0 0 274609 2 0 1 25 0 29 0 607342394 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4280621 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=26306/tid=26333] ppid=26301 vsize=1601512 CPUtime=2746.04 cores=4-31
/proc/26306/task/26333/stat : 26333 (plingeling) R 26301 26301 26275 0 -1 4202560 12209 1248 0 0 274597 6 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=26306/tid=26334] ppid=26301 vsize=1601512 CPUtime=2708.73 cores=4-31
/proc/26306/task/26334/stat : 26334 (plingeling) R 26301 26301 26275 0 -1 4202560 8068 1248 0 0 270867 5 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=26306/tid=26335] ppid=26301 vsize=1601512 CPUtime=2746.05 cores=4-31
/proc/26306/task/26335/stat : 26335 (plingeling) R 26301 26301 26275 0 -1 4202560 8788 1248 0 0 274600 4 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4332046 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=26306/tid=26336] ppid=26301 vsize=1601512 CPUtime=2746.14 cores=4-31
/proc/26306/task/26336/stat : 26336 (plingeling) R 26301 26301 26275 0 -1 4202560 11834 1248 0 0 274608 5 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=26306/tid=26337] ppid=26301 vsize=1601512 CPUtime=2746.06 cores=4-31
/proc/26306/task/26337/stat : 26337 (plingeling) R 26301 26301 26275 0 -1 4202560 7756 1248 0 0 274599 6 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4283908 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=26306/tid=26338] ppid=26301 vsize=1601512 CPUtime=2746.06 cores=4-31
/proc/26306/task/26338/stat : 26338 (plingeling) R 26301 26301 26275 0 -1 4202560 10888 1248 0 0 274602 3 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=26306/tid=26339] ppid=26301 vsize=1601512 CPUtime=2746.05 cores=4-31
/proc/26306/task/26339/stat : 26339 (plingeling) R 26301 26301 26275 0 -1 4202560 8169 1248 0 0 274598 6 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=26306/tid=26340] ppid=26301 vsize=1601512 CPUtime=2744.24 cores=4-31
/proc/26306/task/26340/stat : 26340 (plingeling) R 26301 26301 26275 0 -1 4202560 6286 1248 0 0 274391 32 0 1 25 0 29 0 607342395 1639948288 240352 268435456000 4194304 4356188 140736887770672 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 87817.4
Current children cumulated vsize (KiB) 3045264
[startup+2751.3 s]
/proc/loadavg: 32.13 32.14 32.06 33/447 26423
/proc/meminfo: memFree=255355016/264257624 swapFree=67111528/67111528
[pid=26301] ppid=26299 vsize=18324 CPUtime=11003 cores=0-31
/proc/26301/stat : 26301 (ppfolio) S 26299 26301 26275 0 -1 4202496 517 196003 0 0 0 0 1100214 86 15 0 1 0 607341948 18763776 387 268435456000 4194304 4287625 140734535497904 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 20 0 0 0
/proc/26301/statm: 4581 387 338 23 0 91 0
[pid=26306] ppid=26301 vsize=0 CPUtime=76816.5 cores=4-31
/proc/26306/stat : 26306 (plingeling) Z 26301 26301 26275 0 -1 4203548 369166 1248 0 0 7681460 190 0 1 18 0 2 0 607341949 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 8 0 0 0
/proc/26306/statm: 0 0 0 0 0 0 0
[pid=26306/tid=26332] ppid=26301 vsize=0 CPUtime=2746.2 cores=4-31
/proc/26306/task/26332/stat : 26332 (plingeling) R 26301 26301 26275 0 -1 4203588 7943 1248 0 0 274616 3 0 1 25 0 2 0 607342394 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 17 0 0 0
Current children cumulated CPU time (s) 87819.5
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 2751.38
CPU time (s): 87819.6
CPU user time (s): 87816.8
CPU system time (s): 2.86656
CPU usage (%): 3191.84
Max. virtual memory (cumulated for all children) (KiB): 3478168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 87816.8
system time used= 2.86656
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 566953
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= 2149
involuntary context switches= 222160
runsolver used 15.5696 second user time and 62.2795 second system time
The end
Begin job on node200 at 2011-05-09 18:29:15
IDJOB=3347253
IDBENCH=70830
IDSOLVER=1808
FILE ID=node200/3347253-1304958555
RUNJOBID= node200-1304958555-26289
PBS_JOBID= 13282010
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT09/APPLICATIONS/crypto/md5gen/gus-md5-11.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347253-1304958555/watcher-3347253-1304958555 -o /tmp/evaluation-result-3347253-1304958555/solver-3347253-1304958555 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347253-1304958555.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 49867705b76fc90285dd6fc48de2613c
RANDOM SEED=44877422
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: 256751756 kB
Buffers: 365896 kB
Cached: 6802632 kB
SwapCached: 0 kB
Active: 6348352 kB
Inactive: 888924 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256751756 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 14296 kB
Writeback: 0 kB
AnonPages: 68852 kB
Mapped: 13812 kB
Slab: 192716 kB
PageTables: 5244 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 182468 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 62036 MiB
End job on node200 at 2011-05-09 19:15:07