Trace number 3715418

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

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/driver/
normalized-driverlog02cc_wcsp.wbo
MD5SUM8e3e9a0f8d8c9183365173df7e0a4175
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2407
Best CPU time to get the best result obtained on this benchmark3.53346
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1161
Total number of constraints24270
Number of soft constraints23969
Number of constraints which are clauses23969
Number of constraints which are cardinality constraints (but not clauses)301
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint8
Top cost 79319
Min constraint cost 1
Max constraint cost 79319
Sum of constraints costs 1858126350
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.14	c run usual solver
0.00/0.60	o 634665
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 45636.9
0.00/0.60	c approx number of clauses: 1e+06
0.00/0.60	c current bound: 317332
26.76/26.88	c leaving approximation
26.76/26.88	c finished approximation
26.76/26.88	c fallback to adder encoding
1800.06/1800.41	c error: unexpected solver exit code
1800.06/1800.41	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715418-1338244653/watcher-3715418-1338244653 -o /tmp/evaluation-result-3715418-1338244653/solver-3715418-1338244653 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3715418-1338244653.wbo 1648900513 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: 1.00 1.12 1.48 3/176 10906
/proc/meminfo: memFree=25432024/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0

[startup+0.0749439 s]
/proc/loadavg: 1.00 1.12 1.48 3/176 10906
/proc/meminfo: memFree=25432024/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100288 s]
/proc/loadavg: 1.00 1.12 1.48 3/176 10906
/proc/meminfo: memFree=25432024/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300272 s]
/proc/loadavg: 1.00 1.12 1.48 3/176 10906
/proc/meminfo: memFree=25432024/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70025 s]
/proc/loadavg: 1.00 1.12 1.48 3/176 10906
/proc/meminfo: memFree=25432024/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5005 s]
/proc/loadavg: 1.00 1.12 1.48 3/180 11577
/proc/meminfo: memFree=25368308/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=17076 CPUtime=0.68 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 4916 10751 0 0 23 7 35 3 20 0 1 0 290593903 17485824 3228 33554432000 4194304 5990268 140734903989488 140734903980896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 4269 3228 174 439 0 3826 0
[pid=11374] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11374/stat : 11374 (satsolver.sh) S 10909 10906 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290593972 9367552 266 33554432000 4194304 5064252 140736326288080 140736326286992 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11374/statm: 2287 266 226 213 0 72 0
[pid=11376] ppid=11374 vsize=49960 CPUtime=0.79 cores=0,2,4,6
/proc/11376/stat : 11376 (glucose) R 11374 10906 1905 0 -1 4202496 11097 0 0 0 78 1 0 0 20 0 1 0 290593973 51159040 11132 33554432000 4194304 5208918 140736885575280 140736326287016 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11376/statm: 12490 11132 95 248 0 12239 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 85332

[startup+3.10044 s]
/proc/loadavg: 1.00 1.12 1.48 3/181 12303
/proc/meminfo: memFree=25365968/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=17076 CPUtime=0.68 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 4916 10751 0 0 23 7 35 3 20 0 1 0 290593903 17485824 3228 33554432000 4194304 5990268 140734903989488 140734903980896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 4269 3228 174 439 0 3826 0
[pid=11374] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11374/stat : 11374 (satsolver.sh) S 10909 10906 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290593972 9367552 266 33554432000 4194304 5064252 140736326288080 140736326286992 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11374/statm: 2287 266 226 213 0 72 0
[pid=11376] ppid=11374 vsize=50212 CPUtime=2.39 cores=0,2,4,6
/proc/11376/stat : 11376 (glucose) R 11374 10906 1905 0 -1 4202496 11173 0 0 0 238 1 0 0 20 0 1 0 290593973 51417088 11206 33554432000 4194304 5208918 140736885575280 140736885572952 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11376/statm: 12553 11206 101 248 0 12302 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 85584

[startup+6.30041 s]
/proc/loadavg: 1.00 1.12 1.48 3/181 14464
/proc/meminfo: memFree=25366620/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=17076 CPUtime=0.68 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 4916 10751 0 0 23 7 35 3 20 0 1 0 290593903 17485824 3228 33554432000 4194304 5990268 140734903989488 140734903980896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 4269 3228 174 439 0 3826 0
[pid=11374] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11374/stat : 11374 (satsolver.sh) S 10909 10906 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290593972 9367552 266 33554432000 4194304 5064252 140736326288080 140736326286992 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11374/statm: 2287 266 226 213 0 72 0
[pid=11376] ppid=11374 vsize=51296 CPUtime=5.59 cores=0,2,4,6
/proc/11376/stat : 11376 (glucose) R 11374 10906 1905 0 -1 4202496 11425 0 0 0 558 1 0 0 20 0 1 0 290593973 52527104 11458 33554432000 4194304 5208918 140736885575280 140736885573112 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11376/statm: 12824 11458 101 248 0 12573 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 86668

[startup+12.7005 s]
/proc/loadavg: 1.00 1.11 1.47 3/181 18820
/proc/meminfo: memFree=25365724/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=17076 CPUtime=0.68 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 4916 10751 0 0 23 7 35 3 20 0 1 0 290593903 17485824 3228 33554432000 4194304 5990268 140734903989488 140734903980896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 4269 3228 174 439 0 3826 0
[pid=11374] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11374/stat : 11374 (satsolver.sh) S 10909 10906 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290593972 9367552 266 33554432000 4194304 5064252 140736326288080 140736326286992 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11374/statm: 2287 266 226 213 0 72 0
[pid=11376] ppid=11374 vsize=51296 CPUtime=11.99 cores=0,2,4,6
/proc/11376/stat : 11376 (glucose) R 11374 10906 1905 0 -1 4202496 11498 0 0 0 1198 1 0 0 20 0 1 0 290593973 52527104 11530 33554432000 4194304 5208918 140736885575280 140736885573112 4211834 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11376/statm: 12824 11530 101 248 0 12573 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 86668

[startup+25.5005 s]
/proc/loadavg: 1.00 1.11 1.46 3/182 27462
/proc/meminfo: memFree=25363256/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=17076 CPUtime=0.68 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 4916 10751 0 0 23 7 35 3 20 0 1 0 290593903 17485824 3228 33554432000 4194304 5990268 140734903989488 140734903980896 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 4269 3228 174 439 0 3826 0
[pid=11374] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11374/stat : 11374 (satsolver.sh) S 10909 10906 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290593972 9367552 266 33554432000 4194304 5064252 140736326288080 140736326286992 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11374/statm: 2287 266 226 213 0 72 0
[pid=11376] ppid=11374 vsize=51920 CPUtime=24.78 cores=0,2,4,6
/proc/11376/stat : 11376 (glucose) R 11374 10906 1905 0 -1 4202496 11721 0 0 0 2477 1 0 0 20 0 1 0 290593973 53166080 11983 33554432000 4194304 5208918 140736885575280 140736885573112 4211599 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11376/statm: 12980 11983 101 248 0 12729 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 87292

[startup+51.1005 s]
/proc/loadavg: 1.00 1.10 1.45 3/180 11662
/proc/meminfo: memFree=24605012/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=289152 CPUtime=29.77 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 15813 25547 0 0 282 40 2649 6 20 0 1 0 290593903 296091648 50583 33554432000 4194304 5990268 140734903989488 140734903980912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 72288 50583 182 439 0 71845 0
[pid=30483] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30483/stat : 30483 (satsolver.sh) S 10909 10906 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290596884 9367552 267 33554432000 4194304 5064252 140734466581744 140734466580656 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30483/statm: 2287 267 226 213 0 72 0
[pid=30485] ppid=30483 vsize=472884 CPUtime=21.27 cores=0,2,4,6
/proc/30485/stat : 30485 (glucose) R 30483 10906 1905 0 -1 4202496 70953 0 0 0 2104 23 0 0 20 0 1 0 290596885 484233216 111245 33554432000 4194304 5208918 140737014717088 140737014715048 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30485/statm: 118221 111245 104 248 0 117970 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 780332

[startup+102.307 s]
/proc/loadavg: 1.00 1.08 1.42 3/180 13101
/proc/meminfo: memFree=24596528/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=289152 CPUtime=29.77 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 15813 25547 0 0 282 40 2649 6 20 0 1 0 290593903 296091648 50583 33554432000 4194304 5990268 140734903989488 140734903980912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 72288 50583 182 439 0 71845 0
[pid=30483] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30483/stat : 30483 (satsolver.sh) S 10909 10906 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290596884 9367552 267 33554432000 4194304 5064252 140734466581744 140734466580656 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30483/statm: 2287 267 226 213 0 72 0
[pid=30485] ppid=30483 vsize=560092 CPUtime=72.47 cores=0,2,4,6
/proc/30485/stat : 30485 (glucose) R 30483 10906 1905 0 -1 4202496 73055 0 0 0 7222 25 0 0 20 0 1 0 290596885 573534208 113327 33554432000 4194304 5208918 140737014717088 140737014714936 4211182 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30485/statm: 140023 113327 105 248 0 139772 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 867540

[startup+162.3 s]
/proc/loadavg: 1.00 1.06 1.40 3/181 19599
/proc/meminfo: memFree=24583852/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=289152 CPUtime=29.77 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 15813 25547 0 0 282 40 2649 6 20 0 1 0 290593903 296091648 50583 33554432000 4194304 5990268 140734903989488 140734903980912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 72288 50583 182 439 0 71845 0
[pid=30483] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/30485/stat : 30485 (glucose) R 30483 10906 1905 0 -1 4202496 85905 0 0 0 133193 32 0 0 20 0 1 0 290596885 621756416 131437 33554432000 4194304 5208918 140737014717088 140737014714936 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30485/statm: 151796 131437 105 248 0 151545 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 914632

[startup+1422.31 s]
/proc/loadavg: 1.97 1.48 1.26 3/182 9636
/proc/meminfo: memFree=23780272/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=289152 CPUtime=29.77 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 15813 25547 0 0 282 40 2649 6 20 0 1 0 290593903 296091648 50583 33554432000 4194304 5990268 140734903989488 140734903980912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 72288 50583 182 439 0 71845 0
[pid=30483] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30483/stat : 30483 (satsolver.sh) S 10909 10906 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290596884 9367552 267 33554432000 4194304 5064252 140734466581744 140734466580656 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30483/statm: 2287 267 226 213 0 72 0
[pid=30485] ppid=30483 vsize=529036 CPUtime=1392.25 cores=0,2,4,6
/proc/30485/stat : 30485 (glucose) R 30483 10906 1905 0 -1 4202496 86758 0 0 0 139190 35 0 0 20 0 1 0 290596885 541732864 125912 33554432000 4194304 5208918 140737014717088 140737014714840 4229517 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30485/statm: 132259 125912 105 248 0 132008 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 836484

[startup+1482.3 s]
/proc/loadavg: 1.99 1.57 1.30 3/181 9636
/proc/meminfo: memFree=23777240/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=289152 CPUtime=29.77 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 15813 25547 0 0 282 40 2649 6 20 0 1 0 290593903 296091648 50583 33554432000 4194304 5990268 140734903989488 140734903980912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 72288 50583 182 439 0 71845 0
[pid=30483] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30483/stat : 30483 (satsolver.sh) S 10909 10906 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290596884 9367552 267 33554432000 4194304 5064252 140734466581744 140734466580656 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30483/statm: 2287 267 226 213 0 72 0
[pid=30485] ppid=30483 vsize=529300 CPUtime=1452.23 cores=0,2,4,6
/proc/30485/stat : 30485 (glucose) R 30483 10906 1905 0 -1 4202496 86843 0 0 0 145188 35 0 0 20 0 1 0 290596885 542003200 126508 33554432000 4194304 5208918 140737014717088 140737014714936 4229299 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30485/statm: 132325 126508 105 248 0 132074 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 836748

[startup+1542.3 s]
/proc/loadavg: 1.99 1.64 1.34 3/181 9637
/proc/meminfo: memFree=23777124/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=289152 CPUtime=29.77 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 15813 25547 0 0 282 40 2649 6 20 0 1 0 290593903 296091648 50583 33554432000 4194304 5990268 140734903989488 140734903980912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 72288 50583 182 439 0 71845 0
[pid=30483] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30483/stat : 30483 (satsolver.sh) S 10909 10906 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290596884 9367552 267 33554432000 4194304 5064252 140734466581744 140734466580656 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30483/statm: 2287 267 226 213 0 72 0
[pid=30485] ppid=30483 vsize=529432 CPUtime=1512.22 cores=0,2,4,6
/proc/30485/stat : 30485 (glucose) R 30483 10906 1905 0 -1 4202496 86863 0 0 0 151187 35 0 0 20 0 1 0 290596885 542138368 126528 33554432000 4194304 5208918 140737014717088 140737014714936 4210724 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30485/statm: 132358 126528 105 248 0 132107 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 836880

[startup+1602.3 s]
/proc/loadavg: 1.99 1.71 1.38 3/180 9637
/proc/meminfo: memFree=23777740/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=289152 CPUtime=29.77 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 15813 25547 0 0 282 40 2649 6 20 0 1 0 290593903 296091648 50583 33554432000 4194304 5990268 140734903989488 140734903980912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 72288 50583 182 439 0 71845 0
[pid=30483] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30483/stat : 30483 (satsolver.sh) S 10909 10906 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290596884 9367552 267 33554432000 4194304 5064252 140734466581744 140734466580656 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30483/statm: 2287 267 226 213 0 72 0
[pid=30485] ppid=30483 vsize=529432 CPUtime=1572.21 cores=0,2,4,6
/proc/30485/stat : 30485 (glucose) R 30483 10906 1905 0 -1 4202496 86887 0 0 0 157186 35 0 0 20 0 1 0 290596885 542138368 126552 33554432000 4194304 5208918 140737014717088 140737014714936 4229483 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30485/statm: 132358 126552 105 248 0 132107 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 836880

[startup+1662.3 s]
/proc/loadavg: 1.99 1.76 1.41 3/181 9638
/proc/meminfo: memFree=23772820/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=289152 CPUtime=29.77 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 15813 25547 0 0 282 40 2649 6 20 0 1 0 290593903 296091648 50583 33554432000 4194304 5990268 140734903989488 140734903980912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 72288 50583 182 439 0 71845 0
[pid=30483] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30483/stat : 30483 (satsolver.sh) S 10909 10906 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290596884 9367552 267 33554432000 4194304 5064252 140734466581744 140734466580656 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30483/statm: 2287 267 226 213 0 72 0
[pid=30485] ppid=30483 vsize=530928 CPUtime=1632.2 cores=0,2,4,6
/proc/30485/stat : 30485 (glucose) R 30483 10906 1905 0 -1 4202496 87346 0 0 0 163185 35 0 0 20 0 1 0 290596885 543670272 127518 33554432000 4194304 5208918 140737014717088 140737014714840 4211641 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30485/statm: 132732 127518 105 248 0 132481 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 838376

[startup+1722.3 s]
/proc/loadavg: 1.99 1.80 1.45 3/181 9638
/proc/meminfo: memFree=23766928/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=289152 CPUtime=29.77 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 15813 25547 0 0 282 40 2649 6 20 0 1 0 290593903 296091648 50583 33554432000 4194304 5990268 140734903989488 140734903980912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 72288 50583 182 439 0 71845 0
[pid=30483] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30483/stat : 30483 (satsolver.sh) S 10909 10906 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290596884 9367552 267 33554432000 4194304 5064252 140734466581744 140734466580656 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30483/statm: 2287 267 226 213 0 72 0
[pid=30485] ppid=30483 vsize=613920 CPUtime=1692.19 cores=0,2,4,6
/proc/30485/stat : 30485 (glucose) R 30483 10906 1905 0 -1 4202496 88365 0 0 0 169183 36 0 0 20 0 1 0 290596885 628654080 129023 33554432000 4194304 5208918 140737014717088 140737014714840 4211584 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30485/statm: 153480 129023 105 248 0 153229 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 921368

[startup+1782.3 s]
/proc/loadavg: 1.99 1.83 1.48 3/181 9638
/proc/meminfo: memFree=23758740/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=289152 CPUtime=29.77 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 15813 25547 0 0 282 40 2649 6 20 0 1 0 290593903 296091648 50583 33554432000 4194304 5990268 140734903989488 140734903980912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 72288 50583 182 439 0 71845 0
[pid=30483] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30483/stat : 30483 (satsolver.sh) S 10909 10906 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290596884 9367552 267 33554432000 4194304 5064252 140734466581744 140734466580656 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30483/statm: 2287 267 226 213 0 72 0
[pid=30485] ppid=30483 vsize=615672 CPUtime=1752.19 cores=0,2,4,6
/proc/30485/stat : 30485 (glucose) R 30483 10906 1905 0 -1 4202496 88819 0 0 0 175182 37 0 0 20 0 1 0 290596885 630448128 131010 33554432000 4194304 5208918 140737014717088 140737014714936 4211599 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30485/statm: 153918 131010 105 248 0 153667 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 923120



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.14 1.87 1.50 3/181 9638
/proc/meminfo: memFree=23756608/32873844 swapFree=7112/7112
[pid=10906] ppid=10903 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/10906/stat : 10906 (npSolver-wbo-It) S 10903 10906 1905 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 290593903 9367552 274 33554432000 4194304 5064252 140736183561088 140736183560000 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/10906/statm: 2287 274 233 213 0 72 0
[pid=10909] ppid=10906 vsize=289152 CPUtime=29.77 cores=0,2,4,6
/proc/10909/stat : 10909 (npSolver-wbo) S 10906 10906 1905 0 -1 4202496 15813 25547 0 0 282 40 2649 6 20 0 1 0 290593903 296091648 50583 33554432000 4194304 5990268 140734903989488 140734903980912 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/10909/statm: 72288 50583 182 439 0 71845 0
[pid=30483] ppid=10909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30483/stat : 30483 (satsolver.sh) S 10909 10906 1905 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 290596884 9367552 267 33554432000 4194304 5064252 140734466581744 140734466580656 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30483/statm: 2287 267 226 213 0 72 0
[pid=30485] ppid=30483 vsize=615804 CPUtime=1770.29 cores=0,2,4,6
/proc/30485/stat : 30485 (glucose) R 30483 10906 1905 0 -1 4202496 88861 0 0 0 176992 37 0 0 20 0 1 0 290596885 630583296 131563 33554432000 4194304 5208918 140737014717088 140737014714936 4211553 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30485/statm: 153951 131563 105 248 0 153700 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 923252

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 10906 and gives
#  childrusage.ru_utime.tv_sec=29
#  childrusage.ru_utime.tv_usec=328541
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=476927
# CPU time returned by wait4() is 29.8055
# while last known CPU time is 1800.06
#
# 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.06
CPU user time (s): 1799.23
CPU system time (s): 0.83
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 1046064

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.3285
system time used= 0.476927
maximum resident set size= 377692
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42335
page faults= 0
swaps= 0
block input operations= 0
block output operations= 367576
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 78
involuntary context switches= 59

runsolver used 4.88826 second user time and 14.6088 second system time

The end

Launcher Data 

Begin job on node104 at 2012-05-29 00:37:33
IDJOB=3715418
IDBENCH=79449
IDSOLVER=2297
FILE ID=node104/3715418-1338244653
RUNJOBID= node104-1338229623-1921
PBS_JOBID= 14624647
Free space on /tmp= 66884 MiB

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

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

MD5SUM BENCH= 8e3e9a0f8d8c9183365173df7e0a4175
RANDOM SEED=1648900513

node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
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	: 5332.53
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
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		: 2666.266
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.266
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.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        25430808 kB
Buffers:          486264 kB
Cached:          5963952 kB
SwapCached:         1084 kB
Active:          5566788 kB
Inactive:         901104 kB
Active(anon):       7200 kB
Inactive(anon):     9936 kB
Active(file):    5559588 kB
Inactive(file):   891168 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67106720 kB
Dirty:              9024 kB
Writeback:             0 kB
AnonPages:         51564 kB
Mapped:            15264 kB
Shmem:               196 kB
Slab:             835992 kB
SReclaimable:     277100 kB
SUnreclaim:       558892 kB
KernelStack:        1568 kB
PageTables:         3876 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     120956 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     30720 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= 66544 MiB
End job on node104 at 2012-05-29 01:07:34