Trace number 3378732

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
borg-sat 11.03.02-par-industrial (fixed)UNSAT 59.9039 30.1575

General information on the benchmark

Nameapplication/jarvisalo/HWMCC10-combination-timeframe-expansion/
hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
MD5SUM649b4cf0a21e275b244b1034d05ded52
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark4.09638
Satisfiable
(Un)Satisfiability was proved
Number of variables96095
Number of clauses285404
Sum of the clauses size665940
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2190268
Number of clauses of size 395134
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.30/0.48	c INFO: loaded portfolio from HOME/etc/borg-mix+class.industrial.pickle
0.30/0.48	c INFO: solving HOME/instance-3378732-1305465925.cnf
0.30/0.48	c INFO: computing task features
1.19/1.30	c INFO: computed variable-clause graph statistics
1.19/1.34	c INFO: computed clause balance statistics
5.69/5.89	c INFO: computed variable balance statistics
9.09/9.25	c INFO: computed small-clause counts
9.09/9.29	c INFO: computed Horn-clause counts
19.89/20.09	c INFO: computed variable graph statistics
19.89/20.09	c INFO: collected features for HOME/instance-3378732-1305465925.cnf in 19.57 s
19.99/20.10	c INFO: running lingeling-276@0 for 582 with 1180 remaining (b = 0.64)
19.99/20.11	c INFO: running lingeling-276@0 for 97 with 1180 remaining (b = 0.37)
19.99/20.12	c INFO: running cryptominisat-2.9.0@0 for 1180 with 1180 remaining (b = 0.48)
19.99/20.13	c INFO: running lingeling-276@0 for 1180 with 1180 remaining (b = 0.41)
59.74/30.12	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

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-3378732-1305465925/watcher-3378732-1305465925 -o /tmp/evaluation-result-3378732-1305465925/solver-3378732-1305465925 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3378732-1305465925.cnf -seed 48727479 -budget 4800 -cores 4 

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: 3.43 3.29 4.04 2/370 16763
/proc/meminfo: memFree=24673256/32951124 swapFree=63083164/67111528
[pid=16763] ppid=16761 vsize=16240 CPUtime=0 cores=1,3,5,7
/proc/16763/stat : 16763 (python) R 16761 16763 15878 0 -1 4202496 1037 0 0 0 0 0 0 0 17 0 1 0 639008186 16629760 910 33554432000 4194304 5683644 140736376551296 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16763/statm: 4060 910 380 364 0 547 0

[startup+0.091398 s]
/proc/loadavg: 3.43 3.29 4.04 2/370 16763
/proc/meminfo: memFree=24673256/32951124 swapFree=63083164/67111528
[pid=16763] ppid=16761 vsize=96952 CPUtime=0.06 cores=1,3,5,7
/proc/16763/stat : 16763 (python) R 16761 16763 15878 0 -1 4202496 2808 0 0 0 5 1 0 0 17 0 1 0 639008186 99278848 2514 33554432000 4194304 5683644 140736376551296 18446744073709551615 264721435499 0 0 16781312 2 0 0 0 17 1 0 0 0
/proc/16763/statm: 24238 2514 783 364 0 1686 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 96952

[startup+0.100375 s]
/proc/loadavg: 3.43 3.29 4.04 2/370 16763
/proc/meminfo: memFree=24673256/32951124 swapFree=63083164/67111528
[pid=16763] ppid=16761 vsize=102008 CPUtime=0.06 cores=1,3,5,7
/proc/16763/stat : 16763 (python) S 16761 16763 15878 0 -1 4202496 3024 0 0 0 5 1 0 0 17 0 1 0 639008186 104456192 2717 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726403072 0 2147483391 16781312 2 18446744071699207358 0 0 17 1 0 0 0
/proc/16763/statm: 25503 2718 841 364 0 1803 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 102008

[startup+0.300318 s]
/proc/loadavg: 3.43 3.29 4.04 2/370 16763
/proc/meminfo: memFree=24673256/32951124 swapFree=63083164/67111528
[pid=16763] ppid=16761 vsize=156688 CPUtime=0.23 cores=1,3,5,7
/proc/16763/stat : 16763 (python) R 16761 16763 15878 0 -1 4202496 6425 935 1 0 17 6 0 0 17 0 1 0 639008186 160448512 4540 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726403072 0 2147483391 16781312 2 0 0 0 17 7 0 0 0
/proc/16763/statm: 39172 4540 1257 364 0 3280 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 156688

[startup+0.700237 s]
/proc/loadavg: 3.43 3.29 4.04 2/370 16763
/proc/meminfo: memFree=24673256/32951124 swapFree=63083164/67111528
[pid=16763] ppid=16761 vsize=297548 CPUtime=0.59 cores=1,3,5,7
/proc/16763/stat : 16763 (python) R 16761 16763 15878 0 -1 4202496 13911 935 1 0 50 9 0 0 17 0 1 0 639008186 304689152 11594 33554432000 4194304 5683644 140736376551296 18446744073709551615 4619747 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/16763/statm: 74387 11594 1761 364 0 10311 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 297548

[startup+1.50112 s]
/proc/loadavg: 3.43 3.29 4.04 3/371 16768
/proc/meminfo: memFree=24611320/32951124 swapFree=63083164/67111528
[pid=16763] ppid=16761 vsize=331848 CPUtime=1.39 cores=1,3,5,7
/proc/16763/stat : 16763 (python) R 16761 16763 15878 0 -1 4202496 31805 935 1 0 128 11 0 0 18 0 1 0 639008186 339812352 20347 33554432000 4194304 5683644 140736376551296 18446744073709551615 47379119649054 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16763/statm: 82962 20347 1826 364 0 18886 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 331848

[startup+3.10082 s]
/proc/loadavg: 3.43 3.29 4.04 3/371 16768
/proc/meminfo: memFree=24597184/32951124 swapFree=63083164/67111528
[pid=16763] ppid=16761 vsize=331848 CPUtime=2.99 cores=1,3,5,7
/proc/16763/stat : 16763 (python) R 16761 16763 15878 0 -1 4202496 31805 935 1 0 288 11 0 0 21 0 1 0 639008186 339812352 20347 33554432000 4194304 5683644 140736376551296 18446744073709551615 4510876 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16763/statm: 82962 20347 1826 364 0 18886 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 331848

[startup+6.30021 s]
/proc/loadavg: 3.39 3.28 4.03 3/371 16768
/proc/meminfo: memFree=24597120/32951124 swapFree=63083164/67111528
[pid=16763] ppid=16761 vsize=331848 CPUtime=6.19 cores=1,3,5,7
/proc/16763/stat : 16763 (python) R 16761 16763 15878 0 -1 4202496 31806 935 1 0 608 11 0 0 25 0 1 0 639008186 339812352 20348 33554432000 4194304 5683644 140736376551296 18446744073709551615 4602358 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16763/statm: 82962 20348 1827 364 0 18886 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 331848

[startup+12.701 s]
/proc/loadavg: 3.28 3.26 4.02 3/371 16768
/proc/meminfo: memFree=24594516/32951124 swapFree=63083164/67111528
[pid=16763] ppid=16761 vsize=334076 CPUtime=12.59 cores=1,3,5,7
/proc/16763/stat : 16763 (python) R 16761 16763 15878 0 -1 4202496 32369 935 1 0 1248 11 0 0 25 0 1 0 639008186 342093824 20911 33554432000 4194304 5683644 140736376551296 18446744073709551615 47379119569024 0 0 16781312 2 0 0 0 17 5 0 0 0
/proc/16763/statm: 83519 20911 1833 364 0 19443 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 334076

[startup+25.5006 s]
/proc/loadavg: 3.24 3.25 4.01 6/383 16781
/proc/meminfo: memFree=24155844/32951124 swapFree=63083164/67111528
[pid=16763] ppid=16761 vsize=370740 CPUtime=20.02 cores=1,3,5,7
/proc/16763/stat : 16763 (python) S 16761 16763 15878 0 -1 4202496 34999 935 1 0 1990 12 0 0 20 0 5 0 639008186 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738231755 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16763/statm: 92685 19874 1873 364 0 28594 0
[pid=16770] ppid=16763 vsize=329728 CPUtime=0.01 cores=1,3,5,7
/proc/16770/stat : 16770 (python) S 16763 16763 15878 0 -1 4202560 900 0 0 0 0 1 0 0 18 0 1 0 639010196 337641472 18361 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425103 0 0 16781312 514 15802639889918296327 0 0 17 3 0 0 0
/proc/16770/statm: 82432 18361 376 364 0 18350 0
[pid=16772] ppid=16770 vsize=47872 CPUtime=5.38 cores=1,3,5,7
/proc/16772/stat : 16772 (lingeling) R 16770 16772 16772 0 -1 4202496 17438 0 0 0 536 2 0 0 25 0 1 0 639010197 49020928 11136 33554432000 4194304 4352236 140734487209088 18446744073709551615 4208789 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/16772/statm: 11968 11136 127 39 0 11048 0
[pid=16773] ppid=16763 vsize=339984 CPUtime=0.01 cores=1,3,5,7
/proc/16773/stat : 16773 (python) S 16763 16763 15878 0 -1 4202560 940 0 0 0 1 0 0 0 18 0 1 0 639010197 348143616 18359 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425158 0 0 16781312 514 15802643738208993544 0 0 17 3 0 0 0
/proc/16773/statm: 84996 18359 370 364 0 20911 0
[pid=16775] ppid=16773 vsize=47284 CPUtime=5.32 cores=1,3,5,7
/proc/16775/stat : 16775 (lingeling) R 16773 16775 16775 0 -1 4202496 16852 0 0 0 530 2 0 0 25 0 1 0 639010198 48418816 10988 33554432000 4194304 4352236 140737092252448 18446744073709551615 4208925 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/16775/statm: 11821 10988 127 39 0 10901 0
[pid=16776] ppid=16763 vsize=350240 CPUtime=0.01 cores=1,3,5,7
/proc/16776/stat : 16776 (python) S 16763 16763 15878 0 -1 4202560 903 0 0 0 0 1 0 0 15 0 1 0 639010198 358645760 18363 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425158 0 0 16781312 514 14402988525794328840 0 0 17 5 0 0 0
/proc/16776/statm: 87560 18363 370 364 0 23472 0
[pid=16778] ppid=16776 vsize=380720 CPUtime=5.3 cores=1,3,5,7
/proc/16778/stat : 16778 (cryptominisat-2) R 16776 16778 16778 0 -1 4202496 81437 0 0 0 518 12 0 0 25 0 1 0 639010199 389857280 78966 33554432000 4194304 4677096 140736655590880 18446744073709551615 4319256 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/16778/statm: 95180 78966 362 118 0 90139 0
[pid=16779] ppid=16763 vsize=360496 CPUtime=0.01 cores=1,3,5,7
/proc/16779/stat : 16779 (python) S 16763 16763 15878 0 -1 4202560 922 0 0 0 1 0 0 0 18 0 1 0 639010200 369147904 18367 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425158 0 0 16781312 514 16960146083135062277 0 0 17 3 0 0 0
/proc/16779/statm: 90124 18367 370 364 0 26033 0
[pid=16781] ppid=16779 vsize=47704 CPUtime=5.34 cores=1,3,5,7
/proc/16781/stat : 16781 (lingeling) R 16779 16781 16781 0 -1 4202496 17136 0 0 0 532 2 0 0 25 0 1 0 639010200 48848896 11094 33554432000 4194304 4352236 140733605818256 18446744073709551615 4267888 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/16781/statm: 11926 11094 127 39 0 11006 0
[pid=16763/tid=16771] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16771/stat : 16771 (python) S 16761 16763 15878 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 5 0 639010197 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 3 0 0 0
[pid=16763/tid=16774] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16774/stat : 16774 (python) S 16761 16763 15878 0 -1 4202560 22 935 0 0 0 0 0 0 20 0 5 0 639010198 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 7 0 0 0
[pid=16763/tid=16777] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16777/stat : 16777 (python) S 16761 16763 15878 0 -1 4202560 23 935 0 0 0 0 0 0 20 0 5 0 639010199 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 7 0 0 0
[pid=16763/tid=16780] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16780/stat : 16780 (python) S 16761 16763 15878 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 5 0 639010200 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 41.4
Current children cumulated vsize (KiB) 2274768

Solver just ended. Dumping a history of the last processes samples

[startup+28.701 s]
/proc/loadavg: 3.24 3.25 4.01 6/383 16781
/proc/meminfo: memFree=24091860/32951124 swapFree=63083164/67111528
[pid=16763] ppid=16761 vsize=370740 CPUtime=20.02 cores=1,3,5,7
/proc/16763/stat : 16763 (python) S 16761 16763 15878 0 -1 4202496 34999 935 1 0 1990 12 0 0 20 0 5 0 639008186 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738231755 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16763/statm: 92685 19874 1873 364 0 28594 0
[pid=16770] ppid=16763 vsize=329728 CPUtime=0.01 cores=1,3,5,7
/proc/16770/stat : 16770 (python) S 16763 16763 15878 0 -1 4202560 900 0 0 0 0 1 0 0 18 0 1 0 639010196 337641472 18361 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425103 0 0 16781312 514 15802639889918296327 0 0 17 3 0 0 0
/proc/16770/statm: 82432 18361 376 364 0 18350 0
[pid=16772] ppid=16770 vsize=39352 CPUtime=8.58 cores=1,3,5,7
/proc/16772/stat : 16772 (lingeling) R 16770 16772 16772 0 -1 4202496 17440 0 0 0 856 2 0 0 25 0 1 0 639010197 40296448 9008 33554432000 4194304 4352236 140734487209088 18446744073709551615 4328016 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/16772/statm: 9838 9008 129 39 0 8918 0
[pid=16773] ppid=16763 vsize=339984 CPUtime=0.01 cores=1,3,5,7
/proc/16773/stat : 16773 (python) S 16763 16763 15878 0 -1 4202560 940 0 0 0 1 0 0 0 18 0 1 0 639010197 348143616 18359 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425158 0 0 16781312 514 15802643738208993544 0 0 17 3 0 0 0
/proc/16773/statm: 84996 18359 370 364 0 20911 0
[pid=16775] ppid=16773 vsize=38776 CPUtime=8.52 cores=1,3,5,7
/proc/16775/stat : 16775 (lingeling) R 16773 16775 16775 0 -1 4202496 16854 0 0 0 850 2 0 0 25 0 1 0 639010198 39706624 8863 33554432000 4194304 4352236 140737092252448 18446744073709551615 4241300 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/16775/statm: 9694 8863 129 39 0 8774 0
[pid=16776] ppid=16763 vsize=350240 CPUtime=0.01 cores=1,3,5,7
/proc/16776/stat : 16776 (python) S 16763 16763 15878 0 -1 4202560 903 0 0 0 0 1 0 0 15 0 1 0 639010198 358645760 18363 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425158 0 0 16781312 514 14402988525794328840 0 0 17 5 0 0 0
/proc/16776/statm: 87560 18363 370 364 0 23472 0
[pid=16778] ppid=16776 vsize=455128 CPUtime=8.45 cores=1,3,5,7
/proc/16778/stat : 16778 (cryptominisat-2) R 16776 16778 16778 0 -1 4202496 98633 0 0 0 831 14 0 0 25 0 1 0 639010199 466051072 96162 33554432000 4194304 4677096 140736655590880 18446744073709551615 4319273 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/16778/statm: 113782 96162 362 118 0 108741 0
[pid=16779] ppid=16763 vsize=360496 CPUtime=0.01 cores=1,3,5,7
/proc/16779/stat : 16779 (python) S 16763 16763 15878 0 -1 4202560 922 0 0 0 1 0 0 0 18 0 1 0 639010200 369147904 18367 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425158 0 0 16781312 514 16960146083135062277 0 0 17 3 0 0 0
/proc/16779/statm: 90124 18367 370 364 0 26033 0
[pid=16781] ppid=16779 vsize=39196 CPUtime=8.54 cores=1,3,5,7
/proc/16781/stat : 16781 (lingeling) R 16779 16781 16781 0 -1 4202496 17138 0 0 0 852 2 0 0 25 0 1 0 639010200 40136704 8969 33554432000 4194304 4352236 140733605818256 18446744073709551615 4234304 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/16781/statm: 9799 8969 129 39 0 8879 0
[pid=16763/tid=16771] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16771/stat : 16771 (python) S 16761 16763 15878 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 5 0 639010197 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 3 0 0 0
[pid=16763/tid=16774] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16774/stat : 16774 (python) S 16761 16763 15878 0 -1 4202560 22 935 0 0 0 0 0 0 20 0 5 0 639010198 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 7 0 0 0
[pid=16763/tid=16777] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16777/stat : 16777 (python) S 16761 16763 15878 0 -1 4202560 23 935 0 0 0 0 0 0 20 0 5 0 639010199 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 7 0 0 0
[pid=16763/tid=16780] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16780/stat : 16780 (python) S 16761 16763 15878 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 5 0 639010200 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 54.15
Current children cumulated vsize (KiB) 2323640

[startup+29.5008 s]
/proc/loadavg: 3.24 3.25 4.01 6/383 16781
/proc/meminfo: memFree=24091860/32951124 swapFree=63083164/67111528
[pid=16763] ppid=16761 vsize=370740 CPUtime=20.02 cores=1,3,5,7
/proc/16763/stat : 16763 (python) S 16761 16763 15878 0 -1 4202496 34999 935 1 0 1990 12 0 0 20 0 5 0 639008186 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738231755 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16763/statm: 92685 19874 1873 364 0 28594 0
[pid=16770] ppid=16763 vsize=329728 CPUtime=0.01 cores=1,3,5,7
/proc/16770/stat : 16770 (python) S 16763 16763 15878 0 -1 4202560 900 0 0 0 0 1 0 0 18 0 1 0 639010196 337641472 18361 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425103 0 0 16781312 514 15802639889918296327 0 0 17 3 0 0 0
/proc/16770/statm: 82432 18361 376 364 0 18350 0
[pid=16772] ppid=16770 vsize=39352 CPUtime=9.38 cores=1,3,5,7
/proc/16772/stat : 16772 (lingeling) R 16770 16772 16772 0 -1 4202496 17440 0 0 0 936 2 0 0 25 0 1 0 639010197 40296448 9008 33554432000 4194304 4352236 140734487209088 18446744073709551615 4328100 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/16772/statm: 9838 9008 129 39 0 8918 0
[pid=16773] ppid=16763 vsize=339984 CPUtime=0.01 cores=1,3,5,7
/proc/16773/stat : 16773 (python) S 16763 16763 15878 0 -1 4202560 940 0 0 0 1 0 0 0 18 0 1 0 639010197 348143616 18359 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425158 0 0 16781312 514 15802643738208993544 0 0 17 3 0 0 0
/proc/16773/statm: 84996 18359 370 364 0 20911 0
[pid=16775] ppid=16773 vsize=38776 CPUtime=9.32 cores=1,3,5,7
/proc/16775/stat : 16775 (lingeling) R 16773 16775 16775 0 -1 4202496 16854 0 0 0 930 2 0 0 25 0 1 0 639010198 39706624 8863 33554432000 4194304 4352236 140737092252448 18446744073709551615 4207899 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/16775/statm: 9694 8863 129 39 0 8774 0
[pid=16776] ppid=16763 vsize=350240 CPUtime=0.01 cores=1,3,5,7
/proc/16776/stat : 16776 (python) S 16763 16763 15878 0 -1 4202560 903 0 0 0 0 1 0 0 15 0 1 0 639010198 358645760 18363 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425158 0 0 16781312 514 14402988525794328840 0 0 17 5 0 0 0
/proc/16776/statm: 87560 18363 370 364 0 23472 0
[pid=16778] ppid=16776 vsize=455260 CPUtime=9.25 cores=1,3,5,7
/proc/16778/stat : 16778 (cryptominisat-2) R 16776 16778 16778 0 -1 4202496 98658 0 0 0 911 14 0 0 25 0 1 0 639010199 466186240 96187 33554432000 4194304 4677096 140736655590880 18446744073709551615 4319384 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/16778/statm: 113815 96187 362 118 0 108774 0
[pid=16779] ppid=16763 vsize=360496 CPUtime=0.01 cores=1,3,5,7
/proc/16779/stat : 16779 (python) S 16763 16763 15878 0 -1 4202560 922 0 0 0 1 0 0 0 18 0 1 0 639010200 369147904 18367 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425158 0 0 16781312 514 16960146083135062277 0 0 17 3 0 0 0
/proc/16779/statm: 90124 18367 370 364 0 26033 0
[pid=16781] ppid=16779 vsize=39196 CPUtime=9.34 cores=1,3,5,7
/proc/16781/stat : 16781 (lingeling) R 16779 16781 16781 0 -1 4202496 17138 0 0 0 932 2 0 0 25 0 1 0 639010200 40136704 8969 33554432000 4194304 4352236 140733605818256 18446744073709551615 4328114 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/16781/statm: 9799 8969 129 39 0 8879 0
[pid=16763/tid=16771] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16771/stat : 16771 (python) S 16761 16763 15878 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 5 0 639010197 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 3 0 0 0
[pid=16763/tid=16774] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16774/stat : 16774 (python) S 16761 16763 15878 0 -1 4202560 22 935 0 0 0 0 0 0 20 0 5 0 639010198 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 7 0 0 0
[pid=16763/tid=16777] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16777/stat : 16777 (python) S 16761 16763 15878 0 -1 4202560 23 935 0 0 0 0 0 0 20 0 5 0 639010199 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 7 0 0 0
[pid=16763/tid=16780] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16780/stat : 16780 (python) S 16761 16763 15878 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 5 0 639010200 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 57.35
Current children cumulated vsize (KiB) 2323772

[startup+29.9007 s]
/proc/loadavg: 3.38 3.28 4.01 6/383 16781
/proc/meminfo: memFree=24091736/32951124 swapFree=63083164/67111528
[pid=16763] ppid=16761 vsize=370740 CPUtime=20.02 cores=1,3,5,7
/proc/16763/stat : 16763 (python) S 16761 16763 15878 0 -1 4202496 34999 935 1 0 1990 12 0 0 20 0 5 0 639008186 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738231755 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16763/statm: 92685 19874 1873 364 0 28594 0
[pid=16770] ppid=16763 vsize=329728 CPUtime=0.01 cores=1,3,5,7
/proc/16770/stat : 16770 (python) S 16763 16763 15878 0 -1 4202560 900 0 0 0 0 1 0 0 18 0 1 0 639010196 337641472 18361 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425103 0 0 16781312 514 15802639889918296327 0 0 17 3 0 0 0
/proc/16770/statm: 82432 18361 376 364 0 18350 0
[pid=16772] ppid=16770 vsize=39352 CPUtime=9.78 cores=1,3,5,7
/proc/16772/stat : 16772 (lingeling) R 16770 16772 16772 0 -1 4202496 17440 0 0 0 976 2 0 0 25 0 1 0 639010197 40296448 9008 33554432000 4194304 4352236 140734487209088 18446744073709551615 4234517 0 0 16781312 17506 0 0 0 17 1 0 0 0
/proc/16772/statm: 9838 9008 129 39 0 8918 0
[pid=16773] ppid=16763 vsize=339984 CPUtime=0.01 cores=1,3,5,7
/proc/16773/stat : 16773 (python) S 16763 16763 15878 0 -1 4202560 940 0 0 0 1 0 0 0 18 0 1 0 639010197 348143616 18359 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425158 0 0 16781312 514 15802643738208993544 0 0 17 3 0 0 0
/proc/16773/statm: 84996 18359 370 364 0 20911 0
[pid=16775] ppid=16773 vsize=38776 CPUtime=9.72 cores=1,3,5,7
/proc/16775/stat : 16775 (lingeling) R 16773 16775 16775 0 -1 4202496 16854 0 0 0 970 2 0 0 25 0 1 0 639010198 39706624 8863 33554432000 4194304 4352236 140737092252448 18446744073709551615 4234513 0 0 16781312 17506 0 0 0 17 3 0 0 0
/proc/16775/statm: 9694 8863 129 39 0 8774 0
[pid=16776] ppid=16763 vsize=350240 CPUtime=0.02 cores=1,3,5,7
/proc/16776/stat : 16776 (python) S 16763 16763 15878 0 -1 4202560 909 0 0 0 1 1 0 0 15 0 1 0 639010198 358645760 18363 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425158 0 0 16781312 514 11308068077645562120 0 0 17 5 0 0 0
/proc/16776/statm: 87560 18363 370 364 0 23472 0
[pid=16778] ppid=16776 vsize=468876 CPUtime=9.65 cores=1,3,5,7
/proc/16778/stat : 16778 (cryptominisat-2) R 16776 16778 16778 0 -1 4202496 102022 0 0 0 950 15 0 0 25 0 1 0 639010199 480129024 99551 33554432000 4194304 4677096 140736655590880 18446744073709551615 4468061 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/16778/statm: 117219 99551 372 118 0 112178 0
[pid=16779] ppid=16763 vsize=360496 CPUtime=0.01 cores=1,3,5,7
/proc/16779/stat : 16779 (python) S 16763 16763 15878 0 -1 4202560 922 0 0 0 1 0 0 0 18 0 1 0 639010200 369147904 18367 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425158 0 0 16781312 514 16960146083135062277 0 0 17 3 0 0 0
/proc/16779/statm: 90124 18367 370 364 0 26033 0
[pid=16781] ppid=16779 vsize=39192 CPUtime=9.72 cores=1,3,5,7
/proc/16781/stat : 16781 (lingeling) R 16779 16781 16781 0 -1 4202496 17138 0 0 0 970 2 0 0 25 0 1 0 639010200 40132608 8968 33554432000 4194304 4352236 140733605818256 18446744073709551615 4262885 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/16781/statm: 9798 8968 129 39 0 8878 0
[pid=16763/tid=16771] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16771/stat : 16771 (python) S 16761 16763 15878 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 5 0 639010197 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 3 0 0 0
[pid=16763/tid=16774] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16774/stat : 16774 (python) S 16761 16763 15878 0 -1 4202560 22 935 0 0 0 0 0 0 20 0 5 0 639010198 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 7 0 0 0
[pid=16763/tid=16777] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16777/stat : 16777 (python) S 16761 16763 15878 0 -1 4202560 23 935 0 0 0 0 0 0 20 0 5 0 639010199 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 7 0 0 0
[pid=16763/tid=16780] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16780/stat : 16780 (python) S 16761 16763 15878 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 5 0 639010200 379637760 19874 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 58.94
Current children cumulated vsize (KiB) 2337384

[startup+30.1007 s]
/proc/loadavg: 3.38 3.28 4.01 6/383 16781
/proc/meminfo: memFree=24091736/32951124 swapFree=63083164/67111528
[pid=16763] ppid=16761 vsize=370740 CPUtime=20.02 cores=1,3,5,7
/proc/16763/stat : 16763 (python) S 16761 16763 15878 0 -1 4202496 35032 935 1 0 1990 12 0 0 18 0 5 0 639008186 379637760 19875 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738235199 0 0 16781312 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16763/statm: 92685 19875 1874 364 0 28594 0
[pid=16770] ppid=16763 vsize=329728 CPUtime=0.01 cores=1,3,5,7
/proc/16770/stat : 16770 (python) S 16763 16763 15878 0 -1 4202560 917 0 0 0 0 1 0 0 18 0 1 0 639010196 337641472 18365 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738235141 0 0 16781824 2 18446744071562232103 0 0 17 3 0 0 0
/proc/16770/statm: 82432 18365 380 364 0 18350 0
[pid=16772] ppid=16770 vsize=0 CPUtime=9.98 cores=1,3,5,7
/proc/16772/stat : 16772 (lingeling) R 16770 16772 16772 0 -1 4203524 17440 0 0 0 996 2 0 0 25 0 1 0 639010197 0 0 33554432000 0 0 0 0 0 0 0 16781312 17506 18446744073709551615 0 0 17 1 0 0 0
/proc/16772/statm: 0 0 0 0 0 0 0
[pid=16773] ppid=16763 vsize=339984 CPUtime=0.01 cores=1,3,5,7
/proc/16773/stat : 16773 (python) S 16763 16763 15878 0 -1 4202560 940 0 0 0 1 0 0 0 18 0 1 0 639010197 348143616 18359 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425158 0 0 16781312 514 15802643738208993544 0 0 17 3 0 0 0
/proc/16773/statm: 84996 18359 370 364 0 20911 0
[pid=16775] ppid=16773 vsize=38776 CPUtime=9.92 cores=1,3,5,7
/proc/16775/stat : 16775 (lingeling) R 16773 16775 16775 0 -1 4202496 16854 0 0 0 990 2 0 0 25 0 1 0 639010198 39706624 8863 33554432000 4194304 4352236 140737092252448 18446744073709551615 4233979 0 0 16781312 17506 0 0 0 17 5 0 0 0
/proc/16775/statm: 9694 8863 129 39 0 8774 0
[pid=16776] ppid=16763 vsize=350240 CPUtime=0.02 cores=1,3,5,7
/proc/16776/stat : 16776 (python) S 16763 16763 15878 0 -1 4202560 909 0 0 0 1 1 0 0 15 0 1 0 639010198 358645760 18363 33554432000 4194304 5683644 140736376551296 18446744073709551615 264726425158 0 0 16781312 514 11308068077645562120 0 0 17 5 0 0 0
/proc/16776/statm: 87560 18363 370 364 0 23472 0
[pid=16778] ppid=16776 vsize=468876 CPUtime=9.85 cores=1,3,5,7
/proc/16778/stat : 16778 (cryptominisat-2) R 16776 16778 16778 0 -1 4202496 102027 0 0 0 970 15 0 0 25 0 1 0 639010199 480129024 99556 33554432000 4194304 4677096 140736655590880 18446744073709551615 4481575 0 0 16781312 2 0 0 0 17 7 0 0 0
/proc/16778/statm: 117219 99556 377 118 0 112178 0
[pid=16779] ppid=16763 vsize=0 CPUtime=9.93 cores=1,3,5,7
/proc/16779/stat : 16779 (python) R 16763 16763 15878 0 -1 4202564 1161 17141 0 0 2 1 988 2 19 0 1 0 639010200 0 0 33554432000 0 0 0 0 0 0 0 16781824 2 18446744073709551615 0 0 17 3 0 0 0
/proc/16779/statm: 0 0 0 0 0 0 0
[pid=16763/tid=16771] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16771/stat : 16771 (python) S 16761 16763 15878 0 -1 4202560 25 935 0 0 0 0 0 0 25 0 5 0 639010197 379637760 19875 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 3 0 0 0
[pid=16763/tid=16774] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16774/stat : 16774 (python) S 16761 16763 15878 0 -1 4202560 22 935 0 0 0 0 0 0 20 0 5 0 639010198 379637760 19875 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 7 0 0 0
[pid=16763/tid=16777] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16777/stat : 16777 (python) S 16761 16763 15878 0 -1 4202560 23 935 0 0 0 0 0 0 20 0 5 0 639010199 379637760 19875 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 7 0 0 0
[pid=16763/tid=16780] ppid=16761 vsize=370740 CPUtime=0 cores=1,3,5,7
/proc/16763/task/16780/stat : 16780 (python) S 16761 16763 15878 0 -1 4202560 28 935 0 0 0 0 0 0 20 0 5 0 639010200 379637760 19875 33554432000 4194304 5683644 140736376551296 18446744073709551615 264738228657 0 0 16781312 2 18446604468339218368 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 59.74
Current children cumulated vsize (KiB) 1898344

Child status: 0
Real time (s): 30.1575
CPU time (s): 59.9039
CPU user time (s): 59.438
CPU system time (s): 0.465929
CPU usage (%): 198.637
Max. virtual memory (cumulated for all children) (KiB): 2337632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 59.438
system time used= 0.465929
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 203827
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1166
involuntary context switches= 290

runsolver used 0.112982 second user time and 0.237963 second system time

The end

Launcher Data 

Begin job on node141 at 2011-05-15 15:25:26
IDJOB=3378732
IDBENCH=82489
IDSOLVER=1860
FILE ID=node141/3378732-1305465925
RUNJOBID= node141-1305463314-15897
PBS_JOBID= 13324992
Free space on /tmp= 73316 MiB

SOLVER NAME= borg-sat 11.03.02-par-industrial (fixed)
BENCH NAME= SAT11/application/jarvisalo/HWMCC10-combination-timeframe-expansion/hwmcc10-timeframe-expansion-k45-pdtswvtms14x8p1-tseitin.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.industrial.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3378732-1305465925/watcher-3378732-1305465925 -o /tmp/evaluation-result-3378732-1305465925/solver-3378732-1305465925 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.industrial.pickle HOME/instance-3378732-1305465925.cnf -seed 48727479 -budget 4800 -cores 4

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 649b4cf0a21e275b244b1034d05ded52
RANDOM SEED=48727479

node141.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.806
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.61
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.806
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	: 5362.96
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.806
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.82
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.806
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.75
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.806
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.84
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.806
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.806
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.806
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:     32951124 kB
MemFree:      24673412 kB
Buffers:        271952 kB
Cached:        5445160 kB
SwapCached:      15736 kB
Active:        2620104 kB
Inactive:      5404872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24673412 kB
SwapTotal:    67111528 kB
SwapFree:     63083164 kB
Dirty:           80200 kB
Writeback:           0 kB
AnonPages:     2298712 kB
Mapped:          18904 kB
Slab:           147080 kB
PageTables:      38792 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 86590584 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= 73284 MiB
End job on node141 at 2011-05-15 15:25:56