Trace number 3713462

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.05 1800.41

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/warehouse/
normalized-cap64_wcsp.wbo
MD5SUMeea9483bb210b3ae31db150f2467fbf7
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark10336274
Best CPU time to get the best result obtained on this benchmark1800.01
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 58368026
Min constraint cost 1
Max constraint cost 58368026
Sum of constraints costs 47051030826
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 19207135
0.00/0.06	c current bound: 9603567
0.00/0.06	c fallback to adder encoding
36.66/36.78	c current bound: 14405351
36.66/36.78	c fallback to adder encoding
251.23/251.38	o 14404290
251.23/251.38	c current bound: 12003929
251.23/251.38	c fallback to adder encoding
744.26/744.51	o 11993344
744.26/744.51	c current bound: 10798456
744.26/744.51	c fallback to adder encoding
980.72/981.01	o 10796626
980.72/981.01	c current bound: 10200097
980.72/981.01	c fallback to adder encoding
1216.94/1217.27	o 10196748
1216.94/1217.27	c current bound: 9900158
1216.94/1217.27	c fallback to adder encoding
1289.83/1290.10	c current bound: 10048453
1289.83/1290.10	c fallback to adder encoding
1423.69/1424.09	c current bound: 10122601
1423.69/1424.09	c fallback to adder encoding
1598.06/1598.47	o 10115800
1598.06/1598.47	c current bound: 10082127
1598.06/1598.47	c fallback to adder encoding
1787.65/1788.11	o 10082110
1787.65/1788.11	c current bound: 10065282
1787.65/1788.11	c fallback to adder encoding
1800.01/1800.40	./satsolver.sh: line 5:   768 Terminated              ./glucose $1 > $2 2> /dev/null
1800.01/1800.41	c error: unexpected solver exit code
1800.01/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-3713462-1338228716/watcher-3713462-1338228716 -o /tmp/evaluation-result-3713462-1338228716/solver-3713462-1338228716 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3713462-1338228716.wbo 1558992255 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: 0.93 1.03 1.34 3/177 605
/proc/meminfo: memFree=27614824/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0

[startup+0.059779 s]
/proc/loadavg: 0.93 1.03 1.34 3/177 605
/proc/meminfo: memFree=27614824/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100267 s]
/proc/loadavg: 0.93 1.03 1.34 3/177 605
/proc/meminfo: memFree=27614824/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300247 s]
/proc/loadavg: 0.93 1.03 1.34 3/177 605
/proc/meminfo: memFree=27614824/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700237 s]
/proc/loadavg: 0.93 1.03 1.34 3/177 605
/proc/meminfo: memFree=27614824/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/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: 0.93 1.03 1.34 4/185 633
/proc/meminfo: memFree=27543808/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=11536 CPUtime=0.16 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 2793 5166 0 0 11 2 2 1 20 0 1 0 288996979 11812864 2122 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 2884 2122 164 439 0 2441 0
[pid=632] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/632/stat : 632 (satsolver.sh) S 607 605 562 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288996997 9367552 267 33554432000 4194304 5064252 140733700474496 140733700473408 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/632/statm: 2287 267 226 213 0 72 0
[pid=633] ppid=632 vsize=26296 CPUtime=1.31 cores=1,3,5,7
/proc/633/stat : 633 (glucose) R 632 605 562 0 -1 4202496 6380 0 0 0 130 1 0 0 20 0 1 0 288996998 26927104 5762 33554432000 4194304 5208918 140735355306656 140735355304616 4229549 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/633/statm: 6574 5762 105 248 0 6323 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 56128

[startup+3.10044 s]
/proc/loadavg: 0.93 1.03 1.34 4/185 633
/proc/meminfo: memFree=27538968/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=11536 CPUtime=0.16 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 2793 5166 0 0 11 2 2 1 20 0 1 0 288996979 11812864 2122 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 2884 2122 164 439 0 2441 0
[pid=632] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/632/stat : 632 (satsolver.sh) S 607 605 562 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288996997 9367552 267 33554432000 4194304 5064252 140733700474496 140733700473408 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/632/statm: 2287 267 226 213 0 72 0
[pid=633] ppid=632 vsize=34128 CPUtime=2.9 cores=1,3,5,7
/proc/633/stat : 633 (glucose) R 632 605 562 0 -1 4202496 7027 0 0 0 289 1 0 0 20 0 1 0 288996998 34947072 7672 33554432000 4194304 5208918 140735355306656 140735355304520 4211147 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/633/statm: 8532 7672 105 248 0 8281 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 63960

[startup+6.30044 s]
/proc/loadavg: 1.01 1.04 1.34 4/185 633
/proc/meminfo: memFree=27520108/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=11536 CPUtime=0.16 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 2793 5166 0 0 11 2 2 1 20 0 1 0 288996979 11812864 2122 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 2884 2122 164 439 0 2441 0
[pid=632] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/632/stat : 632 (satsolver.sh) S 607 605 562 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288996997 9367552 267 33554432000 4194304 5064252 140733700474496 140733700473408 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/632/statm: 2287 267 226 213 0 72 0
[pid=633] ppid=632 vsize=34128 CPUtime=6.11 cores=1,3,5,7
/proc/633/stat : 633 (glucose) R 632 605 562 0 -1 4202496 7337 0 0 0 609 2 0 0 20 0 1 0 288996998 34947072 7692 33554432000 4194304 5208918 140735355306656 140735355303032 4213236 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/633/statm: 8532 7692 105 248 0 8281 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 63960

[startup+12.7004 s]
/proc/loadavg: 1.09 1.06 1.34 4/185 633
/proc/meminfo: memFree=27498976/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=11536 CPUtime=0.16 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 2793 5166 0 0 11 2 2 1 20 0 1 0 288996979 11812864 2122 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 2884 2122 164 439 0 2441 0
[pid=632] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/632/stat : 632 (satsolver.sh) S 607 605 562 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288996997 9367552 267 33554432000 4194304 5064252 140733700474496 140733700473408 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/632/statm: 2287 267 226 213 0 72 0
[pid=633] ppid=632 vsize=45620 CPUtime=12.51 cores=1,3,5,7
/proc/633/stat : 633 (glucose) R 632 605 562 0 -1 4202496 8214 0 0 0 1249 2 0 0 20 0 1 0 288996998 46714880 10565 33554432000 4194304 5208918 140735355306656 140735355303032 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/633/statm: 11405 10565 105 248 0 11154 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 75452

[startup+25.5075 s]
/proc/loadavg: 1.29 1.10 1.35 4/185 633
/proc/meminfo: memFree=27476448/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=11536 CPUtime=0.16 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 2793 5166 0 0 11 2 2 1 20 0 1 0 288996979 11812864 2122 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 2884 2122 164 439 0 2441 0
[pid=632] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/632/stat : 632 (satsolver.sh) S 607 605 562 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288996997 9367552 267 33554432000 4194304 5064252 140733700474496 140733700473408 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/632/statm: 2287 267 226 213 0 72 0
[pid=633] ppid=632 vsize=57224 CPUtime=25.31 cores=1,3,5,7
/proc/633/stat : 633 (glucose) R 632 605 562 0 -1 4202496 8549 0 0 0 2529 2 0 0 20 0 1 0 288996998 58597376 13440 33554432000 4194304 5208918 140735355306656 140735355302424 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/633/statm: 14306 13440 105 248 0 14055 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 87056

[startup+51.1004 s]
/proc/loadavg: 1.53 1.17 1.37 4/185 641
/proc/meminfo: memFree=27470668/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=19728 CPUtime=36.87 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 4837 18253 0 0 22 3 3656 6 20 0 1 0 288996979 20201472 4298 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 4932 4298 164 439 0 4489 0
[pid=639] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/639/stat : 639 (satsolver.sh) S 607 605 562 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289000669 9367552 267 33554432000 4194304 5064252 140734701303680 140734701302592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/639/statm: 2287 267 226 213 0 72 0
[pid=640] ppid=639 vsize=45996 CPUtime=14.19 cores=1,3,5,7
/proc/640/stat : 640 (glucose) R 639 605 562 0 -1 4202496 8246 0 0 0 1417 2 0 0 20 0 1 0 289000669 47099904 10718 33554432000 4194304 5208918 140736453089248 140736453085624 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/640/statm: 11499 10718 105 248 0 11248 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 84020

[startup+102.3 s]
/proc/loadavg: 1.80 1.30 1.40 4/185 648
/proc/meminfo: memFree=27420996/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=19728 CPUtime=36.87 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 4837 18253 0 0 22 3 3656 6 20 0 1 0 288996979 20201472 4298 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 4932 4298 164 439 0 4489 0
[pid=639] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/639/stat : 639 (satsolver.sh) S 607 605 562 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289000669 9367552 267 33554432000 4194304 5064252 140734701303680 140734701302592 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/639/statm: 2287 267 226 213 0 72 0
[pid=640] ppid=639 vsize=88948 CPUtime=65.37 cores=1,3,5,7
/proc/640/stat : 640 (glucose) R 639 605 562 0 -1 4202496 10785 0 0 0 6534 3 0 0 20 0 1 0 289000669 91082752 21520 33554432000 4194304 5208918 140736453089248 140736453085624 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/640/statm: 22237 21520 105 248 0 21986 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 126972

[startup+162.3 s]
/proc/loadavg: 1.92 1.42 1.43 4/185 648
/proc/meminfo: memFree=27387420/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=19728 CPUtime=36.87 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 4837 18253 0 0 22 3 3656 6 20 0 1 0 288996979 20201472 4298 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 4932 4298 164 439 0 4489 0
[pid=639] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7

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


[startup+1362.3 s]
/proc/loadavg: 2.00 1.99 1.82 4/185 728
/proc/meminfo: memFree=27447800/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=19724 CPUtime=1289.95 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 15153 105180 0 0 73 11 128828 83 20 0 1 0 288996979 20197376 4298 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 4931 4298 164 439 0 4488 0
[pid=720] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/720/stat : 720 (satsolver.sh) S 607 605 562 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289126001 9367552 267 33554432000 4194304 5064252 140736970611056 140736970609968 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/720/statm: 2287 267 226 213 0 72 0
[pid=721] ppid=720 vsize=107568 CPUtime=72.05 cores=1,3,5,7
/proc/721/stat : 721 (glucose) R 720 605 562 0 -1 4202496 10604 0 0 0 7200 5 0 0 20 0 1 0 289126002 110149632 19178 33554432000 4194304 5208918 140734115095808 140734115093752 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/721/statm: 26892 19178 105 248 0 26641 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 145588

[startup+1422.3 s]
/proc/loadavg: 2.00 1.99 1.83 4/185 728
/proc/meminfo: memFree=27399380/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=19724 CPUtime=1289.95 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 15153 105180 0 0 73 11 128828 83 20 0 1 0 288996979 20197376 4298 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 4931 4298 164 439 0 4488 0
[pid=720] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/720/stat : 720 (satsolver.sh) S 607 605 562 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289126001 9367552 267 33554432000 4194304 5064252 140736970611056 140736970609968 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/720/statm: 2287 267 226 213 0 72 0
[pid=721] ppid=720 vsize=107568 CPUtime=132.04 cores=1,3,5,7
/proc/721/stat : 721 (glucose) R 720 605 562 0 -1 4202496 11635 0 0 0 13197 7 0 0 20 0 1 0 289126002 110149632 21690 33554432000 4194304 5208918 140734115095808 140734115093896 4229296 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/721/statm: 26892 21690 105 248 0 26641 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 145588

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.83 4/185 743
/proc/meminfo: memFree=27455736/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=19724 CPUtime=1423.9 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 17197 119701 0 0 83 13 142203 91 20 0 1 0 288996979 20197376 4298 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 4931 4298 164 439 0 4488 0
[pid=734] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/734/stat : 734 (satsolver.sh) S 607 605 562 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289139400 9367552 266 33554432000 4194304 5064252 140737251933104 140737251932016 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/734/statm: 2287 266 226 213 0 72 0
[pid=735] ppid=734 vsize=76636 CPUtime=58.06 cores=1,3,5,7
/proc/735/stat : 735 (glucose) R 734 605 562 0 -1 4202496 9386 0 0 0 5803 3 0 0 20 0 1 0 289139401 78475264 17134 33554432000 4194304 5208918 140735754652336 140735754648712 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/735/statm: 19159 17134 105 248 0 18908 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 114656

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.84 4/185 743
/proc/meminfo: memFree=27407688/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=19724 CPUtime=1423.9 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 17197 119701 0 0 83 13 142203 91 20 0 1 0 288996979 20197376 4298 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 4931 4298 164 439 0 4488 0
[pid=734] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/734/stat : 734 (satsolver.sh) S 607 605 562 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289139400 9367552 266 33554432000 4194304 5064252 140737251933104 140737251932016 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/734/statm: 2287 266 226 213 0 72 0
[pid=735] ppid=734 vsize=107244 CPUtime=118.06 cores=1,3,5,7
/proc/735/stat : 735 (glucose) R 734 605 562 0 -1 4202496 10116 0 0 0 11801 5 0 0 20 0 1 0 289139401 109817856 20656 33554432000 4194304 5208918 140735754652336 140735754648712 4211376 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/735/statm: 26811 20656 105 248 0 26560 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 145264

[startup+1602.3 s]
/proc/loadavg: 2.03 2.00 1.85 4/185 751
/proc/meminfo: memFree=27458888/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=19724 CPUtime=1598.25 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 19265 133639 0 0 94 14 159615 102 20 0 1 0 288996979 20197376 4298 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 4931 4298 164 439 0 4488 0
[pid=750] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/750/stat : 750 (satsolver.sh) S 607 605 562 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289156838 9367552 267 33554432000 4194304 5064252 140735644153872 140735644152784 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/750/statm: 2287 267 226 213 0 72 0
[pid=751] ppid=750 vsize=34404 CPUtime=3.69 cores=1,3,5,7
/proc/751/stat : 751 (glucose) R 750 605 562 0 -1 4202496 7814 0 0 0 368 1 0 0 20 0 1 0 289156839 35229696 7406 33554432000 4194304 5208918 140737357667744 140737357665576 4211904 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/751/statm: 8601 7406 105 248 0 8350 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 72424

[startup+1662.31 s]
/proc/loadavg: 2.01 2.00 1.86 4/185 751
/proc/meminfo: memFree=27360220/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=19724 CPUtime=1598.25 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 19265 133639 0 0 94 14 159615 102 20 0 1 0 288996979 20197376 4298 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 4931 4298 164 439 0 4488 0
[pid=750] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/750/stat : 750 (satsolver.sh) S 607 605 562 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289156838 9367552 267 33554432000 4194304 5064252 140735644153872 140735644152784 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/750/statm: 2287 267 226 213 0 72 0
[pid=751] ppid=750 vsize=106780 CPUtime=63.69 cores=1,3,5,7
/proc/751/stat : 751 (glucose) R 750 605 562 0 -1 4202496 11693 0 0 0 6365 4 0 0 20 0 1 0 289156839 109342720 20071 33554432000 4194304 5208918 140737357667744 140737357664120 4211834 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/751/statm: 26695 20071 105 248 0 26444 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 144800

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.86 4/186 761
/proc/meminfo: memFree=27381616/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=19724 CPUtime=1598.25 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 19265 133639 0 0 94 14 159615 102 20 0 1 0 288996979 20197376 4298 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 4931 4298 164 439 0 4488 0
[pid=750] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/750/stat : 750 (satsolver.sh) S 607 605 562 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289156838 9367552 267 33554432000 4194304 5064252 140735644153872 140735644152784 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/750/statm: 2287 267 226 213 0 72 0
[pid=751] ppid=750 vsize=156100 CPUtime=123.67 cores=1,3,5,7
/proc/751/stat : 751 (glucose) R 750 605 562 0 -1 4202496 11901 0 0 0 12361 6 0 0 20 0 1 0 289156839 159846400 30028 33554432000 4194304 5208918 140737357667744 140737357664120 4211656 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/751/statm: 39025 30028 105 248 0 38774 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 194120

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.87 4/185 761
/proc/meminfo: memFree=27333764/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=19724 CPUtime=1598.25 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 19265 133639 0 0 94 14 159615 102 20 0 1 0 288996979 20197376 4298 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 4931 4298 164 439 0 4488 0
[pid=750] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/750/stat : 750 (satsolver.sh) S 607 605 562 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 289156838 9367552 267 33554432000 4194304 5064252 140735644153872 140735644152784 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/750/statm: 2287 267 226 213 0 72 0
[pid=751] ppid=750 vsize=156100 CPUtime=183.66 cores=1,3,5,7
/proc/751/stat : 751 (glucose) R 750 605 562 0 -1 4202496 12112 0 0 0 18358 8 0 0 20 0 1 0 289156839 159846400 29516 33554432000 4194304 5208918 140737357667744 140737357665736 4211744 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/751/statm: 39025 29516 105 248 0 38774 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 194120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.87 4/185 768
/proc/meminfo: memFree=27412456/32873844 swapFree=7124/7124
[pid=605] ppid=601 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/605/stat : 605 (npSolver-wbo.sh) S 601 605 562 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288996979 9367552 275 33554432000 4194304 5064252 140735619701136 140735619700048 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/605/statm: 2287 275 233 213 0 72 0
[pid=607] ppid=605 vsize=19724 CPUtime=1787.85 cores=1,3,5,7
/proc/607/stat : 607 (npSolver-wbo) S 605 605 562 0 -1 4202496 21333 148973 0 0 104 16 178550 115 20 0 1 0 288996979 20197376 4298 33554432000 4194304 5990268 140735199720176 140735199711616 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/607/statm: 4931 4298 164 439 0 4488 0
[pid=767] ppid=607 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/767/stat : 767 (satsolver.sh) S 607 605 562 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 289175802 9367552 267 33554432000 4194304 5064252 140736194613616 140736194612528 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/767/statm: 2287 267 226 213 0 72 0
[pid=768] ppid=767 vsize=45708 CPUtime=12.16 cores=1,3,5,7
/proc/768/stat : 768 (glucose) R 767 605 562 0 -1 4202496 7621 0 0 0 1213 3 0 0 20 0 1 0 289175802 46804992 9355 33554432000 4194304 5208918 140735771160000 140735771156376 4211019 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/768/statm: 11427 9355 105 248 0 11176 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 83728

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.05
CPU user time (s): 1798.69
CPU system time (s): 1.35779
CPU usage (%): 99.98
Max. virtual memory (cumulated for all children) (KiB): 274392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.35779
maximum resident set size= 196712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178918
page faults= 0
swaps= 0
block input operations= 0
block output operations= 131552
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 904
involuntary context switches= 2071

runsolver used 4.85526 second user time and 10.0755 second system time

The end

Launcher Data 

Begin job on node134 at 2012-05-28 20:11:56
IDJOB=3713462
IDBENCH=79499
IDSOLVER=2294
FILE ID=node134/3713462-1338228716
RUNJOBID= node134-1338228716-579
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-cap64_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3713462-1338228716/watcher-3713462-1338228716 -o /tmp/evaluation-result-3713462-1338228716/solver-3713462-1338228716 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo.sh HOME/instance-3713462-1338228716.wbo 1558992255 HOME HOME

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

MD5SUM BENCH= eea9483bb210b3ae31db150f2467fbf7
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:        27616196 kB
Buffers:          479612 kB
Cached:          3899940 kB
SwapCached:            0 kB
Active:          1647244 kB
Inactive:        2743660 kB
Active(anon):       7544 kB
Inactive(anon):     5996 kB
Active(file):    1639700 kB
Inactive(file):  2737664 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16340 kB
Writeback:            12 kB
AnonPages:         17832 kB
Mapped:            13744 kB
Shmem:               212 kB
Slab:             726792 kB
SReclaimable:     168644 kB
SUnreclaim:       558148 kB
KernelStack:        1416 kB
PageTables:         4116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104460 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