Trace number 3752734

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 inc-topdown-quickBound (fixed)? (TO) 1800.09 1800.41

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/driver/
normalized-driverlogs03_wcsp.wbo
MD5SUM2a7b9b233224ce80aa11a515af30e7d3
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1177
Best CPU time to get the best result obtained on this benchmark8.17276
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables862
Total number of constraints14841
Number of soft constraints14606
Number of constraints which are clauses14606
Number of constraints which are cardinality constraints (but not clauses)235
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint8
Top cost 43257
Min constraint cost 1
Max constraint cost 43257
Sum of constraints costs 614810168
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 9
Number of bits of the biggest sum of numbers4
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.12	c run usual solver
0.00/0.60	o 173044
0.00/0.60	c starting approximation
0.00/0.60	c factor = 2
0.00/0.60	c factor still to low - shrinking to 15164.9
0.00/0.60	c approx number of clauses: 1e+06
0.00/0.60	c current bound: 86522
2.66/2.78	c leaving approximation
2.66/2.78	c finished approximation
2.66/2.78	c fallback to adder encoding
1800.09/1800.41	c error: unexpected solver exit code
1800.09/1800.41	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3752734-1339211380/watcher-3752734-1339211380 -o /tmp/evaluation-result-3752734-1339211380/solver-3752734-1339211380 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752734-1339211380.wbo 527900711 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: 2.08 2.02 2.01 2/179 3599
/proc/meminfo: memFree=27315096/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0

[startup+0.0809289 s]
/proc/loadavg: 2.08 2.02 2.01 2/179 3599
/proc/meminfo: memFree=27315096/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100333 s]
/proc/loadavg: 2.08 2.02 2.01 2/179 3599
/proc/meminfo: memFree=27315096/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300285 s]
/proc/loadavg: 2.08 2.02 2.01 2/179 3599
/proc/meminfo: memFree=27315096/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700221 s]
/proc/loadavg: 2.08 2.02 2.01 2/179 3599
/proc/meminfo: memFree=27315096/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50042 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 3613
/proc/meminfo: memFree=27046692/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=28836 CPUtime=0.67 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) S 3599 3599 28946 0 -1 4202496 7144 10703 0 0 20 8 38 1 20 0 1 0 387263048 29528064 6497 33554432000 4194304 6006132 140736874416064 140736874407424 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 7209 6497 175 443 0 6762 0
[pid=3612] ppid=3600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3612/stat : 3612 (satsolver.sh) S 3600 3599 28946 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387263117 9367552 266 33554432000 4194304 5064252 140736580726784 140736580725696 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3612/statm: 2287 266 226 213 0 72 0
[pid=3613] ppid=3612 vsize=47332 CPUtime=0.79 cores=0,2,4,6
/proc/3613/stat : 3613 (glucose) R 3612 3599 28946 0 -1 4202496 10425 0 0 0 78 1 0 0 20 0 1 0 387263118 48467968 10590 33554432000 4194304 5208918 140733963426464 140733963424408 4229021 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3613/statm: 11833 10590 95 248 0 11582 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 94464

[startup+3.10033 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 3613
/proc/meminfo: memFree=26834320/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=80716 CPUtime=3.07 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) R 3599 3599 28946 0 -1 4202496 13474 24320 0 0 50 9 244 4 20 0 1 0 387263048 82653184 15933 33554432000 4194304 6006132 140736874416064 140736874408000 4537500 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 20179 15933 191 443 0 19732 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 89864

[startup+6.30033 s]
/proc/loadavg: 2.15 2.03 2.01 3/181 3618
/proc/meminfo: memFree=26060860/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=274180 CPUtime=5.87 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) S 3599 3599 28946 0 -1 4202496 15980 24320 0 0 297 42 244 4 20 0 1 0 387263048 280760320 51020 33554432000 4194304 6006132 140736874416064 140736874407456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 68545 51020 192 443 0 68098 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 283328

[startup+12.7004 s]
/proc/loadavg: 2.22 2.05 2.02 4/183 3620
/proc/meminfo: memFree=25538364/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=274180 CPUtime=5.87 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) S 3599 3599 28946 0 -1 4202496 15980 24320 0 0 297 42 244 4 20 0 1 0 387263048 280760320 51020 33554432000 4194304 6006132 140736874416064 140736874407456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 68545 51020 192 443 0 68098 0
[pid=3619] ppid=3600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3619/stat : 3619 (satsolver.sh) S 3600 3599 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387263638 9367552 267 33554432000 4194304 5064252 140737405112688 140737405111600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3619/statm: 2287 267 226 213 0 72 0
[pid=3620] ppid=3619 vsize=532796 CPUtime=6.78 cores=0,2,4,6
/proc/3620/stat : 3620 (glucose) R 3619 3599 28946 0 -1 4202496 78224 0 0 0 656 22 0 0 20 0 1 0 387263638 545583104 115895 33554432000 4194304 5208918 140736305482416 140736305480264 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3620/statm: 133199 115895 104 248 0 132948 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 825272

[startup+25.5004 s]
/proc/loadavg: 2.24 2.06 2.02 3/184 3623
/proc/meminfo: memFree=25565192/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=274180 CPUtime=5.87 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) S 3599 3599 28946 0 -1 4202496 15980 24320 0 0 297 42 244 4 20 0 1 0 387263048 280760320 51020 33554432000 4194304 6006132 140736874416064 140736874407456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 68545 51020 192 443 0 68098 0
[pid=3619] ppid=3600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3619/stat : 3619 (satsolver.sh) S 3600 3599 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387263638 9367552 267 33554432000 4194304 5064252 140737405112688 140737405111600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3619/statm: 2287 267 226 213 0 72 0
[pid=3620] ppid=3619 vsize=533456 CPUtime=19.58 cores=0,2,4,6
/proc/3620/stat : 3620 (glucose) R 3619 3599 28946 0 -1 4202496 78397 0 0 0 1936 22 0 0 20 0 1 0 387263638 546258944 116068 33554432000 4194304 5208918 140736305482416 140736305480264 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3620/statm: 133364 116068 104 248 0 133113 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 825932

[startup+51.1004 s]
/proc/loadavg: 2.16 2.06 2.02 3/184 3623
/proc/meminfo: memFree=25546720/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=274180 CPUtime=5.87 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) S 3599 3599 28946 0 -1 4202496 15980 24320 0 0 297 42 244 4 20 0 1 0 387263048 280760320 51020 33554432000 4194304 6006132 140736874416064 140736874407456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 68545 51020 192 443 0 68098 0
[pid=3619] ppid=3600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3619/stat : 3619 (satsolver.sh) S 3600 3599 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387263638 9367552 267 33554432000 4194304 5064252 140737405112688 140737405111600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3619/statm: 2287 267 226 213 0 72 0
[pid=3620] ppid=3619 vsize=546752 CPUtime=45.18 cores=0,2,4,6
/proc/3620/stat : 3620 (glucose) R 3619 3599 28946 0 -1 4202496 82010 0 0 0 4495 23 0 0 20 0 1 0 387263638 559874048 120190 33554432000 4194304 5208918 140736305482416 140736305480168 4211901 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3620/statm: 136688 120190 104 248 0 136437 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 839228

[startup+102.307 s]
/proc/loadavg: 2.07 2.05 2.01 3/183 3624
/proc/meminfo: memFree=25536060/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=274180 CPUtime=5.87 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) S 3599 3599 28946 0 -1 4202496 15980 24320 0 0 297 42 244 4 20 0 1 0 387263048 280760320 51020 33554432000 4194304 6006132 140736874416064 140736874407456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 68545 51020 192 443 0 68098 0
[pid=3619] ppid=3600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3619/stat : 3619 (satsolver.sh) S 3600 3599 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387263638 9367552 267 33554432000 4194304 5064252 140737405112688 140737405111600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3619/statm: 2287 267 226 213 0 72 0
[pid=3620] ppid=3619 vsize=549108 CPUtime=96.38 cores=0,2,4,6
/proc/3620/stat : 3620 (glucose) R 3619 3599 28946 0 -1 4202496 82619 0 0 0 9615 23 0 0 20 0 1 0 387263638 562286592 121310 33554432000 4194304 5208918 140736305482416 140736305480168 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3620/statm: 137277 121310 104 248 0 137026 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 841584

[startup+162.3 s]
/proc/loadavg: 2.02 2.03 2.01 3/183 3624
/proc/meminfo: memFree=25531904/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=274180 CPUtime=5.87 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) S 3599 3599 28946 0 -1 4202496 15980 24320 0 0 297 42 244 4 20 0 1 0 387263048 280760320 51020 33554432000 4194304 6006132 140736874416064 140736874407456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 68545 51020 192 443 0 68098 0
[pid=3619] ppid=3600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3619/stat : 3619 (satsolver.sh) S 3600 3599 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387263638 9367552 267 33554432000 4194304 5064252 140737405112688 140737405111600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3619/statm: 2287 267 226 213 0 72 0
[pid=3620] ppid=3619 vsize=550452 CPUtime=156.36 cores=0,2,4,6
/proc/3620/stat : 3620 (glucose) R 3619 3599 28946 0 -1 4202496 82952 0 0 0 15613 23 0 0 20 0 1 0 387263638 563662848 122154 33554432000 4194304 5208918 140736305482416 140736305480168 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3620/statm: 137613 122154 104 248 0 137362 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 842928

[startup+222.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 3624
/proc/meminfo: memFree=25531160/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/3620/stat : 3620 (glucose) R 3619 3599 28946 0 -1 4202496 90603 0 0 0 135589 29 0 0 20 0 1 0 387263638 673816576 132936 33554432000 4194304 5208918 140736305482416 140736305480168 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3620/statm: 164506 132936 104 248 0 164255 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 950500

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3634
/proc/meminfo: memFree=25441828/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=274180 CPUtime=5.87 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) S 3599 3599 28946 0 -1 4202496 15980 24320 0 0 297 42 244 4 20 0 1 0 387263048 280760320 51020 33554432000 4194304 6006132 140736874416064 140736874407456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 68545 51020 192 443 0 68098 0
[pid=3619] ppid=3600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3619/stat : 3619 (satsolver.sh) S 3600 3599 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387263638 9367552 267 33554432000 4194304 5064252 140737405112688 140737405111600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3619/statm: 2287 267 226 213 0 72 0
[pid=3620] ppid=3619 vsize=658024 CPUtime=1416.18 cores=0,2,4,6
/proc/3620/stat : 3620 (glucose) R 3619 3599 28946 0 -1 4202496 90603 0 0 0 141589 29 0 0 20 0 1 0 387263638 673816576 132936 33554432000 4194304 5208918 140736305482416 140736305480168 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3620/statm: 164506 132936 104 248 0 164255 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 950500

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3634
/proc/meminfo: memFree=25436916/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=274180 CPUtime=5.87 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) S 3599 3599 28946 0 -1 4202496 15980 24320 0 0 297 42 244 4 20 0 1 0 387263048 280760320 51020 33554432000 4194304 6006132 140736874416064 140736874407456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 68545 51020 192 443 0 68098 0
[pid=3619] ppid=3600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3619/stat : 3619 (satsolver.sh) S 3600 3599 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387263638 9367552 267 33554432000 4194304 5064252 140737405112688 140737405111600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3619/statm: 2287 267 226 213 0 72 0
[pid=3620] ppid=3619 vsize=658260 CPUtime=1476.17 cores=0,2,4,6
/proc/3620/stat : 3620 (glucose) R 3619 3599 28946 0 -1 4202496 90650 0 0 0 147588 29 0 0 20 0 1 0 387263638 674058240 133494 33554432000 4194304 5208918 140736305482416 140736305480168 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3620/statm: 164565 133494 104 248 0 164314 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 950736

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3634
/proc/meminfo: memFree=25434468/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=274180 CPUtime=5.87 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) S 3599 3599 28946 0 -1 4202496 15980 24320 0 0 297 42 244 4 20 0 1 0 387263048 280760320 51020 33554432000 4194304 6006132 140736874416064 140736874407456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 68545 51020 192 443 0 68098 0
[pid=3619] ppid=3600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3619/stat : 3619 (satsolver.sh) S 3600 3599 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387263638 9367552 267 33554432000 4194304 5064252 140737405112688 140737405111600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3619/statm: 2287 267 226 213 0 72 0
[pid=3620] ppid=3619 vsize=658828 CPUtime=1536.16 cores=0,2,4,6
/proc/3620/stat : 3620 (glucose) R 3619 3599 28946 0 -1 4202496 90804 0 0 0 153587 29 0 0 20 0 1 0 387263638 674639872 133648 33554432000 4194304 5208918 140736305482416 140736305480264 4211521 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3620/statm: 164707 133648 104 248 0 164456 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 951304

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 3634
/proc/meminfo: memFree=25425948/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=274180 CPUtime=5.87 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) S 3599 3599 28946 0 -1 4202496 15980 24320 0 0 297 42 244 4 20 0 1 0 387263048 280760320 51020 33554432000 4194304 6006132 140736874416064 140736874407456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 68545 51020 192 443 0 68098 0
[pid=3619] ppid=3600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3619/stat : 3619 (satsolver.sh) S 3600 3599 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387263638 9367552 267 33554432000 4194304 5064252 140737405112688 140737405111600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3619/statm: 2287 267 226 213 0 72 0
[pid=3620] ppid=3619 vsize=660696 CPUtime=1596.14 cores=0,2,4,6
/proc/3620/stat : 3620 (glucose) R 3619 3599 28946 0 -1 4202496 91306 0 0 0 159585 29 0 0 20 0 1 0 387263638 676552704 135172 33554432000 4194304 5208918 140736305482416 140736305480168 4211744 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3620/statm: 165174 135172 104 248 0 164923 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 953172

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 3635
/proc/meminfo: memFree=25421612/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=274180 CPUtime=5.87 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) S 3599 3599 28946 0 -1 4202496 15980 24320 0 0 297 42 244 4 20 0 1 0 387263048 280760320 51020 33554432000 4194304 6006132 140736874416064 140736874407456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 68545 51020 192 443 0 68098 0
[pid=3619] ppid=3600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3619/stat : 3619 (satsolver.sh) S 3600 3599 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387263638 9367552 267 33554432000 4194304 5064252 140737405112688 140737405111600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3619/statm: 2287 267 226 213 0 72 0
[pid=3620] ppid=3619 vsize=661156 CPUtime=1656.13 cores=0,2,4,6
/proc/3620/stat : 3620 (glucose) R 3619 3599 28946 0 -1 4202496 91420 0 0 0 165584 29 0 0 20 0 1 0 387263638 677023744 135797 33554432000 4194304 5208918 140736305482416 140736305480168 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3620/statm: 165289 135797 104 248 0 165038 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 953632

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 3635
/proc/meminfo: memFree=25416996/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=274180 CPUtime=5.87 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) S 3599 3599 28946 0 -1 4202496 15980 24320 0 0 297 42 244 4 20 0 1 0 387263048 280760320 51020 33554432000 4194304 6006132 140736874416064 140736874407456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 68545 51020 192 443 0 68098 0
[pid=3619] ppid=3600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3619/stat : 3619 (satsolver.sh) S 3600 3599 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387263638 9367552 267 33554432000 4194304 5064252 140737405112688 140737405111600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3619/statm: 2287 267 226 213 0 72 0
[pid=3620] ppid=3619 vsize=661576 CPUtime=1716.13 cores=0,2,4,6
/proc/3620/stat : 3620 (glucose) R 3619 3599 28946 0 -1 4202496 91517 0 0 0 171584 29 0 0 20 0 1 0 387263638 677453824 136405 33554432000 4194304 5208918 140736305482416 140736305480168 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3620/statm: 165394 136405 104 248 0 165143 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 954052

[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 3677
/proc/meminfo: memFree=28888208/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=274180 CPUtime=5.87 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) S 3599 3599 28946 0 -1 4202496 15980 24320 0 0 297 42 244 4 20 0 1 0 387263048 280760320 51020 33554432000 4194304 6006132 140736874416064 140736874407456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 68545 51020 192 443 0 68098 0
[pid=3619] ppid=3600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3619/stat : 3619 (satsolver.sh) S 3600 3599 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387263638 9367552 267 33554432000 4194304 5064252 140737405112688 140737405111600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3619/statm: 2287 267 226 213 0 72 0
[pid=3620] ppid=3619 vsize=662176 CPUtime=1776.12 cores=0,2,4,6
/proc/3620/stat : 3620 (glucose) R 3619 3599 28946 0 -1 4202496 91587 0 0 0 177583 29 0 0 20 0 1 0 387263638 678068224 137497 33554432000 4194304 5208918 140736305482416 140736305480168 4211656 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3620/statm: 165544 137497 104 248 0 165293 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 954652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 3694
/proc/meminfo: memFree=26143828/32873844 swapFree=7628/7628
[pid=3599] ppid=3597 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3599/stat : 3599 (npSolver-wbo-It) S 3597 3599 28946 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 387263048 9367552 274 33554432000 4194304 5064252 140733229666256 140733229665168 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3599/statm: 2287 274 233 213 0 72 0
[pid=3600] ppid=3599 vsize=274180 CPUtime=5.87 cores=0,2,4,6
/proc/3600/stat : 3600 (npSolver-wbo) S 3599 3599 28946 0 -1 4202496 15980 24320 0 0 297 42 244 4 20 0 1 0 387263048 280760320 51020 33554432000 4194304 6006132 140736874416064 140736874407456 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/3600/statm: 68545 51020 192 443 0 68098 0
[pid=3619] ppid=3600 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3619/stat : 3619 (satsolver.sh) S 3600 3599 28946 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 387263638 9367552 267 33554432000 4194304 5064252 140737405112688 140737405111600 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/3619/statm: 2287 267 226 213 0 72 0
[pid=3620] ppid=3619 vsize=662176 CPUtime=1794.22 cores=0,2,4,6
/proc/3620/stat : 3620 (glucose) R 3619 3599 28946 0 -1 4202496 91725 0 0 0 179393 29 0 0 20 0 1 0 387263638 678068224 137635 33554432000 4194304 5208918 140736305482416 140736305480168 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3620/statm: 165544 137635 104 248 0 165293 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 954652

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 3599 and gives
#  childrusage.ru_utime.tv_sec=5
#  childrusage.ru_utime.tv_usec=428174
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=476927
# CPU time returned by wait4() is 5.9051
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.09
CPU user time (s): 1799.34
CPU system time (s): 0.75
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 1073504

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.42817
system time used= 0.476927
maximum resident set size= 397260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41276
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400880
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 75
involuntary context switches= 34

runsolver used 3.09753 second user time and 8.31874 second system time

The end

Launcher Data 

Begin job on node146 at 2012-06-09 05:09:41
IDJOB=3752734
IDBENCH=79460
IDSOLVER=2336
FILE ID=node146/3752734-1339211380
RUNJOBID= node146-1339205958-28962
PBS_JOBID= 14643879
Free space on /tmp= 69952 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/driver/normalized-driverlogs03_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3752734-1339211380/watcher-3752734-1339211380 -o /tmp/evaluation-result-3752734-1339211380/solver-3752734-1339211380 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752734-1339211380.wbo 527900711 HOME HOME

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

MD5SUM BENCH= 2a7b9b233224ce80aa11a515af30e7d3
RANDOM SEED=527900711

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27319168 kB
Buffers:          491424 kB
Cached:          2365488 kB
SwapCached:         2168 kB
Active:          4059888 kB
Inactive:         526096 kB
Active(anon):    1727748 kB
Inactive(anon):     3272 kB
Active(file):    2332140 kB
Inactive(file):   522824 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67099984 kB
Dirty:            859204 kB
Writeback:            16 kB
AnonPages:       1673276 kB
Mapped:            10036 kB
Shmem:                 0 kB
Slab:             824232 kB
SReclaimable:     259712 kB
SUnreclaim:       564520 kB
KernelStack:        1464 kB
PageTables:         7752 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2164260 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    917504 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= 69900 MiB
End job on node146 at 2012-06-09 05:39:42