Trace number 3702514

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.01 1800.52

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat100_4_32_3.opb
MD5SUM96fec7ce232e48bab56f85f395e33fea
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6182423
Best CPU time to get the best result obtained on this benchmark1800.5
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20200
Total number of constraints30206
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints30000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 19900
Biggest coefficient in the objective function 164566592
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 193952320580
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 164566592
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 193952320580
Number of bits of the biggest sum of numbers38
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.84	c run inc solver
0.00/0.84	c [INC SYSTEM] run initial solver
0.00/0.84	c [INC SYSTEM] preprocess with white file
6.24/6.44	c [INC SYSTEM] finished preprocessing in 5 s
6.24/6.44	c [INC SYSTEM] execute solver
10.15/10.34	c [INC SEARCH] formula is SAT
10.64/10.86	c [INC SYSTEM] solved the initial formula
10.64/10.86	c model valid
10.64/10.86	c current solution ok
12.23/12.42	o 61623059
12.23/12.42	c starting approximation
12.23/12.42	c factor = 2
12.23/12.42	c factor still to low - shrinking to 3.6789e+06
12.23/12.42	c approx number of clauses: 1e+06
12.23/12.42	c current bound: 30811580
13.48/13.79	c leaving approximation
13.48/13.79	c finished approximation
13.48/13.79	c [INC SYSTEM] there exists a inc, kill it!
13.48/13.79	c write failed with 2
13.65/13.80	c [INC SEARCH] iteration: 0
13.65/13.80	c [INC BOUNDS] best value:61623159 search for 61623158
13.65/13.80	c [INC SYSTEM] create new solver instance
13.65/13.80	c [INC] encode full formula
13.65/13.80	c fallback to adder encoding
16.46/16.67	c set iterative enc to: adder
16.46/16.67	c set iterative enc to: none
16.96/17.12	c [INC SEARCH] isOptimum variable: 0
1375.03/1375.48	c formula is SAT
1375.14/1375.58	c [INC SEARCH] copied best model
1375.14/1375.58	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1375.24/1375.65	c model valid
1375.24/1375.65	c current solution ok
1375.24/1375.65	o 41202315
1375.24/1375.65	c [INC SEARCH] iteration: 1
1375.24/1375.65	c [INC BOUNDS] best value:41202415 search for 41202414
1375.24/1375.65	c [INC SYSTEM] there exists a inc, kill it!
1375.24/1375.65	c write failed with 2
1375.24/1375.66	c [INC SYSTEM] create new solver instance
1375.24/1375.66	c [INC] encode full formula
1375.24/1375.66	c fallback to adder encoding
1377.95/1378.39	c set iterative enc to: adder
1377.95/1378.39	c set iterative enc to: none
1378.45/1378.88	c [INC SEARCH] isOptimum variable: 0

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-3702514-1338137774/watcher-3702514-1338137774 -o /tmp/evaluation-result-3702514-1338137774/solver-3702514-1338137774 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702514-1338137774.opb 1993283038 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/178 26643
/proc/meminfo: memFree=30873368/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0

[startup+0.105919 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26643
/proc/meminfo: memFree=30873368/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200236 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26643
/proc/meminfo: memFree=30873368/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300255 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26643
/proc/meminfo: memFree=30873368/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700281 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26643
/proc/meminfo: memFree=30873368/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26647
/proc/meminfo: memFree=30746808/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=65016 CPUtime=0.86 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 11341 0 0 0 77 9 0 0 20 0 1 0 279901972 66576384 15200 33554432000 4194304 5992684 140735733715728 140735733710176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 16254 15200 172 440 0 15810 0
[pid=26646] ppid=26644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26646/stat : 26646 (cp2_pre.sh) S 26644 26643 24278 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279902059 9367552 276 33554432000 4194304 5064252 140733388414864 140733388413568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26646/statm: 2287 276 234 213 0 72 0
[pid=26647] ppid=26646 vsize=277504 CPUtime=0.61 cores=1,3,5,7
/proc/26647/stat : 26647 (coprocessor) R 26646 26643 24278 0 -1 4202496 26647 0 0 0 53 8 0 0 20 0 1 0 279902059 284164096 60928 33554432000 4194304 6586260 140735969270624 140735969267384 5511711 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/26647/statm: 69376 60928 166 584 0 68788 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 360816

[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26647
/proc/meminfo: memFree=30486080/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=65016 CPUtime=0.86 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 11341 0 0 0 77 9 0 0 20 0 1 0 279901972 66576384 15200 33554432000 4194304 5992684 140735733715728 140735733710176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 16254 15200 172 440 0 15810 0
[pid=26646] ppid=26644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26646/stat : 26646 (cp2_pre.sh) S 26644 26643 24278 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279902059 9367552 276 33554432000 4194304 5064252 140733388414864 140733388413568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26646/statm: 2287 276 234 213 0 72 0
[pid=26647] ppid=26646 vsize=366764 CPUtime=2.22 cores=1,3,5,7
/proc/26647/stat : 26647 (coprocessor) R 26646 26643 24278 0 -1 4202496 47673 0 0 0 209 13 0 0 20 0 1 0 279902059 375566336 89105 33554432000 4194304 6586260 140735969270624 140735969266552 4768675 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/26647/statm: 91691 89105 176 584 0 91103 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 450076

[startup+6.30036 s]
/proc/loadavg: 2.08 2.02 2.01 3/182 26647
/proc/meminfo: memFree=30330692/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=65016 CPUtime=0.86 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 11341 0 0 0 77 9 0 0 20 0 1 0 279901972 66576384 15200 33554432000 4194304 5992684 140735733715728 140735733710176 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 16254 15200 172 440 0 15810 0
[pid=26646] ppid=26644 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26646/stat : 26646 (cp2_pre.sh) S 26644 26643 24278 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279902059 9367552 276 33554432000 4194304 5064252 140733388414864 140733388413568 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/26646/statm: 2287 276 234 213 0 72 0
[pid=26647] ppid=26646 vsize=456984 CPUtime=5.28 cores=1,3,5,7
/proc/26647/stat : 26647 (coprocessor) R 26646 26643 24278 0 -1 4202496 56453 0 0 0 463 65 0 0 20 0 1 0 279902059 467951616 109881 33554432000 4194304 6586260 140735969270624 140735969266376 5732496 0 0 4096 8404994 0 0 0 17 3 0 0 13 0 0
/proc/26647/statm: 114246 109881 200 584 0 113658 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 540296

[startup+12.7004 s]
/proc/loadavg: 2.15 2.03 2.01 3/181 26651
/proc/meminfo: memFree=30663864/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=88976 CPUtime=8.51 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 15100 57870 0 0 134 169 475 73 20 0 1 0 279901972 91111424 21041 33554432000 4194304 5992684 140735733715728 140735733708016 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 22244 21041 196 440 0 21800 0
[pid=26649] ppid=26644 vsize=169292 CPUtime=3.87 cores=1,3,5,7
/proc/26649/stat : 26649 (glucosInc) S 26644 26643 24278 0 -1 4202496 32844 0 0 0 380 7 0 0 20 0 1 0 279902617 173355008 38299 33554432000 4194304 5654031 140737165230576 140737165228888 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26649/statm: 42323 38299 146 357 0 41963 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 267416

[startup+25.5005 s]
/proc/loadavg: 2.20 2.05 2.01 3/181 26661
/proc/meminfo: memFree=29969836/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=124340 CPUtime=16.98 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 23073 137578 0 0 418 211 965 104 20 0 1 0 279901972 127324160 30063 33554432000 4194304 5992684 140735733715728 140735733701560 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 31085 30063 206 440 0 30641 0
[pid=26661] ppid=26644 vsize=683880 CPUtime=8.37 cores=1,3,5,7
/proc/26661/stat : 26661 (glucosInc) R 26644 26643 24278 0 -1 4202496 101177 0 0 0 804 33 0 0 20 0 1 0 279903684 700293120 147440 33554432000 4194304 5654031 140735770300480 140735770288296 4233309 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26661/statm: 170970 147440 141 357 0 170610 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 817368

[startup+51.1005 s]
/proc/loadavg: 2.13 2.04 2.01 3/181 26661
/proc/meminfo: memFree=29951284/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=124340 CPUtime=16.98 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 23073 137578 0 0 418 211 965 104 20 0 1 0 279901972 127324160 30063 33554432000 4194304 5992684 140735733715728 140735733701560 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 31085 30063 206 440 0 30641 0
[pid=26661] ppid=26644 vsize=765268 CPUtime=33.96 cores=1,3,5,7
/proc/26661/stat : 26661 (glucosInc) R 26644 26643 24278 0 -1 4202496 102306 0 0 0 3362 34 0 0 20 0 1 0 279903684 783634432 150611 33554432000 4194304 5654031 140735770300480 140735770288296 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26661/statm: 191317 150611 141 357 0 190957 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 898756

[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/181 26661
/proc/meminfo: memFree=29939248/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=124340 CPUtime=16.98 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 23073 137578 0 0 418 211 965 104 20 0 1 0 279901972 127324160 30063 33554432000 4194304 5992684 140735733715728 140735733701560 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 31085 30063 206 440 0 30641 0
[pid=26661] ppid=26644 vsize=766568 CPUtime=85.16 cores=1,3,5,7
/proc/26661/stat : 26661 (glucosInc) R 26644 26643 24278 0 -1 4202496 102714 0 0 0 8482 34 0 0 20 0 1 0 279903684 784965632 151019 33554432000 4194304 5654031 140735770300480 140735770298264 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26661/statm: 191642 151019 142 357 0 191282 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 900056

[startup+162.3 s]
/proc/loadavg: 2.05 2.04 2.01 3/181 26664
/proc/meminfo: memFree=29951124/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=124340 CPUtime=16.98 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 23073 137578 0 0 418 211 965 104 20 0 1 0 279901972 127324160 30063 33554432000 4194304 5992684 140735733715728 140735733701560 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 31085 30063 206 440 0 30641 0
[pid=26661] ppid=26644 vsize=773056 CPUtime=145.15 cores=1,3,5,7
/proc/26661/stat : 26661 (glucosInc) R 26644 26643 24278 0 -1 4202496 104280 0 0 0 14480 35 0 0 20 0 1 0 279903684 791609344 154118 33554432000 4194304 5654031 140735770300480 140735770288296 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26661/statm: 193264 154118 142 357 0 192904 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 906544

[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 26666
/proc/meminfo: memFree=29925068/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=124340 CPUtime=16.98 cores=1,3,5,7

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

/proc/meminfo: memFree=29900008/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=124340 CPUtime=16.98 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 23073 137578 0 0 418 211 965 104 20 0 1 0 279901972 127324160 30063 33554432000 4194304 5992684 140735733715728 140735733701560 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 31085 30063 206 440 0 30641 0
[pid=26661] ppid=26644 vsize=928876 CPUtime=1344.93 cores=1,3,5,7
/proc/26661/stat : 26661 (glucosInc) R 26644 26643 24278 0 -1 4202496 113533 0 0 0 134421 72 0 0 20 0 1 0 279903684 951169024 180156 33554432000 4194304 5654031 140735770300480 140735770288296 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26661/statm: 232219 180156 142 357 0 231859 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 1062364

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26709
/proc/meminfo: memFree=30013108/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=138932 CPUtime=1378.53 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 32541 251642 0 0 712 252 136702 187 20 0 1 0 279901972 142266368 33711 33554432000 4194304 5992684 140735733715728 140735733701560 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 34733 33711 206 440 0 34289 0
[pid=26709] ppid=26644 vsize=621872 CPUtime=43.39 cores=1,3,5,7
/proc/26709/stat : 26709 (glucosInc) R 26644 26643 24278 0 -1 4202496 94947 0 0 0 4310 29 0 0 20 0 1 0 280039860 636796928 143496 33554432000 4194304 5654031 140736382713920 140736382701736 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26709/statm: 155468 143496 140 357 0 155108 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 769952

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26712
/proc/meminfo: memFree=30016592/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=138932 CPUtime=1378.53 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 32541 251642 0 0 712 252 136702 187 20 0 1 0 279901972 142266368 33711 33554432000 4194304 5992684 140735733715728 140735733701560 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 34733 33711 206 440 0 34289 0
[pid=26709] ppid=26644 vsize=623372 CPUtime=103.35 cores=1,3,5,7
/proc/26709/stat : 26709 (glucosInc) R 26644 26643 24278 0 -1 4202496 95355 0 0 0 10306 29 0 0 20 0 1 0 280039860 638332928 145411 33554432000 4194304 5654031 140736382713920 140736382711608 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26709/statm: 155843 145411 141 357 0 155483 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 771452

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26712
/proc/meminfo: memFree=29985228/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=138932 CPUtime=1378.53 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 32541 251642 0 0 712 252 136702 187 20 0 1 0 279901972 142266368 33711 33554432000 4194304 5992684 140735733715728 140735733701560 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 34733 33711 206 440 0 34289 0
[pid=26709] ppid=26644 vsize=706116 CPUtime=163.33 cores=1,3,5,7
/proc/26709/stat : 26709 (glucosInc) R 26644 26643 24278 0 -1 4202496 96142 0 0 0 16303 30 0 0 20 0 1 0 280039860 723062784 146693 33554432000 4194304 5654031 140736382713920 140736382701736 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26709/statm: 176529 146693 141 357 0 176169 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 854196

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26712
/proc/meminfo: memFree=29983156/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=138932 CPUtime=1378.53 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 32541 251642 0 0 712 252 136702 187 20 0 1 0 279901972 142266368 33711 33554432000 4194304 5992684 140735733715728 140735733701560 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 34733 33711 206 440 0 34289 0
[pid=26709] ppid=26644 vsize=708100 CPUtime=223.32 cores=1,3,5,7
/proc/26709/stat : 26709 (glucosInc) R 26644 26643 24278 0 -1 4202496 97042 0 0 0 22301 31 0 0 20 0 1 0 280039860 725094400 152198 33554432000 4194304 5654031 140736382713920 140736382711816 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26709/statm: 177025 152198 141 357 0 176665 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 856180

[startup+1662.31 s]
/proc/loadavg: 2.12 2.04 2.01 3/181 26712
/proc/meminfo: memFree=29970064/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=138932 CPUtime=1378.53 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 32541 251642 0 0 712 252 136702 187 20 0 1 0 279901972 142266368 33711 33554432000 4194304 5992684 140735733715728 140735733701560 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 34733 33711 206 440 0 34289 0
[pid=26709] ppid=26644 vsize=720372 CPUtime=283.3 cores=1,3,5,7
/proc/26709/stat : 26709 (glucosInc) R 26644 26643 24278 0 -1 4202496 98932 0 0 0 28299 31 0 0 20 0 1 0 280039860 737660928 157757 33554432000 4194304 5654031 140736382713920 140736382701736 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26709/statm: 180093 157757 141 357 0 179733 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 868452

[startup+1722.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/181 26713
/proc/meminfo: memFree=29986360/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=138932 CPUtime=1378.53 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 32541 251642 0 0 712 252 136702 187 20 0 1 0 279901972 142266368 33711 33554432000 4194304 5992684 140735733715728 140735733701560 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 34733 33711 206 440 0 34289 0
[pid=26709] ppid=26644 vsize=638984 CPUtime=343.29 cores=1,3,5,7
/proc/26709/stat : 26709 (glucosInc) R 26644 26643 24278 0 -1 4202496 99483 0 0 0 34295 34 0 0 20 0 1 0 280039860 654319616 149980 33554432000 4194304 5654031 140736382713920 140736382701736 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26709/statm: 159746 149980 141 357 0 159386 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 787064

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 26713
/proc/meminfo: memFree=29953412/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=138932 CPUtime=1378.53 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 32541 251642 0 0 712 252 136702 187 20 0 1 0 279901972 142266368 33711 33554432000 4194304 5992684 140735733715728 140735733701560 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 34733 33711 206 440 0 34289 0
[pid=26709] ppid=26644 vsize=720372 CPUtime=403.28 cores=1,3,5,7
/proc/26709/stat : 26709 (glucosInc) R 26644 26643 24278 0 -1 4202496 99954 0 0 0 40293 35 0 0 20 0 1 0 280039860 737660928 150961 33554432000 4194304 5654031 140736382713920 140736382712008 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26709/statm: 180093 150961 141 357 0 179733 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 868452



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.08 2.04 2.00 3/181 26757
/proc/meminfo: memFree=30263340/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=138932 CPUtime=1378.53 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 32541 251642 0 0 712 252 136702 187 20 0 1 0 279901972 142266368 33711 33554432000 4194304 5992684 140735733715728 140735733701560 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 34733 33711 206 440 0 34289 0
[pid=26709] ppid=26644 vsize=720372 CPUtime=421.48 cores=1,3,5,7
/proc/26709/stat : 26709 (glucosInc) R 26644 26643 24278 0 -1 4202496 100091 0 0 0 42113 35 0 0 20 0 1 0 280039860 737660928 151098 33554432000 4194304 5654031 140736382713920 140736382712008 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26709/statm: 180093 151098 141 357 0 179733 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 868452

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.5 s]
/proc/loadavg: 2.08 2.04 2.00 3/181 26757
/proc/meminfo: memFree=30263340/32873844 swapFree=6080/6080
[pid=26643] ppid=26641 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26643/stat : 26643 (npSolver-pbo-It) S 26641 26643 24278 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 279901972 9367552 274 33554432000 4194304 5064252 140737291673392 140737291672304 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26643/statm: 2287 274 233 213 0 72 0
[pid=26644] ppid=26643 vsize=138932 CPUtime=1378.53 cores=1,3,5,7
/proc/26644/stat : 26644 (npSolver-pbo) S 26643 26643 24278 0 -1 4202496 32541 251642 0 0 712 252 136702 187 20 0 1 0 279901972 142266368 33711 33554432000 4194304 5992684 140735733715728 140735733701560 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/26644/statm: 34733 33711 206 440 0 34289 0
[pid=26709] ppid=26644 vsize=720372 CPUtime=421.48 cores=1,3,5,7
/proc/26709/stat : 26709 (glucosInc) R 26644 26643 24278 0 -1 4202496 100091 0 0 0 42113 35 0 0 20 0 1 0 280039860 737660928 151098 33554432000 4194304 5654031 140736382713920 140736382712008 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26709/statm: 180093 151098 141 357 0 179733 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 868452

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26643 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.01
#
# 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.01
CPU user time (s): 1795.27
CPU system time (s): 4.74
CPU usage (%): 99.9719
Max. virtual memory (cumulated for all children) (KiB): 1141720

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1

runsolver used 4.04239 second user time and 11.6522 second system time

The end

Launcher Data 

Begin job on node139 at 2012-05-27 18:56:14
IDJOB=3702514
IDBENCH=92755
IDSOLVER=2278
FILE ID=node139/3702514-1338137774
RUNJOBID= node139-1338122473-24295
PBS_JOBID= 14624487
Free space on /tmp= 71528 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat100_4_32_3.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3702514-1338137774/watcher-3702514-1338137774 -o /tmp/evaluation-result-3702514-1338137774/solver-3702514-1338137774 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702514-1338137774.opb 1993283038 HOME HOME

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

MD5SUM BENCH= 96fec7ce232e48bab56f85f395e33fea
RANDOM SEED=1993283038

node139.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.750
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.50
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.750
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.750
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.90
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.750
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.750
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.92
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.750
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.750
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.750
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:        30873748 kB
Buffers:          360316 kB
Cached:           416496 kB
SwapCached:          828 kB
Active:          1102088 kB
Inactive:          45816 kB
Active(anon):     364404 kB
Inactive(anon):     9096 kB
Active(file):     737684 kB
Inactive(file):    36720 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67104692 kB
Dirty:            145172 kB
Writeback:             0 kB
AnonPages:        376136 kB
Mapped:            13244 kB
Shmem:                 8 kB
Slab:             714832 kB
SReclaimable:     156648 kB
SUnreclaim:       558184 kB
KernelStack:        1464 kB
PageTables:         4544 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     533024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 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= 71388 MiB
End job on node139 at 2012-05-27 19:26:17