0.00/0.00 This is pico-portfolio, a naive parallel portfolio
0.00/0.00 Copyright (C) 2011 Olivier Roussel
0.00/0.00 Using 32 processing units
0.00/0.00 This portfolio uses the following solvers:
0.00/0.00 [1] cryptominisat 2.7.1 (Mate Soos)
0.00/0.00 [2] clasp 1.3.6 (Martin Gebser, Benjamin Kaufmann, and Torsten Schaub)
0.00/0.00 [3] TNM 2009 (Wanxia Wei and Chu Min Li)
0.00/0.00 [4] march_hi 2009 (Marijn Heule and Hans Van Maaren)
0.00/0.00 [5] plingeling 276-6264d55-100731 (Armin Biere)
0.00/0.00 Starting cryptominisat 2.7.1 on core(s) 0
0.00/0.00 Starting clasp 1.3.6 on core(s) 1
0.00/0.00 Starting TNM 2009 on core(s) 2
0.00/0.00 Starting march_hi 2009 on core(s) 3
0.00/0.00 Starting plingeling 276-6264d55-100731 on core(s) 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31
0.00/0.01
149439.70/4978.40 s UNSATISFIABLE
149441.42/4979.22 solver [5] plingeling 276-6264d55-100731 answered
149441.42/4979.22 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-3347663-1306124164/watcher-3347663-1306124164 -o /tmp/evaluation-result-3347663-1306124164/solver-3347663-1306124164 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347663-1306124164.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: 27.40 30.99 31.08 1/413 30173
/proc/meminfo: memFree=255161052/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=0 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 215 0 0 0 0 0 0 24 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
[startup+0.0606371 s]
/proc/loadavg: 27.40 30.99 31.08 1/413 30173
/proc/meminfo: memFree=255161052/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=0 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 215 0 0 0 0 0 0 24 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.101678 s]
/proc/loadavg: 27.40 30.99 31.08 1/413 30173
/proc/meminfo: memFree=255161052/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=0 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 215 0 0 0 0 0 0 24 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300637 s]
/proc/loadavg: 27.40 30.99 31.08 1/413 30173
/proc/meminfo: memFree=255161052/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=0 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 215 0 0 0 0 0 0 24 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700648 s]
/proc/loadavg: 27.40 30.99 31.08 1/413 30173
/proc/meminfo: memFree=255161052/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=0 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 215 0 0 0 0 0 0 24 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50067 s]
/proc/loadavg: 25.53 30.54 30.93 5/418 30184
/proc/meminfo: memFree=254729716/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=0 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 215 0 0 0 0 0 0 24 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
[pid=30174] ppid=30173 vsize=256132 CPUtime=1.49 cores=0
/proc/30174/stat : 30174 (cryptominisat) R 30173 30173 30147 0 -1 4202496 48474 0 0 0 134 15 0 0 25 0 1 0 723903621 262279168 47974 268435456000 4194304 4587354 140737481234944 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30174/statm: 64033 47976 285 96 0 60595 0
[pid=30175] ppid=30173 vsize=133456 CPUtime=1.48 cores=1
/proc/30175/stat : 30175 (clasp) R 30173 30173 30147 0 -1 4202496 33183 0 0 0 134 14 0 0 20 0 1 0 723903621 136658944 29542 268435456000 4194304 4785740 140735884400944 18446744073709551615 258650955760 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30175/statm: 33364 29542 306 145 0 30409 0
[pid=30177] ppid=30173 vsize=218192 CPUtime=1.49 cores=3
/proc/30177/stat : 30177 (march_hi) R 30173 30173 30147 0 -1 4194304 44677 0 0 0 134 15 0 0 20 0 1 0 723903621 223428608 44572 268435456000 4194304 4331988 140733946899392 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30177/statm: 54548 44572 112 34 0 52990 0
[pid=30178] ppid=30173 vsize=110040 CPUtime=1.48 cores=4-31
/proc/30178/stat : 30178 (plingeling) R 30173 30173 30147 0 -1 4202496 26269 1249 0 0 142 6 0 0 21 0 1 0 723903621 112680960 26153 268435456000 4194304 4356188 140734722702320 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30178/statm: 27510 26153 129 40 0 26054 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 736144
[startup+3.10073 s]
/proc/loadavg: 25.53 30.54 30.93 5/418 30184
/proc/meminfo: memFree=254320144/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=0 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 215 0 0 0 0 0 0 24 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9224197619763380224 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
[pid=30174] ppid=30173 vsize=486544 CPUtime=3.09 cores=0
/proc/30174/stat : 30174 (cryptominisat) R 30173 30173 30147 0 -1 4202496 107472 0 0 0 280 29 0 0 25 0 1 0 723903621 498221056 106502 268435456000 4194304 4587354 140737481234944 18446744073709551615 258650616632 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30174/statm: 121636 106505 285 96 0 118198 0
[pid=30175] ppid=30173 vsize=214648 CPUtime=3.08 cores=1
/proc/30175/stat : 30175 (clasp) R 30173 30173 30147 0 -1 4202496 53245 0 0 0 280 28 0 0 25 0 1 0 723903621 219799552 49604 268435456000 4194304 4785740 140735884400944 18446744073709551615 258650955760 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30175/statm: 53662 49605 306 145 0 50707 0
[pid=30177] ppid=30173 vsize=296336 CPUtime=3.08 cores=3
/proc/30177/stat : 30177 (march_hi) R 30173 30173 30147 0 -1 4194304 66415 0 0 0 283 25 0 0 25 0 1 0 723903621 303448064 66310 268435456000 4194304 4331988 140733946899392 18446744073709551615 258650616986 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30177/statm: 74084 66310 112 34 0 72526 0
[pid=30178] ppid=30173 vsize=239528 CPUtime=3.08 cores=4-31
/proc/30178/stat : 30178 (plingeling) R 30173 30173 30147 0 -1 4202496 58657 1249 0 0 296 12 0 0 25 0 1 0 723903621 245276672 58541 268435456000 4194304 4356188 140734722702320 18446744073709551615 4210575 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30178/statm: 59882 58541 129 40 0 58426 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 1255380
[startup+6.30082 s]
/proc/loadavg: 25.53 30.54 30.93 5/418 30186
/proc/meminfo: memFree=253424612/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=0 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 215 0 0 0 0 0 0 18 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9224197971950698496 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
[pid=30174] ppid=30173 vsize=741364 CPUtime=6.28 cores=0
/proc/30174/stat : 30174 (cryptominisat) R 30173 30173 30147 0 -1 4202496 172349 0 0 0 583 45 0 0 25 0 1 0 723903621 759156736 171229 268435456000 4194304 4587354 140737481234944 18446744073709551615 4248764 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30174/statm: 185341 171229 304 96 0 181903 0
[pid=30175] ppid=30173 vsize=286232 CPUtime=6.29 cores=1
/proc/30175/stat : 30175 (clasp) R 30173 30173 30147 0 -1 4202496 81004 0 0 0 590 39 0 0 25 0 1 0 723903621 293101568 67830 268435456000 4194304 4785740 140735884400944 18446744073709551615 4552628 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30175/statm: 71558 67830 327 145 0 68603 0
[pid=30177] ppid=30173 vsize=451172 CPUtime=6.28 cores=3
/proc/30177/stat : 30177 (march_hi) R 30173 30173 30147 0 -1 4194304 109551 0 0 0 583 45 0 0 25 0 1 0 723903621 462000128 109446 268435456000 4194304 4331988 140733946899392 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30177/statm: 112793 109447 112 34 0 111235 0
[pid=30178] ppid=30173 vsize=466656 CPUtime=6.28 cores=4-31
/proc/30178/stat : 30178 (plingeling) R 30173 30173 30147 0 -1 4202496 115447 1249 0 0 605 23 0 0 25 0 1 0 723903621 477855744 115323 268435456000 4194304 4356188 140734722702320 18446744073709551615 4277712 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30178/statm: 116664 115323 129 40 0 115208 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 1963748
[startup+12.7011 s]
/proc/loadavg: 22.22 29.67 30.65 5/418 30186
/proc/meminfo: memFree=252378924/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=0 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 215 0 0 0 0 0 0 15 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633295 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
[pid=30174] ppid=30173 vsize=1059556 CPUtime=12.69 cores=0
/proc/30174/stat : 30174 (cryptominisat) R 30173 30173 30147 0 -1 4202496 249791 0 0 0 1208 61 0 0 25 0 1 0 723903621 1084985344 248670 268435456000 4194304 4587354 140737481234944 18446744073709551615 4363816 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30174/statm: 264889 248670 309 96 0 261451 0
[pid=30175] ppid=30173 vsize=296992 CPUtime=12.69 cores=1
/proc/30175/stat : 30175 (clasp) R 30173 30173 30147 0 -1 4202496 83597 0 0 0 1229 40 0 0 25 0 1 0 723903621 304119808 70423 268435456000 4194304 4785740 140735884400944 18446744073709551615 4320814 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30175/statm: 74248 70423 334 145 0 71293 0
[pid=30177] ppid=30173 vsize=1035212 CPUtime=12.68 cores=3
/proc/30177/stat : 30177 (march_hi) R 30173 30173 30147 0 -1 4194304 198177 0 0 0 1201 67 0 0 25 0 1 0 723903621 1060057088 153383 268435456000 4194304 4331988 140733946899392 18446744073709551615 258650653239 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30177/statm: 258803 153383 123 34 0 257245 0
[pid=30178] ppid=30173 vsize=919824 CPUtime=12.68 cores=4-31
/proc/30178/stat : 30178 (plingeling) R 30173 30173 30147 0 -1 4202496 228739 1249 0 0 1221 47 0 0 25 0 1 0 723903621 941899776 228615 268435456000 4194304 4356188 140734722702320 18446744073709551615 258650955760 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30178/statm: 229956 228615 129 40 0 228500 0
Current children cumulated CPU time (s) 50.74
Current children cumulated vsize (KiB) 3329908
[startup+25.5005 s]
/proc/loadavg: 19.41 28.82 30.36 5/418 30186
/proc/meminfo: memFree=251671640/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=0 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 215 0 0 0 0 0 0 15 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633295 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
[pid=30174] ppid=30173 vsize=1046236 CPUtime=25.48 cores=0
/proc/30174/stat : 30174 (cryptominisat) R 30173 30173 30147 0 -1 4202496 250232 0 0 0 2487 61 0 0 25 0 1 0 723903621 1071345664 245343 268435456000 4194304 4587354 140737481234944 18446744073709551615 4232269 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30174/statm: 261559 245343 314 96 0 258121 0
[pid=30175] ppid=30173 vsize=307080 CPUtime=25.48 cores=1
/proc/30175/stat : 30175 (clasp) R 30173 30173 30147 0 -1 4202496 86062 0 0 0 2507 41 0 0 25 0 1 0 723903621 314449920 72888 268435456000 4194304 4785740 140735884400944 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30175/statm: 76770 72888 334 145 0 73815 0
[pid=30177] ppid=30173 vsize=1137424 CPUtime=25.48 cores=3
/proc/30177/stat : 30177 (march_hi) R 30173 30173 30147 0 -1 4194304 383472 0 0 0 2443 105 0 0 25 0 1 0 723903621 1164722176 182138 268435456000 4194304 4331988 140733946899392 18446744073709551615 258650616632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30177/statm: 284356 182142 126 34 0 282798 0
[pid=30178] ppid=30173 vsize=1607952 CPUtime=25.47 cores=4-31
/proc/30178/stat : 30178 (plingeling) R 30173 30173 30147 0 -1 4202496 400771 1249 0 0 2466 81 0 0 25 0 1 0 723903621 1646542848 400647 268435456000 4194304 4356188 140734722702320 18446744073709551615 4213242 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30178/statm: 401988 400647 129 40 0 400532 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 4117016
[startup+51.1014 s]
/proc/loadavg: 14.15 26.83 29.66 5/418 30186
/proc/meminfo: memFree=250047948/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=0 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 215 0 0 0 0 0 0 15 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633295 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
[pid=30174] ppid=30173 vsize=1047756 CPUtime=51.08 cores=0
/proc/30174/stat : 30174 (cryptominisat) R 30173 30173 30147 0 -1 4202496 250631 0 0 0 5046 62 0 0 25 0 1 0 723903621 1072902144 245742 268435456000 4194304 4587354 140737481234944 18446744073709551615 4230266 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30174/statm: 261939 245742 323 96 0 258501 0
[pid=30175] ppid=30173 vsize=337524 CPUtime=51.08 cores=1
/proc/30175/stat : 30175 (clasp) R 30173 30173 30147 0 -1 4202496 93623 0 0 0 5065 43 0 0 25 0 1 0 723903621 345624576 80449 268435456000 4194304 4785740 140735884400944 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30175/statm: 84381 80449 334 145 0 81426 0
[pid=30177] ppid=30173 vsize=1016236 CPUtime=51.07 cores=3
/proc/30177/stat : 30177 (march_hi) R 30173 30173 30147 0 -1 4202496 752281 0 0 0 4923 184 0 0 25 0 1 0 723903621 1040625664 154815 268435456000 4194304 4331988 140733946899392 18446744073709551615 4251963 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30177/statm: 254059 154815 145 34 0 252501 0
[pid=30178] ppid=30173 vsize=3202784 CPUtime=51.07 cores=4-31
/proc/30178/stat : 30178 (plingeling) R 30173 30173 30147 0 -1 4202496 799499 1249 0 0 4947 160 0 0 25 0 1 0 723903621 3279650816 799355 268435456000 4194304 4356188 140734722702320 18446744073709551615 4213270 0 0 4096 17442 0 0 0 17 4 0 0 0
/proc/30178/statm: 800696 799355 129 40 0 799240 0
Current children cumulated CPU time (s) 204.3
Current children cumulated vsize (KiB) 5622624
[startup+102.316 s]
/proc/loadavg: 8.09 23.00 28.19 5/418 30188
/proc/meminfo: memFree=246464440/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=0 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 215 0 0 0 0 0 0 15 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633295 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
[pid=30174] ppid=30173 vsize=1047756 CPUtime=102.28 cores=0
/proc/30174/stat : 30174 (cryptominisat) R 30173 30173 30147 0 -1 4202496 250640 0 0 0 10166 62 0 0 25 0 1 0 723903621 1072902144 245751 268435456000 4194304 4587354 140737481234944 18446744073709551615 4237679 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30174/statm: 261939 245751 323 96 0 258501 0
[pid=30175] ppid=30173 vsize=468316 CPUtime=102.28 cores=1
################
# More data... #
################
[pid=30178/tid=30189] ppid=30173 vsize=7563616 CPUtime=4760.59 cores=4-31
/proc/30178/task/30189/stat : 30189 (plingeling) R 30173 30173 30147 0 -1 4202560 567891 1249 0 0 475667 392 0 0 25 0 29 0 723915463 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4330990 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=30178/tid=30190] ppid=30173 vsize=7563616 CPUtime=4803.78 cores=4-31
/proc/30178/task/30190/stat : 30190 (plingeling) R 30173 30173 30147 0 -1 4202560 573136 1249 0 0 480025 353 0 0 25 0 29 0 723915463 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=30178/tid=30191] ppid=30173 vsize=7563616 CPUtime=4784.35 cores=4-31
/proc/30178/task/30191/stat : 30191 (plingeling) R 30173 30173 30147 0 -1 4202560 445942 1249 0 0 478175 260 0 0 25 0 29 0 723915464 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=30178/tid=30192] ppid=30173 vsize=7563616 CPUtime=4849.43 cores=4-31
/proc/30178/task/30192/stat : 30192 (plingeling) R 30173 30173 30147 0 -1 4202560 644813 1249 0 0 484546 397 0 0 25 0 29 0 723915464 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4279499 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=30178/tid=30193] ppid=30173 vsize=7563616 CPUtime=4837.58 cores=4-31
/proc/30178/task/30193/stat : 30193 (plingeling) R 30173 30173 30147 0 -1 4202560 546946 1249 0 0 483412 346 0 0 25 0 29 0 723915464 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4331062 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=30178/tid=30194] ppid=30173 vsize=7563616 CPUtime=4846.69 cores=4-31
/proc/30178/task/30194/stat : 30194 (plingeling) R 30173 30173 30147 0 -1 4202560 512441 1249 0 0 484332 337 0 0 25 0 29 0 723915464 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4286843 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30178/tid=30195] ppid=30173 vsize=7563616 CPUtime=4850.58 cores=4-31
/proc/30178/task/30195/stat : 30195 (plingeling) R 30173 30173 30147 0 -1 4202560 528675 1249 0 0 484756 302 0 0 25 0 29 0 723915464 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4335320 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=30178/tid=30196] ppid=30173 vsize=7563616 CPUtime=4813.52 cores=4-31
/proc/30178/task/30196/stat : 30196 (plingeling) R 30173 30173 30147 0 -1 4202560 515048 1249 0 0 481028 324 0 0 25 0 29 0 723915464 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30178/tid=30197] ppid=30173 vsize=7563616 CPUtime=4791.62 cores=4-31
/proc/30178/task/30197/stat : 30197 (plingeling) R 30173 30173 30147 0 -1 4202560 488490 1249 0 0 478800 362 0 0 25 0 29 0 723915465 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4242784 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30178/tid=30198] ppid=30173 vsize=7563616 CPUtime=4683.49 cores=4-31
/proc/30178/task/30198/stat : 30198 (plingeling) R 30173 30173 30147 0 -1 4202560 502514 1249 0 0 468004 345 0 0 25 0 29 0 723915465 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4238706 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=30178/tid=30199] ppid=30173 vsize=7563616 CPUtime=4783.17 cores=4-31
/proc/30178/task/30199/stat : 30199 (plingeling) R 30173 30173 30147 0 -1 4202560 535092 1249 0 0 477935 382 0 0 25 0 29 0 723915465 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=30178/tid=30200] ppid=30173 vsize=7563616 CPUtime=4830.79 cores=4-31
/proc/30178/task/30200/stat : 30200 (plingeling) R 30173 30173 30147 0 -1 4202560 655238 1249 0 0 482714 365 0 0 25 0 29 0 723915465 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=30178/tid=30201] ppid=30173 vsize=7563616 CPUtime=4740.42 cores=4-31
/proc/30178/task/30201/stat : 30201 (plingeling) R 30173 30173 30147 0 -1 4202560 553669 1249 0 0 473546 496 0 0 25 0 29 0 723915466 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4331055 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=30178/tid=30202] ppid=30173 vsize=7563616 CPUtime=4721.79 cores=4-31
/proc/30178/task/30202/stat : 30202 (plingeling) R 30173 30173 30147 0 -1 4202560 564948 1249 0 0 471846 333 0 0 25 0 29 0 723915466 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4279478 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=30178/tid=30203] ppid=30173 vsize=7563616 CPUtime=4811.81 cores=4-31
/proc/30178/task/30203/stat : 30203 (plingeling) R 30173 30173 30147 0 -1 4202560 393770 1249 0 0 480974 207 0 0 25 0 29 0 723915466 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4237401 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=30178/tid=30204] ppid=30173 vsize=7563616 CPUtime=4849.48 cores=4-31
/proc/30178/task/30204/stat : 30204 (plingeling) R 30173 30173 30147 0 -1 4202560 520331 1249 0 0 484597 351 0 0 25 0 29 0 723915466 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4236998 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=30178/tid=30205] ppid=30173 vsize=7563616 CPUtime=4847.5 cores=4-31
/proc/30178/task/30205/stat : 30205 (plingeling) R 30173 30173 30147 0 -1 4202560 570204 1249 0 0 484439 311 0 0 25 0 29 0 723915467 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4211010 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=30178/tid=30206] ppid=30173 vsize=7563616 CPUtime=4850.74 cores=4-31
/proc/30178/task/30206/stat : 30206 (plingeling) R 30173 30173 30147 0 -1 4202560 475323 1249 0 0 484787 287 0 0 25 0 29 0 723915467 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=30178/tid=30207] ppid=30173 vsize=7563616 CPUtime=4738.58 cores=4-31
/proc/30178/task/30207/stat : 30207 (plingeling) R 30173 30173 30147 0 -1 4202560 576559 1249 0 0 473510 348 0 0 25 0 29 0 723915467 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4211717 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30178/tid=30208] ppid=30173 vsize=7563616 CPUtime=4712.09 cores=4-31
/proc/30178/task/30208/stat : 30208 (plingeling) R 30173 30173 30147 0 -1 4202560 738747 1249 0 0 470725 484 0 0 25 0 29 0 723915467 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4239105 0 0 4096 17442 0 0 0 -1 24 0 0 0
[pid=30178/tid=30209] ppid=30173 vsize=7563616 CPUtime=4779.86 cores=4-31
/proc/30178/task/30209/stat : 30209 (plingeling) R 30173 30173 30147 0 -1 4202560 472378 1249 0 0 477675 311 0 0 25 0 29 0 723915467 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4331074 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=30178/tid=30210] ppid=30173 vsize=7563616 CPUtime=4661.6 cores=4-31
/proc/30178/task/30210/stat : 30210 (plingeling) R 30173 30173 30147 0 -1 4202560 529028 1249 0 0 465826 334 0 0 25 0 29 0 723915467 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=30178/tid=30211] ppid=30173 vsize=7563616 CPUtime=4843.54 cores=4-31
/proc/30178/task/30211/stat : 30211 (plingeling) R 30173 30173 30147 0 -1 4202560 512004 1249 0 0 484014 340 0 0 25 0 29 0 723915470 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4331035 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=30178/tid=30212] ppid=30173 vsize=7563616 CPUtime=4823.05 cores=4-31
/proc/30178/task/30212/stat : 30212 (plingeling) R 30173 30173 30147 0 -1 4202560 494319 1249 0 0 482002 303 0 0 25 0 29 0 723915471 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4281755 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=30178/tid=30213] ppid=30173 vsize=7563616 CPUtime=4798.62 cores=4-31
/proc/30178/task/30213/stat : 30213 (plingeling) R 30173 30173 30147 0 -1 4202560 531662 1249 0 0 479549 313 0 0 25 0 29 0 723915471 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=30178/tid=30214] ppid=30173 vsize=7563616 CPUtime=4789.02 cores=4-31
/proc/30178/task/30214/stat : 30214 (plingeling) R 30173 30173 30147 0 -1 4202560 565655 1249 0 0 478568 334 0 0 25 0 29 0 723915471 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=30178/tid=30215] ppid=30173 vsize=7563616 CPUtime=4848.44 cores=4-31
/proc/30178/task/30215/stat : 30215 (plingeling) R 30173 30173 30147 0 -1 4202560 483734 1249 0 0 484558 286 0 0 25 0 29 0 723915471 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=30178/tid=30216] ppid=30173 vsize=7563616 CPUtime=4847.86 cores=4-31
/proc/30178/task/30216/stat : 30216 (plingeling) R 30173 30173 30147 0 -1 4202560 644339 1249 0 0 484424 362 0 0 25 0 29 0 723915471 7745142784 1782256 268435456000 4194304 4356188 140734722702320 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 149334
Current children cumulated vsize (KiB) 44399884
[startup+4975.9 s]
/proc/loadavg: 31.07 31.03 31.00 32/446 30361
/proc/meminfo: memFree=214527304/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=0 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 215 0 0 0 0 0 0 15 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633295 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
[pid=30174] ppid=30173 vsize=4085368 CPUtime=4974.95 cores=0
/proc/30174/stat : 30174 (cryptominisat) R 30173 30173 30147 0 -1 4202496 1414300 0 0 0 497110 385 0 0 25 0 1 0 723903621 4183416832 334559 268435456000 4194304 4587354 140737481234944 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30174/statm: 1021342 334559 338 96 0 1017904 0
[pid=30175] ppid=30173 vsize=14456136 CPUtime=4974.95 cores=1
/proc/30175/stat : 30175 (clasp) R 30173 30173 30147 0 -1 4202496 3611887 0 0 0 496421 1074 0 0 25 0 1 0 723903621 14803083264 3598713 268435456000 4194304 4785740 140735884400944 18446744073709551615 4312619 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30175/statm: 3614034 3598713 334 145 0 3611079 0
[pid=30177] ppid=30173 vsize=18296836 CPUtime=4974.95 cores=3
/proc/30177/stat : 30177 (march_hi) R 30173 30173 30147 0 -1 4202496 5417004 0 0 0 495515 1980 0 0 25 0 1 0 723903621 18735960064 4424809 268435456000 4194304 4331988 140733946899392 18446744073709551615 4271172 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30177/statm: 4574209 4424809 149 34 0 4572651 0
[pid=30178] ppid=30173 vsize=7540240 CPUtime=134504 cores=4-31
/proc/30178/stat : 30178 (plingeling) S 30173 30173 30147 0 -1 4202496 16740015 1249 0 0 13440502 9906 0 0 17 0 5 0 723903621 7721205760 1781519 268435456000 4194304 4356188 140734722702320 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/30178/statm: 1885060 1781519 160 40 0 1883604 0
[pid=30178/tid=30194] ppid=30173 vsize=7540240 CPUtime=4849.89 cores=4-31
/proc/30178/task/30194/stat : 30194 (plingeling) R 30173 30173 30147 0 -1 4202560 512441 1249 0 0 484652 337 0 0 25 0 5 0 723915464 7721205760 1781519 268435456000 4194304 4356188 140734722702320 18446744073709551615 4210591 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=30178/tid=30197] ppid=30173 vsize=7540240 CPUtime=4794.82 cores=4-31
/proc/30178/task/30197/stat : 30197 (plingeling) R 30173 30173 30147 0 -1 4202560 488490 1249 0 0 479120 362 0 0 25 0 5 0 723915465 7721205760 1781519 268435456000 4194304 4356188 140734722702320 18446744073709551615 4261931 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=30178/tid=30207] ppid=30173 vsize=7540240 CPUtime=4741.78 cores=4-31
/proc/30178/task/30207/stat : 30207 (plingeling) R 30173 30173 30147 0 -1 4202560 576559 1249 0 0 473830 348 0 0 25 0 5 0 723915467 7721205760 1781519 268435456000 4194304 4356188 140734722702320 18446744073709551615 4270872 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=30178/tid=30215] ppid=30173 vsize=7540240 CPUtime=4851.63 cores=4-31
/proc/30178/task/30215/stat : 30215 (plingeling) R 30173 30173 30147 0 -1 4202560 483734 1249 0 0 484877 286 0 0 25 0 5 0 723915471 7721205760 1781519 268435456000 4194304 4356188 140734722702320 18446744073709551615 4259314 0 0 4096 17442 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 149429
Current children cumulated vsize (KiB) 44396904
[startup+4977.52 s]
/proc/loadavg: 29.06 30.62 30.87 5/419 30361
/proc/meminfo: memFree=214513320/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=0 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 215 0 0 0 0 0 0 15 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633295 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
[pid=30174] ppid=30173 vsize=4085368 CPUtime=4976.57 cores=0
/proc/30174/stat : 30174 (cryptominisat) R 30173 30173 30147 0 -1 4202496 1414376 0 0 0 497272 385 0 0 25 0 1 0 723903621 4183416832 334634 268435456000 4194304 4587354 140737481234944 18446744073709551615 4248764 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30174/statm: 1021342 334634 338 96 0 1017904 0
[pid=30175] ppid=30173 vsize=14470264 CPUtime=4976.57 cores=1
/proc/30175/stat : 30175 (clasp) R 30173 30173 30147 0 -1 4202496 3615347 0 0 0 496582 1075 0 0 25 0 1 0 723903621 14817550336 3602173 268435456000 4194304 4785740 140735884400944 18446744073709551615 4304261 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30175/statm: 3617566 3602173 334 145 0 3614611 0
[pid=30177] ppid=30173 vsize=18297364 CPUtime=4976.58 cores=3
/proc/30177/stat : 30177 (march_hi) R 30173 30173 30147 0 -1 4202496 5417161 0 0 0 495677 1981 0 0 25 0 1 0 723903621 18736500736 4424966 268435456000 4194304 4331988 140733946899392 18446744073709551615 4226645 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30177/statm: 4574341 4424966 149 34 0 4572783 0
[pid=30178] ppid=30173 vsize=7540180 CPUtime=134506 cores=4-31
/proc/30178/stat : 30178 (plingeling) S 30173 30173 30147 0 -1 4202496 16740015 1249 0 0 13440740 9906 0 0 17 0 2 0 723903621 7721144320 1781504 268435456000 4194304 4356188 140734722702320 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 26 0 0 0
/proc/30178/statm: 1885045 1781504 160 40 0 1883589 0
[pid=30178/tid=30194] ppid=30173 vsize=7540180 CPUtime=4851.51 cores=4-31
/proc/30178/task/30194/stat : 30194 (plingeling) R 30173 30173 30147 0 -1 4202560 512441 1249 0 0 484814 337 0 0 25 0 2 0 723915464 7721144320 1781504 268435456000 4194304 4356188 140734722702320 18446744073709551615 4319573 0 0 4096 17442 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 149436
Current children cumulated vsize (KiB) 44411500
[startup+4978.3 s]
/proc/loadavg: 29.06 30.62 30.87 5/419 30361
/proc/meminfo: memFree=214513320/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=0 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 215 0 0 0 0 0 0 15 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9224197976245633295 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
[pid=30174] ppid=30173 vsize=4085368 CPUtime=4977.35 cores=0
/proc/30174/stat : 30174 (cryptominisat) R 30173 30173 30147 0 -1 4202496 1414424 0 0 0 497350 385 0 0 25 0 1 0 723903621 4183416832 334681 268435456000 4194304 4587354 140737481234944 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/30174/statm: 1021342 334681 338 96 0 1017904 0
[pid=30175] ppid=30173 vsize=14477660 CPUtime=4977.35 cores=1
/proc/30175/stat : 30175 (clasp) R 30173 30173 30147 0 -1 4202496 3617203 0 0 0 496660 1075 0 0 25 0 1 0 723903621 14825123840 3604029 268435456000 4194304 4785740 140735884400944 18446744073709551615 4552608 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/30175/statm: 3619415 3604029 334 145 0 3616460 0
[pid=30177] ppid=30173 vsize=18297760 CPUtime=4977.36 cores=3
/proc/30177/stat : 30177 (march_hi) R 30173 30173 30147 0 -1 4202496 5417255 0 0 0 495755 1981 0 0 25 0 1 0 723903621 18736906240 4425060 268435456000 4194304 4331988 140733946899392 18446744073709551615 4271184 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/30177/statm: 4574440 4425060 149 34 0 4572882 0
[pid=30178] ppid=30173 vsize=2683904 CPUtime=134507 cores=4-31
/proc/30178/stat : 30178 (plingeling) R 30173 30173 30147 0 -1 4202496 16740015 1249 0 0 13440774 9950 0 0 16 0 1 0 723903621 2748317696 608887 268435456000 4194304 4356188 140734722702320 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 26 0 0 0
/proc/30178/statm: 670976 608887 160 40 0 669520 0
Current children cumulated CPU time (s) 149439
Current children cumulated vsize (KiB) 39563016
[startup+4978.7 s]
/proc/loadavg: 29.06 30.62 30.87 5/418 30361
/proc/meminfo: memFree=225337156/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=139485 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 18155916 0 0 0 0 13938135 10369 15 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9216428212903444784 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
[pid=30175] ppid=30173 vsize=0 CPUtime=4977.75 cores=1
/proc/30175/stat : 30175 (clasp) R 30173 30173 30147 0 -1 4203524 3617505 0 0 0 496670 1105 0 0 25 0 1 0 723903621 0 0 268435456000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/30175/statm: 0 0 0 0 0 0 0
[pid=30177] ppid=30173 vsize=0 CPUtime=4977.75 cores=3
/proc/30177/stat : 30177 (march_hi) R 30173 30173 30147 0 -1 4203524 5417263 0 0 0 495765 2010 0 0 25 0 1 0 723903621 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30177/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 149441
Current children cumulated vsize (KiB) 18324
[startup+4979.1 s]
/proc/loadavg: 29.06 30.62 30.87 5/418 30361
/proc/meminfo: memFree=225337156/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=144463 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 21773421 0 0 0 0 14434806 11511 15 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
[pid=30177] ppid=30173 vsize=0 CPUtime=4978.15 cores=3
/proc/30177/stat : 30177 (march_hi) R 30173 30173 30147 0 -1 4203524 5417263 0 0 0 495765 2050 0 0 25 0 1 0 723903621 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30177/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 149441
Current children cumulated vsize (KiB) 18324
[startup+4979.2 s]
/proc/loadavg: 29.06 30.62 30.87 5/418 30361
/proc/meminfo: memFree=225337156/264257624 swapFree=67111528/67111528
[pid=30173] ppid=30171 vsize=18324 CPUtime=144463 cores=0-31
/proc/30173/stat : 30173 (ppfolio) S 30171 30173 30147 0 -1 4202496 515 21773421 0 0 0 0 14434806 11511 15 0 1 0 723903621 18763776 387 268435456000 4194304 4287625 140735883040320 18446744073709551615 258650975999 0 0 4096 65536 9192446627351101439 0 0 17 28 0 0 0
/proc/30173/statm: 4581 387 338 23 0 91 0
[pid=30177] ppid=30173 vsize=0 CPUtime=4978.25 cores=3
/proc/30177/stat : 30177 (march_hi) R 30173 30173 30147 0 -1 4203524 5417263 0 0 0 495765 2060 0 0 25 0 1 0 723903621 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0
/proc/30177/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 149441
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 4979.22
CPU time (s): 149441
CPU user time (s): 149306
CPU system time (s): 135.744
CPU usage (%): 3001.3
Max. virtual memory (cumulated for all children) (KiB): 46838340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 149306
system time used= 135.744
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27191219
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= 6292
involuntary context switches= 373614
runsolver used 26.594 second user time and 112.804 second system time
The end
Begin job on node200 at 2011-05-23 06:16:12
IDJOB=3347663
IDBENCH=85008
IDSOLVER=1808
FILE ID=node200/3347663-1306124164
RUNJOBID= node200-1306124164-30161
PBS_JOBID= 13387830
Free space on /tmp= 61836 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT04/industrial/velev/vliw_unsat_2.0/9dlx_vliw_at_b_iq9.used-as.sat04-719.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347663-1306124164/watcher-3347663-1306124164 -o /tmp/evaluation-result-3347663-1306124164/solver-3347663-1306124164 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347663-1306124164.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= 9a43349587a435e7109b46b3aceb156e
RANDOM SEED=1380247374
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: 255161464 kB
Buffers: 457364 kB
Cached: 8225996 kB
SwapCached: 0 kB
Active: 7753472 kB
Inactive: 998840 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 255161464 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 223176 kB
Writeback: 0 kB
AnonPages: 68972 kB
Mapped: 14480 kB
Slab: 257648 kB
PageTables: 4432 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 188244 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= 61828 MiB
End job on node200 at 2011-05-23 07:39:11