runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3190860-1304039079/watcher-3190860-1304039079 -o /tmp/evaluation-result-3190860-1304039079/solver-3190860-1304039079 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3190860-1304039079.cnf
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.87 4.98 5.18 2/171 29002
/proc/meminfo: memFree=15157584/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 23 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
[startup+1.06834 s]
/proc/loadavg: 4.87 4.98 5.18 2/171 29002
/proc/meminfo: memFree=15157584/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 22 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.16833 s]
/proc/loadavg: 4.87 4.98 5.18 2/171 29002
/proc/meminfo: memFree=15157584/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 22 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.20032 s]
/proc/loadavg: 4.87 4.98 5.18 2/171 29002
/proc/meminfo: memFree=15157584/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) R 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 20 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 0 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.36829 s]
/proc/loadavg: 4.87 4.98 5.18 2/171 29002
/proc/meminfo: memFree=15157584/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 18 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.56825 s]
/proc/loadavg: 4.87 4.98 5.18 2/171 29002
/proc/meminfo: memFree=15157584/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 18 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+3.10099 s]
/proc/loadavg: 4.88 4.98 5.18 6/177 29008
/proc/meminfo: memFree=15118556/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
[pid=29003] ppid=29002 vsize=30868 CPUtime=3.1 cores=1
/proc/29003/stat : 29003 (cryptominisat) R 29002 29002 27798 0 -1 4202496 6603 0 0 0 309 1 0 0 25 0 1 0 515507608 31608832 2241 33554432000 4194304 4587354 140733369007312 18446744073709551615 274473664152 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29003/statm: 7717 2241 331 96 0 4279 0
[pid=29004] ppid=29002 vsize=23792 CPUtime=3.09 cores=5
/proc/29004/stat : 29004 (clasp) R 29002 29002 27798 0 -1 4202496 3576 0 0 0 309 0 0 0 25 0 1 0 515507608 24363008 3293 33554432000 4194304 4785740 140735597766112 18446744073709551615 274473628357 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/29004/statm: 5948 3293 340 145 0 2993 0
[pid=29005] ppid=29002 vsize=457676 CPUtime=2.07 cores=7
/proc/29005/stat : 29005 (TNM) R 29002 29002 27798 0 -1 4202496 1064 0 0 0 207 0 0 0 21 0 1 0 515507608 468660224 961 33554432000 134512640 134534564 4287540240 18446744073709551615 134529651 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29005/statm: 114419 961 95 6 0 113085 0
[pid=29006] ppid=29002 vsize=8196 CPUtime=3.1 cores=3
/proc/29006/stat : 29006 (lingeling) R 29002 29002 27798 0 -1 4202496 1673 0 0 0 310 0 0 0 25 0 1 0 515507608 8392704 1215 33554432000 4194304 4352236 140734162409664 18446744073709551615 4328095 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/29006/statm: 2049 1215 127 39 0 1129 0
[pid=29007] ppid=29002 vsize=17836 CPUtime=1 cores=7
/proc/29007/stat : 29007 (march_hi) R 29002 29002 27798 0 -1 4202496 6352 0 0 0 100 0 0 0 25 0 1 0 515507608 18264064 2805 33554432000 4194304 4331988 140736719633936 18446744073709551615 4265440 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29007/statm: 4459 2805 173 34 0 2901 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 556692
[startup+6.30043 s]
/proc/loadavg: 4.88 4.98 5.18 6/177 29008
/proc/meminfo: memFree=15099460/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
[pid=29003] ppid=29002 vsize=200616 CPUtime=6.29 cores=1
/proc/29003/stat : 29003 (cryptominisat) R 29002 29002 27798 0 -1 4202496 12422 0 0 0 627 2 0 0 25 0 1 0 515507608 205430784 6733 33554432000 4194304 4587354 140733369007312 18446744073709551615 4238224 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29003/statm: 50154 6733 337 96 0 46716 0
[pid=29004] ppid=29002 vsize=27416 CPUtime=6.28 cores=5
/proc/29004/stat : 29004 (clasp) R 29002 29002 27798 0 -1 4202496 4457 0 0 0 628 0 0 0 25 0 1 0 515507608 28073984 4174 33554432000 4194304 4785740 140735597766112 18446744073709551615 4552553 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/29004/statm: 6854 4174 340 145 0 3899 0
[pid=29005] ppid=29002 vsize=457676 CPUtime=3.65 cores=7
/proc/29005/stat : 29005 (TNM) R 29002 29002 27798 0 -1 4202496 1064 0 0 0 365 0 0 0 25 0 1 0 515507608 468660224 961 33554432000 134512640 134534564 4287540240 18446744073709551615 134525904 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29005/statm: 114419 961 95 6 0 113085 0
[pid=29006] ppid=29002 vsize=9116 CPUtime=6.29 cores=3
/proc/29006/stat : 29006 (lingeling) R 29002 29002 27798 0 -1 4202496 1903 0 0 0 629 0 0 0 25 0 1 0 515507608 9334784 1445 33554432000 4194304 4352236 140734162409664 18446744073709551615 4278548 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/29006/statm: 2279 1445 127 39 0 1359 0
[pid=29007] ppid=29002 vsize=18184 CPUtime=2.6 cores=7
/proc/29007/stat : 29007 (march_hi) R 29002 29002 27798 0 -1 4202496 6419 0 0 0 260 0 0 0 25 0 1 0 515507608 18620416 2872 33554432000 4194304 4331988 140736719633936 18446744073709551615 4229619 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29007/statm: 4546 2872 173 34 0 2988 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 731332
[startup+12.7013 s]
/proc/loadavg: 4.90 4.98 5.18 6/177 29009
/proc/meminfo: memFree=15094780/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
[pid=29003] ppid=29002 vsize=206332 CPUtime=12.69 cores=1
/proc/29003/stat : 29003 (cryptominisat) R 29002 29002 27798 0 -1 4202496 15641 0 0 0 1266 3 0 0 25 0 1 0 515507608 211283968 6718 33554432000 4194304 4587354 140733369007312 18446744073709551615 4237467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29003/statm: 51583 6718 337 96 0 48145 0
[pid=29004] ppid=29002 vsize=32464 CPUtime=12.68 cores=5
/proc/29004/stat : 29004 (clasp) R 29002 29002 27798 0 -1 4202496 5712 0 0 0 1268 0 0 0 25 0 1 0 515507608 33243136 5429 33554432000 4194304 4785740 140735597766112 18446744073709551615 4552550 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/29004/statm: 8116 5429 340 145 0 5161 0
[pid=29005] ppid=29002 vsize=457676 CPUtime=6.84 cores=7
/proc/29005/stat : 29005 (TNM) R 29002 29002 27798 0 -1 4202496 1064 0 0 0 684 0 0 0 25 0 1 0 515507608 468660224 961 33554432000 134512640 134534564 4287540240 18446744073709551615 134530504 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29005/statm: 114419 961 95 6 0 113085 0
[pid=29006] ppid=29002 vsize=9116 CPUtime=12.69 cores=3
/proc/29006/stat : 29006 (lingeling) R 29002 29002 27798 0 -1 4202496 1903 0 0 0 1269 0 0 0 25 0 1 0 515507608 9334784 1445 33554432000 4194304 4352236 140734162409664 18446744073709551615 4207589 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/29006/statm: 2279 1445 127 39 0 1359 0
[pid=29007] ppid=29002 vsize=19068 CPUtime=5.77 cores=7
/proc/29007/stat : 29007 (march_hi) R 29002 29002 27798 0 -1 4202496 6604 0 0 0 577 0 0 0 25 0 1 0 515507608 19525632 3057 33554432000 4194304 4331988 140736719633936 18446744073709551615 4229471 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29007/statm: 4767 3057 173 34 0 3209 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 742980
[startup+25.501 s]
/proc/loadavg: 4.92 4.98 5.18 6/177 29009
/proc/meminfo: memFree=15089604/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
[pid=29003] ppid=29002 vsize=192960 CPUtime=25.49 cores=1
/proc/29003/stat : 29003 (cryptominisat) R 29002 29002 27798 0 -1 4202496 37026 0 0 0 2541 8 0 0 25 0 1 0 515507608 197591040 5102 33554432000 4194304 4587354 140733369007312 18446744073709551615 4238314 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29003/statm: 48240 5102 337 96 0 44802 0
[pid=29004] ppid=29002 vsize=38136 CPUtime=25.49 cores=5
/proc/29004/stat : 29004 (clasp) R 29002 29002 27798 0 -1 4202496 7124 0 0 0 2548 1 0 0 25 0 1 0 515507608 39051264 6841 33554432000 4194304 4785740 140735597766112 18446744073709551615 4552489 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/29004/statm: 9534 6841 340 145 0 6579 0
[pid=29005] ppid=29002 vsize=457676 CPUtime=13.24 cores=7
/proc/29005/stat : 29005 (TNM) R 29002 29002 27798 0 -1 4202496 1064 0 0 0 1324 0 0 0 25 0 1 0 515507608 468660224 961 33554432000 134512640 134534564 4287540240 18446744073709551615 134528737 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29005/statm: 114419 961 95 6 0 113085 0
[pid=29006] ppid=29002 vsize=9628 CPUtime=25.49 cores=3
/proc/29006/stat : 29006 (lingeling) R 29002 29002 27798 0 -1 4202496 2031 0 0 0 2549 0 0 0 25 0 1 0 515507608 9859072 1573 33554432000 4194304 4352236 140734162409664 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/29006/statm: 2407 1573 127 39 0 1487 0
[pid=29007] ppid=29002 vsize=19296 CPUtime=12.1 cores=7
/proc/29007/stat : 29007 (march_hi) R 29002 29002 27798 0 -1 4202496 6703 0 0 0 1210 0 0 0 25 0 1 0 515507608 19759104 3156 33554432000 4194304 4331988 140736719633936 18446744073709551615 4299872 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29007/statm: 4824 3156 173 34 0 3266 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 736020
[startup+51.1005 s]
/proc/loadavg: 5.00 5.00 5.18 6/177 29010
/proc/meminfo: memFree=15082884/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
[pid=29003] ppid=29002 vsize=185524 CPUtime=51.09 cores=1
/proc/29003/stat : 29003 (cryptominisat) R 29002 29002 27798 0 -1 4202496 58029 0 0 0 5096 13 0 0 25 0 1 0 515507608 189976576 4701 33554432000 4194304 4587354 140733369007312 18446744073709551615 4230260 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29003/statm: 46381 4701 337 96 0 42943 0
[pid=29004] ppid=29002 vsize=48216 CPUtime=51.09 cores=5
/proc/29004/stat : 29004 (clasp) R 29002 29002 27798 0 -1 4202496 9585 0 0 0 5107 2 0 0 25 0 1 0 515507608 49373184 9302 33554432000 4194304 4785740 140735597766112 18446744073709551615 274473664267 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/29004/statm: 12054 9302 340 145 0 9099 0
[pid=29005] ppid=29002 vsize=457676 CPUtime=25.94 cores=7
/proc/29005/stat : 29005 (TNM) R 29002 29002 27798 0 -1 4202496 1064 0 0 0 2594 0 0 0 25 0 1 0 515507608 468660224 961 33554432000 134512640 134534564 4287540240 18446744073709551615 134528523 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29005/statm: 114419 961 95 6 0 113085 0
[pid=29006] ppid=29002 vsize=9780 CPUtime=51.09 cores=3
/proc/29006/stat : 29006 (lingeling) R 29002 29002 27798 0 -1 4202496 2069 0 0 0 5109 0 0 0 25 0 1 0 515507608 10014720 1611 33554432000 4194304 4352236 140734162409664 18446744073709551615 4207615 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/29006/statm: 2445 1611 127 39 0 1525 0
[pid=29007] ppid=29002 vsize=20280 CPUtime=24.87 cores=7
/proc/29007/stat : 29007 (march_hi) R 29002 29002 27798 0 -1 4202496 6963 0 0 0 2487 0 0 0 25 0 1 0 515507608 20766720 3412 33554432000 4194304 4331988 140736719633936 18446744073709551615 4228968 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29007/statm: 5070 3412 173 34 0 3512 0
Current children cumulated CPU time (s) 204.08
Current children cumulated vsize (KiB) 739800
[startup+102.301 s]
/proc/loadavg: 5.06 5.01 5.17 6/177 29011
/proc/meminfo: memFree=14988384/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
[pid=29003] ppid=29002 vsize=264068 CPUtime=102.29 cores=1
################
# More data... #
################
Solver just ended. Dumping a history of the last processes samples
[startup+180.101 s]
/proc/loadavg: 5.06 5.02 5.16 6/177 29013
/proc/meminfo: memFree=15036708/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
[pid=29003] ppid=29002 vsize=198836 CPUtime=180.09 cores=1
/proc/29003/stat : 29003 (cryptominisat) R 29002 29002 27798 0 -1 4202496 170191 0 0 0 17959 50 0 0 25 0 1 0 515507608 203608064 6997 33554432000 4194304 4587354 140733369007312 18446744073709551615 4238399 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29003/statm: 49709 6997 337 96 0 46271 0
[pid=29004] ppid=29002 vsize=76904 CPUtime=180.08 cores=5
/proc/29004/stat : 29004 (clasp) R 29002 29002 27798 0 -1 4202496 16582 0 0 0 18004 4 0 0 25 0 1 0 515507608 78749696 16299 33554432000 4194304 4785740 140735597766112 18446744073709551615 4287241 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/29004/statm: 19226 16299 340 145 0 16271 0
[pid=29005] ppid=29002 vsize=457676 CPUtime=90.12 cores=7
/proc/29005/stat : 29005 (TNM) R 29002 29002 27798 0 -1 4202496 1064 0 0 0 9012 0 0 0 25 0 1 0 515507608 468660224 961 33554432000 134512640 134534564 4287540240 18446744073709551615 134528436 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29005/statm: 114419 961 95 6 0 113085 0
[pid=29006] ppid=29002 vsize=13136 CPUtime=180.09 cores=3
/proc/29006/stat : 29006 (lingeling) R 29002 29002 27798 0 -1 4202496 5980 0 0 0 18009 0 0 0 25 0 1 0 515507608 13451264 2450 33554432000 4194304 4352236 140734162409664 18446744073709551615 4271331 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/29006/statm: 3284 2450 127 39 0 2364 0
[pid=29007] ppid=29002 vsize=25028 CPUtime=88.99 cores=7
/proc/29007/stat : 29007 (march_hi) R 29002 29002 27798 0 -1 4202496 8098 0 0 0 8898 1 0 0 25 0 1 0 515507608 25628672 4543 33554432000 4194304 4331988 140736719633936 18446744073709551615 4237171 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29007/statm: 6257 4543 176 34 0 4699 0
Current children cumulated CPU time (s) 719.37
Current children cumulated vsize (KiB) 789904
[startup+186.501 s]
/proc/loadavg: 5.05 5.02 5.16 6/177 29013
/proc/meminfo: memFree=15041788/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
[pid=29003] ppid=29002 vsize=192780 CPUtime=186.5 cores=1
/proc/29003/stat : 29003 (cryptominisat) R 29002 29002 27798 0 -1 4202496 173919 0 0 0 18598 52 0 0 25 0 1 0 515507608 197406720 5485 33554432000 4194304 4587354 140733369007312 18446744073709551615 4238611 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29003/statm: 48195 5485 337 96 0 44757 0
[pid=29004] ppid=29002 vsize=78104 CPUtime=186.48 cores=5
/proc/29004/stat : 29004 (clasp) R 29002 29002 27798 0 -1 4202496 16884 0 0 0 18644 4 0 0 25 0 1 0 515507608 79978496 16601 33554432000 4194304 4785740 140735597766112 18446744073709551615 4538896 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/29004/statm: 19526 16601 340 145 0 16571 0
[pid=29005] ppid=29002 vsize=457676 CPUtime=93.29 cores=7
/proc/29005/stat : 29005 (TNM) R 29002 29002 27798 0 -1 4202496 1064 0 0 0 9329 0 0 0 25 0 1 0 515507608 468660224 961 33554432000 134512640 134534564 4287540240 18446744073709551615 134528913 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29005/statm: 114419 961 95 6 0 113085 0
[pid=29006] ppid=29002 vsize=13648 CPUtime=186.49 cores=3
/proc/29006/stat : 29006 (lingeling) R 29002 29002 27798 0 -1 4202496 6108 0 0 0 18649 0 0 0 25 0 1 0 515507608 13975552 2578 33554432000 4194304 4352236 140734162409664 18446744073709551615 4329360 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/29006/statm: 3412 2578 127 39 0 2492 0
[pid=29007] ppid=29002 vsize=27616 CPUtime=92.19 cores=7
/proc/29007/stat : 29007 (march_hi) R 29002 29002 27798 0 -1 4202496 8148 0 0 0 9218 1 0 0 25 0 1 0 515507608 28278784 4593 33554432000 4194304 4331988 140736719633936 18446744073709551615 4265477 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29007/statm: 6904 4593 176 34 0 5346 0
Current children cumulated CPU time (s) 744.95
Current children cumulated vsize (KiB) 788148
[startup+192.901 s]
/proc/loadavg: 5.12 5.04 5.17 6/177 29014
/proc/meminfo: memFree=15026908/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
[pid=29003] ppid=29002 vsize=192780 CPUtime=192.89 cores=1
/proc/29003/stat : 29003 (cryptominisat) R 29002 29002 27798 0 -1 4202496 176959 0 0 0 19236 53 0 0 25 0 1 0 515507608 197406720 8506 33554432000 4194304 4587354 140733369007312 18446744073709551615 4248785 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29003/statm: 48195 8506 337 96 0 44757 0
[pid=29004] ppid=29002 vsize=78652 CPUtime=192.88 cores=5
/proc/29004/stat : 29004 (clasp) R 29002 29002 27798 0 -1 4202496 17017 0 0 0 19284 4 0 0 25 0 1 0 515507608 80539648 16734 33554432000 4194304 4785740 140735597766112 18446744073709551615 4552986 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/29004/statm: 19663 16734 340 145 0 16708 0
[pid=29005] ppid=29002 vsize=457676 CPUtime=96.45 cores=7
/proc/29005/stat : 29005 (TNM) R 29002 29002 27798 0 -1 4202496 1064 0 0 0 9645 0 0 0 25 0 1 0 515507608 468660224 961 33554432000 134512640 134534564 4287540240 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29005/statm: 114419 961 95 6 0 113085 0
[pid=29006] ppid=29002 vsize=14672 CPUtime=192.89 cores=3
/proc/29006/stat : 29006 (lingeling) R 29002 29002 27798 0 -1 4202496 6364 0 0 0 19289 0 0 0 25 0 1 0 515507608 15024128 2834 33554432000 4194304 4352236 140734162409664 18446744073709551615 4328026 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/29006/statm: 3668 2834 127 39 0 2748 0
[pid=29007] ppid=29002 vsize=27616 CPUtime=95.39 cores=7
/proc/29007/stat : 29007 (march_hi) R 29002 29002 27798 0 -1 4202496 8200 0 0 0 9538 1 0 0 25 0 1 0 515507608 28278784 4645 33554432000 4194304 4331988 140736719633936 18446744073709551615 4299840 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29007/statm: 6904 4645 176 34 0 5346 0
Current children cumulated CPU time (s) 770.5
Current children cumulated vsize (KiB) 789720
[startup+196.101 s]
/proc/loadavg: 5.12 5.04 5.17 6/177 29014
/proc/meminfo: memFree=15039432/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
[pid=29003] ppid=29002 vsize=211560 CPUtime=196.09 cores=1
/proc/29003/stat : 29003 (cryptominisat) R 29002 29002 27798 0 -1 4202496 179209 0 0 0 19555 54 0 0 25 0 1 0 515507608 216637440 5413 33554432000 4194304 4587354 140733369007312 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29003/statm: 52890 5413 337 96 0 49452 0
[pid=29004] ppid=29002 vsize=79064 CPUtime=196.08 cores=5
/proc/29004/stat : 29004 (clasp) R 29002 29002 27798 0 -1 4202496 17110 0 0 0 19604 4 0 0 25 0 1 0 515507608 80961536 16827 33554432000 4194304 4785740 140735597766112 18446744073709551615 4287204 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/29004/statm: 19766 16827 340 145 0 16811 0
[pid=29005] ppid=29002 vsize=457676 CPUtime=98.03 cores=7
/proc/29005/stat : 29005 (TNM) R 29002 29002 27798 0 -1 4202496 1064 0 0 0 9803 0 0 0 25 0 1 0 515507608 468660224 961 33554432000 134512640 134534564 4287540240 18446744073709551615 134528687 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29005/statm: 114419 961 95 6 0 113085 0
[pid=29006] ppid=29002 vsize=14160 CPUtime=196.09 cores=3
/proc/29006/stat : 29006 (lingeling) R 29002 29002 27798 0 -1 4202496 6492 0 0 0 19609 0 0 0 25 0 1 0 515507608 14499840 2706 33554432000 4194304 4352236 140734162409664 18446744073709551615 4328126 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/29006/statm: 3540 2706 127 39 0 2620 0
[pid=29007] ppid=29002 vsize=27616 CPUtime=96.99 cores=7
/proc/29007/stat : 29007 (march_hi) R 29002 29002 27798 0 -1 4202496 8227 0 0 0 9698 1 0 0 25 0 1 0 515507608 28278784 4672 33554432000 4194304 4331988 140736719633936 18446744073709551615 4229082 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29007/statm: 6904 4672 176 34 0 5346 0
Current children cumulated CPU time (s) 783.28
Current children cumulated vsize (KiB) 808400
[startup+196.901 s]
/proc/loadavg: 5.11 5.04 5.16 6/177 29014
/proc/meminfo: memFree=15037076/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
[pid=29003] ppid=29002 vsize=211560 CPUtime=196.9 cores=1
/proc/29003/stat : 29003 (cryptominisat) R 29002 29002 27798 0 -1 4202496 179633 0 0 0 19635 55 0 0 25 0 1 0 515507608 216637440 5831 33554432000 4194304 4587354 140733369007312 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29003/statm: 52890 5831 337 96 0 49452 0
[pid=29004] ppid=29002 vsize=79064 CPUtime=196.88 cores=5
/proc/29004/stat : 29004 (clasp) R 29002 29002 27798 0 -1 4202496 17110 0 0 0 19684 4 0 0 25 0 1 0 515507608 80961536 16827 33554432000 4194304 4785740 140735597766112 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/29004/statm: 19766 16827 340 145 0 16811 0
[pid=29005] ppid=29002 vsize=457676 CPUtime=98.43 cores=7
/proc/29005/stat : 29005 (TNM) R 29002 29002 27798 0 -1 4202496 1064 0 0 0 9843 0 0 0 25 0 1 0 515507608 468660224 961 33554432000 134512640 134534564 4287540240 18446744073709551615 134528710 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29005/statm: 114419 961 95 6 0 113085 0
[pid=29006] ppid=29002 vsize=14160 CPUtime=196.89 cores=3
/proc/29006/stat : 29006 (lingeling) R 29002 29002 27798 0 -1 4202496 6492 0 0 0 19689 0 0 0 25 0 1 0 515507608 14499840 2706 33554432000 4194304 4352236 140734162409664 18446744073709551615 4207805 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/29006/statm: 3540 2706 127 39 0 2620 0
[pid=29007] ppid=29002 vsize=27616 CPUtime=97.39 cores=7
/proc/29007/stat : 29007 (march_hi) R 29002 29002 27798 0 -1 4202496 8233 0 0 0 9738 1 0 0 25 0 1 0 515507608 28278784 4678 33554432000 4194304 4331988 140736719633936 18446744073709551615 4263258 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29007/statm: 6904 4678 176 34 0 5346 0
Current children cumulated CPU time (s) 786.49
Current children cumulated vsize (KiB) 808400
[startup+197.301 s]
/proc/loadavg: 5.11 5.04 5.16 6/177 29014
/proc/meminfo: memFree=15037076/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
[pid=29003] ppid=29002 vsize=211560 CPUtime=197.3 cores=1
/proc/29003/stat : 29003 (cryptominisat) R 29002 29002 27798 0 -1 4202496 179842 0 0 0 19675 55 0 0 25 0 1 0 515507608 216637440 6038 33554432000 4194304 4587354 140733369007312 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29003/statm: 52890 6038 337 96 0 49452 0
[pid=29004] ppid=29002 vsize=79064 CPUtime=197.28 cores=5
/proc/29004/stat : 29004 (clasp) R 29002 29002 27798 0 -1 4202496 17110 0 0 0 19724 4 0 0 25 0 1 0 515507608 80961536 16827 33554432000 4194304 4785740 140735597766112 18446744073709551615 4553402 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/29004/statm: 19766 16827 340 145 0 16811 0
[pid=29005] ppid=29002 vsize=457676 CPUtime=98.63 cores=7
/proc/29005/stat : 29005 (TNM) R 29002 29002 27798 0 -1 4202496 1064 0 0 0 9863 0 0 0 25 0 1 0 515507608 468660224 961 33554432000 134512640 134534564 4287540240 18446744073709551615 134529651 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29005/statm: 114419 961 95 6 0 113085 0
[pid=29006] ppid=29002 vsize=14160 CPUtime=197.29 cores=3
/proc/29006/stat : 29006 (lingeling) R 29002 29002 27798 0 -1 4202496 6492 0 0 0 19729 0 0 0 25 0 1 0 515507608 14499840 2706 33554432000 4194304 4352236 140734162409664 18446744073709551615 4328351 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/29006/statm: 3540 2706 127 39 0 2620 0
[pid=29007] ppid=29002 vsize=27616 CPUtime=97.59 cores=7
/proc/29007/stat : 29007 (march_hi) R 29002 29002 27798 0 -1 4202496 8236 0 0 0 9758 1 0 0 25 0 1 0 515507608 28278784 4681 33554432000 4194304 4331988 140736719633936 18446744073709551615 4263179 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29007/statm: 6904 4681 176 34 0 5346 0
Current children cumulated CPU time (s) 788.09
Current children cumulated vsize (KiB) 808400
[startup+197.701 s]
/proc/loadavg: 5.11 5.04 5.16 6/177 29014
/proc/meminfo: memFree=15037076/32950928 swapFree=67111528/67111528
[pid=29002] ppid=29000 vsize=18324 CPUtime=0 cores=1,3,5,7
/proc/29002/stat : 29002 (ppfolio) S 29000 29002 27798 0 -1 4202496 520 0 0 0 0 0 0 0 15 0 1 0 515507607 18763776 389 33554432000 4194304 4287625 140734612384496 18446744073709551615 274473987599 0 0 4096 65536 8478509950497193983 0 0 17 5 0 0 0
/proc/29002/statm: 4581 389 341 23 0 91 0
[pid=29003] ppid=29002 vsize=211560 CPUtime=197.7 cores=1
/proc/29003/stat : 29003 (cryptominisat) R 29002 29002 27798 0 -1 4202496 180041 0 0 0 19715 55 0 0 25 0 1 0 515507608 216637440 6236 33554432000 4194304 4587354 140733369007312 18446744073709551615 4238658 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/29003/statm: 52890 6236 337 96 0 49452 0
[pid=29004] ppid=29002 vsize=79064 CPUtime=197.68 cores=5
/proc/29004/stat : 29004 (clasp) R 29002 29002 27798 0 -1 4202496 17110 0 0 0 19764 4 0 0 25 0 1 0 515507608 80961536 16827 33554432000 4194304 4785740 140735597766112 18446744073709551615 4553411 0 0 4096 16386 0 0 0 17 5 0 0 0
/proc/29004/statm: 19766 16827 340 145 0 16811 0
[pid=29005] ppid=29002 vsize=457676 CPUtime=98.83 cores=7
/proc/29005/stat : 29005 (TNM) R 29002 29002 27798 0 -1 4202496 1064 0 0 0 9883 0 0 0 25 0 1 0 515507608 468660224 961 33554432000 134512640 134534564 4287540240 18446744073709551615 134530522 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29005/statm: 114419 961 95 6 0 113085 0
[pid=29006] ppid=29002 vsize=14160 CPUtime=197.69 cores=3
/proc/29006/stat : 29006 (lingeling) R 29002 29002 27798 0 -1 4202496 6492 0 0 0 19769 0 0 0 25 0 1 0 515507608 14499840 2706 33554432000 4194304 4352236 140734162409664 18446744073709551615 4328897 0 0 4096 17506 0 0 0 17 3 0 0 0
/proc/29006/statm: 3540 2706 127 39 0 2620 0
[pid=29007] ppid=29002 vsize=27616 CPUtime=97.79 cores=7
/proc/29007/stat : 29007 (march_hi) R 29002 29002 27798 0 -1 4202496 8239 0 0 0 9778 1 0 0 25 0 1 0 515507608 28278784 4684 33554432000 4194304 4331988 140736719633936 18446744073709551615 4286225 0 0 4096 0 0 0 0 17 7 0 0 0
/proc/29007/statm: 6904 4684 176 34 0 5346 0
Current children cumulated CPU time (s) 789.69
Current children cumulated vsize (KiB) 808400
Child status: 0
Real time (s): 197.723
CPU time (s): 789.821
CPU user time (s): 789.186
CPU system time (s): 0.634903
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 898156
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 789.186
system time used= 0.634903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 213511
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= 248
involuntary context switches= 4894
runsolver used 0.298954 second user time and 0.78288 second system time
The end
Begin job on node125 at 2011-04-29 03:04:39
IDJOB=3190860
IDBENCH=82591
IDSOLVER=1612
FILE ID=node125/3190860-1304039079
RUNJOBID= node125-1304032406-28176
PBS_JOBID= 13170327
Free space on /tmp= 72764 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/random/large/unif-k3-r4.2-v5000-c21000-S72547786-008-UNKNOWN.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3190860-1304039079/watcher-3190860-1304039079 -o /tmp/evaluation-result-3190860-1304039079/solver-3190860-1304039079 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3190860-1304039079.cnf
TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= 811f95ba5a9b338808c76dfc6ace0a83
RANDOM SEED=808535899
node125.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5333.65
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5266.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.84
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.74
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
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 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 15157740 kB
Buffers: 2217720 kB
Cached: 14976484 kB
SwapCached: 0 kB
Active: 9041868 kB
Inactive: 8220772 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 15157740 kB
SwapTotal: 67111528 kB
SwapFree: 67111528 kB
Dirty: 10100 kB
Writeback: 0 kB
AnonPages: 67528 kB
Mapped: 14772 kB
Slab: 468684 kB
PageTables: 4420 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 190200 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 72752 MiB
End job on node125 at 2011-04-29 03:07:57