Trace number 3754891

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver 1.0 (fixed)? (TO) 1800.07 1800.52

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
spot5/normalized-spot5-1405_wcsp.wbo
MD5SUM26d84ad15c3c68fd23eb83f2d18b525f
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMSAT
Best cost obtained on this benchmark503455
Best CPU time to get the best result obtained on this benchmark1800.02
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2670
Total number of constraints30776
Number of soft constraints29921
Number of constraints which are clauses29921
Number of constraints which are cardinality constraints (but not clauses)855
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 635638
Min constraint cost 1
Max constraint cost 635638
Sum of constraints costs 18476089745
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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.28	c run usual solver
2.18/2.23	o 3509994038
2.18/2.23	c current bound: 1754997019
2.18/2.23	c fallback to adder encoding
1800.07/1800.51	c error: unexpected solver exit code
1800.07/1800.51	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-3754891-1339203102/watcher-3754891-1339203102 -o /tmp/evaluation-result-3754891-1339203102/solver-3754891-1339203102 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo.sh HOME/instance-3754891-1339203102.wbo 1119756676 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.10 2.07 2.02 3/179 11070
/proc/meminfo: memFree=29973768/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (runsolver) D 11068 11070 24896 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 386434644 12095488 51 33554432000 4194304 5436572 140733433996352 140733433992648 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/11070/statm: 2953 51 31 304 0 2645 0

[startup+0.0156641 s]
/proc/loadavg: 2.10 2.07 2.02 3/179 11070
/proc/meminfo: memFree=29973768/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100231 s]
/proc/loadavg: 2.10 2.07 2.02 3/179 11070
/proc/meminfo: memFree=29973768/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300219 s]
/proc/loadavg: 2.10 2.07 2.02 3/179 11070
/proc/meminfo: memFree=29973768/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700241 s]
/proc/loadavg: 2.10 2.07 2.02 3/179 11070
/proc/meminfo: memFree=29973768/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/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.10 2.07 2.02 3/183 11074
/proc/meminfo: memFree=29926044/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=18572 CPUtime=0.37 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) S 11070 11070 24896 0 -1 4202496 6247 0 0 0 27 10 0 0 20 0 1 0 386434645 19017728 4078 33554432000 4194304 6006132 140734469533008 140734469526112 5187998 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11072/statm: 4643 4078 157 443 0 4196 0
[pid=11073] ppid=11072 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11073/stat : 11073 (cp2_pre.sh) S 11072 11070 24896 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 386434683 9367552 276 33554432000 4194304 5064252 140734387827600 140734387826304 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/11073/statm: 2287 276 234 213 0 72 0
[pid=11074] ppid=11073 vsize=34380 CPUtime=1.1 cores=0,2,4,6
/proc/11074/stat : 11074 (coprocessor) R 11073 11070 24896 0 -1 4202496 7359 0 0 0 109 1 0 0 20 0 1 0 386434683 35205120 8081 33554432000 4194304 6586260 140736739535792 140736739531160 5599243 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/11074/statm: 8595 8081 190 584 0 8007 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 71248

[startup+3.10027 s]
/proc/loadavg: 2.18 2.08 2.02 3/183 11077
/proc/meminfo: memFree=29943264/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=166760 CPUtime=3.06 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) R 11070 11070 24896 0 -1 4202496 26829 14781 0 0 110 19 173 4 20 0 1 0 386434645 170762240 35578 33554432000 4194304 6006132 140734469533008 140734469525720 4581106 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/11072/statm: 41690 35578 178 443 0 41243 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 175908

[startup+6.30031 s]
/proc/loadavg: 2.18 2.08 2.02 3/181 11082
/proc/meminfo: memFree=29661840/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=625512 CPUtime=6.27 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) R 11070 11070 24896 0 -1 4202496 28694 14781 0 0 420 30 173 4 20 0 1 0 386434645 640524288 90874 33554432000 4194304 6006132 140734469533008 140734469525048 4537479 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11072/statm: 156378 90874 178 443 0 155931 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 634660

[startup+12.7003 s]
/proc/loadavg: 2.15 2.08 2.02 3/181 11082
/proc/meminfo: memFree=29189616/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=1149800 CPUtime=12.67 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) R 11070 11070 24896 0 -1 4202496 29693 14781 0 0 1045 45 173 4 20 0 1 0 386434645 1177395200 209658 33554432000 4194304 6006132 140734469533008 140734469525368 4581109 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/11072/statm: 287450 209658 178 443 0 287003 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1158948

[startup+25.5004 s]
/proc/loadavg: 2.28 2.11 2.03 3/183 11084
/proc/meminfo: memFree=26877984/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=1068688 CPUtime=13.97 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) S 11070 11070 24896 0 -1 4202496 30590 14781 0 0 1064 156 173 4 20 0 1 0 386434645 1094336512 190438 33554432000 4194304 6006132 140734469533008 140734469524416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/11072/statm: 267172 190438 180 443 0 266725 0
[pid=11083] ppid=11072 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11083/stat : 11083 (satsolver.sh) S 11072 11070 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386436048 9367552 266 33554432000 4194304 5064252 140734791974080 140734791972992 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11083/statm: 2287 266 226 213 0 72 0
[pid=11084] ppid=11083 vsize=1956240 CPUtime=11.45 cores=0,2,4,6
/proc/11084/stat : 11084 (glucose) R 11083 11070 24896 0 -1 4202496 208923 0 0 0 1062 83 0 0 20 0 1 0 386436048 2003189760 398863 33554432000 4194304 5208918 140736473669424 140736473667272 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11084/statm: 489060 398863 104 248 0 488809 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 3043224

[startup+51.1004 s]
/proc/loadavg: 2.18 2.10 2.03 3/183 11084
/proc/meminfo: memFree=26824268/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=1068688 CPUtime=13.97 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) S 11070 11070 24896 0 -1 4202496 30590 14781 0 0 1064 156 173 4 20 0 1 0 386434645 1094336512 190438 33554432000 4194304 6006132 140734469533008 140734469524416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/11072/statm: 267172 190438 180 443 0 266725 0
[pid=11083] ppid=11072 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11083/stat : 11083 (satsolver.sh) S 11072 11070 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386436048 9367552 266 33554432000 4194304 5064252 140734791974080 140734791972992 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11083/statm: 2287 266 226 213 0 72 0
[pid=11084] ppid=11083 vsize=1968172 CPUtime=37.04 cores=0,2,4,6
/proc/11084/stat : 11084 (glucose) R 11083 11070 24896 0 -1 4202496 211885 0 0 0 3620 84 0 0 20 0 1 0 386436048 2015408128 410001 33554432000 4194304 5208918 140736473669424 140736473667272 4205139 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11084/statm: 492043 410001 105 248 0 491792 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 3055156

[startup+102.307 s]
/proc/loadavg: 2.12 2.09 2.03 3/183 11085
/proc/meminfo: memFree=26736388/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=1068688 CPUtime=13.97 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) S 11070 11070 24896 0 -1 4202496 30590 14781 0 0 1064 156 173 4 20 0 1 0 386434645 1094336512 190438 33554432000 4194304 6006132 140734469533008 140734469524416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/11072/statm: 267172 190438 180 443 0 266725 0
[pid=11083] ppid=11072 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11083/stat : 11083 (satsolver.sh) S 11072 11070 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386436048 9367552 266 33554432000 4194304 5064252 140734791974080 140734791972992 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11083/statm: 2287 266 226 213 0 72 0
[pid=11084] ppid=11083 vsize=1980488 CPUtime=88.25 cores=0,2,4,6
/proc/11084/stat : 11084 (glucose) R 11083 11070 24896 0 -1 4202496 214918 0 0 0 8739 86 0 0 20 0 1 0 386436048 2028019712 432452 33554432000 4194304 5208918 140736473669424 140736473667272 4229780 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11084/statm: 495122 432452 105 248 0 494871 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 3067472

[startup+162.3 s]
/proc/loadavg: 2.16 2.11 2.03 3/183 11085
/proc/meminfo: memFree=26735768/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=1068688 CPUtime=13.97 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) S 11070 11070 24896 0 -1 4202496 30590 14781 0 0 1064 156 173 4 20 0 1 0 386434645 1094336512 190438 33554432000 4194304 6006132 140734469533008 140734469524416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/11072/statm: 267172 190438 180 443 0 266725 0
[pid=11083] ppid=11072 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11083/stat : 11083 (satsolver.sh) S 11072 11070 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386436048 9367552 266 33554432000 4194304 5064252 140734791974080 140734791972992 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11083/statm: 2287 266 226 213 0 72 0
[pid=11084] ppid=11083 vsize=1991728 CPUtime=148.23 cores=0,2,4,6
/proc/11084/stat : 11084 (glucose) R 11083 11070 24896 0 -1 4202496 218140 0 0 0 14729 94 0 0 20 0 1 0 386436048 2039529472 429704 33554432000 4194304 5208918 140736473669424 140736473665800 4229528 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11084/statm: 497932 429704 105 248 0 497681 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 3078712

[startup+222.3 s]
/proc/loadavg: 2.10 2.10 2.03 3/183 11085
/proc/meminfo: memFree=26734104/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=1068688 CPUtime=13.97 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) S 11070 11070 24896 0 -1 4202496 30590 14781 0 0 1064 156 173 4 20 0 1 0 386434645 1094336512 190438 33554432000 4194304 6006132 140734469533008 140734469524416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/11072/statm: 267172 190438 180 443 0 266725 0
[pid=11083] ppid=11072 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/11084/stat : 11084 (glucose) R 11083 11070 24896 0 -1 4202496 245664 0 0 0 140578 218 0 0 20 0 1 0 386436048 2491678720 473675 33554432000 4194304 5208918 140736473669424 140736473667272 4229383 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11084/statm: 608320 473675 105 248 0 608069 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 3520264

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 11119
/proc/meminfo: memFree=26489084/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=1068688 CPUtime=13.97 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) S 11070 11070 24896 0 -1 4202496 30590 14781 0 0 1064 156 173 4 20 0 1 0 386434645 1094336512 190438 33554432000 4194304 6006132 140734469533008 140734469524416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/11072/statm: 267172 190438 180 443 0 266725 0
[pid=11083] ppid=11072 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11083/stat : 11083 (satsolver.sh) S 11072 11070 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386436048 9367552 266 33554432000 4194304 5064252 140734791974080 140734791972992 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11083/statm: 2287 266 226 213 0 72 0
[pid=11084] ppid=11083 vsize=2087048 CPUtime=1467.95 cores=0,2,4,6
/proc/11084/stat : 11084 (glucose) R 11083 11070 24896 0 -1 4202496 246880 0 0 0 146565 230 0 0 20 0 1 0 386436048 2137137152 458409 33554432000 4194304 5208918 140736473669424 140736473665736 4229374 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11084/statm: 521762 458409 105 248 0 521511 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 3174032

[startup+1542.3 s]
/proc/loadavg: 1.40 1.83 1.94 2/175 11144
/proc/meminfo: memFree=26874752/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=1068688 CPUtime=13.97 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) S 11070 11070 24896 0 -1 4202496 30590 14781 0 0 1064 156 173 4 20 0 1 0 386434645 1094336512 190438 33554432000 4194304 6006132 140734469533008 140734469524416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/11072/statm: 267172 190438 180 443 0 266725 0
[pid=11083] ppid=11072 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11083/stat : 11083 (satsolver.sh) S 11072 11070 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386436048 9367552 266 33554432000 4194304 5064252 140734791974080 140734791972992 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11083/statm: 2287 266 226 213 0 72 0
[pid=11084] ppid=11083 vsize=2438220 CPUtime=1527.94 cores=0,2,4,6
/proc/11084/stat : 11084 (glucose) R 11083 11070 24896 0 -1 4202496 247936 0 0 0 152559 235 0 0 20 0 1 0 386436048 2496737280 474263 33554432000 4194304 5208918 140736473669424 140736473667272 4229776 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11084/statm: 609555 474263 105 248 0 609304 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 3525204

[startup+1602.3 s]
/proc/loadavg: 1.16 1.69 1.88 2/175 11144
/proc/meminfo: memFree=26945768/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=1068688 CPUtime=13.97 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) S 11070 11070 24896 0 -1 4202496 30590 14781 0 0 1064 156 173 4 20 0 1 0 386434645 1094336512 190438 33554432000 4194304 6006132 140734469533008 140734469524416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/11072/statm: 267172 190438 180 443 0 266725 0
[pid=11083] ppid=11072 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11083/stat : 11083 (satsolver.sh) S 11072 11070 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386436048 9367552 266 33554432000 4194304 5064252 140734791974080 140734791972992 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11083/statm: 2287 266 226 213 0 72 0
[pid=11084] ppid=11083 vsize=2092596 CPUtime=1587.93 cores=0,2,4,6
/proc/11084/stat : 11084 (glucose) R 11083 11070 24896 0 -1 4202496 249265 0 0 0 158547 246 0 0 20 0 1 0 386436048 2142818304 457061 33554432000 4194304 5208918 140736473669424 140736473667272 4213123 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11084/statm: 523149 457061 105 248 0 522898 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 3179580

[startup+1662.3 s]
/proc/loadavg: 1.05 1.55 1.82 2/175 11145
/proc/meminfo: memFree=26877844/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=1068688 CPUtime=13.97 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) S 11070 11070 24896 0 -1 4202496 30590 14781 0 0 1064 156 173 4 20 0 1 0 386434645 1094336512 190438 33554432000 4194304 6006132 140734469533008 140734469524416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/11072/statm: 267172 190438 180 443 0 266725 0
[pid=11083] ppid=11072 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11083/stat : 11083 (satsolver.sh) S 11072 11070 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386436048 9367552 266 33554432000 4194304 5064252 140734791974080 140734791972992 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11083/statm: 2287 266 226 213 0 72 0
[pid=11084] ppid=11083 vsize=2094208 CPUtime=1647.92 cores=0,2,4,6
/proc/11084/stat : 11084 (glucose) R 11083 11070 24896 0 -1 4202496 249657 0 0 0 164546 246 0 0 20 0 1 0 386436048 2144468992 473506 33554432000 4194304 5208918 140736473669424 140736473667272 4229403 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11084/statm: 523552 473506 105 248 0 523301 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 3181192

[startup+1722.3 s]
/proc/loadavg: 1.02 1.45 1.77 2/176 11148
/proc/meminfo: memFree=26954428/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=1068688 CPUtime=13.97 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) S 11070 11070 24896 0 -1 4202496 30590 14781 0 0 1064 156 173 4 20 0 1 0 386434645 1094336512 190438 33554432000 4194304 6006132 140734469533008 140734469524416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/11072/statm: 267172 190438 180 443 0 266725 0
[pid=11083] ppid=11072 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11083/stat : 11083 (satsolver.sh) S 11072 11070 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386436048 9367552 266 33554432000 4194304 5064252 140734791974080 140734791972992 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11083/statm: 2287 266 226 213 0 72 0
[pid=11084] ppid=11083 vsize=2096124 CPUtime=1707.91 cores=0,2,4,6
/proc/11084/stat : 11084 (glucose) R 11083 11070 24896 0 -1 4202496 251257 0 0 0 170529 262 0 0 20 0 1 0 386436048 2146430976 454512 33554432000 4194304 5208918 140736473669424 140736473667272 4229538 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11084/statm: 524031 454512 105 248 0 523780 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 3183108

[startup+1782.3 s]
/proc/loadavg: 1.00 1.36 1.72 2/175 11148
/proc/meminfo: memFree=26888104/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=1068688 CPUtime=13.97 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) S 11070 11070 24896 0 -1 4202496 30590 14781 0 0 1064 156 173 4 20 0 1 0 386434645 1094336512 190438 33554432000 4194304 6006132 140734469533008 140734469524416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/11072/statm: 267172 190438 180 443 0 266725 0
[pid=11083] ppid=11072 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11083/stat : 11083 (satsolver.sh) S 11072 11070 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386436048 9367552 266 33554432000 4194304 5064252 140734791974080 140734791972992 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11083/statm: 2287 266 226 213 0 72 0
[pid=11084] ppid=11083 vsize=2099096 CPUtime=1767.9 cores=0,2,4,6
/proc/11084/stat : 11084 (glucose) R 11083 11070 24896 0 -1 4202496 251963 0 0 0 176527 263 0 0 20 0 1 0 386436048 2149474304 471059 33554432000 4194304 5208918 140736473669424 140736473665800 4229328 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11084/statm: 524774 471059 105 248 0 524523 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 3186080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.34 1.70 2/175 11148
/proc/meminfo: memFree=26865196/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=1068688 CPUtime=13.97 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) S 11070 11070 24896 0 -1 4202496 30590 14781 0 0 1064 156 173 4 20 0 1 0 386434645 1094336512 190438 33554432000 4194304 6006132 140734469533008 140734469524416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/11072/statm: 267172 190438 180 443 0 266725 0
[pid=11083] ppid=11072 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11083/stat : 11083 (satsolver.sh) S 11072 11070 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386436048 9367552 266 33554432000 4194304 5064252 140734791974080 140734791972992 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11083/statm: 2287 266 226 213 0 72 0
[pid=11084] ppid=11083 vsize=2448640 CPUtime=1786.1 cores=0,2,4,6
/proc/11084/stat : 11084 (glucose) R 11083 11070 24896 0 -1 4202496 252679 0 0 0 178343 267 0 0 20 0 1 0 386436048 2507407360 476693 33554432000 4194304 5208918 140736473669424 140736473665800 4229383 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11084/statm: 612160 476693 105 248 0 611909 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3535624

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.34 1.70 2/175 11148
/proc/meminfo: memFree=26865196/32873844 swapFree=7644/7644
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11070/stat : 11070 (npSolver-wbo.sh) S 11068 11070 24896 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 386434644 9367552 275 33554432000 4194304 5064252 140735824889424 140735824888336 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11070/statm: 2287 275 233 213 0 72 0
[pid=11072] ppid=11070 vsize=1068688 CPUtime=13.97 cores=0,2,4,6
/proc/11072/stat : 11072 (npSolver-wbo) S 11070 11070 24896 0 -1 4202496 30590 14781 0 0 1064 156 173 4 20 0 1 0 386434645 1094336512 190438 33554432000 4194304 6006132 140734469533008 140734469524416 5187998 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 3 0 0
/proc/11072/statm: 267172 190438 180 443 0 266725 0
[pid=11083] ppid=11072 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11083/stat : 11083 (satsolver.sh) S 11072 11070 24896 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 386436048 9367552 266 33554432000 4194304 5064252 140734791974080 140734791972992 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11083/statm: 2287 266 226 213 0 72 0
[pid=11084] ppid=11083 vsize=2448640 CPUtime=1786.1 cores=0,2,4,6
/proc/11084/stat : 11084 (glucose) R 11083 11070 24896 0 -1 4202496 252679 0 0 0 178343 267 0 0 20 0 1 0 386436048 2507407360 476693 33554432000 4194304 5208918 140736473669424 140736473665800 4229383 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/11084/statm: 612160 476693 105 248 0 611909 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3535624

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11070 and gives
#  childrusage.ru_utime.tv_sec=12
#  childrusage.ru_utime.tv_usec=382117
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=623753
# CPU time returned by wait4() is 14.0059
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1795.8
CPU system time (s): 4.27
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 4090888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.3821
system time used= 1.62375
maximum resident set size= 1505244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46347
page faults= 0
swaps= 0
block input operations= 16
block output operations= 1494264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 118
involuntary context switches= 48

runsolver used 3.24451 second user time and 9.08462 second system time

The end

Launcher Data 

Begin job on node147 at 2012-06-09 02:51:42
IDJOB=3754891
IDBENCH=79613
IDSOLVER=2339
FILE ID=node147/3754891-1339203102
RUNJOBID= node147-1339184589-7817
PBS_JOBID= 14643829
Free space on /tmp= 70080 MiB

SOLVER NAME= npSolver 1.0
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/spot5/normalized-spot5-1405_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3754891-1339203102/watcher-3754891-1339203102 -o /tmp/evaluation-result-3754891-1339203102/solver-3754891-1339203102 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo.sh HOME/instance-3754891-1339203102.wbo 1119756676 HOME HOME

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

MD5SUM BENCH= 26d84ad15c3c68fd23eb83f2d18b525f
RANDOM SEED=1119756676

node147.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.951
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	: 5333.90
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.951
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.951
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.87
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.951
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.951
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.951
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.951
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.951
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:       32873844 kB
MemFree:        29973768 kB
Buffers:          561268 kB
Cached:          1131116 kB
SwapCached:         3136 kB
Active:          1458064 kB
Inactive:         503496 kB
Active(anon):     267208 kB
Inactive(anon):     3116 kB
Active(file):    1190856 kB
Inactive(file):   500380 kB
Unevictable:        7644 kB
Mlocked:            7644 kB
SwapTotal:      67108856 kB
SwapFree:       67099264 kB
Dirty:              9756 kB
Writeback:             0 kB
AnonPages:        359256 kB
Mapped:            10128 kB
Shmem:                 0 kB
Slab:             794076 kB
SReclaimable:     235132 kB
SUnreclaim:       558944 kB
KernelStack:        1520 kB
PageTables:         4760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     452148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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= 69384 MiB
End job on node147 at 2012-06-09 03:21:43