Trace number 3713463

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
npSolver 1.0? (TO) 1800.06 1800.41

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap73_wcsp.wbo
MD5SUM6884eb16d9ca5647137a605a0e2a2e0d
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark9939840
Best CPU time to get the best result obtained on this benchmark1800.08
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables832
Total number of constraints1680
Number of soft constraints1614
Number of constraints which are clauses1614
Number of constraints which are cardinality constraints (but not clauses)66
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint16
Top cost 57243026
Min constraint cost 1
Max constraint cost 57243026
Sum of constraints costs 46149905826
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 17
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.01	c run usual solver
0.00/0.06	o 19132135
0.00/0.06	c current bound: 9566067
0.00/0.06	c fallback to adder encoding
58.26/58.37	c current bound: 14349101
58.26/58.37	c fallback to adder encoding
295.15/295.31	o 14347918
295.15/295.31	c current bound: 11956993
295.15/295.31	c fallback to adder encoding
500.01/500.21	o 11956389
500.01/500.21	c current bound: 10761228
500.01/500.21	c fallback to adder encoding
609.34/609.51	o 10759986
609.34/609.51	c current bound: 10163027
609.34/609.51	c fallback to adder encoding
945.12/945.41	o 10162356
945.12/945.41	c current bound: 9864212
945.12/945.41	c fallback to adder encoding
1347.20/1347.60	o 9863603
1347.20/1347.60	c current bound: 9714835
1347.20/1347.60	c fallback to adder encoding
1473.19/1473.52	c current bound: 9789219
1473.19/1473.52	c fallback to adder encoding
1672.15/1672.51	c current bound: 9826411
1672.15/1672.51	c fallback to adder encoding
1800.02/1800.40	./satsolver.sh: line 5:   758 Terminated              ./glucose $1 > $2 2> /dev/null
1800.02/1800.40	c error: unexpected solver exit code
1800.02/1800.40	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-3713463-1338228716/watcher-3713463-1338228716 -o /tmp/evaluation-result-3713463-1338228716/solver-3713463-1338228716 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713463-1338228716.wbo 1558992255 HOME HOME 

running on 4 cores: 0,2,4,6

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: 0.93 1.03 1.34 2/175 603
/proc/meminfo: memFree=27614824/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0

[startup+0.0590101 s]
/proc/loadavg: 0.93 1.03 1.34 2/175 603
/proc/meminfo: memFree=27614824/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100253 s]
/proc/loadavg: 0.93 1.03 1.34 2/175 603
/proc/meminfo: memFree=27614824/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30024 s]
/proc/loadavg: 0.93 1.03 1.34 2/175 603
/proc/meminfo: memFree=27614824/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700259 s]
/proc/loadavg: 0.93 1.03 1.34 2/175 603
/proc/meminfo: memFree=27614824/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 0.93 1.03 1.34 3/185 633
/proc/meminfo: memFree=27543808/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=11536 CPUtime=0.16 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 2777 5678 0 0 11 2 2 1 20 0 1 0 288996979 11812864 2108 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 2884 2108 164 439 0 2441 0
[pid=630] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/630/stat : 630 (satsolver.sh) S 606 603 562 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288996997 9367552 267 33554432000 4194304 5064252 140735826049376 140735826048288 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/630/statm: 2287 267 226 213 0 72 0
[pid=631] ppid=630 vsize=26300 CPUtime=1.31 cores=0,2,4,6
/proc/631/stat : 631 (glucose) R 630 603 562 0 -1 4202496 5838 0 0 0 131 0 0 0 20 0 1 0 288996997 26931200 5553 33554432000 4194304 5208918 140735404306784 140735404304616 4211599 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/631/statm: 6575 5553 105 248 0 6324 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 56132

[startup+3.10034 s]
/proc/loadavg: 0.93 1.03 1.34 3/185 633
/proc/meminfo: memFree=27538968/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=11536 CPUtime=0.16 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 2777 5678 0 0 11 2 2 1 20 0 1 0 288996979 11812864 2108 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 2884 2108 164 439 0 2441 0
[pid=630] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/630/stat : 630 (satsolver.sh) S 606 603 562 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288996997 9367552 267 33554432000 4194304 5064252 140735826049376 140735826048288 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/630/statm: 2287 267 226 213 0 72 0
[pid=631] ppid=630 vsize=27264 CPUtime=2.91 cores=0,2,4,6
/proc/631/stat : 631 (glucose) R 630 603 562 0 -1 4202496 6812 0 0 0 290 1 0 0 20 0 1 0 288996997 27918336 5854 33554432000 4194304 5208918 140735404306784 140735404304616 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/631/statm: 6816 5854 105 248 0 6565 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 57096

[startup+6.30037 s]
/proc/loadavg: 1.01 1.04 1.34 3/185 633
/proc/meminfo: memFree=27520108/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=11536 CPUtime=0.16 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 2777 5678 0 0 11 2 2 1 20 0 1 0 288996979 11812864 2108 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 2884 2108 164 439 0 2441 0
[pid=630] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/630/stat : 630 (satsolver.sh) S 606 603 562 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288996997 9367552 267 33554432000 4194304 5064252 140735826049376 140735826048288 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/630/statm: 2287 267 226 213 0 72 0
[pid=631] ppid=630 vsize=45936 CPUtime=6.11 cores=0,2,4,6
/proc/631/stat : 631 (glucose) R 630 603 562 0 -1 4202496 8094 0 0 0 609 2 0 0 20 0 1 0 288996997 47038464 9061 33554432000 4194304 5208918 140735404306784 140735404304728 4212881 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/631/statm: 11484 9061 105 248 0 11233 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 75768

[startup+12.7004 s]
/proc/loadavg: 1.09 1.06 1.34 3/185 633
/proc/meminfo: memFree=27498976/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=11536 CPUtime=0.16 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 2777 5678 0 0 11 2 2 1 20 0 1 0 288996979 11812864 2108 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 2884 2108 164 439 0 2441 0
[pid=630] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/630/stat : 630 (satsolver.sh) S 606 603 562 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288996997 9367552 267 33554432000 4194304 5064252 140735826049376 140735826048288 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/630/statm: 2287 267 226 213 0 72 0
[pid=631] ppid=630 vsize=45936 CPUtime=12.51 cores=0,2,4,6
/proc/631/stat : 631 (glucose) R 630 603 562 0 -1 4202496 8275 0 0 0 1249 2 0 0 20 0 1 0 288996997 47038464 10769 33554432000 4194304 5208918 140735404306784 140735404303160 4214288 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/631/statm: 11484 10769 105 248 0 11233 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 75768

[startup+25.5073 s]
/proc/loadavg: 1.29 1.10 1.35 3/185 633
/proc/meminfo: memFree=27476448/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=11536 CPUtime=0.16 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 2777 5678 0 0 11 2 2 1 20 0 1 0 288996979 11812864 2108 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 2884 2108 164 439 0 2441 0
[pid=630] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/630/stat : 630 (satsolver.sh) S 606 603 562 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288996997 9367552 267 33554432000 4194304 5064252 140735826049376 140735826048288 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/630/statm: 2287 267 226 213 0 72 0
[pid=631] ppid=630 vsize=57540 CPUtime=25.32 cores=0,2,4,6
/proc/631/stat : 631 (glucose) R 630 603 562 0 -1 4202496 9213 0 0 0 2529 3 0 0 20 0 1 0 288996997 58920960 13645 33554432000 4194304 5208918 140735404306784 140735404304648 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/631/statm: 14385 13645 105 248 0 14134 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 87372

[startup+51.1004 s]
/proc/loadavg: 1.53 1.17 1.37 3/185 641
/proc/meminfo: memFree=27470668/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=11536 CPUtime=0.16 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 2777 5678 0 0 11 2 2 1 20 0 1 0 288996979 11812864 2108 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 2884 2108 164 439 0 2441 0
[pid=630] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/630/stat : 630 (satsolver.sh) S 606 603 562 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288996997 9367552 267 33554432000 4194304 5064252 140735826049376 140735826048288 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/630/statm: 2287 267 226 213 0 72 0
[pid=631] ppid=630 vsize=76524 CPUtime=50.9 cores=0,2,4,6
/proc/631/stat : 631 (glucose) R 630 603 562 0 -1 4202496 10341 0 0 0 5086 4 0 0 20 0 1 0 288996997 78360576 15762 33554432000 4194304 5208918 140735404306784 140735404304728 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/631/statm: 19131 15762 105 248 0 18880 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 106356

[startup+102.3 s]
/proc/loadavg: 1.80 1.30 1.40 3/185 648
/proc/meminfo: memFree=27420996/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=19728 CPUtime=58.45 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 4676 19300 0 0 21 3 5814 7 20 0 1 0 288996979 20201472 4152 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 4932 4152 164 439 0 4489 0
[pid=647] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/647/stat : 647 (satsolver.sh) S 606 603 562 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289002828 9367552 267 33554432000 4194304 5064252 140736460707536 140736460706448 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/647/statm: 2287 267 226 213 0 72 0
[pid=648] ppid=647 vsize=65340 CPUtime=43.79 cores=0,2,4,6
/proc/648/stat : 648 (glucose) R 647 603 562 0 -1 4202496 10029 0 0 0 4376 3 0 0 20 0 1 0 289002828 66908160 15529 33554432000 4194304 5208918 140734784380240 140734784376616 4211625 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/648/statm: 16335 15529 105 248 0 16084 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 103364

[startup+162.3 s]
/proc/loadavg: 1.92 1.42 1.43 3/185 648
/proc/meminfo: memFree=27387420/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=19728 CPUtime=58.45 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 4676 19300 0 0 21 3 5814 7 20 0 1 0 288996979 20201472 4152 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 4932 4152 164 439 0 4489 0
[pid=647] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6

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


[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.82 3/185 728
/proc/meminfo: memFree=27447924/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=19724 CPUtime=1347.44 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 14291 106624 0 0 70 10 134585 79 20 0 1 0 288996979 20197376 4152 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 4931 4152 164 439 0 4488 0
[pid=727] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/727/stat : 727 (satsolver.sh) S 606 603 562 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289131751 9367552 266 33554432000 4194304 5064252 140733374364960 140733374363872 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/727/statm: 2287 266 226 213 0 72 0
[pid=728] ppid=727 vsize=45964 CPUtime=14.57 cores=0,2,4,6
/proc/728/stat : 728 (glucose) R 727 603 562 0 -1 4202496 8798 0 0 0 1455 2 0 0 20 0 1 0 289131751 47067136 10777 33554432000 4194304 5208918 140737234515568 140737234511944 4229072 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/728/statm: 11491 10777 105 248 0 11240 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 83984

[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/185 728
/proc/meminfo: memFree=27399380/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=19724 CPUtime=1347.44 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 14291 106624 0 0 70 10 134585 79 20 0 1 0 288996979 20197376 4152 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 4931 4152 164 439 0 4488 0
[pid=727] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/727/stat : 727 (satsolver.sh) S 606 603 562 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289131751 9367552 266 33554432000 4194304 5064252 140733374364960 140733374363872 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/727/statm: 2287 266 226 213 0 72 0
[pid=728] ppid=727 vsize=107272 CPUtime=74.55 cores=0,2,4,6
/proc/728/stat : 728 (glucose) R 727 603 562 0 -1 4202496 11922 0 0 0 7451 4 0 0 20 0 1 0 289131751 109846528 20649 33554432000 4194304 5208918 140737234515568 140737234511944 4229770 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/728/statm: 26818 20649 105 248 0 26567 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 145292

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.83 3/185 743
/proc/meminfo: memFree=27455736/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=19724 CPUtime=1473.33 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 16190 122569 0 0 79 11 147156 87 20 0 1 0 288996979 20197376 4152 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 4931 4152 164 439 0 4488 0
[pid=742] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/742/stat : 742 (satsolver.sh) S 606 603 562 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 289144343 9367552 267 33554432000 4194304 5064252 140735736194144 140735736193056 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/742/statm: 2287 267 226 213 0 72 0
[pid=743] ppid=742 vsize=45852 CPUtime=8.64 cores=0,2,4,6
/proc/743/stat : 743 (glucose) R 742 603 562 0 -1 4202496 7643 0 0 0 863 1 0 0 20 0 1 0 289144343 46952448 10746 33554432000 4194304 5208918 140734709251584 140734709247960 4229748 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/743/statm: 11463 10746 105 248 0 11212 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 83872

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.84 3/185 743
/proc/meminfo: memFree=27407688/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=19724 CPUtime=1473.33 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 16190 122569 0 0 79 11 147156 87 20 0 1 0 288996979 20197376 4152 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 4931 4152 164 439 0 4488 0
[pid=742] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/742/stat : 742 (satsolver.sh) S 606 603 562 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 289144343 9367552 267 33554432000 4194304 5064252 140735736194144 140735736193056 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/742/statm: 2287 267 226 213 0 72 0
[pid=743] ppid=742 vsize=107092 CPUtime=68.64 cores=0,2,4,6
/proc/743/stat : 743 (glucose) R 742 603 562 0 -1 4202496 11121 0 0 0 6861 3 0 0 20 0 1 0 289144343 109662208 19104 33554432000 4194304 5208918 140734709251584 140734709249528 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/743/statm: 26773 19104 105 248 0 26522 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 145112

[startup+1602.3 s]
/proc/loadavg: 2.03 2.00 1.85 3/185 751
/proc/meminfo: memFree=27458888/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=19724 CPUtime=1473.33 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 16190 122569 0 0 79 11 147156 87 20 0 1 0 288996979 20197376 4152 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 4931 4152 164 439 0 4488 0
[pid=742] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/742/stat : 742 (satsolver.sh) S 606 603 562 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 289144343 9367552 267 33554432000 4194304 5064252 140735736194144 140735736193056 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/742/statm: 2287 267 226 213 0 72 0
[pid=743] ppid=742 vsize=107092 CPUtime=128.62 cores=0,2,4,6
/proc/743/stat : 743 (glucose) R 742 603 562 0 -1 4202496 11584 0 0 0 12858 4 0 0 20 0 1 0 289144343 109662208 21027 33554432000 4194304 5208918 140734709251584 140734709247960 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/743/statm: 26773 21027 105 248 0 26522 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 145112

[startup+1662.31 s]
/proc/loadavg: 2.01 2.00 1.86 3/185 751
/proc/meminfo: memFree=27360220/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=19724 CPUtime=1473.33 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 16190 122569 0 0 79 11 147156 87 20 0 1 0 288996979 20197376 4152 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 4931 4152 164 439 0 4488 0
[pid=742] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/742/stat : 742 (satsolver.sh) S 606 603 562 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 289144343 9367552 267 33554432000 4194304 5064252 140735736194144 140735736193056 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/742/statm: 2287 267 226 213 0 72 0
[pid=743] ppid=742 vsize=156412 CPUtime=188.62 cores=0,2,4,6
/proc/743/stat : 743 (glucose) R 742 603 562 0 -1 4202496 12965 0 0 0 18856 6 0 0 20 0 1 0 289144343 160165888 31708 33554432000 4194304 5208918 140734709251584 140734709249576 4229338 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/743/statm: 39103 31708 105 248 0 38852 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 194432

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/186 761
/proc/meminfo: memFree=27381616/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=19724 CPUtime=1672.27 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 18089 138423 0 0 89 12 167031 95 20 0 1 0 288996979 20197376 4152 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 4931 4152 164 439 0 4488 0
[pid=757] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/757/stat : 757 (satsolver.sh) S 606 603 562 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289164241 9367552 267 33554432000 4194304 5064252 140733259294320 140733259293232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/757/statm: 2287 267 226 213 0 72 0
[pid=758] ppid=757 vsize=76300 CPUtime=49.66 cores=0,2,4,6
/proc/758/stat : 758 (glucose) R 757 603 562 0 -1 4202496 9422 0 0 0 4963 3 0 0 20 0 1 0 289164241 78131200 16357 33554432000 4194304 5208918 140736159752688 140736159749064 4229347 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/758/statm: 19075 16357 105 248 0 18824 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 114320

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/185 761
/proc/meminfo: memFree=27333764/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=19724 CPUtime=1672.27 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 18089 138423 0 0 89 12 167031 95 20 0 1 0 288996979 20197376 4152 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 4931 4152 164 439 0 4488 0
[pid=757] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/757/stat : 757 (satsolver.sh) S 606 603 562 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289164241 9367552 267 33554432000 4194304 5064252 140733259294320 140733259293232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/757/statm: 2287 267 226 213 0 72 0
[pid=758] ppid=757 vsize=156320 CPUtime=109.64 cores=0,2,4,6
/proc/758/stat : 758 (glucose) R 757 603 562 0 -1 4202496 10684 0 0 0 10960 4 0 0 20 0 1 0 289164241 160071680 29240 33554432000 4194304 5208918 140736159752688 140736159750680 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/758/statm: 39080 29240 105 248 0 38829 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 194340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.87 3/185 768
/proc/meminfo: memFree=27412456/32873844 swapFree=7124/7124
[pid=603] ppid=600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/603/stat : 603 (npSolver-wbo.sh) S 600 603 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735189196464 140735189195376 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/603/statm: 2287 275 233 213 0 72 0
[pid=606] ppid=603 vsize=19724 CPUtime=1672.27 cores=0,2,4,6
/proc/606/stat : 606 (npSolver-wbo) S 603 603 562 0 -1 4202496 18089 138423 0 0 89 12 167031 95 20 0 1 0 288996979 20197376 4152 33554432000 4194304 5990268 140734830533744 140734830525184 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/606/statm: 4931 4152 164 439 0 4488 0
[pid=757] ppid=606 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/757/stat : 757 (satsolver.sh) S 606 603 562 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289164241 9367552 267 33554432000 4194304 5064252 140733259294320 140733259293232 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/757/statm: 2287 267 226 213 0 72 0
[pid=758] ppid=757 vsize=156320 CPUtime=127.75 cores=0,2,4,6
/proc/758/stat : 758 (glucose) R 757 603 562 0 -1 4202496 11052 0 0 0 12770 5 0 0 20 0 1 0 289164241 160071680 29240 33554432000 4194304 5208918 140736159752688 140736159750680 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/758/statm: 39080 29240 105 248 0 38829 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 194340

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.06
CPU user time (s): 1798.92
CPU system time (s): 1.14283
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 225044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.92
system time used= 1.14283
maximum resident set size= 153128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168554
page faults= 0
swaps= 0
block input operations= 0
block output operations= 118376
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 781
involuntary context switches= 2563

runsolver used 2.91356 second user time and 8.5507 second system time

The end

Launcher Data 

Begin job on node134 at 2012-05-28 20:11:56
IDJOB=3713463
IDBENCH=79498
IDSOLVER=2294
FILE ID=node134/3713463-1338228716
RUNJOBID= node134-1338228716-578
PBS_JOBID= 14624637
Free space on /tmp= 71012 MiB

SOLVER NAME= npSolver 1.0
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/warehouse/normalized-cap73_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3713463-1338228716/watcher-3713463-1338228716 -o /tmp/evaluation-result-3713463-1338228716/solver-3713463-1338228716 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo.sh HOME/instance-3713463-1338228716.wbo 1558992255 HOME HOME

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

MD5SUM BENCH= 6884eb16d9ca5647137a605a0e2a2e0d
RANDOM SEED=1558992255

node134.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.278
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.55
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.278
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	: 5332.56
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.278
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	: 5332.55
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.278
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	: 5332.59
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.278
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	: 5332.55
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.278
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	: 5332.55
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.278
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	: 5332.57
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.278
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27616064 kB
Buffers:          479612 kB
Cached:          3899940 kB
SwapCached:            0 kB
Active:          1647092 kB
Inactive:        2743920 kB
Active(anon):       7652 kB
Inactive(anon):     5996 kB
Active(file):    1639440 kB
Inactive(file):  2737924 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16340 kB
Writeback:            12 kB
AnonPages:         17924 kB
Mapped:            13744 kB
Shmem:               212 kB
Slab:             726784 kB
SReclaimable:     168644 kB
SUnreclaim:       558140 kB
KernelStack:        1424 kB
PageTables:         4536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104048 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70984 MiB
End job on node134 at 2012-05-28 20:41:56