Trace number 3717257

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
wbo2satCp2 2012-05-19? (TO) 1800.13 1800.41

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB10/oliveras/j60/
normalized-j6033_2-unsat--soft-0-100-0.wbo
MD5SUM760a13c53343c1a6f431e5ddf8292a4c
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark2.37364
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables12200
Total number of constraints42056
Number of soft constraints42056
Number of constraints which are clauses41660
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints396
Minimum length of a constraint1
Maximum length of a constraint18
Top cost 2126290
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 2126289
Biggest number in a constraint 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 116
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.79	o 1445
0.00/0.79	c current bound: 722
0.00/0.79	c fallback to adder encoding
1800.09/1800.41	./satsolver.sh: line 5:   761 Terminated              ./glucose_static -rnd-seed=$seed $1 > $2
1800.09/1800.41	c error: unexpected solver exit code
1800.09/1800.41	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3717257-1338200367/watcher-3717257-1338200367 -o /tmp/evaluation-result-3717257-1338200367/solver-3717257-1338200367 -C 1800 -W 1900 -M 15500 HOME/runWbo2satCp2.sh HOME/instance-3717257-1338200367.wbo 1105976351 HOME HOME 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 2.00 2.00 1.97 3/179 754
/proc/meminfo: memFree=29547700/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0

[startup+0.00714603 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 754
/proc/meminfo: memFree=29547700/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100238 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 754
/proc/meminfo: memFree=29547700/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300266 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 754
/proc/meminfo: memFree=29547700/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700251 s]
/proc/loadavg: 2.00 2.00 1.97 3/179 754
/proc/meminfo: memFree=29547700/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 759
/proc/meminfo: memFree=29491916/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=105884 CPUtime=1.48 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) R 754 754 32725 0 -1 4202496 14529 6447 0 0 115 23 9 1 20 0 1 0 286161203 108425216 20991 33554432000 4194304 5872148 140736926512912 140736926507704 4419611 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/755/statm: 26471 20991 176 410 0 26053 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 115032

[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 759
/proc/meminfo: memFree=29411424/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=459232 CPUtime=3.08 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) R 754 754 32725 0 -1 4202496 16562 6447 0 0 267 31 9 1 20 0 1 0 286161203 470253568 87824 33554432000 4194304 5872148 140736926512912 140736926506440 5129287 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/755/statm: 114808 87824 177 410 0 114390 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 468380

[startup+6.3004 s]
/proc/loadavg: 2.08 2.02 1.98 3/183 761
/proc/meminfo: memFree=28770800/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=302492 CPUtime=3.28 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) S 754 754 32725 0 -1 4202496 16563 6447 0 0 267 51 9 1 20 0 1 0 286161203 309751808 48640 33554432000 4194304 5872148 140736926512912 140736926506184 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 75623 48640 177 410 0 75205 0
[pid=760] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (satsolver.sh) S 755 754 32725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286161533 9367552 266 33554432000 4194304 5064252 140733815463344 140733815462256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/760/statm: 2287 266 226 213 0 72 0
[pid=761] ppid=760 vsize=449144 CPUtime=2.98 cores=1,3,5,7
/proc/761/stat : 761 (glucose_static) R 760 754 32725 0 -1 4202496 66838 0 0 0 279 19 0 0 20 0 1 0 286161533 459923456 95273 33554432000 4194304 4896791 140734343607552 140734343604760 4224684 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/761/statm: 112286 95273 77 172 0 112112 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 769932

[startup+12.7005 s]
/proc/loadavg: 2.07 2.02 1.98 3/183 761
/proc/meminfo: memFree=28804816/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=302492 CPUtime=3.28 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) S 754 754 32725 0 -1 4202496 16563 6447 0 0 267 51 9 1 20 0 1 0 286161203 309751808 48640 33554432000 4194304 5872148 140736926512912 140736926506184 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 75623 48640 177 410 0 75205 0
[pid=760] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (satsolver.sh) S 755 754 32725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286161533 9367552 266 33554432000 4194304 5064252 140733815463344 140733815462256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/760/statm: 2287 266 226 213 0 72 0
[pid=761] ppid=760 vsize=449572 CPUtime=9.38 cores=1,3,5,7
/proc/761/stat : 761 (glucose_static) R 760 754 32725 0 -1 4202496 66945 0 0 0 919 19 0 0 20 0 1 0 286161533 460361728 95377 33554432000 4194304 4896791 140734343607552 140734343604824 4223862 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/761/statm: 112393 95377 77 172 0 112219 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 770360

[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 1.98 3/183 761
/proc/meminfo: memFree=28803064/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=302492 CPUtime=3.28 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) S 754 754 32725 0 -1 4202496 16563 6447 0 0 267 51 9 1 20 0 1 0 286161203 309751808 48640 33554432000 4194304 5872148 140736926512912 140736926506184 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 75623 48640 177 410 0 75205 0
[pid=760] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (satsolver.sh) S 755 754 32725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286161533 9367552 266 33554432000 4194304 5064252 140733815463344 140733815462256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/760/statm: 2287 266 226 213 0 72 0
[pid=761] ppid=760 vsize=449740 CPUtime=22.18 cores=1,3,5,7
/proc/761/stat : 761 (glucose_static) R 760 754 32725 0 -1 4202496 66953 0 0 0 2199 19 0 0 20 0 1 0 286161533 460533760 95385 33554432000 4194304 4896791 140734343607552 140734343604872 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/761/statm: 112435 95385 77 172 0 112261 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 770528

[startup+51.1072 s]
/proc/loadavg: 2.04 2.01 1.98 3/184 764
/proc/meminfo: memFree=28802656/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=302492 CPUtime=3.28 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) S 754 754 32725 0 -1 4202496 16563 6447 0 0 267 51 9 1 20 0 1 0 286161203 309751808 48640 33554432000 4194304 5872148 140736926512912 140736926506184 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 75623 48640 177 410 0 75205 0
[pid=760] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (satsolver.sh) S 755 754 32725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286161533 9367552 266 33554432000 4194304 5064252 140733815463344 140733815462256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/760/statm: 2287 266 226 213 0 72 0
[pid=761] ppid=760 vsize=449740 CPUtime=47.78 cores=1,3,5,7
/proc/761/stat : 761 (glucose_static) R 760 754 32725 0 -1 4202496 66954 0 0 0 4759 19 0 0 20 0 1 0 286161533 460533760 95386 33554432000 4194304 4896791 140734343607552 140734343604872 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/761/statm: 112435 95386 77 172 0 112261 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 770528

[startup+102.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/183 764
/proc/meminfo: memFree=28801896/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=302492 CPUtime=3.28 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) S 754 754 32725 0 -1 4202496 16563 6447 0 0 267 51 9 1 20 0 1 0 286161203 309751808 48640 33554432000 4194304 5872148 140736926512912 140736926506184 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 75623 48640 177 410 0 75205 0
[pid=760] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (satsolver.sh) S 755 754 32725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286161533 9367552 266 33554432000 4194304 5064252 140733815463344 140733815462256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/760/statm: 2287 266 226 213 0 72 0
[pid=761] ppid=760 vsize=449740 CPUtime=98.96 cores=1,3,5,7
/proc/761/stat : 761 (glucose_static) R 760 754 32725 0 -1 4202496 66957 0 0 0 9877 19 0 0 20 0 1 0 286161533 460533760 95389 33554432000 4194304 4896791 140734343607552 140734343604872 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/761/statm: 112435 95389 77 172 0 112261 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 770528

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 1.98 3/183 810
/proc/meminfo: memFree=29672800/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=302492 CPUtime=3.28 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) S 754 754 32725 0 -1 4202496 16563 6447 0 0 267 51 9 1 20 0 1 0 286161203 309751808 48640 33554432000 4194304 5872148 140736926512912 140736926506184 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 75623 48640 177 410 0 75205 0
[pid=760] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (satsolver.sh) S 755 754 32725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286161533 9367552 266 33554432000 4194304 5064252 140733815463344 140733815462256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/760/statm: 2287 266 226 213 0 72 0
[pid=761] ppid=760 vsize=449740 CPUtime=158.96 cores=1,3,5,7
/proc/761/stat : 761 (glucose_static) R 760 754 32725 0 -1 4202496 66959 0 0 0 15877 19 0 0 20 0 1 0 286161533 460533760 95391 33554432000 4194304 4896791 140734343607552 140734343604872 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/761/statm: 112435 95391 77 172 0 112261 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 770528

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/183 810
/proc/meminfo: memFree=29661444/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7

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


[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 822
/proc/meminfo: memFree=29584316/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=302492 CPUtime=3.28 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) S 754 754 32725 0 -1 4202496 16563 6447 0 0 267 51 9 1 20 0 1 0 286161203 309751808 48640 33554432000 4194304 5872148 140736926512912 140736926506184 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 75623 48640 177 410 0 75205 0
[pid=760] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (satsolver.sh) S 755 754 32725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286161533 9367552 266 33554432000 4194304 5064252 140733815463344 140733815462256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/760/statm: 2287 266 226 213 0 72 0
[pid=761] ppid=760 vsize=452152 CPUtime=1418.76 cores=1,3,5,7
/proc/761/stat : 761 (glucose_static) R 760 754 32725 0 -1 4202496 67513 0 0 0 141856 20 0 0 20 0 1 0 286161533 463003648 96505 33554432000 4194304 4896791 140734343607552 140734343604744 4203775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/761/statm: 113038 96505 77 172 0 112864 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 772940

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 822
/proc/meminfo: memFree=29582144/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=302492 CPUtime=3.28 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) S 754 754 32725 0 -1 4202496 16563 6447 0 0 267 51 9 1 20 0 1 0 286161203 309751808 48640 33554432000 4194304 5872148 140736926512912 140736926506184 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 75623 48640 177 410 0 75205 0
[pid=760] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (satsolver.sh) S 755 754 32725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286161533 9367552 266 33554432000 4194304 5064252 140733815463344 140733815462256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/760/statm: 2287 266 226 213 0 72 0
[pid=761] ppid=760 vsize=452152 CPUtime=1478.75 cores=1,3,5,7
/proc/761/stat : 761 (glucose_static) R 760 754 32725 0 -1 4202496 67519 0 0 0 147855 20 0 0 20 0 1 0 286161533 463003648 96511 33554432000 4194304 4896791 140734343607552 140734343604744 4224999 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/761/statm: 113038 96511 77 172 0 112864 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 772940

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/183 822
/proc/meminfo: memFree=29579976/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=302492 CPUtime=3.28 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) S 754 754 32725 0 -1 4202496 16563 6447 0 0 267 51 9 1 20 0 1 0 286161203 309751808 48640 33554432000 4194304 5872148 140736926512912 140736926506184 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 75623 48640 177 410 0 75205 0
[pid=760] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (satsolver.sh) S 755 754 32725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286161533 9367552 266 33554432000 4194304 5064252 140733815463344 140733815462256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/760/statm: 2287 266 226 213 0 72 0
[pid=761] ppid=760 vsize=452284 CPUtime=1538.74 cores=1,3,5,7
/proc/761/stat : 761 (glucose_static) R 760 754 32725 0 -1 4202496 67556 0 0 0 153854 20 0 0 20 0 1 0 286161533 463138816 96548 33554432000 4194304 4896791 140734343607552 140734343604760 4225002 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/761/statm: 113071 96548 77 172 0 112897 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 773072

[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 822
/proc/meminfo: memFree=29578052/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=302492 CPUtime=3.28 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) S 754 754 32725 0 -1 4202496 16563 6447 0 0 267 51 9 1 20 0 1 0 286161203 309751808 48640 33554432000 4194304 5872148 140736926512912 140736926506184 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 75623 48640 177 410 0 75205 0
[pid=760] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (satsolver.sh) S 755 754 32725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286161533 9367552 266 33554432000 4194304 5064252 140733815463344 140733815462256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/760/statm: 2287 266 226 213 0 72 0
[pid=761] ppid=760 vsize=452284 CPUtime=1598.73 cores=1,3,5,7
/proc/761/stat : 761 (glucose_static) R 760 754 32725 0 -1 4202496 67561 0 0 0 159853 20 0 0 20 0 1 0 286161533 463138816 96553 33554432000 4194304 4896791 140734343607552 140734343604760 4225029 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/761/statm: 113071 96553 77 172 0 112897 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 773072

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 823
/proc/meminfo: memFree=29574328/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=302492 CPUtime=3.28 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) S 754 754 32725 0 -1 4202496 16563 6447 0 0 267 51 9 1 20 0 1 0 286161203 309751808 48640 33554432000 4194304 5872148 140736926512912 140736926506184 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 75623 48640 177 410 0 75205 0
[pid=760] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (satsolver.sh) S 755 754 32725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286161533 9367552 266 33554432000 4194304 5064252 140733815463344 140733815462256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/760/statm: 2287 266 226 213 0 72 0
[pid=761] ppid=760 vsize=452284 CPUtime=1658.72 cores=1,3,5,7
/proc/761/stat : 761 (glucose_static) R 760 754 32725 0 -1 4202496 67564 0 0 0 165852 20 0 0 20 0 1 0 286161533 463138816 96556 33554432000 4194304 4896791 140734343607552 140734343604760 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/761/statm: 113071 96556 77 172 0 112897 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 773072

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 823
/proc/meminfo: memFree=29572408/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=302492 CPUtime=3.28 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) S 754 754 32725 0 -1 4202496 16563 6447 0 0 267 51 9 1 20 0 1 0 286161203 309751808 48640 33554432000 4194304 5872148 140736926512912 140736926506184 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 75623 48640 177 410 0 75205 0
[pid=760] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (satsolver.sh) S 755 754 32725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286161533 9367552 266 33554432000 4194304 5064252 140733815463344 140733815462256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/760/statm: 2287 266 226 213 0 72 0
[pid=761] ppid=760 vsize=452284 CPUtime=1718.72 cores=1,3,5,7
/proc/761/stat : 761 (glucose_static) R 760 754 32725 0 -1 4202496 67564 0 0 0 171852 20 0 0 20 0 1 0 286161533 463138816 96556 33554432000 4194304 4896791 140734343607552 140734343604760 4224109 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/761/statm: 113071 96556 77 172 0 112897 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 773072

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 823
/proc/meminfo: memFree=29569864/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=302492 CPUtime=3.28 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) S 754 754 32725 0 -1 4202496 16563 6447 0 0 267 51 9 1 20 0 1 0 286161203 309751808 48640 33554432000 4194304 5872148 140736926512912 140736926506184 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 75623 48640 177 410 0 75205 0
[pid=760] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (satsolver.sh) S 755 754 32725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286161533 9367552 266 33554432000 4194304 5064252 140733815463344 140733815462256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/760/statm: 2287 266 226 213 0 72 0
[pid=761] ppid=760 vsize=452284 CPUtime=1778.71 cores=1,3,5,7
/proc/761/stat : 761 (glucose_static) R 760 754 32725 0 -1 4202496 67564 0 0 0 177851 20 0 0 20 0 1 0 286161533 463138816 96556 33554432000 4194304 4896791 140734343607552 140734343604760 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/761/statm: 113071 96556 77 172 0 112897 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 773072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 823
/proc/meminfo: memFree=29570240/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=302492 CPUtime=3.28 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) S 754 754 32725 0 -1 4202496 16563 6447 0 0 267 51 9 1 20 0 1 0 286161203 309751808 48640 33554432000 4194304 5872148 140736926512912 140736926506184 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 75623 48640 177 410 0 75205 0
[pid=760] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (satsolver.sh) S 755 754 32725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286161533 9367552 266 33554432000 4194304 5064252 140733815463344 140733815462256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/760/statm: 2287 266 226 213 0 72 0
[pid=761] ppid=760 vsize=452284 CPUtime=1796.81 cores=1,3,5,7
/proc/761/stat : 761 (glucose_static) R 760 754 32725 0 -1 4202496 67564 0 0 0 179661 20 0 0 20 0 1 0 286161533 463138816 96556 33554432000 4194304 4896791 140734343607552 140734343604760 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/761/statm: 113071 96556 77 172 0 112897 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 773072

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 823
/proc/meminfo: memFree=29570240/32873648 swapFree=6612/6612
[pid=754] ppid=752 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/754/stat : 754 (runWbo2satCp2.s) S 752 754 32725 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 286161202 9367552 275 33554432000 4194304 5064252 140734425647184 140734425646096 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/754/statm: 2287 275 233 213 0 72 0
[pid=755] ppid=754 vsize=302492 CPUtime=3.28 cores=1,3,5,7
/proc/755/stat : 755 (wbo2sat) S 754 754 32725 0 -1 4202496 16563 6447 0 0 267 51 9 1 20 0 1 0 286161203 309751808 48640 33554432000 4194304 5872148 140736926512912 140736926506184 5123914 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/755/statm: 75623 48640 177 410 0 75205 0
[pid=760] ppid=755 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/760/stat : 760 (satsolver.sh) S 755 754 32725 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 286161533 9367552 266 33554432000 4194304 5064252 140733815463344 140733815462256 212073080398 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/760/statm: 2287 266 226 213 0 72 0
[pid=761] ppid=760 vsize=452284 CPUtime=1796.81 cores=1,3,5,7
/proc/761/stat : 761 (glucose_static) R 760 754 32725 0 -1 4202496 67564 0 0 0 179661 20 0 0 20 0 1 0 286161533 463138816 96556 33554432000 4194304 4896791 140734343607552 140734343604760 4224983 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/761/statm: 113071 96556 77 172 0 112897 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 773072

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.13
CPU user time (s): 1799.39
CPU system time (s): 0.740887
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 889112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.39
system time used= 0.740887
maximum resident set size= 491868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 334984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 29
involuntary context switches= 1863

runsolver used 3.17352 second user time and 8.68968 second system time

The end

Launcher Data 

Begin job on node148 at 2012-05-28 12:19:27
IDJOB=3717257
IDBENCH=79143
IDSOLVER=2299
FILE ID=node148/3717257-1338200367
RUNJOBID= node148-1338194963-32742
PBS_JOBID= 14624603
Free space on /tmp= 71312 MiB

SOLVER NAME= wbo2satCp2 2012-05-19
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB10/oliveras/j60/normalized-j6033_2-unsat--soft-0-100-0.wbo
COMMAND LINE= DIR/runWbo2satCp2.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3717257-1338200367/watcher-3717257-1338200367 -o /tmp/evaluation-result-3717257-1338200367/solver-3717257-1338200367 -C 1800 -W 1900 -M 15500  HOME/runWbo2satCp2.sh HOME/instance-3717257-1338200367.wbo 1105976351 HOME HOME

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

MD5SUM BENCH= 760a13c53343c1a6f431e5ddf8292a4c
RANDOM SEED=1105976351

node148.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.94
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.284
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29547600 kB
Buffers:          394324 kB
Cached:           779720 kB
SwapCached:          576 kB
Active:          2207448 kB
Inactive:         246376 kB
Active(anon):    1271152 kB
Inactive(anon):    11140 kB
Active(file):     936296 kB
Inactive(file):   235236 kB
Unevictable:        6612 kB
Mlocked:            6612 kB
SwapTotal:      67108856 kB
SwapFree:       67108024 kB
Dirty:              9752 kB
Writeback:             0 kB
AnonPages:       1257156 kB
Mapped:            11780 kB
Shmem:                96 kB
Slab:             728684 kB
SReclaimable:     173140 kB
SUnreclaim:       555544 kB
KernelStack:        1520 kB
PageTables:         6520 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1761940 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1073152 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71344 MiB
End job on node148 at 2012-05-28 12:49:28