Trace number 3698498

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 NameAnswerobjective functionCPU timeWall clock time
npSolver inc-topDown? (TO) 1800.05 1800.72

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX180_K192_cod2.opb
MD5SUM1a988adb2582fdda2a937cfe38fb69f2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-36224
Best CPU time to get the best result obtained on this benchmark989.98
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1605
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 370186
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 370186
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data

4.09/4.12	c fallback to adder encoding
6.99/7.04	c run inc solver
6.99/7.04	c [INC SYSTEM] run initial solver
6.99/7.04	c [INC SYSTEM] preprocess with white file
23.99/24.23	c [INC SYSTEM] finished preprocessing in 17 s
23.99/24.23	c [INC SYSTEM] execute solver
1405.96/1406.42	c [INC SEARCH] formula is SAT
1406.06/1406.52	c [INC SYSTEM] solved the initial formula
1406.95/1407.45	c model valid
1406.95/1407.45	c current solution ok
1414.90/1415.69	o -12449
1414.90/1415.69	c [INC SYSTEM] there exists a inc, kill it!
1414.90/1415.69	c write failed with 2
1414.90/1415.69	c [INC SEARCH] iteration: 0
1414.90/1415.69	c [INC BOUNDS] best value:357737 search for 357736
1414.90/1415.69	c [INC SYSTEM] create new solver instance
1414.90/1415.69	c [INC] encode full formula
1414.90/1415.69	c fallback to adder encoding
1415.23/1415.86	c set iterative enc to: adder
1415.23/1415.86	c set iterative enc to: none
1415.30/1416.08	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-3698498-1338109461/watcher-3698498-1338109461 -o /tmp/evaluation-result-3698498-1338109461/solver-3698498-1338109461 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698498-1338109461.opb 2132531185 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.45 2.11 2.03 2/181 13832
/proc/meminfo: memFree=26788084/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0

[startup+0.021181 s]
/proc/loadavg: 2.45 2.11 2.03 2/181 13832
/proc/meminfo: memFree=26788084/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100284 s]
/proc/loadavg: 2.45 2.11 2.03 2/181 13832
/proc/meminfo: memFree=26788084/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300214 s]
/proc/loadavg: 2.45 2.11 2.03 2/181 13832
/proc/meminfo: memFree=26788084/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700273 s]
/proc/loadavg: 2.45 2.11 2.03 2/181 13832
/proc/meminfo: memFree=26788084/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 2.45 2.11 2.03 3/183 13834
/proc/meminfo: memFree=26782036/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=13544 CPUtime=1.48 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) R 13832 13832 10899 0 -1 4202496 2575 0 0 0 148 0 0 0 20 0 1 0 277071595 13869056 2589 33554432000 4194304 5992684 140737000542880 140737000539000 4768718 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13833/statm: 3386 2589 146 440 0 2942 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 22692

[startup+3.10033 s]
/proc/loadavg: 2.45 2.11 2.03 3/183 13834
/proc/meminfo: memFree=26775272/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=49772 CPUtime=3.09 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) R 13832 13832 10899 0 -1 4202496 10015 0 0 0 307 2 0 0 20 0 1 0 277071595 50966528 11558 33554432000 4194304 5992684 140737000542880 140737000539000 4568015 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13833/statm: 12443 11558 159 440 0 11999 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 58920

[startup+6.30034 s]
/proc/loadavg: 2.42 2.11 2.03 3/183 13834
/proc/meminfo: memFree=26521548/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=372756 CPUtime=6.29 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) R 13832 13832 10899 0 -1 4202496 31756 0 0 0 616 13 0 0 20 0 1 0 277071595 381702144 84790 33554432000 4194304 5992684 140737000542880 140737000537848 4606634 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13833/statm: 93189 84790 167 440 0 92745 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 381904

[startup+12.7003 s]
/proc/loadavg: 2.38 2.11 2.03 3/185 13836
/proc/meminfo: memFree=25177264/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=372756 CPUtime=7.04 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 32479 0 0 0 653 51 0 0 20 0 1 0 277071595 381702144 90983 33554432000 4194304 5992684 140737000542880 140737000537328 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13833/statm: 93189 90983 174 440 0 92745 0
[pid=13835] ppid=13833 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13835/stat : 13835 (cp2_pre.sh) S 13833 13832 10899 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 277072300 9367552 277 33554432000 4194304 5064252 140736800734448 140736800733152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13835/statm: 2287 277 234 213 0 72 0
[pid=13836] ppid=13835 vsize=1178572 CPUtime=5.63 cores=0,2,4,6
/proc/13836/stat : 13836 (coprocessor) R 13835 13832 10899 0 -1 4202496 79528 0 0 0 534 29 0 0 20 0 1 0 277072300 1206857728 259675 33554432000 4194304 6586260 140734182852592 140734182848856 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/13836/statm: 294643 259675 164 584 0 294055 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1569624

[startup+25.5003 s]
/proc/loadavg: 2.43 2.13 2.04 3/184 13838
/proc/meminfo: memFree=26010024/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=372756 CPUtime=24.04 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 32495 118731 0 0 653 51 1628 72 20 0 1 0 277071595 381702144 90985 33554432000 4194304 5992684 140737000542880 140737000529144 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13833/statm: 93189 90985 176 440 0 92745 0
[pid=13838] ppid=13833 vsize=489756 CPUtime=1.25 cores=0,2,4,6
/proc/13838/stat : 13838 (glucosInc) R 13833 13832 10899 0 -1 4202496 68447 0 0 0 108 17 0 0 20 0 1 0 277074019 501510144 111148 33554432000 4194304 5654031 140737404605504 140737403554856 4797458 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13838/statm: 122439 111149 109 357 0 122079 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 871660

[startup+51.1004 s]
/proc/loadavg: 2.28 2.12 2.04 3/184 13838
/proc/meminfo: memFree=25765808/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=372756 CPUtime=24.04 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 32495 118731 0 0 653 51 1628 72 20 0 1 0 277071595 381702144 90985 33554432000 4194304 5992684 140737000542880 140737000529144 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13833/statm: 93189 90985 176 440 0 92745 0
[pid=13838] ppid=13833 vsize=615976 CPUtime=26.85 cores=0,2,4,6
/proc/13838/stat : 13838 (glucosInc) R 13833 13832 10899 0 -1 4202496 89610 0 0 0 2663 22 0 0 20 0 1 0 277074019 630759424 135381 33554432000 4194304 5654031 140737404605504 140737404603288 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13838/statm: 153994 135381 140 357 0 153634 0
Current children cumulated CPU time (s) 50.89
Current children cumulated vsize (KiB) 997880

[startup+102.3 s]
/proc/loadavg: 2.12 2.10 2.03 3/183 13838
/proc/meminfo: memFree=25765940/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=372756 CPUtime=24.04 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 32495 118731 0 0 653 51 1628 72 20 0 1 0 277071595 381702144 90985 33554432000 4194304 5992684 140737000542880 140737000529144 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13833/statm: 93189 90985 176 440 0 92745 0
[pid=13838] ppid=13833 vsize=615976 CPUtime=78.04 cores=0,2,4,6
/proc/13838/stat : 13838 (glucosInc) R 13833 13832 10899 0 -1 4202496 89632 0 0 0 7782 22 0 0 20 0 1 0 277074019 630759424 135403 33554432000 4194304 5654031 140737404605504 140737404603288 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13838/statm: 153994 135403 140 357 0 153634 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 997880

[startup+162.3 s]
/proc/loadavg: 2.04 2.08 2.03 3/183 13838
/proc/meminfo: memFree=25765816/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=372756 CPUtime=24.04 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 32495 118731 0 0 653 51 1628 72 20 0 1 0 277071595 381702144 90985 33554432000 4194304 5992684 140737000542880 140737000529144 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13833/statm: 93189 90985 176 440 0 92745 0
[pid=13838] ppid=13833 vsize=616108 CPUtime=138.04 cores=0,2,4,6
/proc/13838/stat : 13838 (glucosInc) R 13833 13832 10899 0 -1 4202496 89650 0 0 0 13782 22 0 0 20 0 1 0 277074019 630894592 135421 33554432000 4194304 5654031 140737404605504 140737404603336 4214475 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13838/statm: 154027 135421 140 357 0 153667 0
Current children cumulated CPU time (s) 162.08
Current children cumulated vsize (KiB) 998012

[startup+222.3 s]
/proc/loadavg: 2.01 2.06 2.02 3/183 13838
/proc/meminfo: memFree=25762092/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=372756 CPUtime=24.04 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 32495 118731 0 0 653 51 1628 72 20 0 1 0 277071595 381702144 90985 33554432000 4194304 5992684 140737000542880 140737000529144 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13833/statm: 93189 90985 176 440 0 92745 0
[pid=13838] ppid=13833 vsize=616252 CPUtime=198.02 cores=0,2,4,6
/proc/13838/stat : 13838 (glucosInc) R 13833 13832 10899 0 -1 4202496 89670 0 0 0 19780 22 0 0 20 0 1 0 277074019 631042048 135441 33554432000 4194304 5654031 140737404605504 140737404603400 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13838/statm: 154063 135441 140 357 0 153703 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 998156

[startup+282.307 s]
/proc/loadavg: 2.00 2.05 2.01 3/183 13838
/proc/meminfo: memFree=25762216/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=372756 CPUtime=24.04 cores=0,2,4,6

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

/proc/meminfo: memFree=25991628/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=372756 CPUtime=24.04 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 32495 118731 0 0 653 51 1628 72 20 0 1 0 277071595 381702144 90985 33554432000 4194304 5992684 140737000542880 140737000529144 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13833/statm: 93189 90985 176 440 0 92745 0
[pid=13838] ppid=13833 vsize=617824 CPUtime=1277.82 cores=0,2,4,6
/proc/13838/stat : 13838 (glucosInc) R 13833 13832 10899 0 -1 4202496 90110 0 0 0 127759 23 0 0 20 0 1 0 277074019 632651776 136361 33554432000 4194304 5654031 140737404605504 140737404603288 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13838/statm: 154456 136361 140 357 0 154096 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 999728

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.01 3/183 13938
/proc/meminfo: memFree=25982696/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=372756 CPUtime=24.04 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 32495 118731 0 0 653 51 1628 72 20 0 1 0 277071595 381702144 90985 33554432000 4194304 5992684 140737000542880 140737000529144 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13833/statm: 93189 90985 176 440 0 92745 0
[pid=13838] ppid=13833 vsize=631820 CPUtime=1337.81 cores=0,2,4,6
/proc/13838/stat : 13838 (glucosInc) R 13833 13832 10899 0 -1 4202496 91393 0 0 0 133758 23 0 0 20 0 1 0 277074019 646983680 138666 33554432000 4194304 5654031 140737404605504 140737404593320 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13838/statm: 157955 138666 140 357 0 157595 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 1013724

[startup+1422.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/183 13941
/proc/meminfo: memFree=25822316/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=410916 CPUtime=1415.51 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 44884 211212 0 0 919 705 139792 135 20 0 1 0 277071595 420777984 99825 33554432000 4194304 5992684 140737000542880 140737000528712 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 15 0 0
/proc/13833/statm: 102729 99825 185 440 0 102285 0
[pid=13941] ppid=13833 vsize=614160 CPUtime=6.2 cores=0,2,4,6
/proc/13941/stat : 13941 (glucosInc) R 13833 13832 10899 0 -1 4202496 89911 0 0 0 602 18 0 0 20 0 1 0 277213204 628899840 137650 33554432000 4194304 5654031 140733791385920 140733791373736 4208584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13941/statm: 153540 137650 139 357 0 153180 0
Current children cumulated CPU time (s) 1421.71
Current children cumulated vsize (KiB) 1034224

[startup+1482.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 13941
/proc/meminfo: memFree=25800572/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=410916 CPUtime=1415.51 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 44884 211212 0 0 919 705 139792 135 20 0 1 0 277071595 420777984 99825 33554432000 4194304 5992684 140737000542880 140737000528712 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 15 0 0
/proc/13833/statm: 102729 99825 185 440 0 102285 0
[pid=13941] ppid=13833 vsize=627392 CPUtime=66.2 cores=0,2,4,6
/proc/13941/stat : 13941 (glucosInc) R 13833 13832 10899 0 -1 4202496 91755 0 0 0 6601 19 0 0 20 0 1 0 277213204 642449408 143071 33554432000 4194304 5654031 140733791385920 140733791373736 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 156848 143071 139 357 0 156488 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 1047456

[startup+1542.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/184 13945
/proc/meminfo: memFree=25793124/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=410916 CPUtime=1415.51 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 44884 211212 0 0 919 705 139792 135 20 0 1 0 277071595 420777984 99825 33554432000 4194304 5992684 140737000542880 140737000528712 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 15 0 0
/proc/13833/statm: 102729 99825 185 440 0 102285 0
[pid=13941] ppid=13833 vsize=634824 CPUtime=126.18 cores=0,2,4,6
/proc/13941/stat : 13941 (glucosInc) R 13833 13832 10899 0 -1 4202496 92551 0 0 0 12599 19 0 0 20 0 1 0 277213204 650059776 144889 33554432000 4194304 5654031 140733791385920 140733791373736 4232479 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 158706 144889 139 357 0 158346 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 1054888

[startup+1602.31 s]
/proc/loadavg: 2.10 2.04 2.00 3/183 13945
/proc/meminfo: memFree=25778116/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=410916 CPUtime=1415.51 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 44884 211212 0 0 919 705 139792 135 20 0 1 0 277071595 420777984 99825 33554432000 4194304 5992684 140737000542880 140737000528712 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 15 0 0
/proc/13833/statm: 102729 99825 185 440 0 102285 0
[pid=13941] ppid=13833 vsize=642308 CPUtime=186.18 cores=0,2,4,6
/proc/13941/stat : 13941 (glucosInc) R 13833 13832 10899 0 -1 4202496 93798 0 0 0 18598 20 0 0 20 0 1 0 277213204 657723392 148691 33554432000 4194304 5654031 140733791385920 140733791373736 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 160577 148691 140 357 0 160217 0
Current children cumulated CPU time (s) 1601.69
Current children cumulated vsize (KiB) 1062372

[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 13945
/proc/meminfo: memFree=25777148/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=410916 CPUtime=1415.51 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 44884 211212 0 0 919 705 139792 135 20 0 1 0 277071595 420777984 99825 33554432000 4194304 5992684 140737000542880 140737000528712 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 15 0 0
/proc/13833/statm: 102729 99825 185 440 0 102285 0
[pid=13941] ppid=13833 vsize=642308 CPUtime=246.17 cores=0,2,4,6
/proc/13941/stat : 13941 (glucosInc) R 13833 13832 10899 0 -1 4202496 93798 0 0 0 24597 20 0 0 20 0 1 0 277213204 657723392 148691 33554432000 4194304 5654031 140733791385920 140733791373736 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 160577 148691 140 357 0 160217 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1062372

[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 13945
/proc/meminfo: memFree=25776940/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=410916 CPUtime=1415.51 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 44884 211212 0 0 919 705 139792 135 20 0 1 0 277071595 420777984 99825 33554432000 4194304 5992684 140737000542880 140737000528712 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 15 0 0
/proc/13833/statm: 102729 99825 185 440 0 102285 0
[pid=13941] ppid=13833 vsize=642308 CPUtime=306.16 cores=0,2,4,6
/proc/13941/stat : 13941 (glucosInc) R 13833 13832 10899 0 -1 4202496 93801 0 0 0 30596 20 0 0 20 0 1 0 277213204 657723392 148691 33554432000 4194304 5654031 140733791385920 140733791373736 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 160577 148691 140 357 0 160217 0
Current children cumulated CPU time (s) 1721.67
Current children cumulated vsize (KiB) 1062372

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13945
/proc/meminfo: memFree=25776844/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=410916 CPUtime=1415.51 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 44884 211212 0 0 919 705 139792 135 20 0 1 0 277071595 420777984 99825 33554432000 4194304 5992684 140737000542880 140737000528712 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 15 0 0
/proc/13833/statm: 102729 99825 185 440 0 102285 0
[pid=13941] ppid=13833 vsize=642308 CPUtime=366.14 cores=0,2,4,6
/proc/13941/stat : 13941 (glucosInc) R 13833 13832 10899 0 -1 4202496 93810 0 0 0 36594 20 0 0 20 0 1 0 277213204 657723392 148691 33554432000 4194304 5654031 140733791385920 140733791373736 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 160577 148691 140 357 0 160217 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 1062372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 13945
/proc/meminfo: memFree=25776940/32873844 swapFree=7124/7124
[pid=13832] ppid=13830 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13832/stat : 13832 (npSolver-pbo-It) S 13830 13832 10899 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 277071595 9367552 275 33554432000 4194304 5064252 140733481928240 140733481927152 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13832/statm: 2287 275 233 213 0 72 0
[pid=13833] ppid=13832 vsize=410916 CPUtime=1415.51 cores=0,2,4,6
/proc/13833/stat : 13833 (npSolver-pbo) S 13832 13832 10899 0 -1 4202496 44884 211212 0 0 919 705 139792 135 20 0 1 0 277071595 420777984 99825 33554432000 4194304 5992684 140737000542880 140737000528712 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 15 0 0
/proc/13833/statm: 102729 99825 185 440 0 102285 0
[pid=13941] ppid=13833 vsize=642308 CPUtime=384.54 cores=0,2,4,6
/proc/13941/stat : 13941 (glucosInc) R 13833 13832 10899 0 -1 4202496 93820 0 0 0 38434 20 0 0 20 0 1 0 277213204 657723392 148701 33554432000 4194304 5654031 140733791385920 140733791373736 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13941/statm: 160577 148701 140 357 0 160217 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1062372

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13832 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.72
CPU time (s): 1800.05
CPU user time (s): 1791.45
CPU system time (s): 8.6
CPU usage (%): 99.9628
Max. virtual memory (cumulated for all children) (KiB): 1873240

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359
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 3.74343 second user time and 10.4124 second system time

The end

Launcher Data

Begin job on node134 at 2012-05-27 11:04:22
IDJOB=3698498
IDBENCH=90949
IDSOLVER=2275
FILE ID=node134/3698498-1338109461
RUNJOBID= node134-1338099212-12765
PBS_JOBID= 14624458
Free space on /tmp= 70788 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null20mast_rapportOE1.0_TMAX180_K192_cod2.opb
COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3698498-1338109461/watcher-3698498-1338109461 -o /tmp/evaluation-result-3698498-1338109461/solver-3698498-1338109461 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itd.sh HOME/instance-3698498-1338109461.opb 2132531185 HOME HOME

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

MD5SUM BENCH= 1a988adb2582fdda2a937cfe38fb69f2
RANDOM SEED=2132531185

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26787960 kB
Buffers:          385364 kB
Cached:          3925196 kB
SwapCached:            0 kB
Active:          2648724 kB
Inactive:        2580428 kB
Active(anon):     914796 kB
Inactive(anon):     5996 kB
Active(file):    1733928 kB
Inactive(file):  2574432 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             36804 kB
Writeback:             0 kB
AnonPages:        927084 kB
Mapped:            15628 kB
Shmem:               212 kB
Slab:             714656 kB
SReclaimable:     156100 kB
SUnreclaim:       558556 kB
KernelStack:        1496 kB
PageTables:         5724 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1154768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    772096 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= 70648 MiB
End job on node134 at 2012-05-27 11:34:25