Trace number 3749991

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 NameAnswerobjective functionCPU timeWall clock time
npSolver 1.0 (fixed)? (TO) 1800.1 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/heinz/
normalized-eilB101.opb
MD5SUMfbc26082f2456029d803a788e5b95f10
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark362784496250000004
Best CPU time to get the best result obtained on this benchmark1800.46
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2818
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint61
Maximum length of a constraint759
Number of terms in the objective function 2818
Biggest coefficient in the objective function 83990681000000000
Number of bits for the biggest coefficient in the objective function 57
Sum of the numbers in the objective function 88099418004000000014
Number of bits of the sum of numbers in the objective function 67
Biggest number in a constraint 83990681000000000
Number of bits of the biggest number in a constraint 57
Biggest sum of numbers in a constraint 88099418004000000014
Number of bits of the biggest sum of numbers67
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.05	c run usual solver
0.00/0.60	c model valid
0.00/0.60	c current solution ok
0.00/0.71	o 711055329250000008
0.00/0.71	c current bound: 355527664625000000
0.00/0.71	c fallback to adder encoding
1800.06/1800.41	./satsolver.sh: line 5: 10242 Terminated              ./glucose $1 > $2 2> /dev/null
1800.06/1800.41	c error: unexpected solver exit code
1800.06/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-3749991-1339220750/watcher-3749991-1339220750 -o /tmp/evaluation-result-3749991-1339220750/solver-3749991-1339220750 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749991-1339220750.opb 182962248 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: 1.92 1.97 1.68 3/173 10219
/proc/meminfo: memFree=29647520/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0

[startup+0.0530059 s]
/proc/loadavg: 1.92 1.97 1.68 3/173 10219
/proc/meminfo: memFree=29647520/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10035 s]
/proc/loadavg: 1.92 1.97 1.68 3/173 10219
/proc/meminfo: memFree=29647520/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300255 s]
/proc/loadavg: 1.92 1.97 1.68 3/173 10219
/proc/meminfo: memFree=29647520/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70024 s]
/proc/loadavg: 1.92 1.97 1.68 3/173 10219
/proc/meminfo: memFree=29647520/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 1.92 1.97 1.68 3/181 10237
/proc/meminfo: memFree=29568396/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.47 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) R 10219 10219 10037 0 -1 4202496 7596 9828 0 0 84 11 50 2 20 0 1 0 388202255 94859264 19760 33554432000 4194304 6004724 140735326210768 140735326204072 4617888 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10222/statm: 23159 19760 171 442 0 22713 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 101784

[startup+3.10044 s]
/proc/loadavg: 1.92 1.97 1.68 3/183 10242
/proc/meminfo: memFree=29374516/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=185092 CPUtime=1.37 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 34806 0 0 0 130 7 0 0 20 0 1 0 388202427 189534208 40370 33554432000 4194304 5208918 140734587756800 140734586706200 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 46273 40370 96 248 0 46022 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 296024

[startup+6.30043 s]
/proc/loadavg: 1.93 1.97 1.68 3/183 10242
/proc/meminfo: memFree=29279684/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=188412 CPUtime=4.58 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 35647 0 0 0 450 8 0 0 20 0 1 0 388202427 192933888 41211 33554432000 4194304 5208918 140734587756800 140734587754472 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 47103 41211 103 248 0 46852 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 299344

[startup+12.7004 s]
/proc/loadavg: 2.09 2.00 1.69 3/183 10242
/proc/meminfo: memFree=29267400/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=189132 CPUtime=10.98 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 35831 0 0 0 1090 8 0 0 20 0 1 0 388202427 193671168 41906 33554432000 4194304 5208918 140734587756800 140734587754552 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 47283 41906 103 248 0 47032 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 300064

[startup+25.5005 s]
/proc/loadavg: 2.07 2.00 1.69 3/183 10242
/proc/meminfo: memFree=29267312/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=189132 CPUtime=23.78 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 35833 0 0 0 2370 8 0 0 20 0 1 0 388202427 193671168 42930 33554432000 4194304 5208918 140734587756800 140734587754552 4229577 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 47283 42930 103 248 0 47032 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 300064

[startup+51.1004 s]
/proc/loadavg: 2.05 2.00 1.70 3/183 10242
/proc/meminfo: memFree=29208708/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=190464 CPUtime=49.37 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 36924 0 0 0 4928 9 0 0 20 0 1 0 388202427 195035136 42688 33554432000 4194304 5208918 140734587756800 140734587754888 4215321 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 47616 42688 104 248 0 47365 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 301396

[startup+102.307 s]
/proc/loadavg: 2.02 2.00 1.72 3/183 10242
/proc/meminfo: memFree=29181512/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=193060 CPUtime=100.57 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 39320 0 0 0 10044 13 0 0 20 0 1 0 388202427 197693440 43964 33554432000 4194304 5208918 140734587756800 140734587754888 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 48265 43964 104 248 0 48014 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 303992

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.73 3/183 10242
/proc/meminfo: memFree=29198192/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=226032 CPUtime=160.54 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 41283 0 0 0 16037 17 0 0 20 0 1 0 388202427 231456768 52757 33554432000 4194304 5208918 140734587756800 140734587754552 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 56508 52757 104 248 0 56257 0
Current children cumulated CPU time (s) 162.21

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


[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/183 10281
/proc/meminfo: memFree=28834304/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=295260 CPUtime=1360.34 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 67234 0 0 0 135966 68 0 0 20 0 1 0 388202427 302346240 62478 33554432000 4194304 5208918 140734587756800 140734587754552 4229151 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 73815 62478 104 248 0 73564 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 406192

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.90 3/183 10282
/proc/meminfo: memFree=28822296/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=376996 CPUtime=1420.34 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 68044 0 0 0 141965 69 0 0 20 0 1 0 388202427 386043904 71975 33554432000 4194304 5208918 140734587756800 140734587754952 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 94249 71975 104 248 0 93998 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 487928

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/184 10285
/proc/meminfo: memFree=28799900/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=376996 CPUtime=1480.33 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 68087 0 0 0 147962 71 0 0 20 0 1 0 388202427 386043904 86837 33554432000 4194304 5208918 140734587756800 140734587754952 4211635 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 94249 86837 104 248 0 93998 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 487928

[startup+1542.3 s]
/proc/loadavg: 2.11 2.03 1.92 3/183 10285
/proc/meminfo: memFree=28812692/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=295740 CPUtime=1540.32 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 69197 0 0 0 153958 74 0 0 20 0 1 0 388202427 302837760 66249 33554432000 4194304 5208918 140734587756800 140734587754952 4211620 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 73935 66249 104 248 0 73684 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 406672

[startup+1602.3 s]
/proc/loadavg: 2.04 2.02 1.92 3/183 10285
/proc/meminfo: memFree=28809460/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=377624 CPUtime=1600.31 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 70006 0 0 0 159955 76 0 0 20 0 1 0 388202427 386686976 78300 33554432000 4194304 5208918 140734587756800 140734587753176 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 94406 78300 104 248 0 94155 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 488556

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.92 3/183 10285
/proc/meminfo: memFree=28823928/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=247212 CPUtime=1660.3 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 71128 0 0 0 165951 79 0 0 20 0 1 0 388202427 253145088 58688 33554432000 4194304 5208918 140734587756800 140734587754888 4211904 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 61803 58688 104 248 0 61552 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 358144

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/183 10286
/proc/meminfo: memFree=28820084/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=297536 CPUtime=1720.29 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 71682 0 0 0 171949 80 0 0 20 0 1 0 388202427 304676864 70483 33554432000 4194304 5208918 140734587756800 140734587754552 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 74384 70483 104 248 0 74133 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 408468

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/183 10286
/proc/meminfo: memFree=28819704/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=379276 CPUtime=1780.28 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 72305 0 0 0 177947 81 0 0 20 0 1 0 388202427 388378624 86436 33554432000 4194304 5208918 140734587756800 140734587754648 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 94819 86436 104 248 0 94568 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 490208



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 10286
/proc/meminfo: memFree=28781896/32873648 swapFree=7376/7376
[pid=10219] ppid=10216 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10219/stat : 10219 (npSolver-pbo.sh) S 10216 10219 10037 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 388202255 9367552 275 33554432000 4194304 5064252 140736657668464 140736657667376 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/10219/statm: 2287 275 233 213 0 72 0
[pid=10222] ppid=10219 vsize=92636 CPUtime=1.67 cores=1,3,5,7
/proc/10222/stat : 10222 (npSolver-pbo) S 10219 10219 10037 0 -1 4202496 8343 9828 0 0 95 20 50 2 20 0 1 0 388202255 94859264 21298 33554432000 4194304 6004724 140735326210768 140735326203120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/10222/statm: 23159 21298 173 442 0 22713 0
[pid=10241] ppid=10222 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10241/stat : 10241 (satsolver.sh) S 10222 10219 10037 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 388202426 9367552 267 33554432000 4194304 5064252 140733647714496 140733647713408 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/10241/statm: 2287 267 226 213 0 72 0
[pid=10242] ppid=10241 vsize=379432 CPUtime=1798.39 cores=1,3,5,7
/proc/10242/stat : 10242 (glucose) R 10241 10219 10037 0 -1 4202496 72337 0 0 0 179758 81 0 0 20 0 1 0 388202427 388538368 90045 33554432000 4194304 5208918 140734587756800 140734587754648 4211897 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10242/statm: 94858 90045 104 248 0 94607 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 490364

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.04
CPU system time (s): 1.05384
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 702020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.04
system time used= 1.05384
maximum resident set size= 462656
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91497
page faults= 0
swaps= 0
block input operations= 8
block output operations= 129512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82
involuntary context switches= 1870

runsolver used 7.8838 second user time and 21.3098 second system time

The end

Launcher Data 

Begin job on node112 at 2012-06-09 07:45:50
IDJOB=3749991
IDBENCH=89889
IDSOLVER=2334
FILE ID=node112/3749991-1339220750
RUNJOBID= node112-1339220750-10195
PBS_JOBID= 14644316
Free space on /tmp= 70264 MiB

SOLVER NAME= npSolver 1.0
BENCH NAME= PB11/normalized-PB11/OPT-BIGINT-LIN/heinz/normalized-eilB101.opb
COMMAND LINE= DIR/npSolver-pbo.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3749991-1339220750/watcher-3749991-1339220750 -o /tmp/evaluation-result-3749991-1339220750/solver-3749991-1339220750 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo.sh HOME/instance-3749991-1339220750.opb 182962248 HOME HOME

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

MD5SUM BENCH= fbc26082f2456029d803a788e5b95f10
RANDOM SEED=182962248

node112.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		: 2666.763
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	: 5333.52
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		: 2666.763
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.91
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		: 2666.763
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		: 2666.763
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		: 2666.763
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.92
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		: 2666.763
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.92
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		: 2666.763
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.91
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		: 2666.763
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29647908 kB
Buffers:          341344 kB
Cached:          1990444 kB
SwapCached:         2156 kB
Active:          1559640 kB
Inactive:         778324 kB
Active(anon):       3068 kB
Inactive(anon):     3148 kB
Active(file):    1556572 kB
Inactive(file):   775176 kB
Unevictable:        7376 kB
Mlocked:            7376 kB
SwapTotal:      67108856 kB
SwapFree:       67099400 kB
Dirty:             18224 kB
Writeback:             0 kB
AnonPages:          9136 kB
Mapped:             7936 kB
Shmem:                 0 kB
Slab:             748680 kB
SReclaimable:     192608 kB
SUnreclaim:       556072 kB
KernelStack:        1392 kB
PageTables:         3948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     104540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70128 MiB
End job on node112 at 2012-06-09 08:15:50