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
99792.59/3124.07 s UNSATISFIABLE
99794.54/3124.26 solver [1] cryptominisat 2.7.1 answered
99794.54/3124.26 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-3347635-1305406278/watcher-3347635-1305406278 -o /tmp/evaluation-result-3347635-1305406278/solver-3347635-1305406278 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347635-1305406278.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.58 31.56 31.79 1/413 307
/proc/meminfo: memFree=255580144/264257624 swapFree=67111528/67111528
[pid=307] ppid=305 vsize=18324 CPUtime=0 cores=0-31
/proc/307/stat : 307 (ppfolio) S 305 307 32749 0 -1 4202496 511 0 0 0 0 0 0 0 22 0 1 0 652114232 18763776 385 268435456000 4194304 4287625 140734058228512 18446744073709551615 258650975999 0 0 4096 65536 2826088513535 0 0 17 16 0 0 0
/proc/307/statm: 4581 385 337 23 0 91 0
[startup+0.0743729 s]
/proc/loadavg: 29.58 31.56 31.79 1/413 307
/proc/meminfo: memFree=255580144/264257624 swapFree=67111528/67111528
[pid=307] ppid=305 vsize=18324 CPUtime=0 cores=0-31
/proc/307/stat : 307 (ppfolio) S 305 307 32749 0 -1 4202496 511 0 0 0 0 0 0 0 22 0 1 0 652114232 18763776 385 268435456000 4194304 4287625 140734058228512 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 16 0 0 0
/proc/307/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100385 s]
/proc/loadavg: 29.58 31.56 31.79 1/413 307
/proc/meminfo: memFree=255580144/264257624 swapFree=67111528/67111528
[pid=307] ppid=305 vsize=18324 CPUtime=0 cores=0-31
/proc/307/stat : 307 (ppfolio) S 305 307 32749 0 -1 4202496 511 0 0 0 0 0 0 0 22 0 1 0 652114232 18763776 385 268435456000 4194304 4287625 140734058228512 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 16 0 0 0
/proc/307/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.3004 s]
/proc/loadavg: 29.58 31.56 31.79 1/413 307
/proc/meminfo: memFree=255580144/264257624 swapFree=67111528/67111528
[pid=307] ppid=305 vsize=18324 CPUtime=0 cores=0-31
/proc/307/stat : 307 (ppfolio) S 305 307 32749 0 -1 4202496 511 0 0 0 0 0 0 0 22 0 1 0 652114232 18763776 385 268435456000 4194304 4287625 140734058228512 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 16 0 0 0
/proc/307/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700384 s]
/proc/loadavg: 29.58 31.56 31.79 1/413 307
/proc/meminfo: memFree=255580144/264257624 swapFree=67111528/67111528
[pid=307] ppid=305 vsize=18324 CPUtime=0 cores=0-31
/proc/307/stat : 307 (ppfolio) S 305 307 32749 0 -1 4202496 511 0 0 0 0 0 0 0 22 0 1 0 652114232 18763776 385 268435456000 4194304 4287625 140734058228512 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 16 0 0 0
/proc/307/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50041 s]
/proc/loadavg: 29.58 31.56 31.79 6/419 318
/proc/meminfo: memFree=255437340/264257624 swapFree=67111528/67111528
[pid=307] ppid=305 vsize=18324 CPUtime=0 cores=0-31
/proc/307/stat : 307 (ppfolio) S 305 307 32749 0 -1 4202496 511 0 0 0 0 0 0 0 22 0 1 0 652114232 18763776 385 268435456000 4194304 4287625 140734058228512 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 16 0 0 0
/proc/307/statm: 4581 385 337 23 0 91 0
[pid=308] ppid=307 vsize=30140 CPUtime=1.48 cores=0
/proc/308/stat : 308 (cryptominisat) R 307 307 32749 0 -1 4202496 2606 0 0 0 147 1 0 0 20 0 1 0 652114233 30863360 2438 268435456000 4194304 4587354 140734010101584 18446744073709551615 4238690 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/308/statm: 7535 2438 304 96 0 4097 0
[pid=309] ppid=307 vsize=22424 CPUtime=1.48 cores=1
/proc/309/stat : 309 (clasp) R 307 307 32749 0 -1 4202496 3615 0 0 0 147 1 0 0 20 0 1 0 652114233 22962176 2921 268435456000 4194304 4785740 140737241640304 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/309/statm: 5606 2921 338 145 0 2651 0
[pid=310] ppid=307 vsize=457280 CPUtime=1.48 cores=2
/proc/310/stat : 310 (TNM) R 307 307 32749 0 -1 4202496 1959 0 0 0 147 1 0 0 20 0 1 0 652114233 468254720 1857 268435456000 134512640 134534564 4294024944 18446744073709551615 134524491 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/310/statm: 114320 1857 91 6 0 112985 0
[pid=311] ppid=307 vsize=142004 CPUtime=1.48 cores=3
/proc/311/stat : 311 (march_hi) R 307 307 32749 0 -1 4202496 37732 0 0 0 141 7 0 0 20 0 1 0 652114233 145412096 28036 268435456000 4194304 4331988 140736609562320 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/311/statm: 35501 28036 149 34 0 33943 0
[pid=312] ppid=307 vsize=108000 CPUtime=1.48 cores=4-31
/proc/312/stat : 312 (plingeling) R 307 307 32749 0 -1 4202496 25775 1238 0 0 141 6 0 1 21 0 1 0 652114233 110592000 25659 268435456000 4194304 4356188 140734270531216 18446744073709551615 4274839 0 0 4096 17442 0 0 0 17 8 0 0 0
/proc/312/statm: 27000 25659 129 40 0 25544 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 778172
[startup+3.10141 s]
/proc/loadavg: 29.58 31.56 31.79 6/419 318
/proc/meminfo: memFree=255258936/264257624 swapFree=67111528/67111528
[pid=307] ppid=305 vsize=18324 CPUtime=0 cores=0-31
/proc/307/stat : 307 (ppfolio) S 305 307 32749 0 -1 4202496 511 0 0 0 0 0 0 0 16 0 1 0 652114232 18763776 385 268435456000 4194304 4287625 140734058228512 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 16 0 0 0
/proc/307/statm: 4581 385 337 23 0 91 0
[pid=308] ppid=307 vsize=42184 CPUtime=3.09 cores=0
/proc/308/stat : 308 (cryptominisat) R 307 307 32749 0 -1 4202496 6069 0 0 0 307 2 0 0 25 0 1 0 652114233 43196416 5083 268435456000 4194304 4587354 140734010101584 18446744073709551615 4239328 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/308/statm: 10546 5083 327 96 0 7108 0
[pid=309] ppid=307 vsize=22688 CPUtime=3.08 cores=1
/proc/309/stat : 309 (clasp) R 307 307 32749 0 -1 4202496 3704 0 0 0 307 1 0 0 25 0 1 0 652114233 23232512 3010 268435456000 4194304 4785740 140737241640304 18446744073709551615 4545919 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/309/statm: 5672 3010 338 145 0 2717 0
[pid=310] ppid=307 vsize=457280 CPUtime=3.08 cores=2
/proc/310/stat : 310 (TNM) R 307 307 32749 0 -1 4202496 1959 0 0 0 307 1 0 0 25 0 1 0 652114233 468254720 1857 268435456000 134512640 134534564 4294024944 18446744073709551615 134524695 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/310/statm: 114320 1857 91 6 0 112985 0
[pid=311] ppid=307 vsize=320516 CPUtime=3.08 cores=3
/proc/311/stat : 311 (march_hi) R 307 307 32749 0 -1 4202496 82202 0 0 0 292 16 0 0 25 0 1 0 652114233 328208384 72506 268435456000 4194304 4331988 140736609562320 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/311/statm: 80129 72507 149 34 0 78571 0
[pid=312] ppid=307 vsize=580820 CPUtime=24.66 cores=4-31
/proc/312/stat : 312 (plingeling) S 307 307 32749 0 -1 4202496 64052 1238 0 0 2449 16 0 1 21 0 29 0 652114233 594759680 40543 268435456000 4194304 4356188 140734270531216 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/312/statm: 145205 40543 154 40 0 143749 0
Current children cumulated CPU time (s) 36.99
Current children cumulated vsize (KiB) 1441812
[startup+6.30153 s]
/proc/loadavg: 29.77 31.56 31.79 33/447 348
/proc/meminfo: memFree=254826684/264257624 swapFree=67111528/67111528
[pid=307] ppid=305 vsize=18324 CPUtime=0 cores=0-31
/proc/307/stat : 307 (ppfolio) S 305 307 32749 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 652114232 18763776 385 268435456000 4194304 4287625 140734058228512 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 16 0 0 0
/proc/307/statm: 4581 385 337 23 0 91 0
[pid=308] ppid=307 vsize=42304 CPUtime=6.28 cores=0
/proc/308/stat : 308 (cryptominisat) R 307 307 32749 0 -1 4202496 6333 0 0 0 626 2 0 0 25 0 1 0 652114233 43319296 5334 268435456000 4194304 4587354 140734010101584 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/308/statm: 10576 5334 329 96 0 7138 0
[pid=309] ppid=307 vsize=26500 CPUtime=6.28 cores=1
/proc/309/stat : 309 (clasp) R 307 307 32749 0 -1 4202496 4633 0 0 0 626 2 0 0 25 0 1 0 652114233 27136000 3939 268435456000 4194304 4785740 140737241640304 18446744073709551615 4553051 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/309/statm: 6625 3939 338 145 0 3670 0
[pid=310] ppid=307 vsize=458108 CPUtime=6.28 cores=2
/proc/310/stat : 310 (TNM) R 307 307 32749 0 -1 4202496 2756 0 0 0 627 1 0 0 25 0 1 0 652114233 469102592 2654 268435456000 134512640 134534564 4294024944 18446744073709551615 134530630 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/310/statm: 114527 2654 95 6 0 113192 0
[pid=311] ppid=307 vsize=752664 CPUtime=6.28 cores=3
/proc/311/stat : 311 (march_hi) R 307 307 32749 0 -1 4202496 202938 0 0 0 584 44 0 0 25 0 1 0 652114233 770727936 157661 268435456000 4194304 4331988 140736609562320 18446744073709551615 4251674 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/311/statm: 188166 157662 149 34 0 186608 0
[pid=312] ppid=307 vsize=604380 CPUtime=114.12 cores=4-31
/proc/312/stat : 312 (plingeling) S 307 307 32749 0 -1 4202496 70123 1238 0 0 11389 22 0 1 21 0 29 0 652114233 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/312/statm: 151095 46614 159 40 0 149639 0
[pid=312/tid=319] ppid=307 vsize=604380 CPUtime=4.02 cores=4-31
/proc/312/task/319/stat : 319 (plingeling) R 307 307 32749 0 -1 4202560 928 1238 0 0 401 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=312/tid=320] ppid=307 vsize=604380 CPUtime=4.01 cores=4-31
/proc/312/task/320/stat : 320 (plingeling) R 307 307 32749 0 -1 4202560 1071 1238 0 0 400 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270777 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=312/tid=321] ppid=307 vsize=604380 CPUtime=4.01 cores=4-31
/proc/312/task/321/stat : 321 (plingeling) R 307 307 32749 0 -1 4202560 821 1238 0 0 400 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270878 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=312/tid=322] ppid=307 vsize=604380 CPUtime=4.02 cores=4-31
/proc/312/task/322/stat : 322 (plingeling) R 307 307 32749 0 -1 4202560 1256 1238 0 0 401 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4210842 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=312/tid=323] ppid=307 vsize=604380 CPUtime=4.02 cores=4-31
/proc/312/task/323/stat : 323 (plingeling) R 307 307 32749 0 -1 4202560 995 1238 0 0 401 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=312/tid=324] ppid=307 vsize=604380 CPUtime=4 cores=4-31
/proc/312/task/324/stat : 324 (plingeling) R 307 307 32749 0 -1 4202560 1060 1238 0 0 399 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270769 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=312/tid=325] ppid=307 vsize=604380 CPUtime=4.01 cores=4-31
/proc/312/task/325/stat : 325 (plingeling) R 307 307 32749 0 -1 4202560 1011 1238 0 0 400 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270759 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=312/tid=326] ppid=307 vsize=604380 CPUtime=4.01 cores=4-31
/proc/312/task/326/stat : 326 (plingeling) R 307 307 32749 0 -1 4202560 686 1238 0 0 400 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=312/tid=327] ppid=307 vsize=604380 CPUtime=4 cores=4-31
/proc/312/task/327/stat : 327 (plingeling) R 307 307 32749 0 -1 4202560 756 1238 0 0 399 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=312/tid=328] ppid=307 vsize=604380 CPUtime=4.01 cores=4-31
/proc/312/task/328/stat : 328 (plingeling) R 307 307 32749 0 -1 4202560 1218 1238 0 0 400 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=312/tid=329] ppid=307 vsize=604380 CPUtime=4.01 cores=4-31
/proc/312/task/329/stat : 329 (plingeling) R 307 307 32749 0 -1 4202560 1104 1238 0 0 400 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4211749 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=312/tid=330] ppid=307 vsize=604380 CPUtime=4 cores=4-31
/proc/312/task/330/stat : 330 (plingeling) R 307 307 32749 0 -1 4202560 1396 1238 0 0 399 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331392 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=312/tid=331] ppid=307 vsize=604380 CPUtime=4 cores=4-31
/proc/312/task/331/stat : 331 (plingeling) R 307 307 32749 0 -1 4202560 682 1238 0 0 399 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4271373 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=312/tid=332] ppid=307 vsize=604380 CPUtime=4.01 cores=4-31
/proc/312/task/332/stat : 332 (plingeling) R 307 307 32749 0 -1 4202560 1274 1238 0 0 399 1 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=312/tid=333] ppid=307 vsize=604380 CPUtime=4 cores=4-31
/proc/312/task/333/stat : 333 (plingeling) R 307 307 32749 0 -1 4202560 835 1238 0 0 399 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270848 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=312/tid=334] ppid=307 vsize=604380 CPUtime=3.9 cores=4-31
/proc/312/task/334/stat : 334 (plingeling) R 307 307 32749 0 -1 4202560 681 1238 0 0 389 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4271346 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=312/tid=335] ppid=307 vsize=604380 CPUtime=4 cores=4-31
/proc/312/task/335/stat : 335 (plingeling) R 307 307 32749 0 -1 4202560 1254 1238 0 0 399 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270898 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=312/tid=336] ppid=307 vsize=604380 CPUtime=4.01 cores=4-31
/proc/312/task/336/stat : 336 (plingeling) R 307 307 32749 0 -1 4202560 822 1238 0 0 400 0 0 1 25 0 29 0 652114461 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270759 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=312/tid=337] ppid=307 vsize=604380 CPUtime=4.01 cores=4-31
/proc/312/task/337/stat : 337 (plingeling) R 307 307 32749 0 -1 4202560 676 1238 0 0 400 0 0 1 25 0 29 0 652114462 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4271040 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=312/tid=338] ppid=307 vsize=604380 CPUtime=4.01 cores=4-31
/proc/312/task/338/stat : 338 (plingeling) R 307 307 32749 0 -1 4202560 753 1238 0 0 400 0 0 1 25 0 29 0 652114462 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4241976 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=312/tid=339] ppid=307 vsize=604380 CPUtime=4 cores=4-31
/proc/312/task/339/stat : 339 (plingeling) R 307 307 32749 0 -1 4202560 896 1238 0 0 399 0 0 1 25 0 29 0 652114462 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4271373 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=312/tid=340] ppid=307 vsize=604380 CPUtime=4 cores=4-31
/proc/312/task/340/stat : 340 (plingeling) R 307 307 32749 0 -1 4202560 779 1238 0 0 399 0 0 1 25 0 29 0 652114462 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4271361 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=312/tid=341] ppid=307 vsize=604380 CPUtime=3.97 cores=4-31
/proc/312/task/341/stat : 341 (plingeling) R 307 307 32749 0 -1 4202560 1023 1238 0 0 396 0 0 1 25 0 29 0 652114462 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270769 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=312/tid=342] ppid=307 vsize=604380 CPUtime=3.97 cores=4-31
/proc/312/task/342/stat : 342 (plingeling) R 307 307 32749 0 -1 4202560 767 1238 0 0 396 0 0 1 25 0 29 0 652114462 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270759 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=312/tid=343] ppid=307 vsize=604380 CPUtime=3.97 cores=4-31
/proc/312/task/343/stat : 343 (plingeling) R 307 307 32749 0 -1 4202560 672 1238 0 0 396 0 0 1 25 0 29 0 652114465 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270898 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=312/tid=344] ppid=307 vsize=604380 CPUtime=3.98 cores=4-31
/proc/312/task/344/stat : 344 (plingeling) R 307 307 32749 0 -1 4202560 791 1238 0 0 397 0 0 1 25 0 29 0 652114465 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=312/tid=345] ppid=307 vsize=604380 CPUtime=3.97 cores=4-31
/proc/312/task/345/stat : 345 (plingeling) R 307 307 32749 0 -1 4202560 1004 1238 0 0 396 0 0 1 25 0 29 0 652114465 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4270920 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=312/tid=346] ppid=307 vsize=604380 CPUtime=3.97 cores=4-31
/proc/312/task/346/stat : 346 (plingeling) R 307 307 32749 0 -1 4202560 922 1238 0 0 396 0 0 1 25 0 29 0 652114465 618885120 46614 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331792 0 0 4096 17442 0 0 0 -1 21 0 0 0
Current children cumulated CPU time (s) 139.24
Current children cumulated vsize (KiB) 1902280
[startup+12.7018 s]
/proc/loadavg: 29.95 31.57 31.79 33/447 348
/proc/meminfo: memFree=254789384/264257624 swapFree=67111528/67111528
[pid=307] ppid=305 vsize=18324 CPUtime=0 cores=0-31
/proc/307/stat : 307 (ppfolio) S 305 307 32749 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 652114232 18763776 385 268435456000 4194304 4287625 140734058228512 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 16 0 0 0
/proc/307/statm: 4581 385 337 23 0 91 0
[pid=308] ppid=307 vsize=44456 CPUtime=12.68 cores=0
/proc/308/stat : 308 (cryptominisat) R 307 307 32749 0 -1 4202496 7450 0 0 0 1265 3 0 0 25 0 1 0 652114233 45522944 5484 268435456000 4194304 4587354 140734010101584 18446744073709551615 4238278 0 0 4096 2 0 0 0 17 0 0 0 0
################
# More data... #
################
/proc/312/statm: 621442 517547 159 40 0 619986 0
[pid=312/tid=319] ppid=307 vsize=2485768 CPUtime=3119.96 cores=4-31
/proc/312/task/319/stat : 319 (plingeling) R 307 307 32749 0 -1 4202560 242390 1238 0 0 311845 150 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=312/tid=320] ppid=307 vsize=2485768 CPUtime=3120.03 cores=4-31
/proc/312/task/320/stat : 320 (plingeling) R 307 307 32749 0 -1 4202560 273317 1238 0 0 311807 195 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=312/tid=321] ppid=307 vsize=2485768 CPUtime=3112.86 cores=4-31
/proc/312/task/321/stat : 321 (plingeling) R 307 307 32749 0 -1 4202560 211908 1238 0 0 311124 161 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=312/tid=322] ppid=307 vsize=2485768 CPUtime=3120.11 cores=4-31
/proc/312/task/322/stat : 322 (plingeling) R 307 307 32749 0 -1 4202560 266616 1238 0 0 311813 197 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=312/tid=323] ppid=307 vsize=2485768 CPUtime=3120.08 cores=4-31
/proc/312/task/323/stat : 323 (plingeling) R 307 307 32749 0 -1 4202560 268393 1238 0 0 311829 178 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=312/tid=324] ppid=307 vsize=2485768 CPUtime=3103.63 cores=4-31
/proc/312/task/324/stat : 324 (plingeling) R 307 307 32749 0 -1 4202560 252944 1238 0 0 310159 203 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=312/tid=325] ppid=307 vsize=2485768 CPUtime=3120.12 cores=4-31
/proc/312/task/325/stat : 325 (plingeling) R 307 307 32749 0 -1 4202560 261103 1238 0 0 311827 184 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=312/tid=326] ppid=307 vsize=2485768 CPUtime=3120.12 cores=4-31
/proc/312/task/326/stat : 326 (plingeling) R 307 307 32749 0 -1 4202560 207029 1238 0 0 311775 236 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=312/tid=327] ppid=307 vsize=2485768 CPUtime=3119.08 cores=4-31
/proc/312/task/327/stat : 327 (plingeling) R 307 307 32749 0 -1 4202560 257219 1238 0 0 311709 198 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=312/tid=328] ppid=307 vsize=2485768 CPUtime=3120.14 cores=4-31
/proc/312/task/328/stat : 328 (plingeling) R 307 307 32749 0 -1 4202560 260445 1238 0 0 311855 158 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4281495 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=312/tid=329] ppid=307 vsize=2485768 CPUtime=3119.98 cores=4-31
/proc/312/task/329/stat : 329 (plingeling) R 307 307 32749 0 -1 4202560 247800 1238 0 0 311838 159 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=312/tid=330] ppid=307 vsize=2485768 CPUtime=3120.14 cores=4-31
/proc/312/task/330/stat : 330 (plingeling) R 307 307 32749 0 -1 4202560 261465 1238 0 0 311793 220 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=312/tid=331] ppid=307 vsize=2485768 CPUtime=3119.21 cores=4-31
/proc/312/task/331/stat : 331 (plingeling) R 307 307 32749 0 -1 4202560 261340 1238 0 0 311712 208 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=312/tid=332] ppid=307 vsize=2485768 CPUtime=3118.58 cores=4-31
/proc/312/task/332/stat : 332 (plingeling) R 307 307 32749 0 -1 4202560 284617 1238 0 0 311635 222 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=312/tid=333] ppid=307 vsize=2485768 CPUtime=3118.02 cores=4-31
/proc/312/task/333/stat : 333 (plingeling) R 307 307 32749 0 -1 4202560 241581 1238 0 0 311630 171 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4330827 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=312/tid=334] ppid=307 vsize=2485768 CPUtime=3119.5 cores=4-31
/proc/312/task/334/stat : 334 (plingeling) R 307 307 32749 0 -1 4202560 213437 1238 0 0 311723 226 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=312/tid=335] ppid=307 vsize=2485768 CPUtime=3120.18 cores=4-31
/proc/312/task/335/stat : 335 (plingeling) R 307 307 32749 0 -1 4202560 267209 1238 0 0 311831 186 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=312/tid=336] ppid=307 vsize=2485768 CPUtime=3120.08 cores=4-31
/proc/312/task/336/stat : 336 (plingeling) R 307 307 32749 0 -1 4202560 249526 1238 0 0 311817 190 0 1 25 0 29 0 652114461 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4330964 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=312/tid=337] ppid=307 vsize=2485768 CPUtime=3120.12 cores=4-31
/proc/312/task/337/stat : 337 (plingeling) R 307 307 32749 0 -1 4202560 247963 1238 0 0 311834 177 0 1 25 0 29 0 652114462 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=312/tid=338] ppid=307 vsize=2485768 CPUtime=3099.81 cores=4-31
/proc/312/task/338/stat : 338 (plingeling) R 307 307 32749 0 -1 4202560 246754 1238 0 0 309763 217 0 1 25 0 29 0 652114462 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=312/tid=339] ppid=307 vsize=2485768 CPUtime=3120.15 cores=4-31
/proc/312/task/339/stat : 339 (plingeling) R 307 307 32749 0 -1 4202560 242136 1238 0 0 311810 204 0 1 25 0 29 0 652114462 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=312/tid=340] ppid=307 vsize=2485768 CPUtime=3111.18 cores=4-31
/proc/312/task/340/stat : 340 (plingeling) R 307 307 32749 0 -1 4202560 227915 1238 0 0 310957 160 0 1 25 0 29 0 652114462 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4237401 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=312/tid=341] ppid=307 vsize=2485768 CPUtime=3107.23 cores=4-31
/proc/312/task/341/stat : 341 (plingeling) R 307 307 32749 0 -1 4202560 244244 1238 0 0 310554 168 0 1 25 0 29 0 652114462 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=312/tid=342] ppid=307 vsize=2485768 CPUtime=3106.48 cores=4-31
/proc/312/task/342/stat : 342 (plingeling) R 307 307 32749 0 -1 4202560 199311 1238 0 0 310414 233 0 1 25 0 29 0 652114462 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=312/tid=343] ppid=307 vsize=2485768 CPUtime=3120.08 cores=4-31
/proc/312/task/343/stat : 343 (plingeling) R 307 307 32749 0 -1 4202560 252967 1238 0 0 311823 184 0 1 25 0 29 0 652114465 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4279688 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=312/tid=344] ppid=307 vsize=2485768 CPUtime=3120.15 cores=4-31
/proc/312/task/344/stat : 344 (plingeling) R 307 307 32749 0 -1 4202560 248504 1238 0 0 311869 145 0 1 25 0 29 0 652114465 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=312/tid=345] ppid=307 vsize=2485768 CPUtime=3119.5 cores=4-31
/proc/312/task/345/stat : 345 (plingeling) R 307 307 32749 0 -1 4202560 232755 1238 0 0 311788 161 0 1 25 0 29 0 652114465 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4210544 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=312/tid=346] ppid=307 vsize=2485768 CPUtime=3114.44 cores=4-31
/proc/312/task/346/stat : 346 (plingeling) R 307 307 32749 0 -1 4202560 260157 1238 0 0 311246 197 0 1 25 0 29 0 652114465 2545426432 517547 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 99763.2
Current children cumulated vsize (KiB) 5585896
[startup+3123.9 s]
/proc/loadavg: 32.04 32.04 32.00 33/447 442
/proc/meminfo: memFree=252144564/264257624 swapFree=67111528/67111528
[pid=307] ppid=305 vsize=18324 CPUtime=0 cores=0-31
/proc/307/stat : 307 (ppfolio) S 305 307 32749 0 -1 4202496 511 0 0 0 0 0 0 0 15 0 1 0 652114232 18763776 385 268435456000 4194304 4287625 140734058228512 18446744073709551615 258650975999 0 0 4096 65536 9227102684102787071 0 0 17 16 0 0 0
/proc/307/statm: 4581 385 337 23 0 91 0
[pid=308] ppid=307 vsize=1004748 CPUtime=3123.3 cores=0
/proc/308/stat : 308 (cryptominisat) R 307 307 32749 0 -1 4202496 112063 0 0 0 312256 74 0 0 25 0 1 0 652114233 1028861952 22562 268435456000 4194304 4587354 140734010101584 18446744073709551615 4238418 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/308/statm: 251187 22562 336 96 0 247749 0
[pid=309] ppid=307 vsize=208228 CPUtime=3123.3 cores=1
/proc/309/stat : 309 (clasp) R 307 307 32749 0 -1 4202496 49671 0 0 0 312306 24 0 0 25 0 1 0 652114233 213225472 48977 268435456000 4194304 4785740 140737241640304 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/309/statm: 52057 48977 338 145 0 49102 0
[pid=310] ppid=307 vsize=458108 CPUtime=3123.28 cores=2
/proc/310/stat : 310 (TNM) R 307 307 32749 0 -1 4202496 2756 0 0 0 312327 1 0 0 25 0 1 0 652114233 469102592 2654 268435456000 134512640 134534564 4294024944 18446744073709551615 134530151 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/310/statm: 114527 2654 95 6 0 113192 0
[pid=311] ppid=307 vsize=1410720 CPUtime=3123.3 cores=3
/proc/311/stat : 311 (march_hi) R 307 307 32749 0 -1 4202496 788277 0 0 0 312144 186 0 0 25 0 1 0 652114233 1444577280 264907 268435456000 4194304 4331988 140736609562320 18446744073709551615 4299269 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/311/statm: 352680 264907 174 34 0 351122 0
[pid=312] ppid=307 vsize=2496008 CPUtime=87295.8 cores=4-31
/proc/312/stat : 312 (plingeling) S 307 307 32749 0 -1 4202496 6977595 1238 0 0 8724264 5316 0 1 21 0 29 0 652114233 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/312/statm: 624002 520107 159 40 0 622546 0
[pid=312/tid=319] ppid=307 vsize=2496008 CPUtime=3120.78 cores=4-31
/proc/312/task/319/stat : 319 (plingeling) R 307 307 32749 0 -1 4202560 242390 1238 0 0 311927 150 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=312/tid=320] ppid=307 vsize=2496008 CPUtime=3120.85 cores=4-31
/proc/312/task/320/stat : 320 (plingeling) R 307 307 32749 0 -1 4202560 273317 1238 0 0 311889 195 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4234339 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=312/tid=321] ppid=307 vsize=2496008 CPUtime=3113.68 cores=4-31
/proc/312/task/321/stat : 321 (plingeling) R 307 307 32749 0 -1 4202560 211908 1238 0 0 311206 161 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=312/tid=322] ppid=307 vsize=2496008 CPUtime=3120.93 cores=4-31
/proc/312/task/322/stat : 322 (plingeling) R 307 307 32749 0 -1 4202560 266616 1238 0 0 311895 197 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4244324 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=312/tid=323] ppid=307 vsize=2496008 CPUtime=3120.9 cores=4-31
/proc/312/task/323/stat : 323 (plingeling) R 307 307 32749 0 -1 4202560 268393 1238 0 0 311911 178 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331026 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=312/tid=324] ppid=307 vsize=2496008 CPUtime=3104.42 cores=4-31
/proc/312/task/324/stat : 324 (plingeling) R 307 307 32749 0 -1 4202560 252944 1238 0 0 310238 203 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4280239 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=312/tid=325] ppid=307 vsize=2496008 CPUtime=3120.94 cores=4-31
/proc/312/task/325/stat : 325 (plingeling) R 307 307 32749 0 -1 4202560 261103 1238 0 0 311909 184 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=312/tid=326] ppid=307 vsize=2496008 CPUtime=3120.94 cores=4-31
/proc/312/task/326/stat : 326 (plingeling) R 307 307 32749 0 -1 4202560 207029 1238 0 0 311857 236 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4281672 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=312/tid=327] ppid=307 vsize=2496008 CPUtime=3119.9 cores=4-31
/proc/312/task/327/stat : 327 (plingeling) R 307 307 32749 0 -1 4202560 257219 1238 0 0 311791 198 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=312/tid=328] ppid=307 vsize=2496008 CPUtime=3120.96 cores=4-31
/proc/312/task/328/stat : 328 (plingeling) R 307 307 32749 0 -1 4202560 260445 1238 0 0 311937 158 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4281652 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=312/tid=329] ppid=307 vsize=2496008 CPUtime=3120.8 cores=4-31
/proc/312/task/329/stat : 329 (plingeling) R 307 307 32749 0 -1 4202560 247800 1238 0 0 311920 159 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4284161 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=312/tid=330] ppid=307 vsize=2496008 CPUtime=3120.96 cores=4-31
/proc/312/task/330/stat : 330 (plingeling) R 307 307 32749 0 -1 4202560 261465 1238 0 0 311875 220 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=312/tid=331] ppid=307 vsize=2496008 CPUtime=3120.03 cores=4-31
/proc/312/task/331/stat : 331 (plingeling) R 307 307 32749 0 -1 4202560 261852 1238 0 0 311794 208 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=312/tid=332] ppid=307 vsize=2496008 CPUtime=3119.4 cores=4-31
/proc/312/task/332/stat : 332 (plingeling) R 307 307 32749 0 -1 4202560 284617 1238 0 0 311717 222 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331631 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=312/tid=333] ppid=307 vsize=2496008 CPUtime=3118.84 cores=4-31
/proc/312/task/333/stat : 333 (plingeling) R 307 307 32749 0 -1 4202560 241581 1238 0 0 311712 171 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=312/tid=334] ppid=307 vsize=2496008 CPUtime=3120.32 cores=4-31
/proc/312/task/334/stat : 334 (plingeling) R 307 307 32749 0 -1 4202560 213437 1238 0 0 311805 226 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4234276 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=312/tid=335] ppid=307 vsize=2496008 CPUtime=3121 cores=4-31
/proc/312/task/335/stat : 335 (plingeling) R 307 307 32749 0 -1 4202560 267209 1238 0 0 311913 186 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=312/tid=336] ppid=307 vsize=2496008 CPUtime=3120.9 cores=4-31
/proc/312/task/336/stat : 336 (plingeling) R 307 307 32749 0 -1 4202560 249526 1238 0 0 311899 190 0 1 25 0 29 0 652114461 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=312/tid=337] ppid=307 vsize=2496008 CPUtime=3120.94 cores=4-31
/proc/312/task/337/stat : 337 (plingeling) R 307 307 32749 0 -1 4202560 247963 1238 0 0 311916 177 0 1 25 0 29 0 652114462 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=312/tid=338] ppid=307 vsize=2496008 CPUtime=3100.63 cores=4-31
/proc/312/task/338/stat : 338 (plingeling) R 307 307 32749 0 -1 4202560 248802 1238 0 0 309843 219 0 1 25 0 29 0 652114462 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=312/tid=339] ppid=307 vsize=2496008 CPUtime=3120.97 cores=4-31
/proc/312/task/339/stat : 339 (plingeling) R 307 307 32749 0 -1 4202560 242136 1238 0 0 311892 204 0 1 25 0 29 0 652114462 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331076 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=312/tid=340] ppid=307 vsize=2496008 CPUtime=3112 cores=4-31
/proc/312/task/340/stat : 340 (plingeling) R 307 307 32749 0 -1 4202560 227915 1238 0 0 311039 160 0 1 25 0 29 0 652114462 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=312/tid=341] ppid=307 vsize=2496008 CPUtime=3108.05 cores=4-31
/proc/312/task/341/stat : 341 (plingeling) R 307 307 32749 0 -1 4202560 244244 1238 0 0 310636 168 0 1 25 0 29 0 652114462 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=312/tid=342] ppid=307 vsize=2496008 CPUtime=3107.29 cores=4-31
/proc/312/task/342/stat : 342 (plingeling) R 307 307 32749 0 -1 4202560 199311 1238 0 0 310495 233 0 1 25 0 29 0 652114462 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=312/tid=343] ppid=307 vsize=2496008 CPUtime=3120.9 cores=4-31
/proc/312/task/343/stat : 343 (plingeling) R 307 307 32749 0 -1 4202560 252967 1238 0 0 311905 184 0 1 25 0 29 0 652114465 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=312/tid=344] ppid=307 vsize=2496008 CPUtime=3120.97 cores=4-31
/proc/312/task/344/stat : 344 (plingeling) R 307 307 32749 0 -1 4202560 248504 1238 0 0 311951 145 0 1 25 0 29 0 652114465 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4279717 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=312/tid=345] ppid=307 vsize=2496008 CPUtime=3120.32 cores=4-31
/proc/312/task/345/stat : 345 (plingeling) R 307 307 32749 0 -1 4202560 232755 1238 0 0 311870 161 0 1 25 0 29 0 652114465 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=312/tid=346] ppid=307 vsize=2496008 CPUtime=3115.26 cores=4-31
/proc/312/task/346/stat : 346 (plingeling) R 307 307 32749 0 -1 4202560 260157 1238 0 0 311328 197 0 1 25 0 29 0 652114465 2555912192 520107 268435456000 4194304 4356188 140734270531216 18446744073709551615 4330973 0 0 4096 17442 0 0 0 -1 26 0 0 0
Current children cumulated CPU time (s) 99789
Current children cumulated vsize (KiB) 5596136
[startup+3124.1 s]
/proc/loadavg: 32.04 32.04 32.00 33/447 442
/proc/meminfo: memFree=252144564/264257624 swapFree=67111528/67111528
[pid=307] ppid=305 vsize=18324 CPUtime=9370.42 cores=0-31
/proc/307/stat : 307 (ppfolio) S 305 307 32749 0 -1 4202496 512 164505 0 0 0 0 936939 103 15 0 1 0 652114232 18763776 386 268435456000 4194304 4287625 140734058228512 18446744073709551615 258650975999 0 0 4096 65536 9198684706571256112 0 0 17 16 0 0 0
/proc/307/statm: 4581 386 338 23 0 91 0
[pid=311] ppid=307 vsize=0 CPUtime=3123.5 cores=3
/proc/311/stat : 311 (march_hi) R 307 307 32749 0 -1 4203524 788277 0 0 0 312161 189 0 0 25 0 1 0 652114233 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/311/statm: 0 0 0 0 0 0 0
[pid=312] ppid=307 vsize=0 CPUtime=87300.5 cores=4-31
/proc/312/stat : 312 (plingeling) Z 307 307 32749 0 -1 4203548 6977595 1238 0 0 8724725 5319 0 1 18 0 2 0 652114233 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/312/statm: 0 0 0 0 0 0 0
[pid=312/tid=344] ppid=307 vsize=0 CPUtime=3121.15 cores=4-31
/proc/312/task/344/stat : 344 (plingeling) R 307 307 32749 0 -1 4203588 248504 1238 0 0 311966 148 0 1 25 0 2 0 652114465 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 99794.4
Current children cumulated vsize (KiB) 18324
[startup+3124.2 s]
/proc/loadavg: 32.04 32.04 32.00 33/447 442
/proc/meminfo: memFree=252144564/264257624 swapFree=67111528/67111528
[pid=307] ppid=305 vsize=18324 CPUtime=12494 cores=0-31
/proc/307/stat : 307 (ppfolio) S 305 307 32749 0 -1 4202496 512 952782 0 0 0 0 1249100 299 15 0 1 0 652114232 18763776 386 268435456000 4194304 4287625 140734058228512 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 16 0 0 0
/proc/307/statm: 4581 386 338 23 0 91 0
[pid=312] ppid=307 vsize=0 CPUtime=87300.5 cores=4-31
/proc/312/stat : 312 (plingeling) Z 307 307 32749 0 -1 4203548 6977595 1238 0 0 8724725 5329 0 1 18 0 2 0 652114233 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 17 22 0 0 0
/proc/312/statm: 0 0 0 0 0 0 0
[pid=312/tid=344] ppid=307 vsize=0 CPUtime=3121.25 cores=4-31
/proc/312/task/344/stat : 344 (plingeling) R 307 307 32749 0 -1 4203588 248504 1238 0 0 311966 158 0 1 25 0 2 0 652114465 0 0 268435456000 0 0 0 0 0 0 0 4096 17442 18446744073709551615 0 0 -1 22 0 0 0
Current children cumulated CPU time (s) 99794.5
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 3124.27
CPU time (s): 99794.6
CPU user time (s): 99738.3
CPU system time (s): 56.3684
CPU usage (%): 3194.18
Max. virtual memory (cumulated for all children) (KiB): 9140744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 99738.3
system time used= 56.3684
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7932146
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= 2601
involuntary context switches= 247571
runsolver used 18.1442 second user time and 70.2863 second system time
The end
Begin job on node200 at 2011-05-14 22:51:18
IDJOB=3347635
IDBENCH=84215
IDSOLVER=1808
FILE ID=node200/3347635-1305406278
RUNJOBID= node200-1305406278-32763
PBS_JOBID= 13285494
Free space on /tmp= 62048 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT03/industrial/goldberg/hard_eq_check/k2mul.miter.shuffled-as.sat03-355.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347635-1305406278/watcher-3347635-1305406278 -o /tmp/evaluation-result-3347635-1305406278/solver-3347635-1305406278 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347635-1305406278.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 77e0700cbaeeb3d63a4820608fc84761
RANDOM SEED=1850559339
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: 255580548 kB
Buffers: 438260 kB
Cached: 7836016 kB
SwapCached: 0 kB
Active: 7387192 kB
Inactive: 955724 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255580548 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 11604 kB
Writeback: 0 kB
AnonPages: 69796 kB
Mapped: 13332 kB
Slab: 250236 kB
PageTables: 4480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 193336 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 23:43:23