Trace number 3702852

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.04 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/
~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM29f577041bedcbf69a98210424b233be
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-48
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -49
Optimality of the best value was proved NO
Number of variables1150
Total number of constraints81068
Number of constraints which are clauses81068
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint2
Number of terms in the objective function 1150
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1150
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1150
Number of bits of the biggest sum of numbers11
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.16	c run inc solver
0.00/0.16	c [INC SYSTEM] run initial solver
0.00/0.16	c [INC SYSTEM] preprocess with white file
0.00/0.31	c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.31	c [INC SYSTEM] execute solver
0.00/0.33	c [INC SEARCH] formula is SAT
0.00/0.33	c [INC SYSTEM] solved the initial formula
0.00/0.41	c model valid
0.00/0.41	c current solution ok
0.00/0.53	o 0
0.00/0.53	c starting approximation
0.00/0.53	c factor = 1
0.00/0.53	c can not find a suitable factor, leaving approximation
0.00/0.53	c finished approximation
0.00/0.53	c [INC SYSTEM] there exists a inc, kill it!
0.00/0.53	c write failed with 2
0.00/0.53	c [INC SEARCH] iteration: 0
0.00/0.53	c [INC BOUNDS] best value:1150 search for 1149
0.00/0.53	c [INC SYSTEM] create new solver instance
0.00/0.53	c [INC] encode full formula
0.00/0.53	c (debug) using card networks
0.00/0.59	c set iterative enc to: card
0.00/0.59	c set iterative enc to: none
0.00/0.60	c [INC SEARCH] isOptimum variable: 0
0.00/0.85	c formula is SAT
0.00/0.86	c [INC SEARCH] copied best model
0.00/0.86	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
0.00/0.94	c model valid
0.00/0.94	c current solution ok
0.00/0.94	o -29
0.00/0.94	c [INC SEARCH] iteration: 1
0.00/0.94	c [INC BOUNDS] best value:1121 search for 1120
0.00/0.94	c [INC SYSTEM] there exists a inc, kill it!
0.00/0.94	c write failed with 2
0.00/0.94	c [INC SYSTEM] create new solver instance
0.00/0.94	c [INC] encode full formula
0.00/0.94	c (debug) using card networks
0.00/1.00	c set iterative enc to: card
0.00/1.00	c set iterative enc to: none
0.97/1.01	c [INC SEARCH] isOptimum variable: 0
0.98/1.56	c formula is SAT
0.98/1.57	c [INC SEARCH] copied best model
0.98/1.57	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1.02/1.65	c model valid
1.02/1.65	c current solution ok
1.02/1.65	o -32
1.02/1.65	c [INC SEARCH] iteration: 2
1.02/1.65	c [INC BOUNDS] best value:1118 search for 1117
1.02/1.65	c [INC SYSTEM] there exists a inc, kill it!
1.02/1.65	c write failed with 2
1.02/1.65	c [INC SYSTEM] create new solver instance
1.02/1.65	c [INC] encode full formula
1.02/1.65	c (debug) using card networks
1.68/1.70	c set iterative enc to: card
1.68/1.70	c set iterative enc to: none
1.68/1.72	c [INC SEARCH] isOptimum variable: 0
2.66/2.76	c formula is SAT
2.66/2.77	c [INC SEARCH] copied best model
2.66/2.77	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
2.77/2.85	c model valid
2.77/2.85	c current solution ok
2.77/2.85	o -34
2.77/2.85	c [INC SEARCH] iteration: 3
2.77/2.85	c [INC BOUNDS] best value:1116 search for 1115
2.77/2.85	c [INC SYSTEM] there exists a inc, kill it!
2.77/2.85	c write failed with 2
2.77/2.85	c [INC SYSTEM] create new solver instance
2.77/2.85	c [INC] encode full formula
2.77/2.85	c (debug) using card networks
2.89/2.91	c set iterative enc to: card
2.89/2.91	c set iterative enc to: none
2.89/2.92	c [INC SEARCH] isOptimum variable: 0
5.97/6.07	c formula is SAT
5.97/6.08	c [INC SEARCH] copied best model
5.97/6.08	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
6.06/6.16	c model valid
6.06/6.16	c current solution ok
6.06/6.16	o -35
6.06/6.16	c [INC SEARCH] iteration: 4
6.06/6.16	c [INC BOUNDS] best value:1115 search for 1114
6.06/6.16	c [INC SYSTEM] there exists a inc, kill it!
6.06/6.16	c write failed with 2
6.06/6.16	c [INC SYSTEM] create new solver instance
6.06/6.16	c [INC] encode full formula
6.06/6.16	c (debug) using card networks
6.18/6.22	c set iterative enc to: card
6.18/6.22	c set iterative enc to: none
6.18/6.23	c [INC SEARCH] isOptimum variable: 0
10.57/10.62	c formula is SAT
10.57/10.63	c [INC SEARCH] copied best model
10.57/10.63	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
10.68/10.71	c model valid
10.68/10.71	c current solution ok
10.68/10.71	o -36
10.68/10.71	c [INC SEARCH] iteration: 5
10.68/10.71	c [INC BOUNDS] best value:1114 search for 1113
10.68/10.71	c [INC SYSTEM] there exists a inc, kill it!
10.68/10.71	c write failed with 2
10.68/10.71	c [INC SYSTEM] create new solver instance
10.68/10.71	c [INC] encode full formula
10.68/10.71	c (debug) using card networks
10.68/10.77	c set iterative enc to: card
10.68/10.77	c set iterative enc to: none
10.68/10.78	c [INC SEARCH] isOptimum variable: 0
13.67/13.73	c formula is SAT
13.67/13.74	c [INC SEARCH] copied best model
13.67/13.74	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
13.78/13.82	c model valid
13.78/13.82	c current solution ok
13.78/13.82	o -37
13.78/13.82	c [INC SEARCH] iteration: 6
13.78/13.82	c [INC BOUNDS] best value:1113 search for 1112
13.78/13.82	c [INC SYSTEM] there exists a inc, kill it!
13.78/13.82	c write failed with 2
13.78/13.82	c [INC SYSTEM] create new solver instance
13.78/13.82	c [INC] encode full formula
13.78/13.82	c (debug) using card networks
13.78/13.87	c set iterative enc to: card
13.78/13.87	c set iterative enc to: none
13.78/13.88	c [INC SEARCH] isOptimum variable: 0
17.77/17.86	c formula is SAT
17.77/17.87	c [INC SEARCH] copied best model
17.87/17.94	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
17.87/17.95	c model valid
17.87/17.95	c current solution ok
17.87/17.95	o -38
17.87/17.95	c [INC SEARCH] iteration: 7
17.87/17.95	c [INC BOUNDS] best value:1112 search for 1111
17.87/17.95	c [INC SYSTEM] there exists a inc, kill it!
17.87/17.95	c write failed with 2
17.87/17.95	c [INC SYSTEM] create new solver instance
17.87/17.95	c [INC] encode full formula
17.87/17.95	c (debug) using card networks
17.98/18.00	c set iterative enc to: card
17.98/18.00	c set iterative enc to: none
17.98/18.01	c [INC SEARCH] isOptimum variable: 0
26.38/26.47	c formula is SAT
26.38/26.48	c [INC SEARCH] copied best model
26.38/26.48	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
26.47/26.56	c model valid
26.47/26.56	c current solution ok
26.47/26.56	o -39
26.47/26.56	c [INC SEARCH] iteration: 8
26.47/26.56	c [INC BOUNDS] best value:1111 search for 1110
26.47/26.56	c [INC SYSTEM] there exists a inc, kill it!
26.47/26.56	c write failed with 2
26.47/26.56	c [INC SYSTEM] create new solver instance
26.47/26.56	c [INC] encode full formula
26.47/26.56	c (debug) using card networks
26.58/26.61	c set iterative enc to: card
26.58/26.61	c set iterative enc to: none
26.58/26.62	c [INC SEARCH] isOptimum variable: 0
36.87/36.92	c formula is SAT
36.87/36.93	c [INC SEARCH] copied best model
36.87/36.93	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
36.97/37.01	c model valid
36.97/37.01	c current solution ok
36.97/37.01	o -40
36.97/37.01	c [INC SEARCH] iteration: 9
36.97/37.01	c [INC BOUNDS] best value:1110 search for 1109
36.97/37.01	c [INC SYSTEM] there exists a inc, kill it!
36.97/37.01	c write failed with 2
36.97/37.01	c [INC SYSTEM] create new solver instance
36.97/37.01	c [INC] encode full formula
36.97/37.01	c (debug) using card networks
36.97/37.06	c set iterative enc to: card
36.97/37.06	c set iterative enc to: none
36.97/37.07	c [INC SEARCH] isOptimum variable: 0
47.67/47.74	c formula is SAT
47.67/47.75	c [INC SEARCH] copied best model
47.67/47.75	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
47.77/47.83	c model valid
47.77/47.83	c current solution ok
47.77/47.83	o -41
47.77/47.83	c [INC SEARCH] iteration: 10
47.77/47.83	c [INC BOUNDS] best value:1109 search for 1108
47.77/47.83	c [INC SYSTEM] there exists a inc, kill it!
47.77/47.83	c write failed with 2
47.77/47.83	c [INC SYSTEM] create new solver instance
47.77/47.83	c [INC] encode full formula
47.77/47.83	c (debug) using card networks
47.77/47.89	c set iterative enc to: card
47.77/47.89	c set iterative enc to: none
47.88/47.90	c [INC SEARCH] isOptimum variable: 0
63.47/63.52	c formula is SAT
63.47/63.53	c [INC SEARCH] copied best model
63.47/63.53	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
63.57/63.61	c model valid
63.57/63.61	c current solution ok
63.57/63.61	o -42
63.57/63.61	c [INC SEARCH] iteration: 11
63.57/63.61	c [INC BOUNDS] best value:1108 search for 1107
63.57/63.61	c [INC SYSTEM] there exists a inc, kill it!
63.57/63.61	c write failed with 2
63.57/63.61	c [INC SYSTEM] create new solver instance
63.57/63.61	c [INC] encode full formula
63.57/63.61	c (debug) using card networks
63.57/63.66	c set iterative enc to: card
63.57/63.66	c set iterative enc to: none
63.57/63.68	c [INC SEARCH] isOptimum variable: 0
83.06/83.11	c formula is SAT
83.06/83.11	c [INC SEARCH] copied best model
83.06/83.11	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
83.06/83.20	c model valid
83.06/83.20	c current solution ok
83.06/83.20	o -43
83.06/83.20	c [INC SEARCH] iteration: 12
83.06/83.20	c [INC BOUNDS] best value:1107 search for 1106
83.06/83.20	c [INC SYSTEM] there exists a inc, kill it!
83.06/83.20	c write failed with 2
83.17/83.20	c [INC SYSTEM] create new solver instance
83.17/83.20	c [INC] encode full formula
83.17/83.20	c (debug) using card networks
83.17/83.25	c set iterative enc to: card
83.17/83.25	c set iterative enc to: none
83.17/83.26	c [INC SEARCH] isOptimum variable: 0
99.56/99.62	c formula is SAT
99.56/99.63	c [INC SEARCH] copied best model
99.56/99.63	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
99.65/99.71	c model valid
99.65/99.71	c current solution ok
99.65/99.71	o -44
99.65/99.71	c [INC SEARCH] iteration: 13
99.65/99.71	c [INC BOUNDS] best value:1106 search for 1105
99.65/99.71	c [INC SYSTEM] there exists a inc, kill it!
99.65/99.71	c write failed with 2
99.65/99.71	c [INC SYSTEM] create new solver instance
99.65/99.71	c [INC] encode full formula
99.65/99.71	c (debug) using card networks
99.65/99.76	c set iterative enc to: card
99.65/99.76	c set iterative enc to: none
99.65/99.77	c [INC SEARCH] isOptimum variable: 0
134.65/134.79	c formula is SAT
134.75/134.80	c [INC SEARCH] copied best model
134.75/134.80	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
134.75/134.88	c model valid
134.75/134.88	c current solution ok
134.75/134.88	o -45
134.75/134.88	c [INC SEARCH] iteration: 14
134.75/134.88	c [INC BOUNDS] best value:1105 search for 1104
134.75/134.88	c [INC SYSTEM] there exists a inc, kill it!
134.75/134.88	c write failed with 2
134.75/134.89	c [INC SYSTEM] create new solver instance
134.75/134.89	c [INC] encode full formula
134.75/134.89	c (debug) using card networks
134.85/134.94	c set iterative enc to: card
134.85/134.94	c set iterative enc to: none
134.85/134.95	c [INC SEARCH] isOptimum variable: 0
211.21/211.37	c formula is SAT
211.21/211.38	c [INC SEARCH] copied best model
211.21/211.38	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
211.31/211.46	c model valid
211.31/211.46	c current solution ok
211.31/211.46	o -46
211.31/211.46	c [INC SEARCH] iteration: 15
211.31/211.46	c [INC BOUNDS] best value:1104 search for 1103
211.31/211.46	c [INC SYSTEM] there exists a inc, kill it!
211.31/211.46	c write failed with 2
211.31/211.46	c [INC SYSTEM] create new solver instance
211.31/211.46	c [INC] encode full formula
211.31/211.46	c (debug) using card networks
211.43/211.51	c set iterative enc to: card
211.43/211.51	c set iterative enc to: none
211.43/211.53	c [INC SEARCH] isOptimum variable: 0
304.51/304.67	c formula is SAT
304.51/304.68	c [INC SEARCH] copied best model
304.51/304.68	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
304.61/304.76	c model valid
304.61/304.76	c current solution ok
304.61/304.76	o -47
304.61/304.76	c [INC SEARCH] iteration: 16
304.61/304.76	c [INC BOUNDS] best value:1103 search for 1102
304.61/304.76	c [INC SYSTEM] there exists a inc, kill it!
304.61/304.76	c write failed with 2
304.61/304.76	c [INC SYSTEM] create new solver instance
304.61/304.76	c [INC] encode full formula
304.61/304.76	c (debug) using card networks
304.71/304.82	c set iterative enc to: card
304.71/304.82	c set iterative enc to: none
304.71/304.83	c [INC SEARCH] isOptimum variable: 0
1800.04/1800.41	HOME/npSolver-pbo-Itdqb.sh: line 18:  2837 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -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-3702852-1338062441/watcher-3702852-1338062441 -o /tmp/evaluation-result-3702852-1338062441/solver-3702852-1338062441 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702852-1338062441.opb 1420553555 HOME HOME 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 2836
/proc/meminfo: memFree=27147176/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0

[startup+0.0484981 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 2836
/proc/meminfo: memFree=27147176/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100302 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 2836
/proc/meminfo: memFree=27147176/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300137 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 2836
/proc/meminfo: memFree=27147176/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700252 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 2836
/proc/meminfo: memFree=27147176/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 2845
/proc/meminfo: memFree=27130416/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4792 CPUtime=0.98 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 5045 13518 0 0 45 12 39 2 20 0 1 0 272372678 4907008 899 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1198 899 193 440 0 754 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 13940

[startup+3.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 2849
/proc/meminfo: memFree=27105856/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=2.9 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 9881 30650 0 0 74 13 197 6 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
Current children cumulated CPU time (s) 2.9
Current children cumulated vsize (KiB) 13804

[startup+6.30029 s]
/proc/loadavg: 1.94 1.99 1.99 3/182 2851
/proc/meminfo: memFree=27101264/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=6.21 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 12299 39249 0 0 88 14 511 8 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 13804

[startup+12.7003 s]
/proc/loadavg: 1.94 1.99 1.99 3/182 2855
/proc/meminfo: memFree=27142852/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=10.76 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 14717 47729 0 0 102 14 949 11 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2855] ppid=2837 vsize=37920 CPUtime=1.91 cores=0,2,4,6
/proc/2855/stat : 2855 (glucosInc) R 2837 2836 1653 0 -1 4202496 8076 0 0 0 190 1 0 0 20 0 1 0 272373756 38830080 8078 33554432000 4194304 5654031 140736553054224 140736553052312 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2855/statm: 9480 8078 131 357 0 9120 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 51724

[startup+25.5003 s]
/proc/loadavg: 1.95 1.99 1.99 3/182 2882
/proc/meminfo: memFree=27106144/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=18 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 19553 65108 0 0 131 16 1639 14 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2859] ppid=2837 vsize=38380 CPUtime=7.46 cores=0,2,4,6
/proc/2859/stat : 2859 (glucosInc) R 2837 2836 1653 0 -1 4202496 8445 0 0 0 745 1 0 0 20 0 1 0 272374479 39301120 8430 33554432000 4194304 5654031 140736111882640 140736111870456 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2859/statm: 9595 8430 141 357 0 9235 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 52184

[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/181 2888
/proc/meminfo: memFree=27108976/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=47.89 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 26807 96155 0 0 173 19 4574 23 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2888] ppid=2837 vsize=38108 CPUtime=3.18 cores=0,2,4,6
/proc/2888/stat : 2888 (glucosInc) R 2837 2836 1653 0 -1 4202496 8146 0 0 0 317 1 0 0 20 0 1 0 272377468 39022592 8144 33554432000 4194304 5654031 140734002874992 140734002872760 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2888/statm: 9527 8144 140 357 0 9167 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 51912

[startup+102.306 s]
/proc/loadavg: 1.98 1.99 1.99 3/181 2895
/proc/meminfo: memFree=27108800/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=99.75 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 34061 132951 0 0 216 21 9703 35 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2895] ppid=2837 vsize=37828 CPUtime=2.51 cores=0,2,4,6
/proc/2895/stat : 2895 (glucosInc) R 2837 2836 1653 0 -1 4202496 8031 0 0 0 250 1 0 0 20 0 1 0 272382655 38735872 8096 33554432000 4194304 5654031 140737156992144 140737156990232 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2895/statm: 9457 8096 131 357 0 9097 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 51632

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/180 2897
/proc/meminfo: memFree=27082788/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=134.91 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 36479 145641 0 0 230 22 13199 40 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2897] ppid=2837 vsize=61436 CPUtime=27.32 cores=0,2,4,6
/proc/2897/stat : 2897 (glucosInc) R 2837 2836 1653 0 -1 4202496 12104 0 0 0 2730 2 0 0 20 0 1 0 272386173 62910464 14473 33554432000 4194304 5654031 140736194163568 140736194151384 4215126 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2897/statm: 15359 14473 142 357 0 14999 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 75240

[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 2900
/proc/meminfo: memFree=27104016/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=211.47 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 38897 159863 0 0 244 23 20835 45 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2900] ppid=2837 vsize=38372 CPUtime=10.76 cores=0,2,4,6
/proc/2900/stat : 2900 (glucosInc) R 2837 2836 1653 0 -1 4202496 9130 0 0 0 1075 1 0 0 20 0 1 0 272393831 39292928 8777 33554432000 4194304 5654031 140734673570800 140734673558616 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2900/statm: 9593 8777 142 357 0 9233 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 52176

[startup+282.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 2900
/proc/meminfo: memFree=27058396/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=211.47 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 38897 159863 0 0 244 23 20835 45 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2900] ppid=2837 vsize=84652 CPUtime=70.74 cores=0,2,4,6

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

/proc/loadavg: 2.02 2.03 2.00 3/181 2983
/proc/meminfo: memFree=27100840/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=304.73 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 41315 174716 0 0 258 23 30143 49 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2902] ppid=2837 vsize=130532 CPUtime=997.29 cores=0,2,4,6
/proc/2902/stat : 2902 (glucosInc) R 2837 2836 1653 0 -1 4202496 35280 0 0 0 99692 37 0 0 20 0 1 0 272403161 133664768 27755 33554432000 4194304 5654031 140734705696944 140734705694824 4233012 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2902/statm: 32633 27755 142 357 0 32273 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 144336

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 2983
/proc/meminfo: memFree=27019124/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=304.73 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 41315 174716 0 0 258 23 30143 49 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2902] ppid=2837 vsize=191904 CPUtime=1057.27 cores=0,2,4,6
/proc/2902/stat : 2902 (glucosInc) R 2837 2836 1653 0 -1 4202496 37201 0 0 0 105687 40 0 0 20 0 1 0 272403161 196509696 44665 33554432000 4194304 5654031 140734705696944 140734705694872 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2902/statm: 47976 44665 142 357 0 47616 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 205708

[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 2983
/proc/meminfo: memFree=26976684/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=304.73 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 41315 174716 0 0 258 23 30143 49 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2902] ppid=2837 vsize=222724 CPUtime=1117.27 cores=0,2,4,6
/proc/2902/stat : 2902 (glucosInc) R 2837 2836 1653 0 -1 4202496 38870 0 0 0 111685 42 0 0 20 0 1 0 272403161 228069376 49852 33554432000 4194304 5654031 140734705696944 140734705695032 4232830 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2902/statm: 55681 49852 142 357 0 55321 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 236528

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 2983
/proc/meminfo: memFree=26993408/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=304.73 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 41315 174716 0 0 258 23 30143 49 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2902] ppid=2837 vsize=191904 CPUtime=1177.26 cores=0,2,4,6
/proc/2902/stat : 2902 (glucosInc) R 2837 2836 1653 0 -1 4202496 40424 0 0 0 117680 46 0 0 20 0 1 0 272403161 196509696 46201 33554432000 4194304 5654031 140734705696944 140734705684760 4233204 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2902/statm: 47976 46201 142 357 0 47616 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 205708

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2983
/proc/meminfo: memFree=26957492/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=304.73 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 41315 174716 0 0 258 23 30143 49 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2902] ppid=2837 vsize=222724 CPUtime=1237.25 cores=0,2,4,6
/proc/2902/stat : 2902 (glucosInc) R 2837 2836 1653 0 -1 4202496 42098 0 0 0 123677 48 0 0 20 0 1 0 272403161 228069376 50364 33554432000 4194304 5654031 140734705696944 140734705695032 4232763 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2902/statm: 55681 50364 142 357 0 55321 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 236528

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2984
/proc/meminfo: memFree=26947780/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=304.73 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 41315 174716 0 0 258 23 30143 49 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2902] ppid=2837 vsize=191904 CPUtime=1297.23 cores=0,2,4,6
/proc/2902/stat : 2902 (glucosInc) R 2837 2836 1653 0 -1 4202496 43652 0 0 0 129672 51 0 0 20 0 1 0 272403161 196509696 44153 33554432000 4194304 5654031 140734705696944 140734705694872 4233236 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2902/statm: 47976 44153 142 357 0 47616 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 205708

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 2984
/proc/meminfo: memFree=26975784/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=304.73 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 41315 174716 0 0 258 23 30143 49 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2902] ppid=2837 vsize=191904 CPUtime=1357.22 cores=0,2,4,6
/proc/2902/stat : 2902 (glucosInc) R 2837 2836 1653 0 -1 4202496 44724 0 0 0 135669 53 0 0 20 0 1 0 272403161 196509696 45689 33554432000 4194304 5654031 140734705696944 140734705684760 4232794 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2902/statm: 47976 45689 142 357 0 47616 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 205708

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/182 2985
/proc/meminfo: memFree=26973620/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=304.73 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 41315 174716 0 0 258 23 30143 49 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2902] ppid=2837 vsize=191904 CPUtime=1417.22 cores=0,2,4,6
/proc/2902/stat : 2902 (glucosInc) R 2837 2836 1653 0 -1 4202496 45802 0 0 0 141667 55 0 0 20 0 1 0 272403161 196509696 46713 33554432000 4194304 5654031 140734705696944 140734705684760 4215784 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2902/statm: 47976 46713 142 357 0 47616 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 205708

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 2988
/proc/meminfo: memFree=26965136/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=304.73 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 41315 174716 0 0 258 23 30143 49 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2902] ppid=2837 vsize=222724 CPUtime=1477.21 cores=0,2,4,6
/proc/2902/stat : 2902 (glucosInc) R 2837 2836 1653 0 -1 4202496 47463 0 0 0 147663 58 0 0 20 0 1 0 272403161 228069376 48316 33554432000 4194304 5654031 140734705696944 140734705695032 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2902/statm: 55681 48316 142 357 0 55321 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 236528



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 2990
/proc/meminfo: memFree=27033048/32873844 swapFree=6088/6088
[pid=2836] ppid=2834 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2836/stat : 2836 (npSolver-pbo-It) S 2834 2836 1653 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272372677 9367552 275 33554432000 4194304 5064252 140735922775824 140735922774736 240426575438 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2836/statm: 2287 275 233 213 0 72 0
[pid=2837] ppid=2836 vsize=4656 CPUtime=304.73 cores=0,2,4,6
/proc/2837/stat : 2837 (npSolver-pbo) S 2836 2836 1653 0 -1 4202496 41315 174716 0 0 258 23 30143 49 20 0 1 0 272372678 4767744 865 33554432000 4194304 5992684 140734758619792 140734758605624 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2837/statm: 1164 865 193 440 0 720 0
[pid=2902] ppid=2837 vsize=222724 CPUtime=1495.31 cores=0,2,4,6
/proc/2902/stat : 2902 (glucosInc) R 2837 2836 1653 0 -1 4202496 47468 0 0 0 149473 58 0 0 20 0 1 0 272403161 228069376 50876 33554432000 4194304 5654031 140734705696944 140734705695032 4233232 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2902/statm: 55681 50876 142 357 0 55321 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 236528

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 2836 and gives
#  childrusage.ru_utime.tv_sec=304
#  childrusage.ru_utime.tv_usec=21781
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=737887
# CPU time returned by wait4() is 304.76
# while last known CPU time is 1800.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.04
CPU user time (s): 1798.74
CPU system time (s): 1.3
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 236528

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 304.022
system time used= 0.737887
maximum resident set size= 91804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 216406
page faults= 0
swaps= 0
block input operations= 0
block output operations= 142312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3211
involuntary context switches= 563

runsolver used 14.6588 second user time and 10.1725 second system time

The end

Launcher Data 

Begin job on node108 at 2012-05-26 22:00:41
IDJOB=3702852
IDBENCH=2261
IDSOLVER=2278
FILE ID=node108/3702852-1338062441
RUNJOBID= node108-1338052671-1673
PBS_JOBID= 14624392
Free space on /tmp= 71696 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3702852-1338062441/watcher-3702852-1338062441 -o /tmp/evaluation-result-3702852-1338062441/solver-3702852-1338062441 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702852-1338062441.opb 1420553555 HOME HOME

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

MD5SUM BENCH= 29f577041bedcbf69a98210424b233be
RANDOM SEED=1420553555

node108.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.273
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.54
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.273
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.273
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.91
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.273
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.273
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.273
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.273
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.90
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.273
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:        27147440 kB
Buffers:          250896 kB
Cached:          4544196 kB
SwapCached:            0 kB
Active:           729536 kB
Inactive:        4215864 kB
Active(anon):     153080 kB
Inactive(anon):        0 kB
Active(file):     576456 kB
Inactive(file):  4215864 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             10064 kB
Writeback:            40 kB
AnonPages:        160584 kB
Mapped:            15552 kB
Shmem:               200 kB
Slab:             640060 kB
SReclaimable:      82152 kB
SUnreclaim:       557908 kB
KernelStack:        1480 kB
PageTables:         4272 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     298064 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    126976 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= 71680 MiB
End job on node108 at 2012-05-26 22:30:41