Trace number 3378494

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-random (fixed)? (exit code) 576.675 575.187

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf
MD5SUM9649b9e4fa8d251c4c59f8783cbf0b60
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.008998
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.32/0.46	c INFO: loaded portfolio from HOME/etc/borg-mix+class.random.pickle
0.32/0.46	c INFO: solving HOME/instance-3378494-1305465886.cnf
0.32/0.46	c INFO: computing task features
0.32/0.48	c INFO: computed variable-clause graph statistics
0.32/0.48	c INFO: computed clause balance statistics
0.42/0.53	c INFO: computed variable balance statistics
0.42/0.57	c INFO: computed small-clause counts
0.42/0.57	c INFO: computed Horn-clause counts
0.42/0.57	c INFO: computed variable graph statistics
0.42/0.57	c INFO: collected features for HOME/instance-3378494-1305465886.cnf in 0.11 s
0.42/0.58	c INFO: running gnovelty+2@0 for 97 with 1199 remaining (b = 0.58)
0.42/0.59	c INFO: running gnovelty+2@0 for 97 with 1199 remaining (b = 0.07)
0.51/0.60	c INFO: running march_hi@0 for 388 with 1199 remaining (b = 0.29)
0.51/0.61	c INFO: running march_hi@0 for 679 with 1199 remaining (b = 0.35)
0.51/0.62	Traceback (most recent call last):
0.51/0.62	  File "HOME/solve", line 33, in <module>
0.51/0.62	    plac.call(main)
0.51/0.62	  File "/home/evaluation/evaluation/tools64/lib/python2.7/site-packages/plac-0.8.1-py2.7.egg/plac_core.py", line 311, in call
0.51/0.62	    cmd, result = parser_from(obj).consume(arglist)
0.51/0.62	  File "/home/evaluation/evaluation/tools64/lib/python2.7/site-packages/plac-0.8.1-py2.7.egg/plac_core.py", line 192, in consume
0.51/0.62	    return cmd, self.func(*(args + varargs + extraopts), **kwargs)
0.51/0.62	  File "HOME/borg/build/lib/borg/tools/solve.py", line 84, in main
0.51/0.62	    (_, answer, _) = solver(input_path, budget / cores, cores)
0.51/0.62	  File "HOME/borg/build/lib/borg/bilevel.py", line 226, in __call__
0.51/0.62	    process.die()
0.51/0.62	  File "HOME/borg/build/lib/borg/solvers.py", line 185, in die
0.51/0.62	    os.kill(self._process.pid, signal.SIGUSR1)
0.51/0.62	OSError: [Errno 3] No such process

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

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-3378494-1305465886/watcher-3378494-1305465886 -o /tmp/evaluation-result-3378494-1305465886/solver-3378494-1305465886 -C 4800 -W 1300 -M 15500 python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378494-1305465886.cnf -seed 1545463721 -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: 7.77 8.07 7.94 5/381 8472
/proc/meminfo: memFree=16396320/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=15776 CPUtime=0 cores=1,3,5,7
/proc/8472/stat : 8472 (python) R 8470 8472 7291 0 -1 4202496 876 0 0 0 0 0 0 0 25 0 1 0 658188274 16154624 758 33554432000 4194304 5683644 140735552182288 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/8472/statm: 3944 759 343 364 0 431 0

[startup+0.0660289 s]
/proc/loadavg: 7.77 8.07 7.94 5/381 8472
/proc/meminfo: memFree=16396320/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=50012 CPUtime=0.05 cores=1,3,5,7
/proc/8472/stat : 8472 (python) R 8470 8472 7291 0 -1 4202496 1969 0 0 0 4 1 0 0 25 0 1 0 658188274 51212288 1732 33554432000 4194304 5683644 140735552182288 18446744073709551615 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/8472/statm: 12503 1732 480 364 0 1203 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 50012

[startup+0.101025 s]
/proc/loadavg: 7.77 8.07 7.94 5/381 8472
/proc/meminfo: memFree=16396320/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=104224 CPUtime=0.07 cores=1,3,5,7
/proc/8472/stat : 8472 (python) R 8470 8472 7291 0 -1 4202496 3065 0 0 0 6 1 0 0 25 0 1 0 658188274 106725376 2747 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473965568 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/8472/statm: 26056 2747 847 364 0 1804 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 104224

[startup+0.300988 s]
/proc/loadavg: 7.77 8.07 7.94 5/381 8472
/proc/meminfo: memFree=16396320/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=185088 CPUtime=0.24 cores=1,3,5,7
/proc/8472/stat : 8472 (python) R 8470 8472 7291 0 -1 4202496 6760 937 1 0 17 7 0 0 25 0 1 0 658188274 189530112 4827 33554432000 4194304 5683644 140735552182288 18446744073709551615 274468996444 0 0 16781312 2 0 0 0 17 3 0 0 0
/proc/8472/statm: 46935 4829 1350 364 0 3723 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 185088

[startup+0.700918 s]
/proc/loadavg: 7.77 8.07 7.94 5/381 8472
/proc/meminfo: memFree=16396320/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 310016

[startup+1.50083 s]
/proc/loadavg: 7.77 8.07 7.94 6/384 8491
/proc/meminfo: memFree=16368268/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=0 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 756 0 0 0 0 0 0 0 17 0 1 0 658188335 317456384 5725 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 15142716034584117512 0 0 17 1 0 0 0
/proc/8489/statm: 77504 5725 348 364 0 13413 0
[pid=8491] ppid=8489 vsize=3016 CPUtime=0.87 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 810 0 0 0 87 0 0 0 25 0 1 0 658188336 3088384 546 33554432000 4194304 4955518 140736704401472 18446744073709551615 4227664 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 754 546 104 186 0 567 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 623048

[startup+3.10049 s]
/proc/loadavg: 7.77 8.07 7.94 6/384 8491
/proc/meminfo: memFree=16366408/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=0 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 757 0 0 0 0 0 0 0 15 0 1 0 658188335 317456384 5725 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 5721137785369264127 0 0 17 1 0 0 0
/proc/8489/statm: 77504 5725 348 364 0 13413 0
[pid=8491] ppid=8489 vsize=3268 CPUtime=2.47 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 877 0 0 0 247 0 0 0 25 0 1 0 658188336 3346432 613 33554432000 4194304 4955518 140736704401472 18446744073709551615 4225288 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 817 613 104 186 0 630 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 623300

[startup+6.30093 s]
/proc/loadavg: 7.71 8.06 7.93 6/384 8491
/proc/meminfo: memFree=16363176/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=0.01 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 917 0 0 0 0 1 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 15142716034584117512 0 0 17 1 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=3952 CPUtime=5.67 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 1029 0 0 0 567 0 0 0 25 0 1 0 658188336 4046848 757 33554432000 4194304 4955518 140736704401472 18446744073709551615 4261370 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 988 757 104 186 0 801 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 623984

[startup+12.7008 s]
/proc/loadavg: 7.49 8.00 7.91 6/384 8492
/proc/meminfo: memFree=16357740/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=0.02 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 925 0 0 0 1 1 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 15142716034584117512 0 0 17 1 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=5380 CPUtime=12.07 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 1299 0 0 0 1207 0 0 0 25 0 1 0 658188336 5509120 1027 33554432000 4194304 4955518 140736704401472 18446744073709551615 4227502 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 1345 1027 104 186 0 1158 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 625412

[startup+25.5006 s]
/proc/loadavg: 6.94 7.86 7.87 6/384 8492
/proc/meminfo: memFree=16347956/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=0.06 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 930 0 0 0 3 3 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 4262375572329431304 0 0 17 7 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=7464 CPUtime=24.87 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 1804 0 0 0 2487 0 0 0 25 0 1 0 658188336 7643136 1532 33554432000 4194304 4955518 140736704401472 18446744073709551615 4227747 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 1866 1532 104 186 0 1679 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 627496

[startup+51.101 s]
/proc/loadavg: 6.28 7.63 7.79 6/384 8493
/proc/meminfo: memFree=16324464/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=0.13 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 940 0 0 0 8 5 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 4262375572329431304 0 0 17 1 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=13148 CPUtime=50.47 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 2814 0 0 0 5047 0 0 0 25 0 1 0 658188336 13463552 2542 33554432000 4194304 4955518 140736704401472 18446744073709551615 4263648 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 3287 2542 104 186 0 3100 0
Current children cumulated CPU time (s) 51.17
Current children cumulated vsize (KiB) 633180

[startup+102.313 s]
/proc/loadavg: 5.62 7.23 7.65 6/384 8494
/proc/meminfo: memFree=16276196/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=0.27 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 960 0 0 0 16 11 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 15142716034584117512 0 0 17 7 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=25328 CPUtime=101.68 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 4803 0 0 0 10168 0 0 0 25 0 1 0 658188336 25935872 4531 33554432000 4194304 4955518 140736704401472 18446744073709551615 4209669 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 6332 4531 104 186 0 6145 0
Current children cumulated CPU time (s) 102.52
Current children cumulated vsize (KiB) 645360

[startup+162.3 s]
/proc/loadavg: 5.26 6.84 7.48 6/387 8499
/proc/meminfo: memFree=16218852/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=0.42 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 977 0 0 0 23 19 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 4262375572329431304 0 0 17 7 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=34192 CPUtime=161.67 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 7093 0 0 0 16166 1 0 0 25 0 1 0 658188336 35012608 6821 33554432000 4194304 4955518 140736704401472 18446744073709551615 4227747 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 8548 6821 104 186 0 8361 0
Current children cumulated CPU time (s) 162.66
Current children cumulated vsize (KiB) 654224

[startup+222.301 s]
/proc/loadavg: 5.20 6.53 7.34 6/387 8500
/proc/meminfo: memFree=16163772/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=0.6 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 995 0 0 0 33 27 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 4262375572329431304 0 0 17 7 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=52384 CPUtime=221.68 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 9265 0 0 0 22167 1 0 0 25 0 1 0 658188336 53641216 8993 33554432000 4194304 4955518 140736704401472 18446744073709551615 4227671 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 13096 8993 104 186 0 12909 0
Current children cumulated CPU time (s) 222.85
Current children cumulated vsize (KiB) 672416

[startup+282.3 s]

################
# More data... #
################

/proc/8491/statm: 20488 13432 104 186 0 20301 0
Current children cumulated CPU time (s) 343.17
Current children cumulated vsize (KiB) 701984

[startup+402.3 s]
/proc/loadavg: 3.98 5.62 6.85 2/351 8525
/proc/meminfo: memFree=16974164/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=1.07 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 1009 0 0 0 58 49 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 4262375572329431304 0 0 17 7 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=81952 CPUtime=401.68 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 15912 0 0 0 40166 2 0 0 25 0 1 0 658188336 83918848 15640 33554432000 4194304 4955518 140736704401472 18446744073709551615 4295815 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 20488 15640 104 186 0 20301 0
Current children cumulated CPU time (s) 403.32
Current children cumulated vsize (KiB) 701984

[startup+462.301 s]
/proc/loadavg: 2.09 4.78 6.48 2/351 8527
/proc/meminfo: memFree=16965596/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=1.21 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 1009 0 0 0 66 55 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 4262375572329431304 0 0 17 7 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=81952 CPUtime=461.68 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 18070 0 0 0 46166 2 0 0 25 0 1 0 658188336 83918848 17798 33554432000 4194304 4955518 140736704401472 18446744073709551615 4238727 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 20488 17798 104 186 0 20301 0
Current children cumulated CPU time (s) 463.46
Current children cumulated vsize (KiB) 701984

[startup+522.3 s]
/proc/loadavg: 1.45 4.10 6.14 2/351 8528
/proc/meminfo: memFree=16956988/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=1.37 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 1009 0 0 0 75 62 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 4262375572329431304 0 0 17 7 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=111420 CPUtime=521.69 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 20280 0 0 0 52166 3 0 0 25 0 1 0 658188336 114094080 20008 33554432000 4194304 4955518 140736704401472 18446744073709551615 4261328 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 27855 20008 104 186 0 27668 0
Current children cumulated CPU time (s) 523.63
Current children cumulated vsize (KiB) 731452

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

[startup+537.5 s]
/proc/loadavg: 1.35 3.95 6.06 2/351 8529
/proc/meminfo: memFree=16954616/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=1.4 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 1009 0 0 0 76 64 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 4262375572329431304 0 0 17 7 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=111420 CPUtime=536.89 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 20831 0 0 0 53686 3 0 0 25 0 1 0 658188336 114094080 20559 33554432000 4194304 4955518 140736704401472 18446744073709551615 4314077 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 27855 20559 104 186 0 27668 0
Current children cumulated CPU time (s) 538.86
Current children cumulated vsize (KiB) 731452

[startup+550.3 s]
/proc/loadavg: 1.27 3.80 5.98 2/351 8529
/proc/meminfo: memFree=16952752/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=1.43 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 1009 0 0 0 78 65 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 4262375572329431304 0 0 17 7 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=111420 CPUtime=549.68 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 21295 0 0 0 54965 3 0 0 25 0 1 0 658188336 114094080 21023 33554432000 4194304 4955518 140736704401472 18446744073709551615 4238438 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 27855 21023 104 186 0 27668 0
Current children cumulated CPU time (s) 551.68
Current children cumulated vsize (KiB) 731452

[startup+563.101 s]
/proc/loadavg: 1.23 3.71 5.92 2/351 8529
/proc/meminfo: memFree=16951000/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=1.47 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 1009 0 0 0 80 67 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 4262375572329431304 0 0 17 7 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=111420 CPUtime=562.49 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 21745 0 0 0 56246 3 0 0 25 0 1 0 658188336 114094080 21473 33554432000 4194304 4955518 140736704401472 18446744073709551615 4282461 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 27855 21473 104 186 0 27668 0
Current children cumulated CPU time (s) 564.53
Current children cumulated vsize (KiB) 731452

[startup+569.501 s]
/proc/loadavg: 1.19 3.62 5.87 2/351 8529
/proc/meminfo: memFree=16950132/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=1.48 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 1009 0 0 0 80 68 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 4262375572329431304 0 0 17 7 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=111420 CPUtime=568.88 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 21972 0 0 0 56885 3 0 0 25 0 1 0 658188336 114094080 21700 33554432000 4194304 4955518 140736704401472 18446744073709551615 4261364 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 27855 21700 104 186 0 27668 0
Current children cumulated CPU time (s) 570.93
Current children cumulated vsize (KiB) 731452

[startup+572.7 s]
/proc/loadavg: 1.19 3.62 5.87 2/351 8530
/proc/meminfo: memFree=16949884/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=1.48 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 1009 0 0 0 80 68 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 4262375572329431304 0 0 17 7 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=111420 CPUtime=572.08 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 22082 0 0 0 57205 3 0 0 25 0 1 0 658188336 114094080 21810 33554432000 4194304 4955518 140736704401472 18446744073709551615 4209737 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 27855 21810 104 186 0 27668 0
Current children cumulated CPU time (s) 574.13
Current children cumulated vsize (KiB) 731452

[startup+574.301 s]
/proc/loadavg: 1.18 3.58 5.84 2/351 8530
/proc/meminfo: memFree=16949512/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=1.49 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 1009 0 0 0 81 68 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 4262375572329431304 0 0 17 7 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=111420 CPUtime=573.68 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 22140 0 0 0 57365 3 0 0 25 0 1 0 658188336 114094080 21868 33554432000 4194304 4955518 140736704401472 18446744073709551615 4286799 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 27855 21868 104 186 0 27668 0
Current children cumulated CPU time (s) 575.74
Current children cumulated vsize (KiB) 731452

[startup+574.701 s]
/proc/loadavg: 1.18 3.58 5.84 2/351 8530
/proc/meminfo: memFree=16949512/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=1.49 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 1009 0 0 0 81 68 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 4262375572329431304 0 0 17 7 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=111420 CPUtime=574.08 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 22153 0 0 0 57405 3 0 0 25 0 1 0 658188336 114094080 21881 33554432000 4194304 4955518 140736704401472 18446744073709551615 4298048 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 27855 21881 104 186 0 27668 0
Current children cumulated CPU time (s) 576.14
Current children cumulated vsize (KiB) 731452

[startup+575.101 s]
/proc/loadavg: 1.18 3.58 5.84 2/351 8530
/proc/meminfo: memFree=16949512/32950928 swapFree=67111348/67111528
[pid=8472] ppid=8470 vsize=310016 CPUtime=0.57 cores=1,3,5,7
/proc/8472/stat : 8472 (python) S 8470 8472 7291 0 -1 4202496 12403 5320 1 0 43 10 3 1 25 0 1 0 658188274 317456384 7252 33554432000 4194304 5683644 140735552182288 18446744073709551615 274485797695 0 0 16781312 2 18446744071562232103 0 0 17 5 0 0 0
/proc/8472/statm: 77504 7252 1875 364 0 13413 0
[pid=8489] ppid=8472 vsize=310016 CPUtime=1.49 cores=1,3,5,7
/proc/8489/stat : 8489 (python) S 8472 8472 7291 0 -1 4202560 1009 0 0 0 81 68 0 0 15 0 1 0 658188335 317456384 5748 33554432000 4194304 5683644 140735552182288 18446744073709551615 274473987654 0 0 16781312 514 4262375572329431304 0 0 17 7 0 0 0
/proc/8489/statm: 77504 5748 371 364 0 13413 0
[pid=8491] ppid=8489 vsize=111420 CPUtime=574.48 cores=1,3,5,7
/proc/8491/stat : 8491 (march_hi) R 8489 8491 8491 0 -1 4202496 22167 0 0 0 57445 3 0 0 25 0 1 0 658188336 114094080 21895 33554432000 4194304 4955518 140736704401472 18446744073709551615 4209692 0 0 16781312 0 0 0 0 17 3 0 0 0
/proc/8491/statm: 27855 21895 104 186 0 27668 0
Current children cumulated CPU time (s) 576.54
Current children cumulated vsize (KiB) 731452

Child status: 1
Real time (s): 575.187
CPU time (s): 576.675
CPU user time (s): 575.815
CPU system time (s): 0.859869
CPU usage (%): 100.259
Max. virtual memory (cumulated for all children) (KiB): 731452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 575.815
system time used= 0.859869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45412
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= 2043
involuntary context switches= 344

runsolver used 1.77473 second user time and 4.34934 second system time

The end

Launcher Data 

Begin job on node125 at 2011-05-15 15:24:46
IDJOB=3378494
IDBENCH=82903
IDSOLVER=1859
FILE ID=node125/3378494-1305465886
RUNJOBID= node125-1305462615-7310
PBS_JOBID= 13324969
Free space on /tmp= 73160 MiB

SOLVER NAME= borg-sat 11.03.02-par-random (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S171669125-021.SATISFIABLE.cnf
COMMAND LINE= python DIR/solve DIR/etc/borg-mix+class.random.pickle BENCHNAME -seed RANDOMSEED -budget TIMEOUT -cores NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3378494-1305465886/watcher-3378494-1305465886 -o /tmp/evaluation-result-3378494-1305465886/solver-3378494-1305465886 -C 4800 -W 1300 -M 15500  python HOME/solve HOME/etc/borg-mix+class.random.pickle HOME/instance-3378494-1305465886.cnf -seed 1545463721 -budget 4800 -cores 4

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

MD5SUM BENCH= 9649b9e4fa8d251c4c59f8783cbf0b60
RANDOM SEED=1545463721

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:      16396600 kB
Buffers:        295848 kB
Cached:        4756060 kB
SwapCached:          0 kB
Active:       12465996 kB
Inactive:      3695368 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      16396600 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           31876 kB
Writeback:           0 kB
AnonPages:    11108644 kB
Mapped:          41376 kB
Slab:           281100 kB
PageTables:      47320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 81757080 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= 73160 MiB
End job on node125 at 2011-05-15 15:34:21