Trace number 3752804

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)? 266.049 535.813

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/scens/
normalized-scen07_wcsp.wbo
MD5SUMdf1c90215af2cae95a5e30d22d51f060
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark22824159
Best CPU time to get the best result obtained on this benchmark1800.04
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables7976
Total number of constraints1810140
Number of soft constraints1809940
Number of constraints which are clauses1809940
Number of constraints which are cardinality constraints (but not clauses)200
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 468527294
Min constraint cost 1
Max constraint cost 1000000
Sum of constraints costs 286472940853
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

14.29/14.34	c run usual solver
39.43/39.81	o 168302432
39.43/39.81	c starting approximation
39.43/39.82	c factor = 2
39.43/39.82	c factor still to low - shrinking to 1.8277e+09
39.43/39.82	c approx number of clauses: 1e+06
39.60/39.90	c current bound: 84151216
39.60/39.90	c factor to high for quickBound
39.60/39.90	c finished approximation
39.60/39.90	c fallback to adder encoding
265.90/535.75	c error: unexpected solver exit code
265.90/535.75	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-3752804-1339212210/watcher-3752804-1339212210 -o /tmp/evaluation-result-3752804-1339212210/solver-3752804-1339212210 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itdqb.sh HOME/instance-3752804-1339212210.wbo 849100308 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: 2.00 2.00 2.00 3/175 16178
/proc/meminfo: memFree=28763684/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0

[startup+0.0926341 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 16178
/proc/meminfo: memFree=28763684/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100342 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 16178
/proc/meminfo: memFree=28763684/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300274 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 16178
/proc/meminfo: memFree=28763684/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700258 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 16178
/proc/meminfo: memFree=28763684/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16180
/proc/meminfo: memFree=28566048/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=224384 CPUtime=1.49 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) R 16178 16178 13761 0 -1 4202496 21302 0 0 0 140 9 0 0 20 0 1 0 387346995 229769216 43697 33554432000 4194304 6006132 140734459054768 140734459049704 4969855 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16179/statm: 56096 43697 140 443 0 55649 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 233532

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16180
/proc/meminfo: memFree=28329584/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=451716 CPUtime=3.09 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) R 16178 16178 13761 0 -1 4202496 38061 0 0 0 290 19 0 0 20 0 1 0 387346995 462557184 89518 33554432000 4194304 6006132 140734459054768 140734459049448 4969855 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16179/statm: 112929 89518 140 443 0 112482 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 460864

[startup+6.30032 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 16180
/proc/meminfo: memFree=27634404/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=886904 CPUtime=6.29 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) R 16178 16178 13761 0 -1 4202496 101043 0 0 0 590 39 0 0 20 0 1 0 387346995 908189696 199364 33554432000 4194304 6006132 140734459054768 140734459050440 4976821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16179/statm: 221726 199364 149 443 0 221279 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 896052

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 16180
/proc/meminfo: memFree=27031868/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=886904 CPUtime=12.69 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) R 16178 16178 13761 0 -1 4202496 101043 0 0 0 1230 39 0 0 20 0 1 0 387346995 908189696 199364 33554432000 4194304 6006132 140734459054768 140734459050440 4541639 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16179/statm: 221726 199364 149 443 0 221279 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 896052

[startup+25.5005 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 16185
/proc/meminfo: memFree=25415220/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=943468 CPUtime=23.02 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) S 16178 16178 13761 0 -1 4202496 102225 15091 0 0 1483 532 266 21 20 0 1 0 387346995 966111232 213513 33554432000 4194304 6006132 140734459054768 140734459048960 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 14 0 0
/proc/16179/statm: 235867 213513 156 443 0 235420 0
[pid=16184] ppid=16179 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16184/stat : 16184 (satsolver.sh) S 16179 16178 13761 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 387349327 9367552 266 33554432000 4194304 5064252 140734945770208 140734945769120 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16184/statm: 2287 266 226 213 0 72 0
[pid=16185] ppid=16184 vsize=655556 CPUtime=2.15 cores=1,3,5,7
/proc/16185/stat : 16185 (glucose) R 16184 16178 13761 0 -1 4202496 60142 0 0 0 197 18 0 0 20 0 1 0 387349329 671289344 123104 33554432000 4194304 5208918 140734953085632 140734953083576 4211084 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16185/statm: 163889 123104 103 248 0 163638 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 1617320

[startup+51.1003 s]
/proc/loadavg: 2.16 2.04 2.01 3/177 16190
/proc/meminfo: memFree=16881888/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=4809660 CPUtime=50.8 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) R 16178 16178 13761 0 -1 4202496 948887 86150 0 0 2559 909 1538 74 20 0 1 0 387346995 4925091840 1176948 33554432000 4194304 6006132 140734459054768 140734459047544 4583783 0 0 4096 0 0 0 0 17 3 0 0 15 0 0
/proc/16179/statm: 1202415 1176948 190 443 0 1201968 0
Current children cumulated CPU time (s) 50.8
Current children cumulated vsize (KiB) 4818808

[startup+102.307 s]
/proc/loadavg: 2.07 2.03 2.01 3/177 16190
/proc/meminfo: memFree=11741684/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=9020348 CPUtime=101.99 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) R 16178 16178 13761 0 -1 4202496 957619 86150 0 0 7551 1036 1538 74 20 0 1 0 387346995 9236836352 2203604 33554432000 4194304 6006132 140734459054768 140734459047112 4537341 0 0 4096 0 0 0 0 17 3 0 0 15 0 0
/proc/16179/statm: 2255087 2203604 190 443 0 2254640 0
Current children cumulated CPU time (s) 101.99
Current children cumulated vsize (KiB) 9029496

[startup+162.3 s]
/proc/loadavg: 3.15 2.30 2.09 2/178 16192
/proc/meminfo: memFree=5412280/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=9085884 CPUtime=161.98 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) R 16178 16178 13761 0 -1 4202496 957818 86150 0 0 13548 1038 1538 74 20 0 1 0 387346995 9303945216 2229863 33554432000 4194304 6006132 140734459054768 140734459046792 4582385 0 0 4096 0 0 0 0 17 3 0 0 15 0 0
/proc/16179/statm: 2271471 2229863 236 443 0 2271024 0
Current children cumulated CPU time (s) 161.98
Current children cumulated vsize (KiB) 9095032

[startup+222.3 s]
/proc/loadavg: 4.23 2.76 2.26 2/178 16192
/proc/meminfo: memFree=3688108/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=9470460 CPUtime=215.01 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) R 16178 16178 13761 0 -1 12591104 1012781 86150 0 0 18248 1641 1538 74 20 0 1 0 387346995 9697751040 2180056 33554432000 4194304 6006132 140734459054768 140734459046904 5057718 0 0 4096 0 0 0 0 17 3 0 0 685 0 0
/proc/16179/statm: 2367615 2180056 236 443 0 2367168 0
Current children cumulated CPU time (s) 215.01
Current children cumulated vsize (KiB) 9479608

[startup+282.307 s]
/proc/loadavg: 4.38 3.07 2.40 1/178 16192
/proc/meminfo: memFree=600800/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=9470460 CPUtime=221.65 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) S 16178 16178 13761 0 -1 4202496 1054912 86150 0 0 18270 2283 1538 74 20 0 1 0 387346995 9697751040 2328986 33554432000 4194304 6006132 140734459054768 140734459046896 5195051 0 0 4096 0 18446744071580024801 0 0 17 1 0 0 5987 0 0
/proc/16179/statm: 2367615 2328986 236 443 0 2367168 0
Current children cumulated CPU time (s) 221.65
Current children cumulated vsize (KiB) 9479608
heavy processes:
  %CPU=13 pid=16191 uid=0 cmd=

[startup+342.3 s]
/proc/loadavg: 4.29 3.26 2.50 1/180 16194
/proc/meminfo: memFree=4434256/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=5276148 CPUtime=223.59 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) S 16178 16178 13761 0 -1 4202496 1054913 86150 0 0 18270 2477 1538 74 20 0 1 0 387346995 5402775552 1280410 33554432000 4194304 6006132 140734459054768 140734459046160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10598 0 0

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

[pid=16193] ppid=16179 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/16193/stat : 16193 (satsolver.sh) S 16179 16178 13761 0 -1 4202496 593 0 5 0 0 1 0 0 20 0 1 0 387380033 9367552 267 33554432000 4194304 5064252 140737255880192 140737255879104 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 647 0 0
/proc/16193/statm: 2287 267 226 213 0 72 0
[pid=16194] ppid=16193 vsize=398592 CPUtime=0.45 cores=1,3,5,7
/proc/16194/stat : 16194 (glucose) D 16193 16178 13761 0 -1 4202496 36746 0 0 0 33 12 0 0 20 0 1 0 387380684 408158208 77040 33554432000 4194304 5208918 140737112112848 140737111062488 4607392 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 6483 0 0
/proc/16194/statm: 99648 77040 69 248 0 99397 0
Current children cumulated CPU time (s) 224.05
Current children cumulated vsize (KiB) 5693036
heavy processes:
  %CPU=10 pid=16191 uid=0 cmd=/usr/libexec/abrt-hook-ccpp /var/spool/abrt 16129 6 506 18446744073709551615 

[startup+462.3 s]
/proc/loadavg: 5.37 3.93 2.83 1/183 16198
/proc/meminfo: memFree=356868/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=5276148 CPUtime=223.59 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) S 16178 16178 13761 0 -1 4202496 1054913 86150 0 0 18270 2477 1538 74 20 0 1 0 387346995 5402775552 1280410 33554432000 4194304 6006132 140734459054768 140734459046160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10598 0 0
/proc/16179/statm: 1319037 1280410 236 443 0 1318590 0
[pid=16193] ppid=16179 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/16193/stat : 16193 (satsolver.sh) S 16179 16178 13761 0 -1 4202496 593 0 5 0 0 1 0 0 20 0 1 0 387380033 9367552 267 33554432000 4194304 5064252 140737255880192 140737255879104 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 647 0 0
/proc/16193/statm: 2287 267 226 213 0 72 0
[pid=16194] ppid=16193 vsize=512872 CPUtime=0.77 cores=1,3,5,7
/proc/16194/stat : 16194 (glucose) D 16193 16178 13761 0 -1 4202496 47563 0 0 0 59 18 0 0 20 0 1 0 387380684 525180928 107996 33554432000 4194304 5208918 140737112112848 140737111062488 4607392 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 12384 0 0
/proc/16194/statm: 128218 107996 69 248 0 127967 0
Current children cumulated CPU time (s) 224.37
Current children cumulated vsize (KiB) 5807316
heavy processes:

[startup+522.3 s]
/proc/loadavg: 5.24 4.22 3.00 3/182 16383
/proc/meminfo: memFree=16085476/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=5276148 CPUtime=223.59 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) S 16178 16178 13761 0 -1 4202496 1054913 86150 0 0 18270 2477 1538 74 20 0 1 0 387346995 5402775552 1280410 33554432000 4194304 6006132 140734459054768 140734459046160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10598 0 0
/proc/16179/statm: 1319037 1280410 236 443 0 1318590 0
[pid=16193] ppid=16179 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/16193/stat : 16193 (satsolver.sh) S 16179 16178 13761 0 -1 4202496 593 0 5 0 0 1 0 0 20 0 1 0 387380033 9367552 267 33554432000 4194304 5064252 140737255880192 140737255879104 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 647 0 0
/proc/16193/statm: 2287 267 226 213 0 72 0
[pid=16194] ppid=16193 vsize=7041796 CPUtime=28.9 cores=1,3,5,7
/proc/16194/stat : 16194 (glucose) R 16193 16178 13761 0 -1 4202496 463882 0 0 0 2595 295 0 0 20 0 1 0 387380684 7210799104 1462607 33554432000 4194304 5208918 140737112112848 140737111062488 4465602 0 0 4096 0 0 0 0 17 5 0 0 15622 0 0
/proc/16194/statm: 1760449 1462607 69 248 0 1760198 0
Current children cumulated CPU time (s) 252.5
Current children cumulated vsize (KiB) 12336240
heavy processes:

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

[startup+526.507 s]
/proc/loadavg: 4.98 4.18 2.99 3/182 16418
/proc/meminfo: memFree=15225356/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=5276148 CPUtime=223.59 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) S 16178 16178 13761 0 -1 4202496 1054913 86150 0 0 18270 2477 1538 74 20 0 1 0 387346995 5402775552 1280410 33554432000 4194304 6006132 140734459054768 140734459046160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10598 0 0
/proc/16179/statm: 1319037 1280410 236 443 0 1318590 0
[pid=16193] ppid=16179 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/16193/stat : 16193 (satsolver.sh) S 16179 16178 13761 0 -1 4202496 593 0 5 0 0 1 0 0 20 0 1 0 387380033 9367552 267 33554432000 4194304 5064252 140737255880192 140737255879104 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 647 0 0
/proc/16193/statm: 2287 267 226 213 0 72 0
[pid=16194] ppid=16193 vsize=7537896 CPUtime=33.11 cores=1,3,5,7
/proc/16194/stat : 16194 (glucose) R 16193 16178 13761 0 -1 4202496 522106 0 0 0 2985 326 0 0 20 0 1 0 387380684 7718805504 1667999 33554432000 4194304 5208918 140737112112848 140737111062248 4201064 0 0 4096 0 0 0 0 17 5 0 0 15622 0 0
/proc/16194/statm: 1884474 1668000 69 248 0 1884223 0
Current children cumulated CPU time (s) 256.71
Current children cumulated vsize (KiB) 12832340

[startup+529.7 s]
/proc/loadavg: 4.98 4.18 2.99 3/182 16446
/proc/meminfo: memFree=14576988/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=5276148 CPUtime=223.59 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) S 16178 16178 13761 0 -1 4202496 1054913 86150 0 0 18270 2477 1538 74 20 0 1 0 387346995 5402775552 1280410 33554432000 4194304 6006132 140734459054768 140734459046160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10598 0 0
/proc/16179/statm: 1319037 1280410 236 443 0 1318590 0
[pid=16193] ppid=16179 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/16193/stat : 16193 (satsolver.sh) S 16179 16178 13761 0 -1 4202496 593 0 5 0 0 1 0 0 20 0 1 0 387380033 9367552 267 33554432000 4194304 5064252 140737255880192 140737255879104 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 647 0 0
/proc/16193/statm: 2287 267 226 213 0 72 0
[pid=16194] ppid=16193 vsize=8300668 CPUtime=36.3 cores=1,3,5,7
/proc/16194/stat : 16194 (glucose) R 16193 16178 13761 0 -1 4202496 565612 0 0 0 3279 351 0 0 20 0 1 0 387380684 8499884032 1824948 33554432000 4194304 5208918 140737112112848 140737111062248 4465602 0 0 4096 0 0 0 0 17 5 0 0 15622 0 0
/proc/16194/statm: 2075167 1824948 69 248 0 2074916 0
Current children cumulated CPU time (s) 259.9
Current children cumulated vsize (KiB) 13595112

[startup+532.9 s]
/proc/loadavg: 4.82 4.16 2.99 3/182 16467
/proc/meminfo: memFree=14167052/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=5276148 CPUtime=223.59 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) S 16178 16178 13761 0 -1 4202496 1054913 86150 0 0 18270 2477 1538 74 20 0 1 0 387346995 5402775552 1280410 33554432000 4194304 6006132 140734459054768 140734459046160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10598 0 0
/proc/16179/statm: 1319037 1280410 236 443 0 1318590 0
[pid=16193] ppid=16179 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/16193/stat : 16193 (satsolver.sh) S 16179 16178 13761 0 -1 4202496 593 0 5 0 0 1 0 0 20 0 1 0 387380033 9367552 267 33554432000 4194304 5064252 140737255880192 140737255879104 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 647 0 0
/proc/16193/statm: 2287 267 226 213 0 72 0
[pid=16194] ppid=16193 vsize=9960208 CPUtime=39.51 cores=1,3,5,7
/proc/16194/stat : 16194 (glucose) R 16193 16178 13761 0 -1 4202496 606157 0 0 0 3565 386 0 0 20 0 1 0 387380684 10199252992 1976871 33554432000 4194304 5208918 140737112112848 140737111062248 4465602 0 0 4096 0 0 0 0 17 5 0 0 15622 0 0
/proc/16194/statm: 2490052 1976871 69 248 0 2489801 0
Current children cumulated CPU time (s) 263.11
Current children cumulated vsize (KiB) 15254652

[startup+534.5 s]
/proc/loadavg: 4.82 4.16 2.99 3/182 16484
/proc/meminfo: memFree=13766264/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=5276148 CPUtime=223.59 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) S 16178 16178 13761 0 -1 4202496 1054913 86150 0 0 18270 2477 1538 74 20 0 1 0 387346995 5402775552 1280410 33554432000 4194304 6006132 140734459054768 140734459046160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10598 0 0
/proc/16179/statm: 1319037 1280410 236 443 0 1318590 0
[pid=16193] ppid=16179 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/16193/stat : 16193 (satsolver.sh) S 16179 16178 13761 0 -1 4202496 593 0 5 0 0 1 0 0 20 0 1 0 387380033 9367552 267 33554432000 4194304 5064252 140737255880192 140737255879104 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 647 0 0
/proc/16193/statm: 2287 267 226 213 0 72 0
[pid=16194] ppid=16193 vsize=10280516 CPUtime=41.11 cores=1,3,5,7
/proc/16194/stat : 16194 (glucose) R 16193 16178 13761 0 -1 4202496 627752 0 0 0 3713 398 0 0 20 0 1 0 387380684 10527248384 2054676 33554432000 4194304 5208918 140737112112848 140737111062248 4465602 0 0 4096 0 0 0 0 17 5 0 0 15622 0 0
/proc/16194/statm: 2570129 2054677 69 248 0 2569878 0
Current children cumulated CPU time (s) 264.71
Current children cumulated vsize (KiB) 15574960

[startup+535.307 s]
/proc/loadavg: 4.59 4.12 2.99 3/182 16495
/proc/meminfo: memFree=13520304/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=5276148 CPUtime=223.59 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) S 16178 16178 13761 0 -1 4202496 1054913 86150 0 0 18270 2477 1538 74 20 0 1 0 387346995 5402775552 1280410 33554432000 4194304 6006132 140734459054768 140734459046160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10598 0 0
/proc/16179/statm: 1319037 1280410 236 443 0 1318590 0
[pid=16193] ppid=16179 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/16193/stat : 16193 (satsolver.sh) S 16179 16178 13761 0 -1 4202496 593 0 5 0 0 1 0 0 20 0 1 0 387380033 9367552 267 33554432000 4194304 5064252 140737255880192 140737255879104 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 647 0 0
/proc/16193/statm: 2287 267 226 213 0 72 0
[pid=16194] ppid=16193 vsize=10322096 CPUtime=41.91 cores=1,3,5,7
/proc/16194/stat : 16194 (glucose) R 16193 16178 13761 0 -1 4202496 638217 0 0 0 3787 404 0 0 20 0 1 0 387380684 10569826304 2094268 33554432000 4194304 5208918 140737112112848 140737111062488 4465602 0 0 4096 0 0 0 0 17 5 0 0 15622 0 0
/proc/16194/statm: 2580524 2094269 69 248 0 2580273 0
Current children cumulated CPU time (s) 265.51
Current children cumulated vsize (KiB) 15616540

[startup+535.7 s]
/proc/loadavg: 4.59 4.12 2.99 3/182 16495
/proc/meminfo: memFree=13520304/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=5276148 CPUtime=223.59 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) S 16178 16178 13761 0 -1 4202496 1054913 86150 0 0 18270 2477 1538 74 20 0 1 0 387346995 5402775552 1280410 33554432000 4194304 6006132 140734459054768 140734459046160 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10598 0 0
/proc/16179/statm: 1319037 1280410 236 443 0 1318590 0
[pid=16193] ppid=16179 vsize=9148 CPUtime=0.01 cores=1,3,5,7
/proc/16193/stat : 16193 (satsolver.sh) S 16179 16178 13761 0 -1 4202496 593 0 5 0 0 1 0 0 20 0 1 0 387380033 9367552 267 33554432000 4194304 5064252 140737255880192 140737255879104 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 647 0 0
/proc/16193/statm: 2287 267 226 213 0 72 0
[pid=16194] ppid=16193 vsize=0 CPUtime=42.3 cores=1,3,5,7
/proc/16194/stat : 16194 (glucose) R 16193 16178 13761 0 -1 4202500 638424 0 0 0 3788 442 0 0 20 0 1 0 387380684 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 5 0 0 15622 0 0
/proc/16194/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 265.9
Current children cumulated vsize (KiB) 5294444

[startup+535.801 s]
/proc/loadavg: 4.59 4.12 2.99 3/182 16495
/proc/meminfo: memFree=13520304/32873852 swapFree=6860/6860
[pid=16178] ppid=16176 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16178/stat : 16178 (npSolver-wbo-It) S 16176 16178 13761 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 387346994 9367552 275 33554432000 4194304 5064252 140736756180288 140736756179200 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16178/statm: 2287 275 233 213 0 72 0
[pid=16179] ppid=16178 vsize=0 CPUtime=266.01 cores=1,3,5,7
/proc/16179/stat : 16179 (npSolver-wbo) R 16178 16178 13761 0 -1 4202500 1054923 725174 0 5 18270 2481 5327 523 20 0 1 0 387346995 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 10598 0 0
/proc/16179/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 266.01
Current children cumulated vsize (KiB) 9148

Child status: 0
Real time (s): 535.813
CPU time (s): 266.049
CPU user time (s): 235.984
CPU system time (s): 30.0644
CPU usage (%): 49.6533
Max. virtual memory (cumulated for all children) (KiB): 15616540

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 235.984
system time used= 30.0644
maximum resident set size= 9315944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1780468
page faults= 5
swaps= 0
block input operations= 138720
block output operations= 11100168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12973
involuntary context switches= 456

runsolver used 1.72674 second user time and 3.87141 second system time

The end

Launcher Data 

Begin job on node128 at 2012-06-09 05:23:31
IDJOB=3752804
IDBENCH=79568
IDSOLVER=2336
FILE ID=node128/3752804-1339212210
RUNJOBID= node128-1339208516-14149
PBS_JOBID= 14643854
Free space on /tmp= 70748 MiB

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

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

MD5SUM BENCH= df1c90215af2cae95a5e30d22d51f060
RANDOM SEED=849100308

node128.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.389
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.77
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.389
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.389
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	: 5438.56
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.389
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		: 2666.389
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.389
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.389
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.389
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        28765988 kB
Buffers:          378228 kB
Cached:           386568 kB
SwapCached:         1896 kB
Active:          3002288 kB
Inactive:         169732 kB
Active(anon):    2402356 kB
Inactive(anon):     7320 kB
Active(file):     599932 kB
Inactive(file):   162412 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67100788 kB
Dirty:            117036 kB
Writeback:             0 kB
AnonPages:       2414696 kB
Mapped:             9840 kB
Shmem:                 0 kB
Slab:             774164 kB
SReclaimable:     215592 kB
SUnreclaim:       558572 kB
KernelStack:        1440 kB
PageTables:         8812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:    2787424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    794624 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= 66624 MiB
End job on node128 at 2012-06-09 05:32:27