Trace number 3697905

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.04 1803.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-p2756.opb
MD5SUM54b9b4de78a7992fd69d0caeed32daef
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3124
Best CPU time to get the best result obtained on this benchmark1.66275
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3695
Optimality of the best value was proved NO
Number of variables2756
Total number of constraints749
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)220
Number of constraints which are nor clauses,nor cardinality constraints397
Minimum length of a constraint2
Maximum length of a constraint546
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
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

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

18.08/18.17	c fallback to adder encoding
18.87/18.96	c run inc solver
18.87/18.96	c [INC SYSTEM] run initial solver
18.87/18.96	c [INC SYSTEM] preprocess with white file
100.70/101.58	c [INC SYSTEM] finished preprocessing in 82 s
100.70/101.58	c [INC SYSTEM] execute solver
117.39/118.24	c [INC SEARCH] formula is SAT
117.39/118.26	c [INC SYSTEM] solved the initial formula
117.39/118.27	c model valid
117.39/118.27	c current solution ok
123.78/124.97	o 156016
123.78/124.97	c [INC SYSTEM] there exists a inc, kill it!
123.78/124.97	c write failed with 2
123.78/124.98	c [INC SEARCH] iteration: 0
123.78/124.98	c [INC BOUNDS] best value:156016 search for 156015
123.78/124.98	c [INC SYSTEM] create new solver instance
123.78/124.98	c [INC] encode full formula
123.78/124.98	c fallback to adder encoding
124.30/125.19	c set iterative enc to: adder
124.30/125.19	c set iterative enc to: none
124.80/127.81	c [INC SEARCH] isOptimum variable: 0
674.47/677.64	c formula is SAT
674.47/677.67	c [INC SEARCH] copied best model
674.47/677.67	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
674.47/677.68	c model valid
674.47/677.68	c current solution ok
674.47/677.68	o 115504
674.47/677.68	c [INC SEARCH] iteration: 1
674.47/677.68	c [INC BOUNDS] best value:115504 search for 115503
674.47/677.68	c [INC SYSTEM] there exists a inc, kill it!
674.47/677.68	c write failed with 2
674.47/677.69	c [INC SYSTEM] create new solver instance
674.47/677.69	c [INC] encode full formula
674.47/677.69	c fallback to adder encoding
674.67/677.89	c set iterative enc to: adder
674.67/677.89	c set iterative enc to: none
674.76/678.29	c [INC SEARCH] isOptimum variable: 0
941.45/944.74	c formula is SAT
941.45/944.77	c [INC SEARCH] copied best model
941.45/944.77	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
941.45/944.78	c model valid
941.45/944.78	c current solution ok
941.45/944.78	o 107181
941.45/944.78	c [INC SEARCH] iteration: 2
941.45/944.78	c [INC BOUNDS] best value:107181 search for 107180
941.45/944.78	c [INC SYSTEM] there exists a inc, kill it!
941.45/944.78	c write failed with 2
941.45/944.78	c [INC SYSTEM] create new solver instance
941.45/944.78	c [INC] encode full formula
941.45/944.78	c fallback to adder encoding
941.66/944.98	c set iterative enc to: adder
941.66/944.98	c set iterative enc to: none
941.75/945.39	c [INC SEARCH] isOptimum variable: 0
1221.13/1224.54	c formula is SAT
1221.13/1224.56	c [INC SEARCH] copied best model
1221.13/1224.56	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1221.13/1224.57	c model valid
1221.13/1224.57	c current solution ok
1221.13/1224.57	o 104919
1221.13/1224.57	c [INC SEARCH] iteration: 3
1221.13/1224.57	c [INC BOUNDS] best value:104919 search for 104918
1221.13/1224.57	c [INC SYSTEM] there exists a inc, kill it!
1221.13/1224.57	c write failed with 2
1221.13/1224.58	c [INC SYSTEM] create new solver instance
1221.13/1224.58	c [INC] encode full formula
1221.13/1224.58	c fallback to adder encoding
1221.33/1224.77	c set iterative enc to: adder
1221.33/1224.77	c set iterative enc to: none
1221.41/1225.17	c [INC SEARCH] isOptimum variable: 0
1658.93/1662.41	c formula is SAT
1658.93/1662.44	c [INC SEARCH] copied best model
1658.93/1662.44	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1658.93/1662.44	c model valid
1658.93/1662.44	c current solution ok
1658.93/1662.44	o 104043
1658.93/1662.44	c [INC SEARCH] iteration: 4
1658.93/1662.44	c [INC BOUNDS] best value:104043 search for 104042
1658.93/1662.44	c [INC SYSTEM] there exists a inc, kill it!
1658.93/1662.44	c write failed with 2
1658.93/1662.46	c [INC SYSTEM] create new solver instance
1658.93/1662.46	c [INC] encode full formula
1658.93/1662.46	c fallback to adder encoding
1659.14/1662.65	c set iterative enc to: adder
1659.14/1662.65	c set iterative enc to: none
1659.19/1663.05	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-3697905-1338050600/watcher-3697905-1338050600 -o /tmp/evaluation-result-3697905-1338050600/solver-3697905-1338050600 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697905-1338050600.opb 953336858 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 1.85 1.66 3/178 21590
/proc/meminfo: memFree=28858564/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0

[startup+0.0935281 s]
/proc/loadavg: 2.00 1.85 1.66 3/178 21590
/proc/meminfo: memFree=28858564/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100237 s]
/proc/loadavg: 2.00 1.85 1.66 3/178 21590
/proc/meminfo: memFree=28858564/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30023 s]
/proc/loadavg: 2.00 1.85 1.66 3/178 21590
/proc/meminfo: memFree=28858564/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700178 s]
/proc/loadavg: 2.00 1.85 1.66 3/178 21590
/proc/meminfo: memFree=28858564/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50022 s]
/proc/loadavg: 2.00 1.85 1.66 3/180 21592
/proc/meminfo: memFree=28841840/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=34984 CPUtime=1.49 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) R 21590 21590 18656 0 -1 4202496 3192 0 0 0 148 1 0 0 20 0 1 0 271185473 35823616 5726 33554432000 4194304 5992684 140733969727536 140733969721224 4809389 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21591/statm: 8746 5726 146 440 0 8302 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44132

[startup+3.10022 s]
/proc/loadavg: 2.00 1.85 1.66 3/180 21592
/proc/meminfo: memFree=28826636/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=67752 CPUtime=3.08 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) R 21590 21590 18656 0 -1 4202496 3729 0 0 0 307 1 0 0 20 0 1 0 271185473 69378048 10846 33554432000 4194304 5992684 140733969727536 140733969720856 4809385 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21591/statm: 16938 10846 146 440 0 16494 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 76900

[startup+6.30027 s]
/proc/loadavg: 2.00 1.86 1.66 3/180 21592
/proc/meminfo: memFree=28781884/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=133288 CPUtime=6.29 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) R 21590 21590 18656 0 -1 4202496 4296 0 0 0 626 3 0 0 20 0 1 0 271185473 136486912 23134 33554432000 4194304 5992684 140733969727536 140733969720808 4375104 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21591/statm: 33322 23134 146 440 0 32878 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 142436

[startup+12.7002 s]
/proc/loadavg: 2.00 1.86 1.66 3/179 21592
/proc/meminfo: memFree=28681192/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=264360 CPUtime=12.69 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) R 21590 21590 18656 0 -1 4202496 4918 0 0 0 1262 7 0 0 20 0 1 0 271185473 270704640 47198 33554432000 4194304 5992684 140733969727536 140733969723656 4768575 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21591/statm: 66090 47198 146 440 0 65646 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 273508

[startup+25.5003 s]
/proc/loadavg: 2.00 1.86 1.66 3/182 21595
/proc/meminfo: memFree=27424552/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=572052 CPUtime=18.94 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) S 21590 21590 18656 0 -1 4202496 17618 0 0 0 1839 55 0 0 20 0 1 0 271185473 585781248 84182 33554432000 4194304 5992684 140733969727536 140733969721984 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/21591/statm: 143013 84182 173 440 0 142569 0
[pid=21594] ppid=21591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21594/stat : 21594 (cp2_pre.sh) S 21591 21590 18656 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271187369 9367552 277 33554432000 4194304 5064252 140735578562848 140735578561552 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21594/statm: 2287 277 234 213 0 72 0
[pid=21595] ppid=21594 vsize=886720 CPUtime=6.51 cores=1,3,5,7
/proc/21595/stat : 21595 (coprocessor) R 21594 21590 18656 0 -1 4202496 146266 0 0 0 619 32 0 0 20 0 1 0 271187369 908001280 197002 33554432000 4194304 6586260 140736368117280 140736368113544 4498526 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/21595/statm: 221680 197002 168 584 0 221092 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 1477068

[startup+51.1003 s]
/proc/loadavg: 2.06 1.89 1.68 3/182 21595
/proc/meminfo: memFree=27406656/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=572052 CPUtime=18.94 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) S 21590 21590 18656 0 -1 4202496 17618 0 0 0 1839 55 0 0 20 0 1 0 271185473 585781248 84182 33554432000 4194304 5992684 140733969727536 140733969721984 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 1 0 0
/proc/21591/statm: 143013 84182 173 440 0 142569 0
[pid=21594] ppid=21591 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21594/stat : 21594 (cp2_pre.sh) S 21591 21590 18656 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 271187369 9367552 277 33554432000 4194304 5064252 140735578562848 140735578561552 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21594/statm: 2287 277 234 213 0 72 0
[pid=21595] ppid=21594 vsize=894896 CPUtime=32.11 cores=1,3,5,7
/proc/21595/stat : 21595 (coprocessor) R 21594 21590 18656 0 -1 4202496 147815 0 0 0 3178 33 0 0 20 0 1 0 271187369 916373504 204172 33554432000 4194304 6586260 140736368117280 140736368113304 4758304 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/21595/statm: 223724 204172 180 584 0 223136 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 1485244

[startup+102.307 s]
/proc/loadavg: 2.02 1.90 1.69 3/181 21597
/proc/meminfo: memFree=28158316/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=572052 CPUtime=100.79 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) S 21590 21590 18656 0 -1 4202496 17635 158008 0 0 1839 55 8095 90 20 0 1 0 271185473 585781248 84184 33554432000 4194304 5992684 140733969727536 140733969713800 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/21591/statm: 143013 84184 175 440 0 142569 0
[pid=21597] ppid=21591 vsize=158836 CPUtime=0.71 cores=1,3,5,7
/proc/21597/stat : 21597 (glucosInc) R 21591 21590 18656 0 -1 4202496 18287 0 0 0 67 4 0 0 20 0 1 0 271195631 162648064 31326 33554432000 4194304 5654031 140733422033856 140733420983448 4877696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21597/statm: 39709 31326 109 357 0 39349 0
Current children cumulated CPU time (s) 101.5
Current children cumulated vsize (KiB) 740036

[startup+162.3 s]
/proc/loadavg: 2.15 1.96 1.72 3/180 21600
/proc/meminfo: memFree=27513376/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=577896 CPUtime=124.81 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) S 21590 21590 18656 0 -1 4202496 25326 213801 0 0 1971 582 9743 185 20 0 1 0 271185473 591765504 85704 33554432000 4194304 5992684 140733969727536 140733969713368 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 112 0 0
/proc/21591/statm: 144474 85704 184 440 0 144030 0
[pid=21600] ppid=21591 vsize=636928 CPUtime=34.45 cores=1,3,5,7
/proc/21600/stat : 21600 (glucosInc) R 21591 21590 18656 0 -1 4202496 67552 0 0 0 3426 19 0 0 20 0 1 0 271198254 652214272 122823 33554432000 4194304 5654031 140736684762672 140736684750488 4233232 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21600/statm: 159232 122823 140 357 0 158872 0
Current children cumulated CPU time (s) 159.26
Current children cumulated vsize (KiB) 1223972

[startup+222.3 s]
/proc/loadavg: 2.05 1.97 1.74 3/181 21601
/proc/meminfo: memFree=27483824/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=577896 CPUtime=124.81 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) S 21590 21590 18656 0 -1 4202496 25326 213801 0 0 1971 582 9743 185 20 0 1 0 271185473 591765504 85704 33554432000 4194304 5992684 140733969727536 140733969713368 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 112 0 0
/proc/21591/statm: 144474 85704 184 440 0 144030 0
[pid=21600] ppid=21591 vsize=648700 CPUtime=94.43 cores=1,3,5,7
/proc/21600/stat : 21600 (glucosInc) R 21591 21590 18656 0 -1 4202496 70367 0 0 0 9423 20 0 0 20 0 1 0 271198254 664268800 130237 33554432000 4194304 5654031 140736684762672 140736684750488 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21600/statm: 162175 130237 140 357 0 161815 0
Current children cumulated CPU time (s) 219.24
Current children cumulated vsize (KiB) 1235744

[startup+282.3 s]
/proc/loadavg: 2.02 1.97 1.75 3/181 21601
/proc/meminfo: memFree=27454236/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=577896 CPUtime=124.81 cores=1,3,5,7

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

/proc/meminfo: memFree=27698528/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=577520 CPUtime=1221.8 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) S 21590 21590 18656 0 -1 4202496 46112 442604 0 0 2042 591 119158 389 20 0 1 0 271185473 591380480 85610 33554432000 4194304 5992684 140733969727536 140733969713368 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 112 0 0
/proc/21591/statm: 144380 85610 184 440 0 143936 0
[pid=21639] ppid=21591 vsize=646272 CPUtime=77.11 cores=1,3,5,7
/proc/21639/stat : 21639 (glucosInc) R 21591 21590 18656 0 -1 4202496 70446 0 0 0 7690 21 0 0 20 0 1 0 271307990 661782528 128151 33554432000 4194304 5654031 140735200620480 140735200608296 4214618 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21639/statm: 161568 128151 140 357 0 161208 0
Current children cumulated CPU time (s) 1298.91
Current children cumulated vsize (KiB) 1232940

[startup+1362.3 s]
/proc/loadavg: 1.29 1.77 1.82 2/173 21665
/proc/meminfo: memFree=27675820/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=577520 CPUtime=1221.8 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) S 21590 21590 18656 0 -1 4202496 46112 442604 0 0 2042 591 119158 389 20 0 1 0 271185473 591380480 85610 33554432000 4194304 5992684 140733969727536 140733969713368 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 112 0 0
/proc/21591/statm: 144380 85610 184 440 0 143936 0
[pid=21639] ppid=21591 vsize=652504 CPUtime=137.09 cores=1,3,5,7
/proc/21639/stat : 21639 (glucosInc) R 21591 21590 18656 0 -1 4202496 72113 0 0 0 13687 22 0 0 20 0 1 0 271307990 668164096 133906 33554432000 4194304 5654031 140735200620480 140735200608296 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21639/statm: 163126 133906 140 357 0 162766 0
Current children cumulated CPU time (s) 1358.89
Current children cumulated vsize (KiB) 1239172

[startup+1422.31 s]
/proc/loadavg: 1.10 1.63 1.77 2/173 21665
/proc/meminfo: memFree=27656028/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=577520 CPUtime=1221.8 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) S 21590 21590 18656 0 -1 4202496 46112 442604 0 0 2042 591 119158 389 20 0 1 0 271185473 591380480 85610 33554432000 4194304 5992684 140733969727536 140733969713368 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 112 0 0
/proc/21591/statm: 144380 85610 184 440 0 143936 0
[pid=21639] ppid=21591 vsize=659500 CPUtime=197.08 cores=1,3,5,7
/proc/21639/stat : 21639 (glucosInc) R 21591 21590 18656 0 -1 4202496 73481 0 0 0 19686 22 0 0 20 0 1 0 271307990 675328000 138851 33554432000 4194304 5654031 140735200620480 140735200608296 4214432 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21639/statm: 164875 138851 140 357 0 164515 0
Current children cumulated CPU time (s) 1418.88
Current children cumulated vsize (KiB) 1246168

[startup+1482.3 s]
/proc/loadavg: 1.04 1.51 1.71 2/173 21665
/proc/meminfo: memFree=27696600/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=577520 CPUtime=1221.8 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) S 21590 21590 18656 0 -1 4202496 46112 442604 0 0 2042 591 119158 389 20 0 1 0 271185473 591380480 85610 33554432000 4194304 5992684 140733969727536 140733969713368 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 112 0 0
/proc/21591/statm: 144380 85610 184 440 0 143936 0
[pid=21639] ppid=21591 vsize=662724 CPUtime=257.06 cores=1,3,5,7
/proc/21639/stat : 21639 (glucosInc) R 21591 21590 18656 0 -1 4202496 74560 0 0 0 25680 26 0 0 20 0 1 0 271307990 678629376 128572 33554432000 4194304 5654031 140735200620480 140735200608296 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21639/statm: 165681 128572 141 357 0 165321 0
Current children cumulated CPU time (s) 1478.86
Current children cumulated vsize (KiB) 1249392

[startup+1542.3 s]
/proc/loadavg: 1.01 1.42 1.67 2/172 21665
/proc/meminfo: memFree=27678236/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=577520 CPUtime=1221.8 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) S 21590 21590 18656 0 -1 4202496 46112 442604 0 0 2042 591 119158 389 20 0 1 0 271185473 591380480 85610 33554432000 4194304 5992684 140733969727536 140733969713368 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 112 0 0
/proc/21591/statm: 144380 85610 184 440 0 143936 0
[pid=21639] ppid=21591 vsize=667128 CPUtime=317.06 cores=1,3,5,7
/proc/21639/stat : 21639 (glucosInc) R 21591 21590 18656 0 -1 4202496 75211 0 0 0 31679 27 0 0 20 0 1 0 271307990 683139072 133311 33554432000 4194304 5654031 140735200620480 140735200608296 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21639/statm: 166782 133311 141 357 0 166422 0
Current children cumulated CPU time (s) 1538.86
Current children cumulated vsize (KiB) 1253796

[startup+1602.3 s]
/proc/loadavg: 1.00 1.34 1.62 2/174 21669
/proc/meminfo: memFree=27657488/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=577520 CPUtime=1221.8 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) S 21590 21590 18656 0 -1 4202496 46112 442604 0 0 2042 591 119158 389 20 0 1 0 271185473 591380480 85610 33554432000 4194304 5992684 140733969727536 140733969713368 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 112 0 0
/proc/21591/statm: 144380 85610 184 440 0 143936 0
[pid=21639] ppid=21591 vsize=670724 CPUtime=377.05 cores=1,3,5,7
/proc/21639/stat : 21639 (glucosInc) R 21591 21590 18656 0 -1 4202496 76137 0 0 0 37677 28 0 0 20 0 1 0 271307990 686821376 138325 33554432000 4194304 5654031 140735200620480 140735200608296 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21639/statm: 167681 138325 141 357 0 167321 0
Current children cumulated CPU time (s) 1598.85
Current children cumulated vsize (KiB) 1257392

[startup+1662.3 s]
/proc/loadavg: 1.00 1.27 1.58 2/173 21669
/proc/meminfo: memFree=27633820/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=579536 CPUtime=1221.8 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) S 21590 21590 18656 0 -1 4202496 46517 442604 0 0 2042 591 119158 389 20 0 1 0 271185473 593444864 85970 33554432000 4194304 5992684 140733969727536 140733969713368 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 112 0 0
/proc/21591/statm: 144884 85970 184 440 0 144440 0
[pid=21639] ppid=21591 vsize=674608 CPUtime=437.02 cores=1,3,5,7
/proc/21639/stat : 21639 (glucosInc) R 21591 21590 18656 0 -1 4202496 77094 0 0 0 43674 28 0 0 20 0 1 0 271307990 690798592 144246 33554432000 4194304 5654031 140735200620480 140735200616952 4976752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21639/statm: 168652 144246 142 357 0 168292 0
Current children cumulated CPU time (s) 1658.82
Current children cumulated vsize (KiB) 1263292

[startup+1722.3 s]
/proc/loadavg: 1.00 1.22 1.54 2/173 21671
/proc/meminfo: memFree=27703908/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=577500 CPUtime=1659.59 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) S 21590 21590 18656 0 -1 4202496 53051 520225 0 0 2066 594 162843 456 20 0 1 0 271185473 591360000 85605 33554432000 4194304 5992684 140733969727536 140733969713368 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 112 0 0
/proc/21591/statm: 144375 85605 184 440 0 143931 0
[pid=21671] ppid=21591 vsize=641932 CPUtime=59.19 cores=1,3,5,7
/proc/21671/stat : 21671 (glucosInc) R 21591 21590 18656 0 -1 4202496 69249 0 0 0 5897 22 0 0 20 0 1 0 271351778 657338368 126368 33554432000 4194304 5654031 140734297310448 140734297298264 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21671/statm: 160483 126368 140 357 0 160123 0
Current children cumulated CPU time (s) 1718.78
Current children cumulated vsize (KiB) 1228580

[startup+1782.3 s]
/proc/loadavg: 1.00 1.18 1.51 2/173 21671
/proc/meminfo: memFree=27672248/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=577500 CPUtime=1659.59 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) S 21590 21590 18656 0 -1 4202496 53051 520225 0 0 2066 594 162843 456 20 0 1 0 271185473 591360000 85605 33554432000 4194304 5992684 140733969727536 140733969713368 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 112 0 0
/proc/21591/statm: 144375 85605 184 440 0 143931 0
[pid=21671] ppid=21591 vsize=651320 CPUtime=119.15 cores=1,3,5,7
/proc/21671/stat : 21671 (glucosInc) R 21591 21590 18656 0 -1 4202496 71217 0 0 0 11892 23 0 0 20 0 1 0 271351778 666951680 134404 33554432000 4194304 5654031 140734297310448 140734297298264 4215112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21671/statm: 162830 134404 140 357 0 162470 0
Current children cumulated CPU time (s) 1778.74
Current children cumulated vsize (KiB) 1237968



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1803.6 s]
/proc/loadavg: 1.07 1.18 1.50 2/173 21671
/proc/meminfo: memFree=27667196/32873648 swapFree=7100/7100
[pid=21590] ppid=21588 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21590/stat : 21590 (npSolver-pbo-It) S 21588 21590 18656 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271185472 9367552 275 33554432000 4194304 5064252 140737265061680 140737265060592 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21590/statm: 2287 275 233 213 0 72 0
[pid=21591] ppid=21590 vsize=577500 CPUtime=1659.59 cores=1,3,5,7
/proc/21591/stat : 21591 (npSolver-pbo) S 21590 21590 18656 0 -1 4202496 53051 520225 0 0 2066 594 162843 456 20 0 1 0 271185473 591360000 85605 33554432000 4194304 5992684 140733969727536 140733969713368 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 112 0 0
/proc/21591/statm: 144375 85605 184 440 0 143931 0
[pid=21671] ppid=21591 vsize=653232 CPUtime=140.45 cores=1,3,5,7
/proc/21671/stat : 21671 (glucosInc) R 21591 21590 18656 0 -1 4202496 71368 0 0 0 14022 23 0 0 20 0 1 0 271351778 668909568 135577 33554432000 4194304 5654031 140734297310448 140734297298264 4208595 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21671/statm: 163308 135577 140 357 0 162948 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1239880

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 21590 and gives
#  childrusage.ru_utime.tv_sec=1649
#  childrusage.ru_utime.tv_usec=97299
#  childrusage.ru_stime.tv_sec=10
#  childrusage.ru_stime.tv_usec=514401
# CPU time returned by wait4() is 1659.61
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1803.62
CPU time (s): 1800.04
CPU user time (s): 1789.31
CPU system time (s): 10.73
CPU usage (%): 99.8017
Max. virtual memory (cumulated for all children) (KiB): 1611988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1649.1
system time used= 10.5144
maximum resident set size= 880428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 573635
page faults= 0
swaps= 0
block input operations= 40
block output operations= 4542096
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5150
involuntary context switches= 6674

runsolver used 4.21236 second user time and 10.2714 second system time

The end

Launcher Data 

Begin job on node123 at 2012-05-26 18:43:20
IDJOB=3697905
IDBENCH=1871
IDSOLVER=2275
FILE ID=node123/3697905-1338050600
RUNJOBID= node123-1338050074-21073
PBS_JOBID= 14624348
Free space on /tmp= 71484 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-p2756.opb
COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3697905-1338050600/watcher-3697905-1338050600 -o /tmp/evaluation-result-3697905-1338050600/solver-3697905-1338050600 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itd.sh HOME/instance-3697905-1338050600.opb 953336858 HOME HOME

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

MD5SUM BENCH= 54b9b4de78a7992fd69d0caeed32daef
RANDOM SEED=953336858

node123.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.217
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.43
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.217
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		: 2667.217
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.92
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.217
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		: 2667.217
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		: 2667.217
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		: 2667.217
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		: 2667.217
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:       32873648 kB
MemFree:        28858976 kB
Buffers:          264524 kB
Cached:          2786136 kB
SwapCached:            0 kB
Active:           974168 kB
Inactive:        2257444 kB
Active(anon):     183128 kB
Inactive(anon):        0 kB
Active(file):     791040 kB
Inactive(file):  2257444 kB
Unevictable:        7100 kB
Mlocked:            7100 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8492 kB
Writeback:             0 kB
AnonPages:        197900 kB
Mapped:            15640 kB
Shmem:               200 kB
Slab:             636048 kB
SReclaimable:      80240 kB
SUnreclaim:       555808 kB
KernelStack:        1480 kB
PageTables:         4488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     321628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71016 MiB
End job on node123 at 2012-05-26 19:13:26