Trace number 3699499

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? (TO) 1800.02 1801.11

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
MD5SUM8886b8ab7bdc8ec03150a7b794b8a992
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-10270
Best CPU time to get the best result obtained on this benchmark26.399
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -10270
Optimality of the best value was proved YES
Number of variables12596
Total number of constraints10687
Number of constraints which are clauses4
Number of constraints which are cardinality constraints (but not clauses)5680
Number of constraints which are nor clauses,nor cardinality constraints5003
Minimum length of a constraint2
Maximum length of a constraint80
Number of terms in the objective function 714
Biggest coefficient in the objective function 559
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 66891
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 1117
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 66891
Number of bits of the biggest sum of numbers17
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 

7.78/7.81	c run inc solver
7.78/7.81	c [INC SYSTEM] run initial solver
7.78/7.81	c [INC SYSTEM] preprocess with white file
42.45/42.66	c [INC SYSTEM] finished preprocessing in 34 s
42.45/42.66	c [INC SYSTEM] execute solver
47.94/48.15	c [INC SEARCH] formula is SAT
47.94/48.16	c [INC SYSTEM] solved the initial formula
48.05/48.22	c model valid
48.05/48.22	c current solution ok
52.89/53.91	o -1360
52.89/53.91	c execute binary inc search
52.89/53.91	c [INC SEARCH] current bound: 4889
52.89/53.91	c [INC SEARCH] iteration: 0
52.89/53.91	c [INC SEARCH] lower bound: 0 upperbound 9779 current bound: 4889 best value:9779
52.89/53.91	c [INC SYSTEM] there exists a inc, kill it!
52.89/53.91	c write failed with 2
53.51/54.28	c [INC SYSTEM] create new solver instance
53.51/54.28	c [INC] encode full formula
53.51/54.28	c fallback to adder encoding
53.51/54.28	c set iterative enc to: adder
53.51/54.28	c set iterative enc to: none
53.61/54.31	c [INC SEARCH] isOptimum variable: 0
530.32/531.10	c [INC SEARCH] formula is SAT
530.32/531.12	c [INC SEARCH] copied best model
530.32/531.12	c sat variable: 1 optimum/unsat variable: 0
530.32/531.17	c model valid
530.32/531.17	c current solution ok
530.32/531.17	o -6273
530.32/531.17	c [INC SEARCH] current bound: 2433
530.32/531.17	c [INC SEARCH] iteration: 1
530.32/531.17	c [INC SEARCH] lower bound: 0 upperbound 4866 current bound: 2433 best value:4866
530.32/531.17	c [INC SYSTEM] there exists a inc, kill it!
530.32/531.17	c write failed with 2
530.32/531.19	c [INC SYSTEM] create new solver instance
530.32/531.19	c [INC] encode full formula
530.32/531.19	c fallback to adder encoding
530.44/531.24	c set iterative enc to: adder
530.44/531.24	c set iterative enc to: none
530.74/531.58	c [INC SEARCH] isOptimum variable: 0
763.75/764.69	c [INC SEARCH] formula is SAT
763.75/764.70	c [INC SEARCH] copied best model
763.75/764.70	c sat variable: 1 optimum/unsat variable: 0
763.85/764.76	c model valid
763.85/764.76	c current solution ok
763.85/764.76	o -8707
763.85/764.76	c [INC SEARCH] current bound: 1216
763.85/764.76	c [INC SEARCH] iteration: 2
763.85/764.76	c [INC SEARCH] lower bound: 0 upperbound 2432 current bound: 1216 best value:2432
763.85/764.76	c [INC SYSTEM] there exists a inc, kill it!
763.85/764.76	c write failed with 2
763.85/764.77	c [INC SYSTEM] create new solver instance
763.85/764.77	c [INC] encode full formula
763.85/764.77	c fallback to adder encoding
763.96/764.81	c set iterative enc to: adder
763.96/764.81	c set iterative enc to: none
763.96/765.14	c [INC SEARCH] isOptimum variable: 0
946.42/947.33	c [INC SEARCH] formula is SAT
946.42/947.34	c [INC SEARCH] copied best model
946.42/947.34	c sat variable: 1 optimum/unsat variable: 0
946.42/947.40	c model valid
946.42/947.40	c current solution ok
946.42/947.40	o -9925
946.42/947.40	c [INC SEARCH] current bound: 607
946.42/947.40	c [INC SEARCH] iteration: 3
946.42/947.40	c [INC SEARCH] lower bound: 0 upperbound 1214 current bound: 607 best value:1214
946.42/947.40	c [INC SYSTEM] there exists a inc, kill it!
946.42/947.40	c write failed with 2
946.52/947.41	c [INC SYSTEM] create new solver instance
946.52/947.41	c [INC] encode full formula
946.52/947.41	c fallback to adder encoding
946.52/947.45	c set iterative enc to: adder
946.52/947.45	c set iterative enc to: none
946.58/947.78	c [INC SEARCH] isOptimum variable: 0
1049.79/1050.73	c [INC SEARCH] formula is UNSAT
1049.79/1050.73	c [INC SYSTEM] there exists a inc, kill it!
1049.79/1050.73	c write failed with 2
1049.79/1050.75	c sat variable: 0 optimum/unsat variable: 1
1049.79/1050.75	c [INC SEARCH] set lower bound to 608 upperbound 1214
1049.79/1050.75	c [INC SEARCH] current bound: 911
1049.79/1050.75	c [INC SEARCH] iteration: 4
1049.79/1050.75	c [INC SEARCH] lower bound: 608 upperbound 1214 current bound: 911 best value:1214
1049.79/1050.75	c [INC SYSTEM] create new solver instance
1049.79/1050.75	c [INC] encode full formula
1049.79/1050.75	c fallback to adder encoding
1049.79/1050.79	c set iterative enc to: adder
1049.79/1050.79	c set iterative enc to: none
1049.89/1051.12	c [INC SEARCH] isOptimum variable: 0
1161.97/1162.98	c [INC SEARCH] formula is SAT
1161.97/1162.99	c [INC SEARCH] copied best model
1161.97/1163.00	c sat variable: 1 optimum/unsat variable: 0
1162.07/1163.05	c model valid
1162.07/1163.05	c current solution ok
1162.07/1163.05	o -10230
1162.07/1163.05	c [INC SEARCH] current bound: 758
1162.07/1163.05	c [INC SEARCH] iteration: 5
1162.07/1163.05	c [INC SEARCH] lower bound: 608 upperbound 909 current bound: 758 best value:909
1162.07/1163.05	c [INC SYSTEM] there exists a inc, kill it!
1162.07/1163.05	c write failed with 2
1162.07/1163.06	c [INC SYSTEM] create new solver instance
1162.07/1163.06	c [INC] encode full formula
1162.07/1163.06	c fallback to adder encoding
1162.18/1163.10	c set iterative enc to: adder
1162.18/1163.10	c set iterative enc to: none
1162.19/1163.43	c [INC SEARCH] isOptimum variable: 0
1292.16/1293.11	c [INC SEARCH] formula is UNSAT
1292.16/1293.11	c [INC SYSTEM] there exists a inc, kill it!
1292.16/1293.11	c write failed with 2
1292.16/1293.12	c sat variable: 0 optimum/unsat variable: 1
1292.16/1293.12	c [INC SEARCH] set lower bound to 759 upperbound 909
1292.16/1293.12	c [INC SEARCH] current bound: 834
1292.16/1293.12	c [INC SEARCH] iteration: 6
1292.16/1293.12	c [INC SEARCH] lower bound: 759 upperbound 909 current bound: 834 best value:909
1292.16/1293.12	c [INC SYSTEM] create new solver instance
1292.16/1293.12	c [INC] encode full formula
1292.16/1293.12	c fallback to adder encoding
1292.16/1293.16	c set iterative enc to: adder
1292.16/1293.16	c set iterative enc to: none
1292.23/1293.49	c [INC SEARCH] isOptimum variable: 0
1407.90/1408.95	c [INC SEARCH] formula is UNSAT
1407.90/1408.95	c [INC SYSTEM] there exists a inc, kill it!
1407.90/1408.95	c write failed with 2
1407.90/1408.96	c sat variable: 0 optimum/unsat variable: 1
1407.90/1408.96	c [INC SEARCH] set lower bound to 835 upperbound 909
1407.90/1408.96	c [INC SEARCH] current bound: 872
1407.90/1408.96	c [INC SEARCH] iteration: 7
1407.90/1408.96	c [INC SEARCH] lower bound: 835 upperbound 909 current bound: 872 best value:909
1407.90/1408.96	c [INC SYSTEM] create new solver instance
1407.90/1408.96	c [INC] encode full formula
1407.90/1408.96	c fallback to adder encoding
1408.01/1409.00	c set iterative enc to: adder
1408.01/1409.00	c set iterative enc to: none
1408.30/1409.34	c [INC SEARCH] isOptimum variable: 0
1562.77/1563.83	c [INC SEARCH] formula is SAT
1562.77/1563.84	c [INC SEARCH] copied best model
1562.77/1563.84	c sat variable: 1 optimum/unsat variable: 0
1562.87/1563.90	c model valid
1562.87/1563.90	c current solution ok
1562.87/1563.90	o -10270
1562.87/1563.90	c [INC SEARCH] current bound: 852
1562.87/1563.90	c [INC SEARCH] iteration: 8
1562.87/1563.90	c [INC SEARCH] lower bound: 835 upperbound 869 current bound: 852 best value:869
1562.87/1563.90	c [INC SYSTEM] there exists a inc, kill it!
1562.87/1563.90	c write failed with 2
1562.87/1563.91	c [INC SYSTEM] create new solver instance
1562.87/1563.91	c [INC] encode full formula
1562.87/1563.91	c fallback to adder encoding
1562.87/1563.95	c set iterative enc to: adder
1562.87/1563.95	c set iterative enc to: none
1562.94/1564.28	c [INC SEARCH] isOptimum variable: 0
1706.55/1707.61	c [INC SEARCH] formula is UNSAT
1706.55/1707.61	c [INC SYSTEM] there exists a inc, kill it!
1706.55/1707.61	c write failed with 2
1706.55/1707.62	c sat variable: 0 optimum/unsat variable: 1
1706.55/1707.62	c [INC SEARCH] set lower bound to 853 upperbound 869
1706.55/1707.62	c [INC SEARCH] current bound: 861
1706.55/1707.62	c [INC SEARCH] iteration: 9
1706.55/1707.62	c [INC SEARCH] lower bound: 853 upperbound 869 current bound: 861 best value:869
1706.55/1707.62	c [INC SYSTEM] create new solver instance
1706.55/1707.62	c [INC] encode full formula
1706.55/1707.62	c fallback to adder encoding
1706.55/1707.66	c set iterative enc to: adder
1706.55/1707.66	c set iterative enc to: none
1706.62/1707.99	c [INC SEARCH] isOptimum variable: 0
1800.02/1801.11	HOME/npSolver-pbo-I.sh: line 18: 16660 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=1 -useCP2=1 -useInc=1

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-3699499-1338310751/watcher-3699499-1338310751 -o /tmp/evaluation-result-3699499-1338310751/solver-3699499-1338310751 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699499-1338310751.opb 396024556 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: 0.00 0.02 1.74 3/175 16658
/proc/meminfo: memFree=30099288/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0

[startup+0.018447 s]
/proc/loadavg: 0.00 0.02 1.74 3/175 16658
/proc/meminfo: memFree=30099288/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100234 s]
/proc/loadavg: 0.00 0.02 1.74 3/175 16658
/proc/meminfo: memFree=30099288/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300207 s]
/proc/loadavg: 0.00 0.02 1.74 3/175 16658
/proc/meminfo: memFree=30099288/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700256 s]
/proc/loadavg: 0.00 0.02 1.74 3/175 16658
/proc/meminfo: memFree=30099288/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 0.00 0.02 1.74 4/181 16664
/proc/meminfo: memFree=29948592/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=67820 CPUtime=1.49 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) R 16658 16658 16615 0 -1 4202496 3671 0 0 0 147 2 0 0 20 0 1 0 297199515 69447680 10272 33554432000 4194304 5992684 140736502905200 140736502901320 4375112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 16955 10272 146 440 0 16511 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 76968

[startup+3.10032 s]
/proc/loadavg: 0.00 0.02 1.74 4/181 16664
/proc/meminfo: memFree=29712908/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=133356 CPUtime=3.09 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) R 16658 16658 16615 0 -1 4202496 4236 0 0 0 305 4 0 0 20 0 1 0 297199515 136556544 21025 33554432000 4194304 5992684 140736502905200 140736502896152 4809163 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 33339 21025 146 440 0 32895 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 142504

[startup+6.30031 s]
/proc/loadavg: 0.16 0.05 1.74 4/181 16664
/proc/meminfo: memFree=29546744/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=265408 CPUtime=6.29 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) R 16658 16658 16615 0 -1 4202496 5082 0 0 0 621 8 0 0 20 0 1 0 297199515 271777792 43269 33554432000 4194304 5992684 140736502905200 140736502901320 4571742 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 66352 43269 146 440 0 65908 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 274556

[startup+12.7005 s]
/proc/loadavg: 0.31 0.09 1.74 4/183 16666
/proc/meminfo: memFree=28791260/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=275736 CPUtime=7.8 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) S 16658 16658 16615 0 -1 4202496 7909 0 0 0 736 44 0 0 20 0 1 0 297199515 282353664 55062 33554432000 4194304 5992684 140736502905200 140736502899648 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 68934 55062 170 440 0 68490 0
[pid=16665] ppid=16660 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16665/stat : 16665 (cp2_pre.sh) S 16660 16658 16615 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 297200296 9367552 277 33554432000 4194304 5064252 140734687910128 140734687908832 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16665/statm: 2287 277 234 213 0 72 0
[pid=16666] ppid=16665 vsize=580428 CPUtime=4.87 cores=1,3,5,7
/proc/16666/stat : 16666 (coprocessor) R 16665 16658 16615 0 -1 4202496 105318 0 0 0 461 26 0 0 20 0 1 0 297200296 594358272 131952 33554432000 4194304 6586260 140733948463056 140733948459320 4498526 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/16666/statm: 145107 131952 170 584 0 144519 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 874460

[startup+25.5003 s]
/proc/loadavg: 0.83 0.21 1.75 4/182 16671
/proc/meminfo: memFree=28252344/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=275736 CPUtime=7.8 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) S 16658 16658 16615 0 -1 4202496 7909 0 0 0 736 44 0 0 20 0 1 0 297199515 282353664 55062 33554432000 4194304 5992684 140736502905200 140736502899648 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 68934 55062 170 440 0 68490 0
[pid=16665] ppid=16660 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16665/stat : 16665 (cp2_pre.sh) S 16660 16658 16615 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 297200296 9367552 277 33554432000 4194304 5064252 140734687910128 140734687908832 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/16665/statm: 2287 277 234 213 0 72 0
[pid=16666] ppid=16665 vsize=582624 CPUtime=17.67 cores=1,3,5,7
/proc/16666/stat : 16666 (coprocessor) R 16665 16658 16615 0 -1 4202496 105761 0 0 0 1741 26 0 0 20 0 1 0 297200296 596606976 134950 33554432000 4194304 6586260 140733948463056 140733948459080 4758322 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/16666/statm: 145656 134950 182 584 0 145068 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 876656

[startup+51.1003 s]
/proc/loadavg: 1.30 0.37 1.77 4/182 16676
/proc/meminfo: memFree=28415248/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=280180 CPUtime=45.47 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) R 16658 16658 16615 0 -1 4202496 9418 111766 0 0 796 279 3397 75 20 0 1 0 297199515 286904320 56226 33554432000 4194304 5992684 140736502905200 140736502899384 5179696 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 70045 56226 179 440 0 69601 0
[pid=16673] ppid=16660 vsize=353632 CPUtime=5.48 cores=1,3,5,7
/proc/16673/stat : 16673 (glucosInc) S 16660 16658 16615 0 -1 4202496 37249 0 0 0 533 15 0 0 20 0 1 0 297203781 362119168 69923 33554432000 4194304 5654031 140733980974288 140733980972600 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16673/statm: 88408 69923 146 357 0 88048 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 642960

[startup+102.3 s]
/proc/loadavg: 1.81 0.66 1.79 4/182 16679
/proc/meminfo: memFree=28288940/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=285864 CPUtime=53.62 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) S 16658 16658 16615 0 -1 4202496 11834 150054 0 0 838 437 3930 157 20 0 1 0 297199515 292724736 57498 33554432000 4194304 5992684 140736502905200 140736502890104 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 71466 57498 190 440 0 71022 0
[pid=16679] ppid=16660 vsize=405964 CPUtime=47.97 cores=1,3,5,7
/proc/16679/stat : 16679 (glucosInc) R 16660 16658 16615 0 -1 4202496 49161 0 0 0 4776 21 0 0 20 0 1 0 297204945 415707136 84941 33554432000 4194304 5654031 140735721933408 140735721921224 4214784 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16679/statm: 101491 84941 141 357 0 101131 0
Current children cumulated CPU time (s) 101.59
Current children cumulated vsize (KiB) 700976

[startup+162.3 s]
/proc/loadavg: 1.93 0.90 1.80 4/182 16701
/proc/meminfo: memFree=28256184/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=285864 CPUtime=53.62 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) S 16658 16658 16615 0 -1 4202496 11834 150054 0 0 838 437 3930 157 20 0 1 0 297199515 292724736 57498 33554432000 4194304 5992684 140736502905200 140736502890104 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 71466 57498 190 440 0 71022 0
[pid=16679] ppid=16660 vsize=418176 CPUtime=107.96 cores=1,3,5,7
/proc/16679/stat : 16679 (glucosInc) R 16660 16658 16615 0 -1 4202496 52580 0 0 0 10770 26 0 0 20 0 1 0 297204945 428212224 92626 33554432000 4194304 5654031 140735721933408 140735721921224 4233232 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16679/statm: 104544 92626 141 357 0 104184 0
Current children cumulated CPU time (s) 161.58
Current children cumulated vsize (KiB) 713188

[startup+222.3 s]
/proc/loadavg: 1.97 1.10 1.81 4/181 16701
/proc/meminfo: memFree=28274320/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=285864 CPUtime=53.62 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) S 16658 16658 16615 0 -1 4202496 11834 150054 0 0 838 437 3930 157 20 0 1 0 297199515 292724736 57498 33554432000 4194304 5992684 140736502905200 140736502890104 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 71466 57498 190 440 0 71022 0
[pid=16679] ppid=16660 vsize=425652 CPUtime=167.95 cores=1,3,5,7
/proc/16679/stat : 16679 (glucosInc) R 16660 16658 16615 0 -1 4202496 55245 0 0 0 16760 35 0 0 20 0 1 0 297204945 435867648 88332 33554432000 4194304 5654031 140735721933408 140735721921224 4232794 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16679/statm: 106413 88332 141 357 0 106053 0
Current children cumulated CPU time (s) 221.57
Current children cumulated vsize (KiB) 720664

[startup+282.3 s]
/proc/loadavg: 1.99 1.26 1.82 4/180 16701
/proc/meminfo: memFree=28258176/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/loadavg: 2.09 2.02 1.93 4/182 16723
/proc/meminfo: memFree=28315232/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=286312 CPUtime=1292.55 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) S 16658 16658 16615 0 -1 4202496 28050 458781 0 0 891 441 127383 540 20 0 1 0 297199515 293183488 57502 33554432000 4194304 5992684 140736502905200 140736502890104 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 71578 57502 190 440 0 71134 0
[pid=16723] ppid=16660 vsize=371388 CPUtime=8.79 cores=1,3,5,7
/proc/16723/stat : 16723 (glucosInc) R 16660 16658 16615 0 -1 4202496 41222 0 0 0 863 16 0 0 20 0 1 0 297328864 380301312 74394 33554432000 4194304 5654031 140733849688992 140733849676808 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16723/statm: 92847 74394 140 357 0 92487 0
Current children cumulated CPU time (s) 1301.34
Current children cumulated vsize (KiB) 666848

[startup+1362.3 s]
/proc/loadavg: 2.03 2.01 1.93 4/181 16723
/proc/meminfo: memFree=28268132/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=286312 CPUtime=1292.55 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) S 16658 16658 16615 0 -1 4202496 28050 458781 0 0 891 441 127383 540 20 0 1 0 297199515 293183488 57502 33554432000 4194304 5992684 140736502905200 140736502890104 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 71578 57502 190 440 0 71134 0
[pid=16723] ppid=16660 vsize=388976 CPUtime=68.77 cores=1,3,5,7
/proc/16723/stat : 16723 (glucosInc) R 16660 16658 16615 0 -1 4202496 45101 0 0 0 6860 17 0 0 20 0 1 0 297328864 398311424 86044 33554432000 4194304 5654031 140733849688992 140733849676808 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16723/statm: 97244 86044 140 357 0 96884 0
Current children cumulated CPU time (s) 1361.32
Current children cumulated vsize (KiB) 684436

[startup+1422.3 s]
/proc/loadavg: 2.01 2.00 1.93 4/181 16725
/proc/meminfo: memFree=28308328/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=286312 CPUtime=1408.35 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) S 16658 16658 16615 0 -1 4202496 30437 506700 0 0 895 442 138904 594 20 0 1 0 297199515 293183488 57502 33554432000 4194304 5992684 140736502905200 140736502890104 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 71578 57502 190 440 0 71134 0
[pid=16725] ppid=16660 vsize=376492 CPUtime=12.95 cores=1,3,5,7
/proc/16725/stat : 16725 (glucosInc) R 16660 16658 16615 0 -1 4202496 42094 0 0 0 1279 16 0 0 20 0 1 0 297340448 385527808 77393 33554432000 4194304 5654031 140733274535184 140733274523000 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16725/statm: 94123 77393 140 357 0 93763 0
Current children cumulated CPU time (s) 1421.3
Current children cumulated vsize (KiB) 671952

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/181 16725
/proc/meminfo: memFree=28288596/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=286312 CPUtime=1408.35 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) S 16658 16658 16615 0 -1 4202496 30437 506700 0 0 895 442 138904 594 20 0 1 0 297199515 293183488 57502 33554432000 4194304 5992684 140736502905200 140736502890104 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 71578 57502 190 440 0 71134 0
[pid=16725] ppid=16660 vsize=389996 CPUtime=72.93 cores=1,3,5,7
/proc/16725/stat : 16725 (glucosInc) R 16660 16658 16615 0 -1 4202496 45557 0 0 0 7272 21 0 0 20 0 1 0 297340448 399355904 80934 33554432000 4194304 5654031 140733274535184 140733274523000 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16725/statm: 97499 80934 141 357 0 97139 0
Current children cumulated CPU time (s) 1481.28
Current children cumulated vsize (KiB) 685456

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/181 16726
/proc/meminfo: memFree=28253660/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=286312 CPUtime=1408.35 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) S 16658 16658 16615 0 -1 4202496 30437 506700 0 0 895 442 138904 594 20 0 1 0 297199515 293183488 57502 33554432000 4194304 5992684 140736502905200 140736502890104 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 71578 57502 190 440 0 71134 0
[pid=16725] ppid=16660 vsize=393744 CPUtime=132.93 cores=1,3,5,7
/proc/16725/stat : 16725 (glucosInc) R 16660 16658 16615 0 -1 4202496 46609 0 0 0 13271 22 0 0 20 0 1 0 297340448 403193856 89140 33554432000 4194304 5654031 140733274535184 140733274523000 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16725/statm: 98436 89140 141 357 0 98076 0
Current children cumulated CPU time (s) 1541.28
Current children cumulated vsize (KiB) 689204

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/181 16728
/proc/meminfo: memFree=28279752/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=286312 CPUtime=1563.27 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) S 16658 16658 16615 0 -1 4202496 33257 555013 0 0 906 443 154324 654 20 0 1 0 297199515 293183488 57503 33554432000 4194304 5992684 140736502905200 140736502890104 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 71578 57503 190 440 0 71134 0
[pid=16728] ppid=16660 vsize=385960 CPUtime=38 cores=1,3,5,7
/proc/16728/stat : 16728 (glucosInc) R 16660 16658 16615 0 -1 4202496 43931 0 0 0 3782 18 0 0 20 0 1 0 297355943 395223040 82222 33554432000 4194304 5654031 140733383641872 140733383629688 4215372 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16728/statm: 96490 82222 140 357 0 96130 0
Current children cumulated CPU time (s) 1601.27
Current children cumulated vsize (KiB) 681420

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 4/181 16728
/proc/meminfo: memFree=28289984/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=286312 CPUtime=1563.27 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) S 16658 16658 16615 0 -1 4202496 33257 555013 0 0 906 443 154324 654 20 0 1 0 297199515 293183488 57503 33554432000 4194304 5992684 140736502905200 140736502890104 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 71578 57503 190 440 0 71134 0
[pid=16728] ppid=16660 vsize=393748 CPUtime=97.99 cores=1,3,5,7
/proc/16728/stat : 16728 (glucosInc) R 16660 16658 16615 0 -1 4202496 46282 0 0 0 9778 21 0 0 20 0 1 0 297355943 403197952 79811 33554432000 4194304 5654031 140733383641872 140733383629688 4233204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16728/statm: 98437 79811 141 357 0 98077 0
Current children cumulated CPU time (s) 1661.26
Current children cumulated vsize (KiB) 689208

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 1.94 4/181 16730
/proc/meminfo: memFree=28301464/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=286312 CPUtime=1706.94 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) S 16658 16658 16615 0 -1 4202496 35646 602278 0 0 910 443 168628 713 20 0 1 0 297199515 293183488 57503 33554432000 4194304 5992684 140736502905200 140736502890104 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 71578 57503 190 440 0 71134 0
[pid=16730] ppid=16660 vsize=374728 CPUtime=14.29 cores=1,3,5,7
/proc/16730/stat : 16730 (glucosInc) R 16660 16658 16615 0 -1 4202496 42019 0 0 0 1412 17 0 0 20 0 1 0 297370314 383721472 76722 33554432000 4194304 5654031 140735902328144 140735902315960 4214616 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16730/statm: 93682 76722 140 357 0 93322 0
Current children cumulated CPU time (s) 1721.23
Current children cumulated vsize (KiB) 670188

[startup+1782.31 s]
/proc/loadavg: 2.02 2.01 1.94 4/181 16730
/proc/meminfo: memFree=28265416/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=286312 CPUtime=1706.94 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) S 16658 16658 16615 0 -1 4202496 35646 602278 0 0 910 443 168628 713 20 0 1 0 297199515 293183488 57503 33554432000 4194304 5992684 140736502905200 140736502890104 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 71578 57503 190 440 0 71134 0
[pid=16730] ppid=16660 vsize=384452 CPUtime=74.29 cores=1,3,5,7
/proc/16730/stat : 16730 (glucosInc) R 16660 16658 16615 0 -1 4202496 44323 0 0 0 7410 19 0 0 20 0 1 0 297370314 393678848 85669 33554432000 4194304 5654031 140735902328144 140735902325928 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16730/statm: 96113 85669 140 357 0 95753 0
Current children cumulated CPU time (s) 1781.23
Current children cumulated vsize (KiB) 679912



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.1 s]
/proc/loadavg: 2.02 2.01 1.94 3/180 16770
/proc/meminfo: memFree=29145196/32873844 swapFree=7388/7388
[pid=16658] ppid=16653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16658/stat : 16658 (npSolver-pbo-I.) S 16653 16658 16615 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 297199514 9367552 274 33554432000 4194304 5064252 140733460062304 140733460061216 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16658/statm: 2287 274 233 213 0 72 0
[pid=16660] ppid=16658 vsize=286312 CPUtime=1706.94 cores=1,3,5,7
/proc/16660/stat : 16660 (npSolver-pbo) S 16658 16658 16615 0 -1 4202496 35646 602278 0 0 910 443 168628 713 20 0 1 0 297199515 293183488 57503 33554432000 4194304 5992684 140736502905200 140736502890104 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16660/statm: 71578 57503 190 440 0 71134 0
[pid=16730] ppid=16660 vsize=386784 CPUtime=93.08 cores=1,3,5,7
/proc/16730/stat : 16730 (glucosInc) R 16660 16658 16615 0 -1 4202496 44847 0 0 0 9289 19 0 0 20 0 1 0 297370314 396066816 88748 33554432000 4194304 5654031 140735902328144 140735902315960 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16730/statm: 96696 88748 140 357 0 96336 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 682244

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16658 and gives
#  childrusage.ru_utime.tv_sec=1695
#  childrusage.ru_utime.tv_usec=393261
#  childrusage.ru_stime.tv_sec=11
#  childrusage.ru_stime.tv_usec=577239
# CPU time returned by wait4() is 1706.97
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1801.11
CPU time (s): 1800.02
CPU user time (s): 1788.27
CPU system time (s): 11.75
CPU usage (%): 99.9392
Max. virtual memory (cumulated for all children) (KiB): 1045272

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1695.39
system time used= 11.5772
maximum resident set size= 572476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 638298
page faults= 0
swaps= 0
block input operations= 16
block output operations= 5223224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2897
involuntary context switches= 3443

runsolver used 3.01454 second user time and 8.46771 second system time

The end

Launcher Data 

Begin job on node147 at 2012-05-29 18:59:11
IDJOB=3699499
IDBENCH=1878
IDSOLVER=2276
FILE ID=node147/3699499-1338310751
RUNJOBID= node147-1338310749-16632
PBS_JOBID= 14632081
Free space on /tmp= 71256 MiB

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

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

MD5SUM BENCH= 8886b8ab7bdc8ec03150a7b794b8a992
RANDOM SEED=396024556

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30107372 kB
Buffers:          421684 kB
Cached:          1490516 kB
SwapCached:         3360 kB
Active:          1007784 kB
Inactive:         910664 kB
Active(anon):       3016 kB
Inactive(anon):     4988 kB
Active(file):    1004768 kB
Inactive(file):   905676 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67100236 kB
Dirty:             15628 kB
Writeback:             8 kB
AnonPages:         10532 kB
Mapped:             8696 kB
Shmem:                 0 kB
Slab:             710628 kB
SReclaimable:     151848 kB
SUnreclaim:       558780 kB
KernelStack:        1400 kB
PageTables:         4140 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70876 MiB
End job on node147 at 2012-05-29 19:29:12