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-3260853-1304085059/watcher-3260853-1304085059 -o /tmp/evaluation-result-3260853-1304085059/solver-3260853-1304085059 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3260853-1304085059.cnf
running on 4 cores: 0,2,4,6
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: 10.15 9.97 9.40 6/182 1738
/proc/meminfo: memFree=20251776/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) R 1736 1738 567 0 -1 4194304 505 0 0 0 0 0 0 0 25 0 1 0 598736627 18763776 387 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895310741 0 0 4096 65536 0 0 0 17 4 0 0 0
/proc/1738/statm: 4581 387 339 23 0 91 0
[startup+0.268694 s]
/proc/loadavg: 10.15 9.97 9.40 6/182 1738
/proc/meminfo: memFree=20251776/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 521 0 0 0 0 0 0 0 24 0 1 0 598736627 18763776 389 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 1428398374805045247 0 0 17 4 0 0 0
/proc/1738/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.300688 s]
/proc/loadavg: 10.15 9.97 9.40 6/182 1738
/proc/meminfo: memFree=20251776/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 521 0 0 0 0 0 0 0 24 0 1 0 598736627 18763776 389 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 1428398374805045247 0 0 17 4 0 0 0
/proc/1738/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.400671 s]
/proc/loadavg: 10.15 9.97 9.40 6/182 1738
/proc/meminfo: memFree=20251776/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 521 0 0 0 0 0 0 0 23 0 1 0 598736627 18763776 389 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 1428398374805045247 0 0 17 4 0 0 0
/proc/1738/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+0.700615 s]
/proc/loadavg: 10.15 9.97 9.40 6/182 1738
/proc/meminfo: memFree=20251776/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 521 0 0 0 0 0 0 0 21 0 1 0 598736627 18763776 389 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 1428398374805045247 0 0 17 4 0 0 0
/proc/1738/statm: 4581 389 341 23 0 91 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 18324
[startup+1.50047 s]
/proc/loadavg: 10.14 9.97 9.40 11/188 1744
/proc/meminfo: memFree=20228040/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 598736627 18763776 389 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 1428398374805045247 0 0 17 4 0 0 0
/proc/1738/statm: 4581 389 341 23 0 91 0
[pid=1739] ppid=1738 vsize=30132 CPUtime=1.49 cores=0
/proc/1739/stat : 1739 (cryptominisat) R 1738 1738 567 0 -1 4202496 3506 0 0 0 149 0 0 0 25 0 1 0 598736627 30855168 1789 33554432000 4194304 4587354 140733805030080 18446744073709551615 4241061 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1739/statm: 7533 1789 336 96 0 4095 0
[pid=1740] ppid=1738 vsize=16172 CPUtime=1.49 cores=4
/proc/1740/stat : 1740 (clasp) R 1738 1738 567 0 -1 4202496 1519 0 0 0 149 0 0 0 25 0 1 0 598736627 16560128 1380 33554432000 4194304 4785740 140736735235712 18446744073709551615 4552553 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1740/statm: 4043 1380 340 145 0 1088 0
[pid=1741] ppid=1738 vsize=452788 CPUtime=0.77 cores=6
/proc/1741/stat : 1741 (TNM) R 1738 1738 567 0 -1 4202496 663 0 0 0 77 0 0 0 25 0 1 0 598736627 463654912 560 33554432000 134512640 134534564 4293445280 18446744073709551615 134530551 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1741/statm: 113197 560 95 6 0 111863 0
[pid=1742] ppid=1738 vsize=7184 CPUtime=1.49 cores=2
/proc/1742/stat : 1742 (lingeling) R 1738 1738 567 0 -1 4202496 1300 0 0 0 149 0 0 0 25 0 1 0 598736627 7356416 963 33554432000 4194304 4352236 140734576466064 18446744073709551615 4328349 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1742/statm: 1796 963 126 39 0 876 0
[pid=1743] ppid=1738 vsize=15648 CPUtime=0.71 cores=6
/proc/1743/stat : 1743 (march_hi) R 1738 1738 567 0 -1 4202496 4059 0 0 0 71 0 0 0 25 0 1 0 598736627 16023552 2009 33554432000 4194304 4331988 140735403606416 18446744073709551615 4226446 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1743/statm: 3912 2009 172 34 0 2354 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 540248
[startup+3.10116 s]
/proc/loadavg: 10.14 9.97 9.40 11/188 1744
/proc/meminfo: memFree=20217624/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 598736627 18763776 389 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 1428398374805045247 0 0 17 4 0 0 0
/proc/1738/statm: 4581 389 341 23 0 91 0
[pid=1739] ppid=1738 vsize=1087340 CPUtime=3.08 cores=0
/proc/1739/stat : 1739 (cryptominisat) R 1738 1738 567 0 -1 4202496 5243 0 0 0 308 0 0 0 25 0 1 0 598736627 1113436160 2185 33554432000 4194304 4587354 140733805030080 18446744073709551615 231895186919 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1739/statm: 271835 2185 336 96 0 268397 0
[pid=1740] ppid=1738 vsize=17112 CPUtime=3.09 cores=4
/proc/1740/stat : 1740 (clasp) R 1738 1738 567 0 -1 4202496 1744 0 0 0 309 0 0 0 25 0 1 0 598736627 17522688 1605 33554432000 4194304 4785740 140736735235712 18446744073709551615 4553003 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1740/statm: 4278 1605 340 145 0 1323 0
[pid=1741] ppid=1738 vsize=452788 CPUtime=1.56 cores=6
/proc/1741/stat : 1741 (TNM) R 1738 1738 567 0 -1 4202496 663 0 0 0 156 0 0 0 25 0 1 0 598736627 463654912 560 33554432000 134512640 134534564 4293445280 18446744073709551615 134530236 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1741/statm: 113197 560 95 6 0 111863 0
[pid=1742] ppid=1738 vsize=8928 CPUtime=3.09 cores=2
/proc/1742/stat : 1742 (lingeling) R 1738 1738 567 0 -1 4202496 1844 0 0 0 309 0 0 0 25 0 1 0 598736627 9142272 1399 33554432000 4194304 4352236 140734576466064 18446744073709551615 4231277 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1742/statm: 2232 1399 126 39 0 1312 0
[pid=1743] ppid=1738 vsize=16576 CPUtime=1.51 cores=6
/proc/1743/stat : 1743 (march_hi) R 1738 1738 567 0 -1 4202496 4245 0 0 0 151 0 0 0 25 0 1 0 598736627 16973824 2195 33554432000 4194304 4331988 140735403606416 18446744073709551615 4240137 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1743/statm: 4144 2195 173 34 0 2586 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 1601068
[startup+6.30057 s]
/proc/loadavg: 10.13 9.97 9.40 11/188 1744
/proc/meminfo: memFree=20210692/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=0 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 521 0 0 0 0 0 0 0 15 0 1 0 598736627 18763776 389 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 1428398374805045247 0 0 17 4 0 0 0
/proc/1738/statm: 4581 389 341 23 0 91 0
[pid=1739] ppid=1738 vsize=1102500 CPUtime=6.29 cores=0
/proc/1739/stat : 1739 (cryptominisat) R 1738 1738 567 0 -1 4202496 9084 0 0 0 628 1 0 0 25 0 1 0 598736627 1128960000 4264 33554432000 4194304 4587354 140733805030080 18446744073709551615 4238467 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/1739/statm: 275625 4264 336 96 0 272187 0
[pid=1740] ppid=1738 vsize=18216 CPUtime=6.29 cores=4
/proc/1740/stat : 1740 (clasp) R 1738 1738 567 0 -1 4202496 2005 0 0 0 629 0 0 0 25 0 1 0 598736627 18653184 1866 33554432000 4194304 4785740 140736735235712 18446744073709551615 4287252 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1740/statm: 4554 1866 340 145 0 1599 0
[pid=1741] ppid=1738 vsize=452788 CPUtime=3.14 cores=6
/proc/1741/stat : 1741 (TNM) R 1738 1738 567 0 -1 4202496 663 0 0 0 314 0 0 0 25 0 1 0 598736627 463654912 560 33554432000 134512640 134534564 4293445280 18446744073709551615 134528979 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1741/statm: 113197 560 95 6 0 111863 0
[pid=1742] ppid=1738 vsize=12392 CPUtime=6.29 cores=2
/proc/1742/stat : 1742 (lingeling) R 1738 1738 567 0 -1 4202496 3159 0 0 0 629 0 0 0 25 0 1 0 598736627 12689408 2265 33554432000 4194304 4352236 140734576466064 18446744073709551615 4329024 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1742/statm: 3098 2265 126 39 0 2178 0
[pid=1743] ppid=1738 vsize=17900 CPUtime=3.1 cores=6
/proc/1743/stat : 1743 (march_hi) R 1738 1738 567 0 -1 4202496 4471 0 0 0 310 0 0 0 25 0 1 0 598736627 18329600 2421 33554432000 4194304 4331988 140735403606416 18446744073709551615 4288674 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1743/statm: 4475 2421 173 34 0 2917 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 1622120
[startup+12.7004 s]
/proc/loadavg: 10.04 9.96 9.40 10/187 1744
/proc/meminfo: memFree=20220148/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=9.45 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 522 10707 0 0 0 0 944 1 15 0 1 0 598736627 18763776 390 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/1738/statm: 4581 390 342 23 0 91 0
[pid=1740] ppid=1738 vsize=19708 CPUtime=12.69 cores=4
/proc/1740/stat : 1740 (clasp) R 1738 1738 567 0 -1 4202496 2355 0 0 0 1269 0 0 0 25 0 1 0 598736627 20180992 2216 33554432000 4194304 4785740 140736735235712 18446744073709551615 4278165 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1740/statm: 4927 2216 341 145 0 1972 0
[pid=1741] ppid=1738 vsize=452788 CPUtime=6.34 cores=6
/proc/1741/stat : 1741 (TNM) R 1738 1738 567 0 -1 4202496 663 0 0 0 634 0 0 0 25 0 1 0 598736627 463654912 560 33554432000 134512640 134534564 4293445280 18446744073709551615 134529296 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1741/statm: 113197 560 95 6 0 111863 0
[pid=1742] ppid=1738 vsize=12776 CPUtime=12.69 cores=2
/proc/1742/stat : 1742 (lingeling) R 1738 1738 567 0 -1 4202496 5464 0 0 0 1269 0 0 0 25 0 1 0 598736627 13082624 2361 33554432000 4194304 4352236 140734576466064 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1742/statm: 3194 2361 126 39 0 2274 0
[pid=1743] ppid=1738 vsize=20144 CPUtime=6.27 cores=6
/proc/1743/stat : 1743 (march_hi) R 1738 1738 567 0 -1 4202496 4829 0 0 0 627 0 0 0 25 0 1 0 598736627 20627456 2779 33554432000 4194304 4331988 140735403606416 18446744073709551615 4229363 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1743/statm: 5036 2779 173 34 0 3478 0
Current children cumulated CPU time (s) 47.44
Current children cumulated vsize (KiB) 523740
[startup+25.507 s]
/proc/loadavg: 9.81 9.91 9.39 10/187 1745
/proc/meminfo: memFree=20198064/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=9.45 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 522 10707 0 0 0 0 944 1 15 0 1 0 598736627 18763776 390 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/1738/statm: 4581 390 342 23 0 91 0
[pid=1740] ppid=1738 vsize=21492 CPUtime=25.49 cores=4
/proc/1740/stat : 1740 (clasp) R 1738 1738 567 0 -1 4202496 2774 0 0 0 2549 0 0 0 25 0 1 0 598736627 22007808 2635 33554432000 4194304 4785740 140736735235712 18446744073709551615 4553743 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1740/statm: 5373 2635 341 145 0 2418 0
[pid=1741] ppid=1738 vsize=452788 CPUtime=12.74 cores=6
/proc/1741/stat : 1741 (TNM) R 1738 1738 567 0 -1 4202496 663 0 0 0 1274 0 0 0 25 0 1 0 598736627 463654912 560 33554432000 134512640 134534564 4293445280 18446744073709551615 134529374 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1741/statm: 113197 560 95 6 0 111863 0
[pid=1742] ppid=1738 vsize=13796 CPUtime=25.49 cores=2
/proc/1742/stat : 1742 (lingeling) R 1738 1738 567 0 -1 4202496 7993 0 0 0 2549 0 0 0 25 0 1 0 598736627 14127104 2616 33554432000 4194304 4352236 140734576466064 18446744073709551615 4328194 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1742/statm: 3449 2616 126 39 0 2529 0
[pid=1743] ppid=1738 vsize=24292 CPUtime=12.6 cores=6
/proc/1743/stat : 1743 (march_hi) R 1738 1738 567 0 -1 4202496 5467 0 0 0 1260 0 0 0 25 0 1 0 598736627 24875008 3417 33554432000 4194304 4331988 140735403606416 18446744073709551615 4229357 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1743/statm: 6073 3417 173 34 0 4515 0
Current children cumulated CPU time (s) 85.77
Current children cumulated vsize (KiB) 530692
[startup+51.1012 s]
/proc/loadavg: 9.73 9.88 9.40 10/187 1745
/proc/meminfo: memFree=20198960/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=9.45 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 522 10707 0 0 0 0 944 1 15 0 1 0 598736627 18763776 390 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/1738/statm: 4581 390 342 23 0 91 0
[pid=1740] ppid=1738 vsize=23820 CPUtime=51.09 cores=4
/proc/1740/stat : 1740 (clasp) R 1738 1738 567 0 -1 4202496 3303 0 0 0 5109 0 0 0 25 0 1 0 598736627 24391680 3164 33554432000 4194304 4785740 140736735235712 18446744073709551615 4286941 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1740/statm: 5955 3164 341 145 0 3000 0
[pid=1741] ppid=1738 vsize=452788 CPUtime=25.44 cores=6
/proc/1741/stat : 1741 (TNM) R 1738 1738 567 0 -1 4202496 663 0 0 0 2544 0 0 0 25 0 1 0 598736627 463654912 560 33554432000 134512640 134534564 4293445280 18446744073709551615 9999774 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1741/statm: 113197 560 95 6 0 111863 0
[pid=1742] ppid=1738 vsize=19300 CPUtime=51.08 cores=2
/proc/1742/stat : 1742 (lingeling) R 1738 1738 567 0 -1 4202496 14714 0 0 0 5107 1 0 0 25 0 1 0 598736627 19763200 3992 33554432000 4194304 4352236 140734576466064 18446744073709551615 4328039 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1742/statm: 4825 3992 126 39 0 3905 0
[pid=1743] ppid=1738 vsize=25964 CPUtime=25.36 cores=6
/proc/1743/stat : 1743 (march_hi) R 1738 1738 567 0 -1 4202496 6350 0 0 0 2536 0 0 0 25 0 1 0 598736627 26587136 4300 33554432000 4194304 4331988 140735403606416 18446744073709551615 4240920 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1743/statm: 6491 4300 173 34 0 4933 0
Current children cumulated CPU time (s) 162.42
Current children cumulated vsize (KiB) 540196
[startup+102.301 s]
/proc/loadavg: 9.46 9.78 9.38 10/187 1747
/proc/meminfo: memFree=20174528/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=9.45 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 522 10707 0 0 0 0 944 1 15 0 1 0 598736627 18763776 390 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/1738/statm: 4581 390 342 23 0 91 0
[pid=1740] ppid=1738 vsize=26888 CPUtime=102.29 cores=4
/proc/1740/stat : 1740 (clasp) R 1738 1738 567 0 -1 4202496 4016 0 0 0 10229 0 0 0 25 0 1 0 598736627 27533312 3877 33554432000 4194304 4785740 140736735235712 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1740/statm: 6722 3877 341 145 0 3767 0
[pid=1741] ppid=1738 vsize=452788 CPUtime=50.93 cores=6
/proc/1741/stat : 1741 (TNM) R 1738 1738 567 0 -1 4202496 663 0 0 0 5093 0 0 0 25 0 1 0 598736627 463654912 560 33554432000 134512640 134534564 4293445280 18446744073709551615 134529366 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1741/statm: 113197 560 95 6 0 111863 0
[pid=1742] ppid=1738 vsize=15844 CPUtime=102.28 cores=2
/proc/1742/stat : 1742 (lingeling) R 1738 1738 567 0 -1 4202496 20634 0 0 0 10226 2 0 0 25 0 1 0 598736627 16224256 3128 33554432000 4194304 4352236 140734576466064 18446744073709551615 4328016 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1742/statm: 3961 3128 126 39 0 3041 0
[pid=1743] ppid=1738 vsize=34284 CPUtime=50.79 cores=6
/proc/1743/stat : 1743 (march_hi) R 1738 1738 567 0 -1 4202496 7887 0 0 0 5079 0 0 0 25 0 1 0 598736627 35106816 5837 33554432000 4194304 4331988 140735403606416 18446744073709551615 4229623 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1743/statm: 8571 5837 173 34 0 7013 0
Current children cumulated CPU time (s) 315.74
Current children cumulated vsize (KiB) 548128
Solver just ended. Dumping a history of the last processes samples
[startup+102.507 s]
/proc/loadavg: 9.46 9.78 9.38 10/187 1747
/proc/meminfo: memFree=20177504/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=9.45 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 522 10707 0 0 0 0 944 1 15 0 1 0 598736627 18763776 390 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/1738/statm: 4581 390 342 23 0 91 0
[pid=1740] ppid=1738 vsize=26888 CPUtime=102.5 cores=4
/proc/1740/stat : 1740 (clasp) R 1738 1738 567 0 -1 4202496 4017 0 0 0 10250 0 0 0 25 0 1 0 598736627 27533312 3878 33554432000 4194304 4785740 140736735235712 18446744073709551615 4287008 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1740/statm: 6722 3878 341 145 0 3767 0
[pid=1741] ppid=1738 vsize=452788 CPUtime=51.03 cores=6
/proc/1741/stat : 1741 (TNM) R 1738 1738 567 0 -1 4202496 663 0 0 0 5103 0 0 0 25 0 1 0 598736627 463654912 560 33554432000 134512640 134534564 4293445280 18446744073709551615 134529228 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1741/statm: 113197 560 95 6 0 111863 0
[pid=1742] ppid=1738 vsize=15844 CPUtime=102.48 cores=2
/proc/1742/stat : 1742 (lingeling) R 1738 1738 567 0 -1 4202496 20634 0 0 0 10246 2 0 0 25 0 1 0 598736627 16224256 3128 33554432000 4194304 4352236 140734576466064 18446744073709551615 4328351 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1742/statm: 3961 3128 126 39 0 3041 0
[pid=1743] ppid=1738 vsize=34284 CPUtime=50.89 cores=6
/proc/1743/stat : 1743 (march_hi) R 1738 1738 567 0 -1 4202496 7895 0 0 0 5089 0 0 0 25 0 1 0 598736627 35106816 5845 33554432000 4194304 4331988 140735403606416 18446744073709551615 4240519 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1743/statm: 8571 5845 173 34 0 7013 0
Current children cumulated CPU time (s) 316.35
Current children cumulated vsize (KiB) 548128
[startup+105.701 s]
/proc/loadavg: 9.42 9.76 9.38 10/187 1747
/proc/meminfo: memFree=20169440/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=9.45 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 522 10707 0 0 0 0 944 1 15 0 1 0 598736627 18763776 390 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/1738/statm: 4581 390 342 23 0 91 0
[pid=1740] ppid=1738 vsize=27056 CPUtime=105.69 cores=4
/proc/1740/stat : 1740 (clasp) R 1738 1738 567 0 -1 4202496 4061 0 0 0 10569 0 0 0 25 0 1 0 598736627 27705344 3922 33554432000 4194304 4785740 140736735235712 18446744073709551615 4553754 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1740/statm: 6764 3922 341 145 0 3809 0
[pid=1741] ppid=1738 vsize=452788 CPUtime=52.62 cores=6
/proc/1741/stat : 1741 (TNM) R 1738 1738 567 0 -1 4202496 663 0 0 0 5262 0 0 0 25 0 1 0 598736627 463654912 560 33554432000 134512640 134534564 4293445280 18446744073709551615 134530260 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1741/statm: 113197 560 95 6 0 111863 0
[pid=1742] ppid=1738 vsize=19432 CPUtime=105.69 cores=2
/proc/1742/stat : 1742 (lingeling) R 1738 1738 567 0 -1 4202496 21979 0 0 0 10566 3 0 0 25 0 1 0 598736627 19898368 4025 33554432000 4194304 4352236 140734576466064 18446744073709551615 4328411 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1742/statm: 4858 4025 126 39 0 3938 0
[pid=1743] ppid=1738 vsize=34284 CPUtime=52.49 cores=6
/proc/1743/stat : 1743 (march_hi) R 1738 1738 567 0 -1 4202496 8019 0 0 0 5249 0 0 0 25 0 1 0 598736627 35106816 5969 33554432000 4194304 4331988 140735403606416 18446744073709551615 4229539 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1743/statm: 8571 5969 173 34 0 7013 0
Current children cumulated CPU time (s) 325.94
Current children cumulated vsize (KiB) 551884
[startup+107.301 s]
/proc/loadavg: 9.42 9.76 9.38 10/187 1747
/proc/meminfo: memFree=20168820/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=9.45 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 522 10707 0 0 0 0 944 1 15 0 1 0 598736627 18763776 390 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/1738/statm: 4581 390 342 23 0 91 0
[pid=1740] ppid=1738 vsize=27056 CPUtime=107.29 cores=4
/proc/1740/stat : 1740 (clasp) R 1738 1738 567 0 -1 4202496 4084 0 0 0 10729 0 0 0 25 0 1 0 598736627 27705344 3945 33554432000 4194304 4785740 140736735235712 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1740/statm: 6764 3945 341 145 0 3809 0
[pid=1741] ppid=1738 vsize=452788 CPUtime=53.4 cores=6
/proc/1741/stat : 1741 (TNM) R 1738 1738 567 0 -1 4202496 663 0 0 0 5340 0 0 0 25 0 1 0 598736627 463654912 560 33554432000 134512640 134534564 4293445280 18446744073709551615 134529374 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1741/statm: 113197 560 95 6 0 111863 0
[pid=1742] ppid=1738 vsize=19944 CPUtime=107.28 cores=2
/proc/1742/stat : 1742 (lingeling) R 1738 1738 567 0 -1 4202496 22107 0 0 0 10725 3 0 0 25 0 1 0 598736627 20422656 4153 33554432000 4194304 4352236 140734576466064 18446744073709551615 4329060 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1742/statm: 4986 4153 126 39 0 4066 0
[pid=1743] ppid=1738 vsize=36140 CPUtime=53.29 cores=6
/proc/1743/stat : 1743 (march_hi) R 1738 1738 567 0 -1 4202496 8090 0 0 0 5329 0 0 0 25 0 1 0 598736627 37007360 6040 33554432000 4194304 4331988 140735403606416 18446744073709551615 4286621 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1743/statm: 9035 6040 173 34 0 7477 0
Current children cumulated CPU time (s) 330.71
Current children cumulated vsize (KiB) 554252
[startup+108.101 s]
/proc/loadavg: 9.42 9.76 9.38 10/187 1747
/proc/meminfo: memFree=20167952/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=9.45 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 522 10707 0 0 0 0 944 1 15 0 1 0 598736627 18763776 390 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/1738/statm: 4581 390 342 23 0 91 0
[pid=1740] ppid=1738 vsize=27056 CPUtime=108.09 cores=4
/proc/1740/stat : 1740 (clasp) R 1738 1738 567 0 -1 4202496 4084 0 0 0 10809 0 0 0 25 0 1 0 598736627 27705344 3945 33554432000 4194304 4785740 140736735235712 18446744073709551615 4553015 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1740/statm: 6764 3945 341 145 0 3809 0
[pid=1741] ppid=1738 vsize=452788 CPUtime=53.8 cores=6
/proc/1741/stat : 1741 (TNM) R 1738 1738 567 0 -1 4202496 663 0 0 0 5380 0 0 0 25 0 1 0 598736627 463654912 560 33554432000 134512640 134534564 4293445280 18446744073709551615 134528726 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1741/statm: 113197 560 95 6 0 111863 0
[pid=1742] ppid=1738 vsize=20456 CPUtime=108.08 cores=2
/proc/1742/stat : 1742 (lingeling) R 1738 1738 567 0 -1 4202496 22235 0 0 0 10805 3 0 0 25 0 1 0 598736627 20946944 4281 33554432000 4194304 4352236 140734576466064 18446744073709551615 4329081 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1742/statm: 5114 4281 126 39 0 4194 0
[pid=1743] ppid=1738 vsize=36140 CPUtime=53.69 cores=6
/proc/1743/stat : 1743 (march_hi) R 1738 1738 567 0 -1 4202496 8117 0 0 0 5369 0 0 0 25 0 1 0 598736627 37007360 6067 33554432000 4194304 4331988 140735403606416 18446744073709551615 4229294 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1743/statm: 9035 6067 173 34 0 7477 0
Current children cumulated CPU time (s) 333.11
Current children cumulated vsize (KiB) 554764
[startup+108.3 s]
/proc/loadavg: 9.42 9.76 9.38 10/187 1747
/proc/meminfo: memFree=20167952/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=9.45 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 522 10707 0 0 0 0 944 1 15 0 1 0 598736627 18763776 390 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/1738/statm: 4581 390 342 23 0 91 0
[pid=1740] ppid=1738 vsize=27056 CPUtime=108.29 cores=4
/proc/1740/stat : 1740 (clasp) R 1738 1738 567 0 -1 4202496 4084 0 0 0 10829 0 0 0 25 0 1 0 598736627 27705344 3945 33554432000 4194304 4785740 140736735235712 18446744073709551615 4553409 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1740/statm: 6764 3945 341 145 0 3809 0
[pid=1741] ppid=1738 vsize=452788 CPUtime=53.9 cores=6
/proc/1741/stat : 1741 (TNM) R 1738 1738 567 0 -1 4202496 663 0 0 0 5390 0 0 0 25 0 1 0 598736627 463654912 560 33554432000 134512640 134534564 4293445280 18446744073709551615 134528960 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1741/statm: 113197 560 95 6 0 111863 0
[pid=1742] ppid=1738 vsize=20456 CPUtime=108.28 cores=2
/proc/1742/stat : 1742 (lingeling) R 1738 1738 567 0 -1 4202496 22235 0 0 0 10825 3 0 0 25 0 1 0 598736627 20946944 4281 33554432000 4194304 4352236 140734576466064 18446744073709551615 4328205 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1742/statm: 5114 4281 126 39 0 4194 0
[pid=1743] ppid=1738 vsize=36140 CPUtime=53.79 cores=6
/proc/1743/stat : 1743 (march_hi) R 1738 1738 567 0 -1 4202496 8135 0 0 0 5379 0 0 0 25 0 1 0 598736627 37007360 6085 33554432000 4194304 4331988 140735403606416 18446744073709551615 4226369 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1743/statm: 9035 6085 173 34 0 7477 0
Current children cumulated CPU time (s) 333.71
Current children cumulated vsize (KiB) 554764
[startup+108.4 s]
/proc/loadavg: 9.42 9.76 9.38 10/187 1747
/proc/meminfo: memFree=20167952/32950928 swapFree=67111524/67111528
[pid=1738] ppid=1736 vsize=18324 CPUtime=9.45 cores=0,2,4,6
/proc/1738/stat : 1738 (ppfolio) S 1736 1738 567 0 -1 4202496 522 10707 0 0 0 0 944 1 15 0 1 0 598736627 18763776 390 33554432000 4194304 4287625 140736690253776 18446744073709551615 231895510543 0 0 4096 65536 9224195742862639363 0 0 17 4 0 0 0
/proc/1738/statm: 4581 390 342 23 0 91 0
[pid=1740] ppid=1738 vsize=27056 CPUtime=108.39 cores=4
/proc/1740/stat : 1740 (clasp) R 1738 1738 567 0 -1 4202496 4084 0 0 0 10839 0 0 0 25 0 1 0 598736627 27705344 3945 33554432000 4194304 4785740 140736735235712 18446744073709551615 4553363 0 0 4096 16386 0 0 0 17 4 0 0 0
/proc/1740/statm: 6764 3945 341 145 0 3809 0
[pid=1741] ppid=1738 vsize=452788 CPUtime=53.93 cores=6
/proc/1741/stat : 1741 (TNM) R 1738 1738 567 0 -1 4202496 663 0 0 0 5393 0 0 0 25 0 1 0 598736627 463654912 560 33554432000 134512640 134534564 4293445280 18446744073709551615 134529953 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1741/statm: 113197 560 95 6 0 111863 0
[pid=1742] ppid=1738 vsize=20968 CPUtime=108.38 cores=2
/proc/1742/stat : 1742 (lingeling) R 1738 1738 567 0 -1 4202496 22363 0 0 0 10835 3 0 0 25 0 1 0 598736627 21471232 4409 33554432000 4194304 4352236 140734576466064 18446744073709551615 4328100 0 0 4096 17506 0 0 0 17 2 0 0 0
/proc/1742/statm: 5242 4409 126 39 0 4322 0
[pid=1743] ppid=1738 vsize=36140 CPUtime=53.85 cores=6
/proc/1743/stat : 1743 (march_hi) R 1738 1738 567 0 -1 4202496 8140 0 0 0 5385 0 0 0 25 0 1 0 598736627 37007360 6090 33554432000 4194304 4331988 140735403606416 18446744073709551615 4240519 0 0 4096 0 0 0 0 17 6 0 0 0
/proc/1743/statm: 9035 6090 173 34 0 7477 0
Current children cumulated CPU time (s) 334
Current children cumulated vsize (KiB) 555276
Child status: 0
Real time (s): 108.47
CPU time (s): 334.262
CPU user time (s): 334.194
CPU system time (s): 0.067989
CPU usage (%): 308.161
Max. virtual memory (cumulated for all children) (KiB): 1622992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 334.194
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46514
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= 278
involuntary context switches= 2971
runsolver used 0.172973 second user time and 0.424935 second system time
The end
Begin job on node114 at 2011-04-29 15:50:59
IDJOB=3260853
IDBENCH=83197
IDSOLVER=1612
FILE ID=node114/3260853-1304085059
RUNJOBID= node114-1304077601-585
PBS_JOBID= 13170509
Free space on /tmp= 71788 MiB
SOLVER NAME= ppfolio par
BENCH NAME= SAT11/crafted/skvortsov/automata-synchronization/rnd_100_32_s.cnf
COMMAND LINE= ppfolio BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3260853-1304085059/watcher-3260853-1304085059 -o /tmp/evaluation-result-3260853-1304085059/solver-3260853-1304085059 -C 4800 -W 1300 -M 15500 ppfolio HOME/instance-3260853-1304085059.cnf
TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= d21f62eebe8299bb166c60204a4db57a
RANDOM SEED=140485555
node114.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.848
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.69
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.848
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 : 5226.15
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.848
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.74
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.848
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.73
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.848
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.75
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.848
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.75
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.848
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.74
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.848
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: 20251932 kB
Buffers: 2223028 kB
Cached: 9353808 kB
SwapCached: 4 kB
Active: 3320456 kB
Inactive: 8796692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 20251932 kB
SwapTotal: 67111528 kB
SwapFree: 67111524 kB
Dirty: 10100 kB
Writeback: 0 kB
AnonPages: 539664 kB
Mapped: 16712 kB
Slab: 515956 kB
PageTables: 6144 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 2677676 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= 71780 MiB
End job on node114 at 2011-04-29 15:52:48