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
89511.45/2819.71 s UNSATISFIABLE
89511.77/2819.86 solver [5] plingeling 276-6264d55-100731 answered
89511.77/2819.86 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-3347287-1304973716/watcher-3347287-1304973716 -o /tmp/evaluation-result-3347287-1304973716/solver-3347287-1304973716 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347287-1304973716.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.51 31.50 30.73 1/413 29083
/proc/meminfo: memFree=256514984/264257624 swapFree=67111528/67111528
[pid=29083] ppid=29081 vsize=18324 CPUtime=0 cores=0-31
/proc/29083/stat : 29083 (ppfolio) S 29081 29083 29057 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 608858165 18763776 385 268435456000 4194304 4287625 140736408903936 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/29083/statm: 4581 385 337 23 0 91 0
[startup+0.0955879 s]
/proc/loadavg: 29.51 31.50 30.73 1/413 29083
/proc/meminfo: memFree=256514984/264257624 swapFree=67111528/67111528
[pid=29083] ppid=29081 vsize=18324 CPUtime=0 cores=0-31
/proc/29083/stat : 29083 (ppfolio) S 29081 29083 29057 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 608858165 18763776 385 268435456000 4194304 4287625 140736408903936 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/29083/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.100583 s]
/proc/loadavg: 29.51 31.50 30.73 1/413 29083
/proc/meminfo: memFree=256514984/264257624 swapFree=67111528/67111528
[pid=29083] ppid=29081 vsize=18324 CPUtime=0 cores=0-31
/proc/29083/stat : 29083 (ppfolio) S 29081 29083 29057 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 608858165 18763776 385 268435456000 4194304 4287625 140736408903936 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/29083/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300606 s]
/proc/loadavg: 29.51 31.50 30.73 1/413 29083
/proc/meminfo: memFree=256514984/264257624 swapFree=67111528/67111528
[pid=29083] ppid=29081 vsize=18324 CPUtime=0 cores=0-31
/proc/29083/stat : 29083 (ppfolio) S 29081 29083 29057 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 608858165 18763776 385 268435456000 4194304 4287625 140736408903936 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/29083/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700622 s]
/proc/loadavg: 29.51 31.50 30.73 1/413 29083
/proc/meminfo: memFree=256514984/264257624 swapFree=67111528/67111528
[pid=29083] ppid=29081 vsize=18324 CPUtime=0 cores=0-31
/proc/29083/stat : 29083 (ppfolio) S 29081 29083 29057 0 -1 4202496 512 0 0 0 0 0 0 0 25 0 1 0 608858165 18763776 385 268435456000 4194304 4287625 140736408903936 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/29083/statm: 4581 385 337 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50065 s]
/proc/loadavg: 27.54 31.06 30.59 6/419 29094
/proc/meminfo: memFree=256054636/264257624 swapFree=67111528/67111528
[pid=29083] ppid=29081 vsize=18324 CPUtime=0 cores=0-31
/proc/29083/stat : 29083 (ppfolio) S 29081 29083 29057 0 -1 4202496 512 0 0 0 0 0 0 0 18 0 1 0 608858165 18763776 385 268435456000 4194304 4287625 140736408903936 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/29083/statm: 4581 385 337 23 0 91 0
[pid=29084] ppid=29083 vsize=187336 CPUtime=1.49 cores=0
/proc/29084/stat : 29084 (cryptominisat) R 29083 29083 29057 0 -1 4202496 32778 0 0 0 139 10 0 0 20 0 1 0 608858165 191832064 32037 268435456000 4194304 4587354 140734006651520 18446744073709551615 4238282 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29084/statm: 46834 32037 308 96 0 43396 0
[pid=29085] ppid=29083 vsize=153124 CPUtime=1.48 cores=1
/proc/29085/stat : 29085 (clasp) R 29083 29083 29057 0 -1 4202496 43219 0 0 0 136 12 0 0 20 0 1 0 608858165 156798976 34292 268435456000 4194304 4785740 140735363769040 18446744073709551615 4495425 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29085/statm: 38281 34292 315 145 0 35326 0
[pid=29086] ppid=29083 vsize=477344 CPUtime=1.48 cores=2
/proc/29086/stat : 29086 (TNM) R 29083 29083 29057 0 -1 4202496 11147 0 0 0 144 4 0 0 20 0 1 0 608858165 488800256 11045 268435456000 134512640 134534564 4288221104 18446744073709551615 134519789 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29086/statm: 119336 11047 91 6 0 118001 0
[pid=29087] ppid=29083 vsize=207668 CPUtime=1.48 cores=3
/proc/29087/stat : 29087 (march_hi) R 29083 29083 29057 0 -1 4194304 36929 0 0 0 135 13 0 0 20 0 1 0 608858165 212652032 36823 268435456000 4194304 4331988 140733233010256 18446744073709551615 4251688 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29087/statm: 51917 36823 116 34 0 50359 0
[pid=29088] ppid=29083 vsize=205316 CPUtime=1.48 cores=4-31
/proc/29088/stat : 29088 (plingeling) R 29083 29083 29057 0 -1 4202496 50105 1242 0 0 138 10 0 0 21 0 1 0 608858165 210243584 49988 268435456000 4194304 4356188 140737033017104 18446744073709551615 4278267 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/29088/statm: 51329 49988 129 40 0 49873 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 1249112
[startup+3.1007 s]
/proc/loadavg: 27.54 31.06 30.59 6/419 29094
/proc/meminfo: memFree=255830816/264257624 swapFree=67111528/67111528
[pid=29083] ppid=29081 vsize=18324 CPUtime=0 cores=0-31
/proc/29083/stat : 29083 (ppfolio) S 29081 29083 29057 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 608858165 18763776 385 268435456000 4194304 4287625 140736408903936 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/29083/statm: 4581 385 337 23 0 91 0
[pid=29084] ppid=29083 vsize=246348 CPUtime=3.09 cores=0
/proc/29084/stat : 29084 (cryptominisat) R 29083 29083 29057 0 -1 4202496 47504 0 0 0 296 13 0 0 25 0 1 0 608858165 252260352 46763 268435456000 4194304 4587354 140734006651520 18446744073709551615 4421069 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29084/statm: 61587 46763 313 96 0 58149 0
[pid=29085] ppid=29083 vsize=158836 CPUtime=3.09 cores=1
/proc/29085/stat : 29085 (clasp) R 29083 29083 29057 0 -1 4202496 44522 0 0 0 296 13 0 0 25 0 1 0 608858165 162648064 35595 268435456000 4194304 4785740 140735363769040 18446744073709551615 4502991 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29085/statm: 39709 35595 317 145 0 36754 0
[pid=29086] ppid=29083 vsize=545852 CPUtime=3.09 cores=2
/proc/29086/stat : 29086 (TNM) R 29083 29083 29057 0 -1 4202496 40980 0 0 0 298 11 0 0 25 0 1 0 608858165 558952448 40878 268435456000 134512640 134534564 4288221104 18446744073709551615 134529366 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29086/statm: 136463 40878 95 6 0 135128 0
[pid=29087] ppid=29083 vsize=191192 CPUtime=3.08 cores=3
/proc/29087/stat : 29087 (march_hi) R 29083 29083 29057 0 -1 4194304 61549 0 0 0 289 19 0 0 25 0 1 0 608858165 195780608 32964 268435456000 4194304 4331988 140733233010256 18446744073709551615 4251649 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29087/statm: 47798 32964 127 34 0 46240 0
[pid=29088] ppid=29083 vsize=308280 CPUtime=3.07 cores=4-31
/proc/29088/stat : 29088 (plingeling) R 29083 29083 29057 0 -1 4202496 75846 1242 0 0 292 15 0 0 25 0 1 0 608858165 315678720 75729 268435456000 4194304 4356188 140737033017104 18446744073709551615 4213242 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/29088/statm: 77070 75729 129 40 0 75614 0
Current children cumulated CPU time (s) 15.42
Current children cumulated vsize (KiB) 1468832
[startup+6.3008 s]
/proc/loadavg: 25.74 30.63 30.46 6/419 29094
/proc/meminfo: memFree=255315784/264257624 swapFree=67111528/67111528
[pid=29083] ppid=29081 vsize=18324 CPUtime=0 cores=0-31
/proc/29083/stat : 29083 (ppfolio) S 29081 29083 29057 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 608858165 18763776 385 268435456000 4194304 4287625 140736408903936 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/29083/statm: 4581 385 337 23 0 91 0
[pid=29084] ppid=29083 vsize=246616 CPUtime=6.29 cores=0
/proc/29084/stat : 29084 (cryptominisat) R 29083 29083 29057 0 -1 4202496 47532 0 0 0 616 13 0 0 25 0 1 0 608858165 252534784 46791 268435456000 4194304 4587354 140734006651520 18446744073709551615 4421100 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29084/statm: 61654 46791 313 96 0 58216 0
[pid=29085] ppid=29083 vsize=143600 CPUtime=6.28 cores=1
/proc/29085/stat : 29085 (clasp) R 29083 29083 29057 0 -1 4202496 46402 0 0 0 615 13 0 0 25 0 1 0 608858165 147046400 32294 268435456000 4194304 4785740 140735363769040 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29085/statm: 35900 32294 338 145 0 32945 0
[pid=29086] ppid=29083 vsize=545852 CPUtime=6.29 cores=2
/proc/29086/stat : 29086 (TNM) R 29083 29083 29057 0 -1 4202496 40980 0 0 0 618 11 0 0 25 0 1 0 608858165 558952448 40878 268435456000 134512640 134534564 4288221104 18446744073709551615 134529352 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29086/statm: 136463 40878 95 6 0 135128 0
[pid=29087] ppid=29083 vsize=214448 CPUtime=6.29 cores=3
/proc/29087/stat : 29087 (march_hi) R 29083 29083 29057 0 -1 4202496 109765 0 0 0 598 31 0 0 25 0 1 0 608858165 219594752 38808 268435456000 4194304 4331988 140733233010256 18446744073709551615 258650604632 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29087/statm: 53612 38808 146 34 0 52054 0
[pid=29088] ppid=29083 vsize=569692 CPUtime=6.28 cores=4-31
/proc/29088/stat : 29088 (plingeling) R 29083 29083 29057 0 -1 4202496 141460 1242 0 0 600 28 0 0 25 0 1 0 608858165 583364608 141082 268435456000 4194304 4356188 140737033017104 18446744073709551615 4278270 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/29088/statm: 142423 141082 129 40 0 140967 0
Current children cumulated CPU time (s) 31.43
Current children cumulated vsize (KiB) 1738532
[startup+12.7011 s]
/proc/loadavg: 24.08 30.20 30.32 6/419 29094
/proc/meminfo: memFree=254787540/264257624 swapFree=67111528/67111528
[pid=29083] ppid=29081 vsize=18324 CPUtime=0 cores=0-31
/proc/29083/stat : 29083 (ppfolio) S 29081 29083 29057 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 608858165 18763776 385 268435456000 4194304 4287625 140736408903936 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/29083/statm: 4581 385 337 23 0 91 0
[pid=29084] ppid=29083 vsize=312280 CPUtime=12.69 cores=0
/proc/29084/stat : 29084 (cryptominisat) R 29083 29083 29057 0 -1 4202496 79143 0 0 0 1249 20 0 0 25 0 1 0 608858165 319774720 63426 268435456000 4194304 4587354 140734006651520 18446744073709551615 4236780 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29084/statm: 78070 63426 331 96 0 74632 0
[pid=29085] ppid=29083 vsize=143600 CPUtime=12.68 cores=1
/proc/29085/stat : 29085 (clasp) R 29083 29083 29057 0 -1 4202496 46409 0 0 0 1255 13 0 0 25 0 1 0 608858165 147046400 32301 268435456000 4194304 4785740 140735363769040 18446744073709551615 4552568 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29085/statm: 35900 32301 338 145 0 32945 0
[pid=29086] ppid=29083 vsize=545852 CPUtime=12.69 cores=2
/proc/29086/stat : 29086 (TNM) R 29083 29083 29057 0 -1 4202496 40980 0 0 0 1258 11 0 0 25 0 1 0 608858165 558952448 40878 268435456000 134512640 134534564 4288221104 18446744073709551615 134529374 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29086/statm: 136463 40878 95 6 0 135128 0
[pid=29087] ppid=29083 vsize=588292 CPUtime=12.68 cores=3
/proc/29087/stat : 29087 (march_hi) R 29083 29083 29057 0 -1 4202496 241281 0 0 0 1211 57 0 0 25 0 1 0 608858165 602411008 68914 268435456000 4194304 4331988 140733233010256 18446744073709551615 258650604641 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29087/statm: 147073 68914 158 34 0 145515 0
[pid=29088] ppid=29083 vsize=964344 CPUtime=12.67 cores=4-31
/proc/29088/stat : 29088 (plingeling) R 29083 29083 29057 0 -1 4202496 240410 1242 0 0 1218 49 0 0 25 0 1 0 608858165 987488256 239745 268435456000 4194304 4356188 140737033017104 18446744073709551615 4212883 0 0 4096 17442 0 0 0 17 9 0 0 0
/proc/29088/statm: 241086 239745 129 40 0 239630 0
Current children cumulated CPU time (s) 63.41
Current children cumulated vsize (KiB) 2572692
[startup+25.5024 s]
/proc/loadavg: 22.01 29.41 30.06 33/447 29124
/proc/meminfo: memFree=254278232/264257624 swapFree=67111528/67111528
[pid=29083] ppid=29081 vsize=18324 CPUtime=0 cores=0-31
/proc/29083/stat : 29083 (ppfolio) S 29081 29083 29057 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 608858165 18763776 385 268435456000 4194304 4287625 140736408903936 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/29083/statm: 4581 385 337 23 0 91 0
[pid=29084] ppid=29083 vsize=312280 CPUtime=25.48 cores=0
/proc/29084/stat : 29084 (cryptominisat) R 29083 29083 29057 0 -1 4202496 80447 0 0 0 2527 21 0 0 25 0 1 0 608858165 319774720 64714 268435456000 4194304 4587354 140734006651520 18446744073709551615 4237607 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29084/statm: 78070 64714 331 96 0 74632 0
[pid=29085] ppid=29083 vsize=143600 CPUtime=25.48 cores=1
/proc/29085/stat : 29085 (clasp) R 29083 29083 29057 0 -1 4202496 46444 0 0 0 2535 13 0 0 25 0 1 0 608858165 147046400 32336 268435456000 4194304 4785740 140735363769040 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29085/statm: 35900 32336 338 145 0 32945 0
[pid=29086] ppid=29083 vsize=545852 CPUtime=25.49 cores=2
/proc/29086/stat : 29086 (TNM) R 29083 29083 29057 0 -1 4202496 40980 0 0 0 2538 11 0 0 25 0 1 0 608858165 558952448 40878 268435456000 134512640 134534564 4288221104 18446744073709551615 134528913 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29086/statm: 136463 40878 95 6 0 135128 0
[pid=29087] ppid=29083 vsize=558968 CPUtime=25.48 cores=3
/proc/29087/stat : 29087 (march_hi) R 29083 29083 29057 0 -1 4202496 260353 0 0 0 2486 62 0 0 25 0 1 0 608858165 572383232 65680 268435456000 4194304 4331988 140733233010256 18446744073709551615 4210502 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29087/statm: 139742 65680 171 34 0 138184 0
[pid=29088] ppid=29083 vsize=1871296 CPUtime=98.78 cores=4-31
/proc/29088/stat : 29088 (plingeling) S 29083 29083 29057 0 -1 4202496 629653 1242 0 0 9688 190 0 0 19 0 29 0 608858165 1916207104 360520 268435456000 4194304 4356188 140737033017104 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/29088/statm: 467824 360520 156 40 0 466368 0
[pid=29088/tid=29095] ppid=29083 vsize=1871296 CPUtime=2.73 cores=4-31
/proc/29088/task/29095/stat : 29095 (plingeling) R 29083 29083 29057 0 -1 4202560 8351 1242 0 0 271 2 0 0 19 0 29 0 608860436 1916207104 360520 268435456000 4194304 4356188 140737033017104 18446744073709551615 4320715 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29088/tid=29096] ppid=29083 vsize=1871296 CPUtime=2.73 cores=4-31
/proc/29088/task/29096/stat : 29096 (plingeling) R 29083 29083 29057 0 -1 4202560 9555 1242 0 0 268 5 0 0 21 0 29 0 608860436 1916207104 360520 268435456000 4194304 4356188 140737033017104 18446744073709551615 4207710 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29088/tid=29097] ppid=29083 vsize=1871296 CPUtime=2.74 cores=4-31
/proc/29088/task/29097/stat : 29097 (plingeling) R 29083 29083 29057 0 -1 4202560 8777 1242 0 0 270 4 0 0 22 0 29 0 608860436 1916207104 360520 268435456000 4194304 4356188 140737033017104 18446744073709551615 4316016 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29088/tid=29098] ppid=29083 vsize=1871296 CPUtime=2.71 cores=4-31
/proc/29088/task/29098/stat : 29098 (plingeling) R 29083 29083 29057 0 -1 4202560 11617 1242 0 0 267 4 0 0 22 0 29 0 608860436 1916207104 360520 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331065 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29088/tid=29099] ppid=29083 vsize=1871296 CPUtime=2.69 cores=4-31
/proc/29088/task/29099/stat : 29099 (plingeling) R 29083 29083 29057 0 -1 4202560 11825 1242 0 0 264 5 0 0 22 0 29 0 608860436 1916207104 360520 268435456000 4194304 4356188 140737033017104 18446744073709551615 4321594 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29088/tid=29100] ppid=29083 vsize=1871296 CPUtime=2.73 cores=4-31
/proc/29088/task/29100/stat : 29100 (plingeling) R 29083 29083 29057 0 -1 4202560 7010 1242 0 0 271 2 0 0 22 0 29 0 608860436 1916207104 360520 268435456000 4194304 4356188 140737033017104 18446744073709551615 4315090 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29088/tid=29101] ppid=29083 vsize=1871296 CPUtime=2.73 cores=4-31
/proc/29088/task/29101/stat : 29101 (plingeling) R 29083 29083 29057 0 -1 4202560 11887 1242 0 0 269 4 0 0 19 0 29 0 608860436 1916207104 360520 268435456000 4194304 4356188 140737033017104 18446744073709551615 4315078 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29088/tid=29102] ppid=29083 vsize=1871296 CPUtime=2.73 cores=4-31
/proc/29088/task/29102/stat : 29102 (plingeling) R 29083 29083 29057 0 -1 4202560 11023 1242 0 0 267 6 0 0 20 0 29 0 608860436 1916207104 360520 268435456000 4194304 4356188 140737033017104 18446744073709551615 4322016 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29088/tid=29103] ppid=29083 vsize=1871296 CPUtime=2.63 cores=4-31
/proc/29088/task/29103/stat : 29103 (plingeling) R 29083 29083 29057 0 -1 4202560 5642 1242 0 0 261 2 0 0 19 0 29 0 608860436 1916207104 360520 268435456000 4194304 4356188 140737033017104 18446744073709551615 4260341 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29088/tid=29104] ppid=29083 vsize=1871296 CPUtime=2.66 cores=4-31
################
# More data... #
################
/proc/29088/task/29098/stat : 29098 (plingeling) R 29083 29083 29057 0 -1 4202560 124357 1242 0 0 279509 49 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331015 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29088/tid=29099] ppid=29083 vsize=3434676 CPUtime=2795.75 cores=4-31
/proc/29088/task/29099/stat : 29099 (plingeling) R 29083 29083 29057 0 -1 4202560 114047 1242 0 0 279547 28 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29088/tid=29100] ppid=29083 vsize=3434676 CPUtime=2794.37 cores=4-31
/proc/29088/task/29100/stat : 29100 (plingeling) R 29083 29083 29057 0 -1 4202560 92642 1242 0 0 279412 25 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4330843 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29088/tid=29101] ppid=29083 vsize=3434676 CPUtime=2795.71 cores=4-31
/proc/29088/task/29101/stat : 29101 (plingeling) R 29083 29083 29057 0 -1 4202560 98977 1242 0 0 279545 26 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4332288 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29088/tid=29102] ppid=29083 vsize=3434676 CPUtime=2795.74 cores=4-31
/proc/29088/task/29102/stat : 29102 (plingeling) R 29083 29083 29057 0 -1 4202560 115181 1242 0 0 279526 48 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29088/tid=29103] ppid=29083 vsize=3434676 CPUtime=2793.35 cores=4-31
/proc/29088/task/29103/stat : 29103 (plingeling) R 29083 29083 29057 0 -1 4202560 82873 1242 0 0 279312 23 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4330960 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29088/tid=29104] ppid=29083 vsize=3434676 CPUtime=2795.54 cores=4-31
/proc/29088/task/29104/stat : 29104 (plingeling) R 29083 29083 29057 0 -1 4202560 124221 1242 0 0 279523 31 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331514 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29088/tid=29105] ppid=29083 vsize=3434676 CPUtime=2793.39 cores=4-31
/proc/29088/task/29105/stat : 29105 (plingeling) R 29083 29083 29057 0 -1 4202560 117779 1242 0 0 279309 30 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331050 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29088/tid=29106] ppid=29083 vsize=3434676 CPUtime=2795.8 cores=4-31
/proc/29088/task/29106/stat : 29106 (plingeling) R 29083 29083 29057 0 -1 4202560 112631 1242 0 0 279533 47 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4330969 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29088/tid=29107] ppid=29083 vsize=3434676 CPUtime=2773.66 cores=4-31
/proc/29088/task/29107/stat : 29107 (plingeling) R 29083 29083 29057 0 -1 4202560 102097 1242 0 0 277342 24 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29088/tid=29108] ppid=29083 vsize=3434676 CPUtime=2795.73 cores=4-31
/proc/29088/task/29108/stat : 29108 (plingeling) R 29083 29083 29057 0 -1 4202560 96840 1242 0 0 279545 28 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331335 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29088/tid=29109] ppid=29083 vsize=3434676 CPUtime=2795.69 cores=4-31
/proc/29088/task/29109/stat : 29109 (plingeling) R 29083 29083 29057 0 -1 4202560 118156 1242 0 0 279535 34 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29088/tid=29110] ppid=29083 vsize=3434676 CPUtime=2795.78 cores=4-31
/proc/29088/task/29110/stat : 29110 (plingeling) R 29083 29083 29057 0 -1 4202560 101027 1242 0 0 279534 44 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4283920 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29088/tid=29111] ppid=29083 vsize=3434676 CPUtime=2795.73 cores=4-31
/proc/29088/task/29111/stat : 29111 (plingeling) R 29083 29083 29057 0 -1 4202560 102239 1242 0 0 279545 28 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29088/tid=29112] ppid=29083 vsize=3434676 CPUtime=2795.78 cores=4-31
/proc/29088/task/29112/stat : 29112 (plingeling) R 29083 29083 29057 0 -1 4202560 125777 1242 0 0 279546 32 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29088/tid=29113] ppid=29083 vsize=3434676 CPUtime=2795.76 cores=4-31
/proc/29088/task/29113/stat : 29113 (plingeling) R 29083 29083 29057 0 -1 4202560 106455 1242 0 0 279546 30 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29088/tid=29114] ppid=29083 vsize=3434676 CPUtime=2751.85 cores=4-31
/proc/29088/task/29114/stat : 29114 (plingeling) R 29083 29083 29057 0 -1 4202560 113802 1242 0 0 275140 45 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29088/tid=29115] ppid=29083 vsize=3434676 CPUtime=2795.69 cores=4-31
/proc/29088/task/29115/stat : 29115 (plingeling) R 29083 29083 29057 0 -1 4202560 99541 1242 0 0 279543 26 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4210765 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29088/tid=29116] ppid=29083 vsize=3434676 CPUtime=2795.17 cores=4-31
/proc/29088/task/29116/stat : 29116 (plingeling) R 29083 29083 29057 0 -1 4202560 84113 1242 0 0 279497 20 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29088/tid=29117] ppid=29083 vsize=3434676 CPUtime=2795.77 cores=4-31
/proc/29088/task/29117/stat : 29117 (plingeling) R 29083 29083 29057 0 -1 4202560 117458 1242 0 0 279546 31 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29088/tid=29118] ppid=29083 vsize=3434676 CPUtime=2795.78 cores=4-31
/proc/29088/task/29118/stat : 29118 (plingeling) R 29083 29083 29057 0 -1 4202560 100632 1242 0 0 279534 44 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4242677 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29088/tid=29119] ppid=29083 vsize=3434676 CPUtime=2795.7 cores=4-31
/proc/29088/task/29119/stat : 29119 (plingeling) R 29083 29083 29057 0 -1 4202560 103923 1242 0 0 279542 28 0 0 25 0 29 0 608860437 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4236939 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29088/tid=29120] ppid=29083 vsize=3434676 CPUtime=2795.77 cores=4-31
/proc/29088/task/29120/stat : 29120 (plingeling) R 29083 29083 29057 0 -1 4202560 114567 1242 0 0 279545 32 0 0 25 0 29 0 608860437 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29088/tid=29121] ppid=29083 vsize=3434676 CPUtime=2794.28 cores=4-31
/proc/29088/task/29121/stat : 29121 (plingeling) R 29083 29083 29057 0 -1 4202560 120441 1242 0 0 279368 60 0 0 25 0 29 0 608860437 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29088/tid=29122] ppid=29083 vsize=3434676 CPUtime=2795.56 cores=4-31
/proc/29088/task/29122/stat : 29122 (plingeling) R 29083 29083 29057 0 -1 4202560 107524 1242 0 0 279511 45 0 0 25 0 29 0 608860437 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4281627 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 89495.4
Current children cumulated vsize (KiB) 6847208
[startup+2819.5 s]
/proc/loadavg: 32.13 32.10 31.95 33/447 29210
/proc/meminfo: memFree=251354220/264257624 swapFree=67111528/67111528
[pid=29083] ppid=29081 vsize=18324 CPUtime=0 cores=0-31
/proc/29083/stat : 29083 (ppfolio) S 29081 29083 29057 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 608858165 18763776 385 268435456000 4194304 4287625 140736408903936 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/29083/statm: 4581 385 337 23 0 91 0
[pid=29084] ppid=29083 vsize=773296 CPUtime=2818.93 cores=0
/proc/29084/stat : 29084 (cryptominisat) R 29083 29083 29057 0 -1 4202496 153630 0 0 0 281796 97 0 0 25 0 1 0 608858165 791855104 74368 268435456000 4194304 4587354 140734006651520 18446744073709551615 4237600 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29084/statm: 193324 74368 339 96 0 189886 0
[pid=29085] ppid=29083 vsize=1428788 CPUtime=2818.95 cores=1
/proc/29085/stat : 29085 (clasp) R 29083 29083 29057 0 -1 4202496 365556 0 0 0 281667 228 0 0 25 0 1 0 608858165 1463078912 351448 268435456000 4194304 4785740 140735363769040 18446744073709551615 4416832 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29085/statm: 357197 351448 338 145 0 354242 0
[pid=29086] ppid=29083 vsize=545852 CPUtime=2818.96 cores=2
/proc/29086/stat : 29086 (TNM) R 29083 29083 29057 0 -1 4202496 40980 0 0 0 281885 11 0 0 25 0 1 0 608858165 558952448 40878 268435456000 134512640 134534564 4288221104 18446744073709551615 134528661 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29086/statm: 136463 40878 95 6 0 135128 0
[pid=29087] ppid=29083 vsize=646272 CPUtime=2818.96 cores=3
/proc/29087/stat : 29087 (march_hi) R 29083 29083 29057 0 -1 4202496 281077 0 0 0 281819 77 0 0 25 0 1 0 608858165 661782528 86404 268435456000 4194304 4331988 140733233010256 18446744073709551615 4228243 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29087/statm: 161568 86404 174 34 0 160010 0
[pid=29088] ppid=29083 vsize=3434676 CPUtime=78232.4 cores=4-31
/proc/29088/stat : 29088 (plingeling) S 29083 29083 29057 0 -1 4202496 3326675 1242 0 0 7822214 1025 0 0 19 0 29 0 608858165 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 258662759221 0 0 4096 17442 18446744073709551615 0 0 17 24 0 0 0
/proc/29088/statm: 858669 735789 159 40 0 857213 0
[pid=29088/tid=29095] ppid=29083 vsize=3434676 CPUtime=2796.08 cores=4-31
/proc/29088/task/29095/stat : 29095 (plingeling) R 29083 29083 29057 0 -1 4202560 69261 1242 0 0 279588 20 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4234297 0 0 4096 17442 0 0 0 -1 6 0 0 0
[pid=29088/tid=29096] ppid=29083 vsize=3434676 CPUtime=2788.38 cores=4-31
/proc/29088/task/29096/stat : 29096 (plingeling) R 29083 29083 29057 0 -1 4202560 118978 1242 0 0 278805 33 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 15 0 0 0
[pid=29088/tid=29097] ppid=29083 vsize=3434676 CPUtime=2796.05 cores=4-31
/proc/29088/task/29097/stat : 29097 (plingeling) R 29083 29083 29057 0 -1 4202560 85985 1242 0 0 279581 24 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4210579 0 0 4096 17442 0 0 0 -1 12 0 0 0
[pid=29088/tid=29098] ppid=29083 vsize=3434676 CPUtime=2795.98 cores=4-31
/proc/29088/task/29098/stat : 29098 (plingeling) R 29083 29083 29057 0 -1 4202560 124357 1242 0 0 279549 49 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 26 0 0 0
[pid=29088/tid=29099] ppid=29083 vsize=3434676 CPUtime=2796.15 cores=4-31
/proc/29088/task/29099/stat : 29099 (plingeling) R 29083 29083 29057 0 -1 4202560 114047 1242 0 0 279587 28 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 21 0 0 0
[pid=29088/tid=29100] ppid=29083 vsize=3434676 CPUtime=2794.77 cores=4-31
/proc/29088/task/29100/stat : 29100 (plingeling) R 29083 29083 29057 0 -1 4202560 92642 1242 0 0 279452 25 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4330931 0 0 4096 17442 0 0 0 -1 4 0 0 0
[pid=29088/tid=29101] ppid=29083 vsize=3434676 CPUtime=2796.11 cores=4-31
/proc/29088/task/29101/stat : 29101 (plingeling) R 29083 29083 29057 0 -1 4202560 98977 1242 0 0 279585 26 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 14 0 0 0
[pid=29088/tid=29102] ppid=29083 vsize=3434676 CPUtime=2796.14 cores=4-31
/proc/29088/task/29102/stat : 29102 (plingeling) R 29083 29083 29057 0 -1 4202560 115181 1242 0 0 279566 48 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 9 0 0 0
[pid=29088/tid=29103] ppid=29083 vsize=3434676 CPUtime=2793.75 cores=4-31
/proc/29088/task/29103/stat : 29103 (plingeling) R 29083 29083 29057 0 -1 4202560 82873 1242 0 0 279352 23 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 7 0 0 0
[pid=29088/tid=29104] ppid=29083 vsize=3434676 CPUtime=2795.94 cores=4-31
/proc/29088/task/29104/stat : 29104 (plingeling) R 29083 29083 29057 0 -1 4202560 124221 1242 0 0 279563 31 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4211026 0 0 4096 17442 0 0 0 -1 19 0 0 0
[pid=29088/tid=29105] ppid=29083 vsize=3434676 CPUtime=2793.79 cores=4-31
/proc/29088/task/29105/stat : 29105 (plingeling) R 29083 29083 29057 0 -1 4202560 117779 1242 0 0 279349 30 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4332020 0 0 4096 17442 0 0 0 -1 27 0 0 0
[pid=29088/tid=29106] ppid=29083 vsize=3434676 CPUtime=2796.2 cores=4-31
/proc/29088/task/29106/stat : 29106 (plingeling) R 29083 29083 29057 0 -1 4202560 112631 1242 0 0 279573 47 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331007 0 0 4096 17442 0 0 0 -1 30 0 0 0
[pid=29088/tid=29107] ppid=29083 vsize=3434676 CPUtime=2774.06 cores=4-31
/proc/29088/task/29107/stat : 29107 (plingeling) R 29083 29083 29057 0 -1 4202560 102097 1242 0 0 277382 24 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4281681 0 0 4096 17442 0 0 0 -1 22 0 0 0
[pid=29088/tid=29108] ppid=29083 vsize=3434676 CPUtime=2796.13 cores=4-31
/proc/29088/task/29108/stat : 29108 (plingeling) R 29083 29083 29057 0 -1 4202560 96840 1242 0 0 279585 28 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 28 0 0 0
[pid=29088/tid=29109] ppid=29083 vsize=3434676 CPUtime=2796.09 cores=4-31
/proc/29088/task/29109/stat : 29109 (plingeling) R 29083 29083 29057 0 -1 4202560 118156 1242 0 0 279575 34 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4210765 0 0 4096 17442 0 0 0 -1 25 0 0 0
[pid=29088/tid=29110] ppid=29083 vsize=3434676 CPUtime=2796.18 cores=4-31
/proc/29088/task/29110/stat : 29110 (plingeling) R 29083 29083 29057 0 -1 4202560 101027 1242 0 0 279574 44 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4330986 0 0 4096 17442 0 0 0 -1 16 0 0 0
[pid=29088/tid=29111] ppid=29083 vsize=3434676 CPUtime=2796.13 cores=4-31
/proc/29088/task/29111/stat : 29111 (plingeling) R 29083 29083 29057 0 -1 4202560 102239 1242 0 0 279585 28 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4210575 0 0 4096 17442 0 0 0 -1 5 0 0 0
[pid=29088/tid=29112] ppid=29083 vsize=3434676 CPUtime=2796.18 cores=4-31
/proc/29088/task/29112/stat : 29112 (plingeling) R 29083 29083 29057 0 -1 4202560 125777 1242 0 0 279586 32 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331060 0 0 4096 17442 0 0 0 -1 29 0 0 0
[pid=29088/tid=29113] ppid=29083 vsize=3434676 CPUtime=2796.16 cores=4-31
/proc/29088/task/29113/stat : 29113 (plingeling) R 29083 29083 29057 0 -1 4202560 106455 1242 0 0 279586 30 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4284008 0 0 4096 17442 0 0 0 -1 18 0 0 0
[pid=29088/tid=29114] ppid=29083 vsize=3434676 CPUtime=2752.22 cores=4-31
/proc/29088/task/29114/stat : 29114 (plingeling) R 29083 29083 29057 0 -1 4202560 113802 1242 0 0 275177 45 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 31 0 0 0
[pid=29088/tid=29115] ppid=29083 vsize=3434676 CPUtime=2796.09 cores=4-31
/proc/29088/task/29115/stat : 29115 (plingeling) R 29083 29083 29057 0 -1 4202560 99541 1242 0 0 279583 26 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4330862 0 0 4096 17442 0 0 0 -1 17 0 0 0
[pid=29088/tid=29116] ppid=29083 vsize=3434676 CPUtime=2795.57 cores=4-31
/proc/29088/task/29116/stat : 29116 (plingeling) R 29083 29083 29057 0 -1 4202560 84113 1242 0 0 279537 20 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4330982 0 0 4096 17442 0 0 0 -1 23 0 0 0
[pid=29088/tid=29117] ppid=29083 vsize=3434676 CPUtime=2796.17 cores=4-31
/proc/29088/task/29117/stat : 29117 (plingeling) R 29083 29083 29057 0 -1 4202560 117458 1242 0 0 279586 31 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 13 0 0 0
[pid=29088/tid=29118] ppid=29083 vsize=3434676 CPUtime=2796.17 cores=4-31
/proc/29088/task/29118/stat : 29118 (plingeling) R 29083 29083 29057 0 -1 4202560 100632 1242 0 0 279573 44 0 0 25 0 29 0 608860436 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331154 0 0 4096 17442 0 0 0 -1 11 0 0 0
[pid=29088/tid=29119] ppid=29083 vsize=3434676 CPUtime=2796.1 cores=4-31
/proc/29088/task/29119/stat : 29119 (plingeling) R 29083 29083 29057 0 -1 4202560 103923 1242 0 0 279582 28 0 0 25 0 29 0 608860437 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4237457 0 0 4096 17442 0 0 0 -1 10 0 0 0
[pid=29088/tid=29120] ppid=29083 vsize=3434676 CPUtime=2796.17 cores=4-31
/proc/29088/task/29120/stat : 29120 (plingeling) R 29083 29083 29057 0 -1 4202560 114567 1242 0 0 279585 32 0 0 25 0 29 0 608860437 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4210834 0 0 4096 17442 0 0 0 -1 20 0 0 0
[pid=29088/tid=29121] ppid=29083 vsize=3434676 CPUtime=2794.68 cores=4-31
/proc/29088/task/29121/stat : 29121 (plingeling) R 29083 29083 29057 0 -1 4202560 120441 1242 0 0 279408 60 0 0 25 0 29 0 608860437 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4279630 0 0 4096 17442 0 0 0 -1 8 0 0 0
[pid=29088/tid=29122] ppid=29083 vsize=3434676 CPUtime=2795.96 cores=4-31
/proc/29088/task/29122/stat : 29122 (plingeling) R 29083 29083 29057 0 -1 4202560 107524 1242 0 0 279551 45 0 0 25 0 29 0 608860437 3517108224 735789 268435456000 4194304 4356188 140737033017104 18446744073709551615 4331019 0 0 4096 17442 0 0 0 -1 24 0 0 0
Current children cumulated CPU time (s) 89508.2
Current children cumulated vsize (KiB) 6847208
[startup+2819.7 s]
/proc/loadavg: 32.13 32.10 31.95 33/447 29210
/proc/meminfo: memFree=251354220/264257624 swapFree=67111528/67111528
[pid=29083] ppid=29081 vsize=18324 CPUtime=0 cores=0-31
/proc/29083/stat : 29083 (ppfolio) S 29081 29083 29057 0 -1 4202496 512 0 0 0 0 0 0 0 15 0 1 0 608858165 18763776 385 268435456000 4194304 4287625 140736408903936 18446744073709551615 258650975999 0 0 4096 65536 9197547811548168191 0 0 17 4 0 0 0
/proc/29083/statm: 4581 385 337 23 0 91 0
[pid=29084] ppid=29083 vsize=773296 CPUtime=2819.13 cores=0
/proc/29084/stat : 29084 (cryptominisat) R 29083 29083 29057 0 -1 4202496 153630 0 0 0 281816 97 0 0 25 0 1 0 608858165 791855104 74368 268435456000 4194304 4587354 140734006651520 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/29084/statm: 193324 74368 339 96 0 189886 0
[pid=29085] ppid=29083 vsize=1428788 CPUtime=2819.15 cores=1
/proc/29085/stat : 29085 (clasp) R 29083 29083 29057 0 -1 4202496 365556 0 0 0 281687 228 0 0 25 0 1 0 608858165 1463078912 351448 268435456000 4194304 4785740 140735363769040 18446744073709551615 4550447 0 0 4096 16386 0 0 0 17 1 0 0 0
/proc/29085/statm: 357197 351448 338 145 0 354242 0
[pid=29086] ppid=29083 vsize=545852 CPUtime=2819.16 cores=2
/proc/29086/stat : 29086 (TNM) R 29083 29083 29057 0 -1 4202496 40980 0 0 0 281905 11 0 0 25 0 1 0 608858165 558952448 40878 268435456000 134512640 134534564 4288221104 18446744073709551615 134530158 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/29086/statm: 136463 40878 95 6 0 135128 0
[pid=29087] ppid=29083 vsize=646272 CPUtime=2819.16 cores=3
/proc/29087/stat : 29087 (march_hi) R 29083 29083 29057 0 -1 4202496 281077 0 0 0 281839 77 0 0 25 0 1 0 608858165 661782528 86404 268435456000 4194304 4331988 140733233010256 18446744073709551615 4265490 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/29087/statm: 161568 86404 174 34 0 160010 0
[pid=29088] ppid=29083 vsize=2016808 CPUtime=78234.9 cores=4-31
/proc/29088/stat : 29088 (plingeling) R 29083 29083 29057 0 -1 4202496 3326676 1242 0 0 7822451 1034 0 0 17 0 1 0 608858165 2065211392 436122 268435456000 4194304 4356188 140737033017104 18446744073709551615 258650999159 0 0 4096 0 0 0 0 17 24 0 0 0
/proc/29088/statm: 504202 436122 160 40 0 502746 0
Current children cumulated CPU time (s) 89511.4
Current children cumulated vsize (KiB) 5429340
[startup+2819.8 s]
/proc/loadavg: 32.13 32.10 31.95 33/447 29210
/proc/meminfo: memFree=251354220/264257624 swapFree=67111528/67111528
[pid=29083] ppid=29081 vsize=18324 CPUtime=8457.56 cores=0-31
/proc/29083/stat : 29083 (ppfolio) S 29081 29083 29057 0 -1 4202496 513 475687 0 0 0 0 845563 193 15 0 1 0 608858165 18763776 386 268435456000 4194304 4287625 140736408903936 18446744073709551615 258650975999 0 0 4096 65536 9198688967178813744 0 0 17 4 0 0 0
/proc/29083/statm: 4581 386 338 23 0 91 0
[pid=29085] ppid=29083 vsize=0 CPUtime=2819.26 cores=1
/proc/29085/stat : 29085 (clasp) R 29083 29083 29057 0 -1 4203524 365556 0 0 0 281688 238 0 0 25 0 1 0 608858165 0 0 268435456000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 1 0 0 0
/proc/29085/statm: 0 0 0 0 0 0 0
[pid=29088] ppid=29083 vsize=0 CPUtime=78235 cores=4-31
/proc/29088/stat : 29088 (plingeling) R 29083 29083 29057 0 -1 4202500 3326679 1242 0 0 7822451 1044 0 0 17 0 1 0 608858165 0 0 268435456000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 24 0 0 0
/proc/29088/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 89511.8
Current children cumulated vsize (KiB) 18324
Child status: 0
Real time (s): 2819.87
CPU time (s): 89511.9
CPU user time (s): 89497
CPU system time (s): 14.8577
CPU usage (%): 3174.33
Max. virtual memory (cumulated for all children) (KiB): 6990932
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89497
system time used= 14.8577
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4169697
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= 4816
involuntary context switches= 224334
runsolver used 16.4555 second user time and 62.9694 second system time
The end
Begin job on node200 at 2011-05-09 22:41:57
IDJOB=3347287
IDBENCH=71036
IDSOLVER=1808
FILE ID=node200/3347287-1304973716
RUNJOBID= node200-1304973716-29071
PBS_JOBID= 13282020
Free space on /tmp= 62024 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p0.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3347287-1304973716/watcher-3347287-1304973716 -o /tmp/evaluation-result-3347287-1304973716/solver-3347287-1304973716 -C 160000 -W 5100 -M 266338304 ppfolio HOME/instance-3347287-1304973716.cnf
TIME LIMIT= 160000 seconds
MEMORY LIMIT= 266338304 MiB
NBCORE= 32
MD5SUM BENCH= faef1c850bb82ceddc7da5a4c445dd25
RANDOM SEED=902113896
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: 256515512 kB
Buffers: 370700 kB
Cached: 7023700 kB
SwapCached: 0 kB
Active: 6535840 kB
Inactive: 927112 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 264257624 kB
LowFree: 256515512 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 36276 kB
Writeback: 0 kB
AnonPages: 68840 kB
Mapped: 14480 kB
Slab: 193964 kB
PageTables: 4420 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 199240340 kB
Committed_AS: 185608 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= 62016 MiB
End job on node200 at 2011-05-09 23:28:57