Trace number 3699359

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc? (TO) 1800.06 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat15_5_3_8_ic.opb
MD5SUMdb8b8cffd5752eef333f86e642ebfb0d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5065770
Best CPU time to get the best result obtained on this benchmark1.9837
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3435
Total number of constraints6802
Number of constraints which are clauses2970
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints3825
Minimum length of a constraint2
Maximum length of a constraint105
Number of terms in the objective function 645
Biggest coefficient in the objective function 88121125
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3768652087
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 88121125
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3768652087
Number of bits of the biggest sum of numbers32
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 

0.00/0.07	c run inc solver
0.00/0.07	c [INC SYSTEM] run initial solver
0.00/0.07	c [INC SYSTEM] preprocess with white file
0.00/0.36	c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.36	c [INC SYSTEM] execute solver
1.37/1.49	c [INC SEARCH] formula is SAT
1.37/1.49	c [INC SYSTEM] solved the initial formula
1.47/1.50	c model valid
1.47/1.50	c current solution ok
1.57/1.64	o 332793356
1.57/1.64	c execute binary inc search
1.57/1.64	c [INC SEARCH] current bound: 166396685
1.57/1.64	c [INC SEARCH] iteration: 0
1.57/1.64	c [INC SEARCH] lower bound: 0 upperbound 332793371 current bound: 166396685 best value:332793371
1.57/1.64	c [INC SYSTEM] there exists a inc, kill it!
1.57/1.64	c write failed with 2
1.57/1.64	c [INC SYSTEM] create new solver instance
1.57/1.64	c [INC] encode full formula
1.57/1.64	c fallback to adder encoding
1.69/1.73	c set iterative enc to: adder
1.69/1.73	c set iterative enc to: none
1.69/1.74	c [INC SEARCH] isOptimum variable: 0
1.72/2.07	c [INC SEARCH] formula is SAT
1.72/2.07	c [INC SEARCH] copied best model
1.72/2.07	c sat variable: 1 optimum/unsat variable: 0
1.72/2.08	c model valid
1.72/2.08	c current solution ok
1.72/2.08	o 92045412
1.72/2.08	c [INC SEARCH] current bound: 46022713
1.72/2.08	c [INC SEARCH] iteration: 1
1.72/2.08	c [INC SEARCH] lower bound: 0 upperbound 92045427 current bound: 46022713 best value:92045427
1.72/2.08	c [INC SYSTEM] there exists a inc, kill it!
1.72/2.08	c write failed with 2
1.72/2.09	c [INC SYSTEM] create new solver instance
1.72/2.09	c [INC] encode full formula
1.72/2.09	c fallback to adder encoding
2.09/2.17	c set iterative enc to: adder
2.09/2.17	c set iterative enc to: none
2.09/2.18	c [INC SEARCH] isOptimum variable: 0
4.67/4.76	c [INC SEARCH] formula is SAT
4.67/4.77	c [INC SEARCH] copied best model
4.67/4.77	c sat variable: 1 optimum/unsat variable: 0
4.67/4.78	c model valid
4.67/4.78	c current solution ok
4.67/4.78	o 13640838
4.67/4.78	c [INC SEARCH] current bound: 6820426
4.67/4.78	c [INC SEARCH] iteration: 2
4.67/4.78	c [INC SEARCH] lower bound: 0 upperbound 13640853 current bound: 6820426 best value:13640853
4.67/4.78	c [INC SYSTEM] there exists a inc, kill it!
4.67/4.78	c write failed with 2
4.67/4.78	c [INC SYSTEM] create new solver instance
4.67/4.78	c [INC] encode full formula
4.67/4.78	c fallback to adder encoding
4.78/4.84	c set iterative enc to: adder
4.78/4.84	c set iterative enc to: none
4.78/4.85	c [INC SEARCH] isOptimum variable: 0
20.37/20.47	c [INC SEARCH] formula is SAT
20.37/20.47	c [INC SEARCH] copied best model
20.37/20.47	c sat variable: 1 optimum/unsat variable: 0
20.37/20.48	c model valid
20.37/20.48	c current solution ok
20.37/20.48	o 6664796
20.37/20.48	c [INC SEARCH] current bound: 3332405
20.37/20.48	c [INC SEARCH] iteration: 3
20.37/20.48	c [INC SEARCH] lower bound: 0 upperbound 6664811 current bound: 3332405 best value:6664811
20.37/20.48	c [INC SYSTEM] there exists a inc, kill it!
20.37/20.48	c write failed with 2
20.37/20.48	c [INC SYSTEM] create new solver instance
20.37/20.48	c [INC] encode full formula
20.37/20.48	c fallback to adder encoding
20.48/20.53	c set iterative enc to: adder
20.48/20.53	c set iterative enc to: none
20.48/20.55	c [INC SEARCH] isOptimum variable: 0
20.53/20.67	c [INC SEARCH] formula is UNSAT
20.53/20.67	c [INC SYSTEM] there exists a inc, kill it!
20.53/20.67	c write failed with 2
20.53/20.67	c sat variable: 0 optimum/unsat variable: 1
20.53/20.67	c [INC SEARCH] set lower bound to 3332406 upperbound 6664811
20.53/20.67	c [INC SEARCH] current bound: 4998608
20.53/20.67	c [INC SEARCH] iteration: 4
20.53/20.67	c [INC SEARCH] lower bound: 3332406 upperbound 6664811 current bound: 4998608 best value:6664811
20.53/20.67	c [INC SYSTEM] create new solver instance
20.53/20.67	c [INC] encode full formula
20.53/20.67	c fallback to adder encoding
20.67/20.73	c set iterative enc to: adder
20.67/20.73	c set iterative enc to: none
20.67/20.74	c [INC SEARCH] isOptimum variable: 0
155.45/155.56	c [INC SEARCH] formula is UNSAT
155.45/155.56	c [INC SYSTEM] there exists a inc, kill it!
155.45/155.56	c write failed with 2
155.45/155.56	c sat variable: 0 optimum/unsat variable: 1
155.45/155.56	c [INC SEARCH] set lower bound to 4998609 upperbound 6664811
155.45/155.56	c [INC SEARCH] current bound: 5831710
155.45/155.56	c [INC SEARCH] iteration: 5
155.45/155.56	c [INC SEARCH] lower bound: 4998609 upperbound 6664811 current bound: 5831710 best value:6664811
155.45/155.56	c [INC SYSTEM] create new solver instance
155.45/155.56	c [INC] encode full formula
155.45/155.56	c fallback to adder encoding
155.55/155.62	c set iterative enc to: adder
155.55/155.62	c set iterative enc to: none
155.55/155.64	c [INC SEARCH] isOptimum variable: 0
157.82/157.93	c [INC SEARCH] formula is SAT
157.82/157.94	c [INC SEARCH] copied best model
157.82/157.94	c sat variable: 1 optimum/unsat variable: 0
157.82/157.95	c model valid
157.82/157.95	c current solution ok
157.82/157.95	o 5823050
157.82/157.95	c [INC SEARCH] current bound: 5410837
157.82/157.95	c [INC SEARCH] iteration: 6
157.82/157.95	c [INC SEARCH] lower bound: 4998609 upperbound 5823065 current bound: 5410837 best value:5823065
157.82/157.95	c [INC SYSTEM] there exists a inc, kill it!
157.82/157.95	c write failed with 2
157.82/157.95	c [INC SYSTEM] create new solver instance
157.82/157.95	c [INC] encode full formula
157.82/157.95	c fallback to adder encoding
157.95/158.01	c set iterative enc to: adder
157.95/158.01	c set iterative enc to: none
157.95/158.02	c [INC SEARCH] isOptimum variable: 0
184.84/184.91	c [INC SEARCH] formula is SAT
184.84/184.91	c [INC SEARCH] copied best model
184.84/184.91	c sat variable: 1 optimum/unsat variable: 0
184.84/184.92	c model valid
184.84/184.92	c current solution ok
184.84/184.92	o 5115752
184.84/184.92	c [INC SEARCH] current bound: 5057188
184.84/184.92	c [INC SEARCH] iteration: 7
184.84/184.92	c [INC SEARCH] lower bound: 4998609 upperbound 5115767 current bound: 5057188 best value:5115767
184.84/184.92	c [INC SYSTEM] there exists a inc, kill it!
184.84/184.92	c write failed with 2
184.84/184.92	c [INC SYSTEM] create new solver instance
184.84/184.92	c [INC] encode full formula
184.84/184.92	c fallback to adder encoding
184.84/184.98	c set iterative enc to: adder
184.84/184.98	c set iterative enc to: none
184.84/184.99	c [INC SEARCH] isOptimum variable: 0
294.41/294.53	c [INC SEARCH] formula is UNSAT
294.41/294.53	c [INC SYSTEM] there exists a inc, kill it!
294.41/294.53	c write failed with 2
294.41/294.53	c sat variable: 0 optimum/unsat variable: 1
294.41/294.53	c [INC SEARCH] set lower bound to 5057189 upperbound 5115767
294.41/294.53	c [INC SEARCH] current bound: 5086478
294.41/294.53	c [INC SEARCH] iteration: 8
294.41/294.53	c [INC SEARCH] lower bound: 5057189 upperbound 5115767 current bound: 5086478 best value:5115767
294.41/294.53	c [INC SYSTEM] create new solver instance
294.41/294.53	c [INC] encode full formula
294.41/294.53	c fallback to adder encoding
294.41/294.59	c set iterative enc to: adder
294.41/294.59	c set iterative enc to: none
294.51/294.61	c [INC SEARCH] isOptimum variable: 0
382.69/382.82	c [INC SEARCH] formula is SAT
382.69/382.82	c [INC SEARCH] copied best model
382.69/382.82	c sat variable: 1 optimum/unsat variable: 0
382.69/382.83	c model valid
382.69/382.83	c current solution ok
382.69/382.83	o 5065770
382.69/382.83	c [INC SEARCH] current bound: 5061487
382.69/382.83	c [INC SEARCH] iteration: 9
382.69/382.83	c [INC SEARCH] lower bound: 5057189 upperbound 5065785 current bound: 5061487 best value:5065785
382.69/382.83	c [INC SYSTEM] there exists a inc, kill it!
382.69/382.83	c write failed with 2
382.69/382.83	c [INC SYSTEM] create new solver instance
382.69/382.83	c [INC] encode full formula
382.69/382.83	c fallback to adder encoding
382.69/382.89	c set iterative enc to: adder
382.69/382.89	c set iterative enc to: none
382.80/382.90	c [INC SEARCH] isOptimum variable: 0
587.17/587.37	c [INC SEARCH] formula is UNSAT
587.17/587.37	c [INC SYSTEM] there exists a inc, kill it!
587.17/587.37	c write failed with 2
587.17/587.38	c sat variable: 0 optimum/unsat variable: 1
587.17/587.38	c [INC SEARCH] set lower bound to 5061488 upperbound 5065785
587.17/587.38	c [INC SEARCH] current bound: 5063636
587.17/587.38	c [INC SEARCH] iteration: 10
587.17/587.38	c [INC SEARCH] lower bound: 5061488 upperbound 5065785 current bound: 5063636 best value:5065785
587.17/587.38	c [INC SYSTEM] create new solver instance
587.17/587.38	c [INC] encode full formula
587.17/587.38	c fallback to adder encoding
587.27/587.43	c set iterative enc to: adder
587.27/587.43	c set iterative enc to: none
587.27/587.45	c [INC SEARCH] isOptimum variable: 0
741.70/741.95	c [INC SEARCH] formula is UNSAT
741.70/741.95	c [INC SYSTEM] there exists a inc, kill it!
741.70/741.95	c write failed with 2
741.70/741.95	c sat variable: 0 optimum/unsat variable: 1
741.70/741.95	c [INC SEARCH] set lower bound to 5063637 upperbound 5065785
741.70/741.95	c [INC SEARCH] current bound: 5064711
741.70/741.95	c [INC SEARCH] iteration: 11
741.70/741.95	c [INC SEARCH] lower bound: 5063637 upperbound 5065785 current bound: 5064711 best value:5065785
741.70/741.95	c [INC SYSTEM] create new solver instance
741.70/741.95	c [INC] encode full formula
741.70/741.95	c fallback to adder encoding
741.82/742.01	c set iterative enc to: adder
741.82/742.01	c set iterative enc to: none
741.82/742.03	c [INC SEARCH] isOptimum variable: 0
852.80/853.09	c [INC SEARCH] formula is UNSAT
852.80/853.09	c [INC SYSTEM] there exists a inc, kill it!
852.80/853.09	c write failed with 2
852.80/853.09	c sat variable: 0 optimum/unsat variable: 1
852.80/853.09	c [INC SEARCH] set lower bound to 5064712 upperbound 5065785
852.80/853.09	c [INC SEARCH] current bound: 5065248
852.80/853.09	c [INC SEARCH] iteration: 12
852.80/853.09	c [INC SEARCH] lower bound: 5064712 upperbound 5065785 current bound: 5065248 best value:5065785
852.80/853.09	c [INC SYSTEM] create new solver instance
852.80/853.09	c [INC] encode full formula
852.80/853.09	c fallback to adder encoding
852.92/853.15	c set iterative enc to: adder
852.92/853.15	c set iterative enc to: none
852.92/853.16	c [INC SEARCH] isOptimum variable: 0
941.58/941.83	c [INC SEARCH] formula is UNSAT
941.58/941.83	c [INC SYSTEM] there exists a inc, kill it!
941.58/941.83	c write failed with 2
941.58/941.83	c sat variable: 0 optimum/unsat variable: 1
941.58/941.83	c [INC SEARCH] set lower bound to 5065249 upperbound 5065785
941.58/941.83	c [INC SEARCH] current bound: 5065517
941.58/941.83	c [INC SEARCH] iteration: 13
941.58/941.83	c [INC SEARCH] lower bound: 5065249 upperbound 5065785 current bound: 5065517 best value:5065785
941.58/941.83	c [INC SYSTEM] create new solver instance
941.58/941.83	c [INC] encode full formula
941.58/941.83	c fallback to adder encoding
941.58/941.89	c set iterative enc to: adder
941.58/941.89	c set iterative enc to: none
941.70/941.90	c [INC SEARCH] isOptimum variable: 0
1076.66/1076.98	c [INC SEARCH] formula is UNSAT
1076.66/1076.98	c [INC SYSTEM] there exists a inc, kill it!
1076.66/1076.98	c write failed with 2
1076.66/1076.98	c sat variable: 0 optimum/unsat variable: 1
1076.66/1076.98	c [INC SEARCH] set lower bound to 5065518 upperbound 5065785
1076.66/1076.98	c [INC SEARCH] current bound: 5065651
1076.66/1076.98	c [INC SEARCH] iteration: 14
1076.66/1076.98	c [INC SEARCH] lower bound: 5065518 upperbound 5065785 current bound: 5065651 best value:5065785
1076.66/1076.98	c [INC SYSTEM] create new solver instance
1076.66/1076.98	c [INC] encode full formula
1076.66/1076.98	c fallback to adder encoding
1076.76/1077.03	c set iterative enc to: adder
1076.76/1077.03	c set iterative enc to: none
1076.76/1077.05	c [INC SEARCH] isOptimum variable: 0
1664.76/1665.19	c [INC SEARCH] formula is UNSAT
1664.76/1665.19	c [INC SYSTEM] there exists a inc, kill it!
1664.76/1665.19	c write failed with 2
1664.76/1665.19	c sat variable: 0 optimum/unsat variable: 1
1664.76/1665.19	c [INC SEARCH] set lower bound to 5065652 upperbound 5065785
1664.76/1665.19	c [INC SEARCH] current bound: 5065718
1664.76/1665.19	c [INC SEARCH] iteration: 15
1664.76/1665.19	c [INC SEARCH] lower bound: 5065652 upperbound 5065785 current bound: 5065718 best value:5065785
1664.76/1665.19	c [INC SYSTEM] create new solver instance
1664.76/1665.19	c [INC] encode full formula
1664.76/1665.19	c fallback to adder encoding
1664.88/1665.25	c set iterative enc to: adder
1664.88/1665.25	c set iterative enc to: none
1664.88/1665.26	c [INC SEARCH] isOptimum variable: 0
1779.35/1779.72	c [INC SEARCH] formula is UNSAT
1779.35/1779.72	c [INC SYSTEM] there exists a inc, kill it!
1779.35/1779.72	c write failed with 2
1779.35/1779.72	c sat variable: 0 optimum/unsat variable: 1
1779.35/1779.72	c [INC SEARCH] set lower bound to 5065719 upperbound 5065785
1779.35/1779.72	c [INC SEARCH] current bound: 5065752
1779.35/1779.72	c [INC SEARCH] iteration: 16
1779.35/1779.72	c [INC SEARCH] lower bound: 5065719 upperbound 5065785 current bound: 5065752 best value:5065785
1779.35/1779.72	c [INC SYSTEM] create new solver instance
1779.35/1779.72	c [INC] encode full formula
1779.35/1779.72	c fallback to adder encoding
1779.35/1779.78	c set iterative enc to: adder
1779.35/1779.78	c set iterative enc to: none
1779.35/1779.80	c [INC SEARCH] isOptimum variable: 0
1800.03/1800.40	c an unexpexted return value has been received, exit
1800.03/1800.40	s UNKNOWN
1800.03/1800.40	c [INC SYSTEM] there exists a inc, kill it!
1800.03/1800.40	c write failed with -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-3699359-1338137311/watcher-3699359-1338137311 -o /tmp/evaluation-result-3699359-1338137311/solver-3699359-1338137311 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699359-1338137311.opb 263598626 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.31 2.07 2.02 3/179 13318
/proc/meminfo: memFree=29863140/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0

[startup+0.030474 s]
/proc/loadavg: 2.31 2.07 2.02 3/179 13318
/proc/meminfo: memFree=29863140/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10026 s]
/proc/loadavg: 2.31 2.07 2.02 3/179 13318
/proc/meminfo: memFree=29863140/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300251 s]
/proc/loadavg: 2.31 2.07 2.02 3/179 13318
/proc/meminfo: memFree=29863140/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700236 s]
/proc/loadavg: 2.31 2.07 2.02 3/179 13318
/proc/meminfo: memFree=29863140/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50028 s]
/proc/loadavg: 2.31 2.07 2.02 3/182 13324
/proc/meminfo: memFree=29846544/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=7112 CPUtime=0.35 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) R 13318 13318 11017 0 -1 4202496 2462 6775 0 0 6 0 27 2 20 0 1 0 279855153 7282688 1424 33554432000 4194304 5992684 140734556881808 140734556868072 5179600 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 1778 1424 174 440 0 1334 0
[pid=13324] ppid=13319 vsize=15032 CPUtime=1.12 cores=1,3,5,7
/proc/13324/stat : 13324 (glucosInc) S 13319 13318 11017 0 -1 4202496 2286 0 0 0 112 0 0 0 20 0 1 0 279855190 15392768 2732 33554432000 4194304 5654031 140736153839648 140736153837960 4976656 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/13324/statm: 3758 2732 146 357 0 3398 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 31292

[startup+3.10032 s]
/proc/loadavg: 2.31 2.07 2.02 3/181 13327
/proc/meminfo: memFree=29842620/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=7392 CPUtime=2.17 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 8196 16982 0 0 29 13 170 5 20 0 1 0 279855153 7569408 1538 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 1848 1538 186 440 0 1404 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 16540
heavy processes:

[startup+6.30038 s]
/proc/loadavg: 2.28 2.06 2.02 3/182 13331
/proc/meminfo: memFree=29818988/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=4.84 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 11039 23944 0 0 36 14 427 7 20 0 1 0 279855153 16154624 3571 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3571 186 440 0 3500 0
[pid=13331] ppid=13319 vsize=23732 CPUtime=1.43 cores=1,3,5,7
/proc/13331/stat : 13331 (glucosInc) R 13319 13318 11017 0 -1 4202496 6003 0 0 0 143 0 0 0 20 0 1 0 279855639 24301568 5430 33554432000 4194304 5654031 140734356036144 140734356023960 4232380 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 5933 5430 141 357 0 5573 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 48656

[startup+12.7004 s]
/proc/loadavg: 2.26 2.06 2.02 3/182 13331
/proc/meminfo: memFree=29810500/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=4.84 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 11039 23944 0 0 36 14 427 7 20 0 1 0 279855153 16154624 3571 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3571 186 440 0 3500 0
[pid=13331] ppid=13319 vsize=30896 CPUtime=7.84 cores=1,3,5,7
/proc/13331/stat : 13331 (glucosInc) R 13319 13318 11017 0 -1 4202496 6800 0 0 0 783 1 0 0 20 0 1 0 279855639 31637504 7055 33554432000 4194304 5654031 140734356036144 140734356023960 4216344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13331/statm: 7724 7055 142 357 0 7364 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 55820

[startup+25.5004 s]
/proc/loadavg: 2.20 2.06 2.02 3/182 13335
/proc/meminfo: memFree=29812844/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=20.73 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 16254 37025 0 0 49 15 1998 11 20 0 1 0 279855153 16154624 3572 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3572 186 440 0 3500 0
[pid=13335] ppid=13319 vsize=26296 CPUtime=4.74 cores=1,3,5,7
/proc/13335/stat : 13335 (glucosInc) R 13319 13318 11017 0 -1 4202496 5471 0 0 0 473 1 0 0 20 0 1 0 279857228 26927104 5540 33554432000 4194304 5654031 140735259340208 140735259328024 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13335/statm: 6574 5540 142 357 0 6214 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 51220

[startup+51.1004 s]
/proc/loadavg: 2.13 2.05 2.02 3/182 13336
/proc/meminfo: memFree=29805364/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=20.73 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 16254 37025 0 0 49 15 1998 11 20 0 1 0 279855153 16154624 3572 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3572 186 440 0 3500 0
[pid=13335] ppid=13319 vsize=37764 CPUtime=30.34 cores=1,3,5,7
/proc/13335/stat : 13335 (glucosInc) R 13319 13318 11017 0 -1 4202496 7264 0 0 0 3032 2 0 0 20 0 1 0 279857228 38670336 8526 33554432000 4194304 5654031 140735259340208 140735259338008 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13335/statm: 9441 8526 142 357 0 9081 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62688

[startup+102.307 s]
/proc/loadavg: 2.06 2.04 2.01 3/182 13339
/proc/meminfo: memFree=29791300/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=20.73 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 16254 37025 0 0 49 15 1998 11 20 0 1 0 279855153 16154624 3572 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3572 186 440 0 3500 0
[pid=13335] ppid=13319 vsize=45908 CPUtime=81.53 cores=1,3,5,7
/proc/13335/stat : 13335 (glucosInc) R 13319 13318 11017 0 -1 4202496 9503 0 0 0 8150 3 0 0 20 0 1 0 279857228 47009792 10764 33554432000 4194304 5654031 140735259340208 140735259328024 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13335/statm: 11477 10764 142 357 0 11117 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 70832

[startup+162.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/181 13343
/proc/meminfo: memFree=29819432/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=157.98 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 21687 53421 0 0 62 16 15702 18 20 0 1 0 279855153 16154624 3573 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3573 186 440 0 3500 0
[pid=13343] ppid=13319 vsize=26504 CPUtime=4.26 cores=1,3,5,7
/proc/13343/stat : 13343 (glucosInc) R 13319 13318 11017 0 -1 4202496 6158 0 0 0 426 0 0 0 20 0 1 0 279870956 27140096 5708 33554432000 4194304 5654031 140736673837968 140736673825784 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13343/statm: 6626 5708 142 357 0 6266 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 51428

[startup+222.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/181 13345
/proc/meminfo: memFree=29803516/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=184.94 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 24440 61868 0 0 69 17 18387 21 20 0 1 0 279855153 16154624 3574 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3574 186 440 0 3500 0
[pid=13345] ppid=13319 vsize=35064 CPUtime=37.29 cores=1,3,5,7
/proc/13345/stat : 13345 (glucosInc) R 13319 13318 11017 0 -1 4202496 7795 0 0 0 3728 1 0 0 20 0 1 0 279873653 35905536 8008 33554432000 4194304 5654031 140735961451872 140735961439688 4232794 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13345/statm: 8766 8008 142 357 0 8406 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 59988

[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/181 13345
/proc/meminfo: memFree=29798264/32873648 swapFree=7368/7368

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

/proc/meminfo: memFree=29631860/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=1076.82 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 42707 127071 0 0 110 22 107506 44 20 0 1 0 279855153 16154624 3574 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3574 186 440 0 3500 0
[pid=13388] ppid=13319 vsize=42200 CPUtime=165.2 cores=1,3,5,7
/proc/13388/stat : 13388 (glucosInc) R 13319 13318 11017 0 -1 4202496 8458 0 0 0 16519 1 0 0 20 0 1 0 279962859 43212800 10067 33554432000 4194304 5654031 140734550441968 140734550429784 4216315 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13388/statm: 10550 10067 142 357 0 10190 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 67124

[startup+1302.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/181 13608
/proc/meminfo: memFree=29793796/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=1076.82 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 42707 127071 0 0 110 22 107506 44 20 0 1 0 279855153 16154624 3574 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3574 186 440 0 3500 0
[pid=13388] ppid=13319 vsize=42200 CPUtime=225.2 cores=1,3,5,7
/proc/13388/stat : 13388 (glucosInc) R 13319 13318 11017 0 -1 4202496 8458 0 0 0 22519 1 0 0 20 0 1 0 279962859 43212800 10067 33554432000 4194304 5654031 140734550441968 140734550429784 4216562 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13388/statm: 10550 10067 142 357 0 10190 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 67124

[startup+1362.3 s]
/proc/loadavg: 1.91 2.00 2.00 2/174 13857
/proc/meminfo: memFree=29922756/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=1076.82 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 42707 127071 0 0 110 22 107506 44 20 0 1 0 279855153 16154624 3574 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3574 186 440 0 3500 0
[pid=13388] ppid=13319 vsize=42544 CPUtime=285.18 cores=1,3,5,7
/proc/13388/stat : 13388 (glucosInc) R 13319 13318 11017 0 -1 4202496 8546 0 0 0 28517 1 0 0 20 0 1 0 279962859 43565056 10153 33554432000 4194304 5654031 140734550441968 140734550429784 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13388/statm: 10636 10153 142 357 0 10276 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 67468

[startup+1422.31 s]
/proc/loadavg: 1.33 1.82 1.93 2/173 13857
/proc/meminfo: memFree=29916284/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=1076.82 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 42707 127071 0 0 110 22 107506 44 20 0 1 0 279855153 16154624 3574 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3574 186 440 0 3500 0
[pid=13388] ppid=13319 vsize=65828 CPUtime=345.19 cores=1,3,5,7
/proc/13388/stat : 13388 (glucosInc) R 13319 13318 11017 0 -1 4202496 8810 0 0 0 34517 2 0 0 20 0 1 0 279962859 67407872 12355 33554432000 4194304 5654031 140734550441968 140734550429784 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13388/statm: 16457 12355 142 357 0 16097 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 90752

[startup+1482.3 s]
/proc/loadavg: 1.12 1.67 1.87 2/173 13857
/proc/meminfo: memFree=29916160/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=1076.82 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 42707 127071 0 0 110 22 107506 44 20 0 1 0 279855153 16154624 3574 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3574 186 440 0 3500 0
[pid=13388] ppid=13319 vsize=65828 CPUtime=405.17 cores=1,3,5,7
/proc/13388/stat : 13388 (glucosInc) R 13319 13318 11017 0 -1 4202496 8810 0 0 0 40515 2 0 0 20 0 1 0 279962859 67407872 12355 33554432000 4194304 5654031 140734550441968 140734550429784 4216344 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13388/statm: 16457 12355 142 357 0 16097 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 90752

[startup+1542.3 s]
/proc/loadavg: 1.04 1.54 1.81 2/173 13857
/proc/meminfo: memFree=29914116/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=1076.82 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 42707 127071 0 0 110 22 107506 44 20 0 1 0 279855153 16154624 3574 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3574 186 440 0 3500 0
[pid=13388] ppid=13319 vsize=65828 CPUtime=465.16 cores=1,3,5,7
/proc/13388/stat : 13388 (glucosInc) R 13319 13318 11017 0 -1 4202496 8811 0 0 0 46514 2 0 0 20 0 1 0 279962859 67407872 12867 33554432000 4194304 5654031 140734550441968 140734550429784 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13388/statm: 16457 12867 142 357 0 16097 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 90752

[startup+1602.3 s]
/proc/loadavg: 1.01 1.44 1.76 2/173 13858
/proc/meminfo: memFree=29913992/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=1076.82 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 42707 127071 0 0 110 22 107506 44 20 0 1 0 279855153 16154624 3574 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3574 186 440 0 3500 0
[pid=13388] ppid=13319 vsize=65828 CPUtime=525.15 cores=1,3,5,7
/proc/13388/stat : 13388 (glucosInc) R 13319 13318 11017 0 -1 4202496 8811 0 0 0 52513 2 0 0 20 0 1 0 279962859 67407872 12867 33554432000 4194304 5654031 140734550441968 140734550429784 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13388/statm: 16457 12867 142 357 0 16097 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 90752

[startup+1662.3 s]
/proc/loadavg: 1.00 1.36 1.71 2/173 13858
/proc/meminfo: memFree=29901704/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=1076.82 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 42707 127071 0 0 110 22 107506 44 20 0 1 0 279855153 16154624 3574 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3574 186 440 0 3500 0
[pid=13388] ppid=13319 vsize=65828 CPUtime=585.14 cores=1,3,5,7
/proc/13388/stat : 13388 (glucosInc) R 13319 13318 11017 0 -1 4202496 8817 0 0 0 58512 2 0 0 20 0 1 0 279962859 67407872 15939 33554432000 4194304 5654031 140734550441968 140734550429784 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13388/statm: 16457 15939 142 357 0 16097 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 90752

[startup+1722.3 s]
/proc/loadavg: 1.03 1.30 1.67 2/173 13860
/proc/meminfo: memFree=29933796/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=1664.94 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 45293 136410 0 0 116 23 166308 47 20 0 1 0 279855153 16154624 3574 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3574 186 440 0 3500 0
[pid=13860] ppid=13319 vsize=33796 CPUtime=57.02 cores=1,3,5,7
/proc/13860/stat : 13860 (glucosInc) R 13319 13318 11017 0 -1 4202496 8197 0 0 0 5700 2 0 0 20 0 1 0 280021680 34607104 7966 33554432000 4194304 5654031 140734877535344 140734877523160 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13860/statm: 8449 7966 142 357 0 8089 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 58720

[startup+1782.3 s]
/proc/loadavg: 1.01 1.25 1.62 2/173 13862
/proc/meminfo: memFree=29944168/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=1779.44 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 47880 146626 0 0 122 23 177748 51 20 0 1 0 279855153 16154624 3574 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3574 186 440 0 3500 0
[pid=13862] ppid=13319 vsize=26624 CPUtime=2.48 cores=1,3,5,7
/proc/13862/stat : 13862 (glucosInc) R 13319 13318 11017 0 -1 4202496 6048 0 0 0 248 0 0 0 20 0 1 0 280033133 27262976 5544 33554432000 4194304 5654031 140736714062400 140736714050216 4217744 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13862/statm: 6656 5544 141 357 0 6296 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 51548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.01 1.23 1.61 2/173 13862
/proc/meminfo: memFree=29932868/32873648 swapFree=7368/7368
[pid=13318] ppid=13316 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13318/stat : 13318 (npSolver-pbo-I.) S 13316 13318 11017 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279855153 9367552 275 33554432000 4194304 5064252 140736411150896 140736411149808 251052844622 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/13318/statm: 2287 275 233 213 0 72 0
[pid=13319] ppid=13318 vsize=15776 CPUtime=1779.44 cores=1,3,5,7
/proc/13319/stat : 13319 (npSolver-pbo) S 13318 13318 11017 0 -1 4202496 47880 146626 0 0 122 23 177748 51 20 0 1 0 279855153 16154624 3574 33554432000 4194304 5992684 140734556881808 140734556866712 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/13319/statm: 3944 3574 186 440 0 3500 0
[pid=13862] ppid=13319 vsize=35168 CPUtime=20.59 cores=1,3,5,7
/proc/13862/stat : 13862 (glucosInc) R 13319 13318 11017 0 -1 4202496 7509 0 0 0 2058 1 0 0 20 0 1 0 280033133 36012032 8187 33554432000 4194304 5654031 140736714062400 140736714050216 4232398 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13862/statm: 8792 8187 142 357 0 8432 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 60092

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.29
CPU system time (s): 0.772882
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 90752

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 0.772882
maximum resident set size= 63776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202393
page faults= 0
swaps= 0
block input operations= 0
block output operations= 201848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 930
involuntary context switches= 1907

runsolver used 2.74958 second user time and 7.16991 second system time

The end

Launcher Data 

Begin job on node149 at 2012-05-27 18:48:31
IDJOB=3699359
IDBENCH=92781
IDSOLVER=2276
FILE ID=node149/3699359-1338137311
RUNJOBID= node149-1338120218-11034
PBS_JOBID= 14624479
Free space on /tmp= 71692 MiB

SOLVER NAME= npSolver inc
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/IC/normalized-minisat15_5_3_8_ic.opb
COMMAND LINE= DIR/npSolver-pbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3699359-1338137311/watcher-3699359-1338137311 -o /tmp/evaluation-result-3699359-1338137311/solver-3699359-1338137311 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-I.sh HOME/instance-3699359-1338137311.opb 263598626 HOME HOME

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

MD5SUM BENCH= db8b8cffd5752eef333f86e642ebfb0d
RANDOM SEED=263598626

node149.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.145
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	: 5332.29
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.145
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.145
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	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.145
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.145
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:        29863520 kB
Buffers:          369136 kB
Cached:          1664072 kB
SwapCached:         2452 kB
Active:           970652 kB
Inactive:        1218348 kB
Active(anon):     147544 kB
Inactive(anon):     9340 kB
Active(file):     823108 kB
Inactive(file):  1209008 kB
Unevictable:        7368 kB
Mlocked:            7368 kB
SwapTotal:      67108856 kB
SwapFree:       67104876 kB
Dirty:             10020 kB
Writeback:             0 kB
AnonPages:        159536 kB
Mapped:            15500 kB
Shmem:                96 kB
Slab:             681728 kB
SReclaimable:     125504 kB
SUnreclaim:       556224 kB
KernelStack:        1488 kB
PageTables:         4464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     287236 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    110592 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= 71696 MiB
End job on node149 at 2012-05-27 19:18:31