Trace number 3694846

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
pb2satCp2 2012-05-19? (TO) 1800.07 1803.81

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
MD5SUM13c1b3915f4d316b882a7e551b1f0496
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark488
Best CPU time to get the best result obtained on this benchmark1791.96
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 502
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 498884
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 498884
Number of bits of the biggest sum of numbers19
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 

166.42/166.51	c model valid
166.42/166.51	c current solution ok
167.71/167.95	o 7540
167.71/167.95	c fallback to adder encoding
172.41/172.67	c model valid
172.41/172.67	c current solution ok
172.48/174.32	o 7071
172.48/174.32	c fallback to adder encoding
176.48/178.35	c model valid
176.48/178.35	c current solution ok
176.55/179.33	o 6864
176.55/179.33	c fallback to adder encoding
184.75/188.02	c model valid
184.75/188.02	c current solution ok
184.75/188.04	o 6633
184.75/188.04	c fallback to adder encoding
290.42/293.77	c model valid
290.42/293.77	c current solution ok
290.51/293.80	o 6565
290.51/293.80	c fallback to adder encoding
299.72/303.04	c model valid
299.72/303.04	c current solution ok
299.72/303.07	o 6310
299.72/303.07	c fallback to adder encoding
425.06/428.54	c model valid
425.06/428.54	c current solution ok
425.06/428.57	o 6246
425.06/428.57	c fallback to adder encoding
624.61/628.13	c model valid
624.61/628.13	c current solution ok
624.61/628.16	o 6221
624.61/628.16	c fallback to adder encoding
677.99/681.51	c model valid
677.99/681.51	c current solution ok
677.99/681.53	o 6214
677.99/681.53	c fallback to adder encoding
1800.07/1803.81	c error: unexpected solver exit code
1800.07/1803.81	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-3694846-1338312570/watcher-3694846-1338312570 -o /tmp/evaluation-result-3694846-1338312570/solver-3694846-1338312570 -C 1800 -W 1900 -M 15500 HOME/runPb2satCp2.sh HOME/instance-3694846-1338312570.opb 633566555 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.80 2/171 21772
/proc/meminfo: memFree=29850036/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0

[startup+0.0420639 s]
/proc/loadavg: 1.92 1.97 1.80 2/171 21772
/proc/meminfo: memFree=29850036/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100672 s]
/proc/loadavg: 1.92 1.97 1.80 2/171 21772
/proc/meminfo: memFree=29850036/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300219 s]
/proc/loadavg: 1.92 1.97 1.80 2/171 21772
/proc/meminfo: memFree=29850036/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700866 s]
/proc/loadavg: 1.92 1.97 1.80 2/171 21772
/proc/meminfo: memFree=29850036/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50022 s]
/proc/loadavg: 2.01 1.99 1.80 3/179 21784
/proc/meminfo: memFree=29837424/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=20992 CPUtime=1.27 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 3422 0 0 0 125 2 0 0 20 0 1 0 297382939 21495808 3467 33554432000 4194304 5873084 140734526109328 140734526105752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21773/statm: 5248 3467 162 410 0 4830 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 30140

[startup+3.10114 s]
/proc/loadavg: 2.01 1.99 1.80 3/183 21788
/proc/meminfo: memFree=29729620/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=20992 CPUtime=1.27 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 3422 0 0 0 125 2 0 0 20 0 1 0 297382939 21495808 3467 33554432000 4194304 5873084 140734526109328 140734526105752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21773/statm: 5248 3467 162 410 0 4830 0
[pid=21785] ppid=21773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21785/stat : 21785 (satsolver.sh) S 21773 21772 21592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297383067 9367552 267 33554432000 4194304 5064252 140734927287776 140734927286688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21785/statm: 2287 267 226 213 0 72 0
[pid=21786] ppid=21785 vsize=43848 CPUtime=1.8 cores=1,3,5,7
/proc/21786/stat : 21786 (glucose_static) R 21785 21772 21592 0 -1 4202496 10367 0 0 0 179 1 0 0 20 0 1 0 297383068 44900352 10247 33554432000 4194304 4896791 140735328561440 140735328558648 4203956 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21786/statm: 10962 10247 76 172 0 10788 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 83136

[startup+6.30032 s]
/proc/loadavg: 2.01 1.99 1.80 3/183 21788
/proc/meminfo: memFree=29697808/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=20992 CPUtime=1.27 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 3422 0 0 0 125 2 0 0 20 0 1 0 297382939 21495808 3467 33554432000 4194304 5873084 140734526109328 140734526105752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21773/statm: 5248 3467 162 410 0 4830 0
[pid=21785] ppid=21773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21785/stat : 21785 (satsolver.sh) S 21773 21772 21592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297383067 9367552 267 33554432000 4194304 5064252 140734927287776 140734927286688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21785/statm: 2287 267 226 213 0 72 0
[pid=21786] ppid=21785 vsize=44164 CPUtime=5 cores=1,3,5,7
/proc/21786/stat : 21786 (glucose_static) R 21785 21772 21592 0 -1 4202496 12419 0 0 0 498 2 0 0 20 0 1 0 297383068 45223936 10177 33554432000 4194304 4896791 140735328561440 140735328559016 4225201 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21786/statm: 11041 10177 76 172 0 10867 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 83452

[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.81 3/183 21788
/proc/meminfo: memFree=29717860/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=20992 CPUtime=1.27 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 3422 0 0 0 125 2 0 0 20 0 1 0 297382939 21495808 3467 33554432000 4194304 5873084 140734526109328 140734526105752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21773/statm: 5248 3467 162 410 0 4830 0
[pid=21785] ppid=21773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21785/stat : 21785 (satsolver.sh) S 21773 21772 21592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297383067 9367552 267 33554432000 4194304 5064252 140734927287776 140734927286688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21785/statm: 2287 267 226 213 0 72 0
[pid=21786] ppid=21785 vsize=56596 CPUtime=11.39 cores=1,3,5,7
/proc/21786/stat : 21786 (glucose_static) R 21785 21772 21592 0 -1 4202496 15731 0 0 0 1135 4 0 0 20 0 1 0 297383068 57954304 11303 33554432000 4194304 4896791 140735328561440 140735328558968 4203856 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21786/statm: 14149 11303 76 172 0 13975 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 95884

[startup+25.5003 s]
/proc/loadavg: 2.08 2.00 1.81 3/183 21788
/proc/meminfo: memFree=29707552/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=20992 CPUtime=1.27 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 3422 0 0 0 125 2 0 0 20 0 1 0 297382939 21495808 3467 33554432000 4194304 5873084 140734526109328 140734526105752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21773/statm: 5248 3467 162 410 0 4830 0
[pid=21785] ppid=21773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21785/stat : 21785 (satsolver.sh) S 21773 21772 21592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297383067 9367552 267 33554432000 4194304 5064252 140734927287776 140734927286688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21785/statm: 2287 267 226 213 0 72 0
[pid=21786] ppid=21785 vsize=58160 CPUtime=24.19 cores=1,3,5,7
/proc/21786/stat : 21786 (glucose_static) R 21785 21772 21592 0 -1 4202496 20276 0 0 0 2411 8 0 0 20 0 1 0 297383068 59555840 12755 33554432000 4194304 4896791 140735328561440 140735328558648 4203873 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21786/statm: 14540 12755 76 172 0 14366 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 97448

[startup+51.1004 s]
/proc/loadavg: 2.05 2.00 1.82 3/184 21791
/proc/meminfo: memFree=29669964/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=20992 CPUtime=1.27 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 3422 0 0 0 125 2 0 0 20 0 1 0 297382939 21495808 3467 33554432000 4194304 5873084 140734526109328 140734526105752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21773/statm: 5248 3467 162 410 0 4830 0
[pid=21785] ppid=21773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21785/stat : 21785 (satsolver.sh) S 21773 21772 21592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297383067 9367552 267 33554432000 4194304 5064252 140734927287776 140734927286688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21785/statm: 2287 267 226 213 0 72 0
[pid=21786] ppid=21785 vsize=79072 CPUtime=49.78 cores=1,3,5,7
/proc/21786/stat : 21786 (glucose_static) R 21785 21772 21592 0 -1 4202496 27648 0 0 0 4965 13 0 0 20 0 1 0 297383068 80969728 17950 33554432000 4194304 4896791 140735328561440 140735328558648 4225148 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21786/statm: 19768 17950 76 172 0 19594 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 118360

[startup+102.307 s]
/proc/loadavg: 2.02 2.00 1.82 3/183 21791
/proc/meminfo: memFree=29684092/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=20992 CPUtime=1.27 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 3422 0 0 0 125 2 0 0 20 0 1 0 297382939 21495808 3467 33554432000 4194304 5873084 140734526109328 140734526105752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21773/statm: 5248 3467 162 410 0 4830 0
[pid=21785] ppid=21773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21785/stat : 21785 (satsolver.sh) S 21773 21772 21592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297383067 9367552 267 33554432000 4194304 5064252 140734927287776 140734927286688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21785/statm: 2287 267 226 213 0 72 0
[pid=21786] ppid=21785 vsize=80996 CPUtime=100.98 cores=1,3,5,7
/proc/21786/stat : 21786 (glucose_static) R 21785 21772 21592 0 -1 4202496 39991 0 0 0 10076 22 0 0 20 0 1 0 297383068 82939904 15788 33554432000 4194304 4896791 140735328561440 140735328558968 4225191 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21786/statm: 20249 15788 76 172 0 20075 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 120284

[startup+162.3 s]
/proc/loadavg: 2.01 2.00 1.83 3/183 21792
/proc/meminfo: memFree=29642724/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=20992 CPUtime=1.27 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 3422 0 0 0 125 2 0 0 20 0 1 0 297382939 21495808 3467 33554432000 4194304 5873084 140734526109328 140734526105752 5124602 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21773/statm: 5248 3467 162 410 0 4830 0
[pid=21785] ppid=21773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21785/stat : 21785 (satsolver.sh) S 21773 21772 21592 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 297383067 9367552 267 33554432000 4194304 5064252 140734927287776 140734927286688 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21785/statm: 2287 267 226 213 0 72 0
[pid=21786] ppid=21785 vsize=114444 CPUtime=160.96 cores=1,3,5,7
/proc/21786/stat : 21786 (glucose_static) R 21785 21772 21592 0 -1 4202496 49878 0 0 0 16064 32 0 0 20 0 1 0 297383068 117190656 21459 33554432000 4194304 4896791 140735328561440 140735328558968 4225445 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21786/statm: 28611 21459 76 172 0 28437 0
Current children cumulated CPU time (s) 162.23

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

/proc/21835/stat : 21835 (glucose_static) R 21834 21772 21592 0 -1 4202496 70453 0 0 0 67930 55 0 0 20 0 1 0 297451170 232607744 52045 33554432000 4194304 4896791 140737333987232 140737333984872 4224983 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 56789 52045 78 172 0 56615 0
Current children cumulated CPU time (s) 1358.65
Current children cumulated vsize (KiB) 339332

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 21841
/proc/meminfo: memFree=28967864/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=93880 CPUtime=678.8 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 63042 347538 0 0 1370 193 66154 163 20 0 1 0 297382939 96133120 17202 33554432000 4194304 5873084 140734526109328 140734526103144 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/21773/statm: 23470 17202 179 410 0 23052 0
[pid=21834] ppid=21773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21834/stat : 21834 (satsolver.sh) S 21773 21772 21592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 297451169 9367552 266 33554432000 4194304 5064252 140735509752688 140735509751600 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21834/statm: 2287 266 226 213 0 72 0
[pid=21835] ppid=21834 vsize=228860 CPUtime=739.84 cores=1,3,5,7
/proc/21835/stat : 21835 (glucose_static) R 21834 21772 21592 0 -1 4202496 74321 0 0 0 73923 61 0 0 20 0 1 0 297451170 234352640 48903 33554432000 4194304 4896791 140737333987232 140737333982312 4206040 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 57215 48903 78 172 0 57041 0
Current children cumulated CPU time (s) 1418.64
Current children cumulated vsize (KiB) 341036

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 21841
/proc/meminfo: memFree=28948844/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=93880 CPUtime=678.8 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 63042 347538 0 0 1370 193 66154 163 20 0 1 0 297382939 96133120 17202 33554432000 4194304 5873084 140734526109328 140734526103144 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/21773/statm: 23470 17202 179 410 0 23052 0
[pid=21834] ppid=21773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21834/stat : 21834 (satsolver.sh) S 21773 21772 21592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 297451169 9367552 266 33554432000 4194304 5064252 140735509752688 140735509751600 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21834/statm: 2287 266 226 213 0 72 0
[pid=21835] ppid=21834 vsize=362336 CPUtime=799.82 cores=1,3,5,7
/proc/21835/stat : 21835 (glucose_static) R 21834 21772 21592 0 -1 4202496 76555 0 0 0 79918 64 0 0 20 0 1 0 297451170 371032064 71758 33554432000 4194304 4896791 140737333987232 140737333984872 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 90584 71758 78 172 0 90410 0
Current children cumulated CPU time (s) 1478.62
Current children cumulated vsize (KiB) 474512

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 21841
/proc/meminfo: memFree=29088632/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=93880 CPUtime=678.8 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 63042 347538 0 0 1370 193 66154 163 20 0 1 0 297382939 96133120 17202 33554432000 4194304 5873084 140734526109328 140734526103144 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/21773/statm: 23470 17202 179 410 0 23052 0
[pid=21834] ppid=21773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21834/stat : 21834 (satsolver.sh) S 21773 21772 21592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 297451169 9367552 266 33554432000 4194304 5064252 140735509752688 140735509751600 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21834/statm: 2287 266 226 213 0 72 0
[pid=21835] ppid=21834 vsize=364088 CPUtime=859.81 cores=1,3,5,7
/proc/21835/stat : 21835 (glucose_static) R 21834 21772 21592 0 -1 4202496 79169 0 0 0 85913 68 0 0 20 0 1 0 297451170 372826112 73208 33554432000 4194304 4896791 140737333987232 140737333984440 4204342 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 91022 73208 78 172 0 90848 0
Current children cumulated CPU time (s) 1538.61
Current children cumulated vsize (KiB) 476264

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 21841
/proc/meminfo: memFree=29137420/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=93880 CPUtime=678.8 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 63042 347538 0 0 1370 193 66154 163 20 0 1 0 297382939 96133120 17202 33554432000 4194304 5873084 140734526109328 140734526103144 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/21773/statm: 23470 17202 179 410 0 23052 0
[pid=21834] ppid=21773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21834/stat : 21834 (satsolver.sh) S 21773 21772 21592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 297451169 9367552 266 33554432000 4194304 5064252 140735509752688 140735509751600 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21834/statm: 2287 266 226 213 0 72 0
[pid=21835] ppid=21834 vsize=285056 CPUtime=919.8 cores=1,3,5,7
/proc/21835/stat : 21835 (glucose_static) R 21834 21772 21592 0 -1 4202496 81747 0 0 0 91905 75 0 0 20 0 1 0 297451170 291897344 60310 33554432000 4194304 4896791 140737333987232 140737333984440 4225029 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 71264 60310 78 172 0 71090 0
Current children cumulated CPU time (s) 1598.6
Current children cumulated vsize (KiB) 397232

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 21841
/proc/meminfo: memFree=28934204/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=93880 CPUtime=678.8 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 63042 347538 0 0 1370 193 66154 163 20 0 1 0 297382939 96133120 17202 33554432000 4194304 5873084 140734526109328 140734526103144 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/21773/statm: 23470 17202 179 410 0 23052 0
[pid=21834] ppid=21773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21834/stat : 21834 (satsolver.sh) S 21773 21772 21592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 297451169 9367552 266 33554432000 4194304 5064252 140735509752688 140735509751600 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21834/statm: 2287 266 226 213 0 72 0
[pid=21835] ppid=21834 vsize=500432 CPUtime=979.79 cores=1,3,5,7
/proc/21835/stat : 21835 (glucose_static) R 21834 21772 21592 0 -1 4202496 83704 0 0 0 97901 78 0 0 20 0 1 0 297451170 512442368 90600 33554432000 4194304 4896791 140737333987232 140737333984760 4225201 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 125108 90600 78 172 0 124934 0
Current children cumulated CPU time (s) 1658.59
Current children cumulated vsize (KiB) 612608

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/183 21842
/proc/meminfo: memFree=29118152/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=93880 CPUtime=678.8 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 63042 347538 0 0 1370 193 66154 163 20 0 1 0 297382939 96133120 17202 33554432000 4194304 5873084 140734526109328 140734526103144 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/21773/statm: 23470 17202 179 410 0 23052 0
[pid=21834] ppid=21773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21834/stat : 21834 (satsolver.sh) S 21773 21772 21592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 297451169 9367552 266 33554432000 4194304 5064252 140735509752688 140735509751600 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21834/statm: 2287 266 226 213 0 72 0
[pid=21835] ppid=21834 vsize=289152 CPUtime=1039.78 cores=1,3,5,7
/proc/21835/stat : 21835 (glucose_static) R 21834 21772 21592 0 -1 4202496 85784 0 0 0 103895 83 0 0 20 0 1 0 297451170 296091648 57059 33554432000 4194304 4896791 140737333987232 140737333984760 4203775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 72288 57059 78 172 0 72114 0
Current children cumulated CPU time (s) 1718.58
Current children cumulated vsize (KiB) 401328

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 1.93 3/183 21842
/proc/meminfo: memFree=28920856/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=93880 CPUtime=678.8 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 63042 347538 0 0 1370 193 66154 163 20 0 1 0 297382939 96133120 17202 33554432000 4194304 5873084 140734526109328 140734526103144 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/21773/statm: 23470 17202 179 410 0 23052 0
[pid=21834] ppid=21773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21834/stat : 21834 (satsolver.sh) S 21773 21772 21592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 297451169 9367552 266 33554432000 4194304 5064252 140735509752688 140735509751600 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21834/statm: 2287 266 226 213 0 72 0
[pid=21835] ppid=21834 vsize=371496 CPUtime=1099.76 cores=1,3,5,7
/proc/21835/stat : 21835 (glucose_static) R 21834 21772 21592 0 -1 4202496 87044 0 0 0 109891 85 0 0 20 0 1 0 297451170 380411904 77113 33554432000 4194304 4896791 140737333987232 140737333984440 4225148 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 92874 77113 78 172 0 92700 0
Current children cumulated CPU time (s) 1778.56
Current children cumulated vsize (KiB) 483672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.8 s]
/proc/loadavg: 2.05 2.01 1.93 2/175 21867
/proc/meminfo: memFree=29526952/32873648 swapFree=6852/6852
[pid=21772] ppid=21770 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21772/stat : 21772 (runPb2satCp2.sh) S 21770 21772 21592 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 297382939 9367552 275 33554432000 4194304 5064252 140736540439712 140736540438624 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21772/statm: 2287 275 233 213 0 72 0
[pid=21773] ppid=21772 vsize=93880 CPUtime=678.8 cores=1,3,5,7
/proc/21773/stat : 21773 (pb2sat) S 21772 21772 21592 0 -1 4202496 63042 347538 0 0 1370 193 66154 163 20 0 1 0 297382939 96133120 17202 33554432000 4194304 5873084 140734526109328 140734526103144 5124602 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 15 0 0
/proc/21773/statm: 23470 17202 179 410 0 23052 0
[pid=21834] ppid=21773 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21834/stat : 21834 (satsolver.sh) S 21773 21772 21592 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 297451169 9367552 266 33554432000 4194304 5064252 140735509752688 140735509751600 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21834/statm: 2287 266 226 213 0 72 0
[pid=21835] ppid=21834 vsize=241188 CPUtime=1121.27 cores=1,3,5,7
/proc/21835/stat : 21835 (glucose_static) R 21834 21772 21592 0 -1 4202496 88460 0 0 0 112039 88 0 0 20 0 1 0 297451170 246976512 53387 33554432000 4194304 4896791 140737333987232 140737333984760 4223886 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21835/statm: 60297 53387 78 172 0 60123 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 353364

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21772 and gives
#  childrusage.ru_utime.tv_sec=675
#  childrusage.ru_utime.tv_usec=246346
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=571457
# CPU time returned by wait4() is 678.818
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1803.81
CPU time (s): 1800.07
CPU user time (s): 1795.63
CPU system time (s): 4.44
CPU usage (%): 99.7925
Max. virtual memory (cumulated for all children) (KiB): 664060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 675.246
system time used= 3.57146
maximum resident set size= 228924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411556
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1078992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 335
involuntary context switches= 1262

runsolver used 5.46617 second user time and 18.7951 second system time

The end

Launcher Data 

Begin job on node124 at 2012-05-29 19:29:31
IDJOB=3694846
IDBENCH=1973
IDSOLVER=2273
FILE ID=node124/3694846-1338312570
RUNJOBID= node124-1338312570-21754
PBS_JOBID= 14632104
Free space on /tmp= 70996 MiB

SOLVER NAME= pb2satCp2 2012-05-19
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
COMMAND LINE= DIR/runPb2satCp2.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3694846-1338312570/watcher-3694846-1338312570 -o /tmp/evaluation-result-3694846-1338312570/solver-3694846-1338312570 -C 1800 -W 1900 -M 15500  HOME/runPb2satCp2.sh HOME/instance-3694846-1338312570.opb 633566555 HOME HOME

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

MD5SUM BENCH= 13c1b3915f4d316b882a7e551b1f0496
RANDOM SEED=633566555

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29850440 kB
Buffers:          441828 kB
Cached:          1703320 kB
SwapCached:         2132 kB
Active:          1454664 kB
Inactive:         702728 kB
Active(anon):       2060 kB
Inactive(anon):    12180 kB
Active(file):    1452604 kB
Inactive(file):   690548 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67105524 kB
Dirty:             50472 kB
Writeback:             4 kB
AnonPages:         16724 kB
Mapped:            13616 kB
Shmem:                84 kB
Slab:             727980 kB
SReclaimable:     170108 kB
SUnreclaim:       557872 kB
KernelStack:        1400 kB
PageTables:         4552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     103936 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= 70948 MiB
End job on node124 at 2012-05-29 19:59:35