Trace number 3751683

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-topdown-quickBound (fixed)? (TO) 1800.08 1800.51

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_9.opb
MD5SUM796ce15de170aa64363741766a49999c
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3179263
Best CPU time to get the best result obtained on this benchmark1801.45
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 143055667
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 44011059162
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 143055667
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 44011059162
Number of bits of the biggest sum of numbers36
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.03	c old isEQ: 0, new EQ is 1
0.00/0.14	c old isEQ: 24, new EQ is 1
0.00/0.17	c old isEQ: 1, new EQ is 1
0.00/0.21	c run inc solver
0.00/0.21	c [INC SYSTEM] run initial solver
0.00/0.21	c [INC SYSTEM] preprocess with white file
1.97/2.02	c [INC SYSTEM] finished preprocessing in 1 s
1.97/2.02	c [INC SYSTEM] execute solver
41.25/41.39	c [INC SEARCH] formula is SAT
41.34/41.40	c [INC SYSTEM] solved the initial formula
41.34/41.41	c model valid
41.34/41.41	c current solution ok
41.65/41.81	o 200450359
41.65/41.81	c starting approximation
41.65/41.81	c factor = 2
41.65/41.81	c factor still to low - shrinking to 2.97669e+06
41.65/41.81	c approx number of clauses: 1e+06
41.76/41.81	c current bound: 100225208
41.85/42.74	c leaving approximation
41.85/42.74	c finished approximation
41.85/42.74	c [INC SYSTEM] there exists a inc, kill it!
41.85/42.74	c write failed with 2
41.85/42.74	c [INC SEARCH] iteration: 0
41.85/42.74	c [INC BOUNDS] best value:200450409 search for 200450408
41.85/42.74	c [INC SYSTEM] create new solver instance
41.85/42.74	c [INC] encode full formula
41.85/42.74	c fallback to adder encoding
43.36/43.48	c set iterative enc to: adder
43.36/43.48	c set iterative enc to: none
43.46/43.58	c [INC SEARCH] isOptimum variable: 0
75.24/75.38	c formula is SAT
75.36/75.40	c [INC SEARCH] copied best model
75.36/75.40	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
75.36/75.42	c model valid
75.36/75.42	c current solution ok
75.36/75.42	o 172339947
75.36/75.42	c [INC SEARCH] iteration: 1
75.36/75.42	c [INC BOUNDS] best value:172339997 search for 172339996
75.36/75.42	c [INC SYSTEM] there exists a inc, kill it!
75.36/75.42	c write failed with 2
75.36/75.43	c [INC SYSTEM] create new solver instance
75.36/75.43	c [INC] encode full formula
75.36/75.43	c fallback to adder encoding
76.06/76.16	c set iterative enc to: adder
76.06/76.16	c set iterative enc to: none
76.16/76.27	c [INC SEARCH] isOptimum variable: 0
77.46/77.56	c formula is SAT
77.46/77.58	c [INC SEARCH] copied best model
77.46/77.58	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
77.46/77.59	c model valid
77.46/77.59	c current solution ok
77.46/77.59	o 103792039
77.46/77.59	c [INC SEARCH] iteration: 2
77.46/77.59	c [INC BOUNDS] best value:103792089 search for 103792088
77.46/77.59	c [INC SYSTEM] there exists a inc, kill it!
77.46/77.59	c write failed with 2
77.56/77.60	c [INC SYSTEM] create new solver instance
77.56/77.60	c [INC] encode full formula
77.56/77.60	c fallback to adder encoding
78.27/78.31	c set iterative enc to: adder
78.27/78.31	c set iterative enc to: none
78.37/78.42	c [INC SEARCH] isOptimum variable: 0
83.17/83.21	c formula is SAT
83.17/83.23	c [INC SEARCH] copied best model
83.17/83.23	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
83.17/83.25	c model valid
83.17/83.25	c current solution ok
83.17/83.25	o 101523069
83.17/83.25	c [INC SEARCH] iteration: 3
83.17/83.25	c [INC BOUNDS] best value:101523119 search for 101523118
83.17/83.25	c [INC SYSTEM] there exists a inc, kill it!
83.17/83.25	c write failed with 2
83.17/83.26	c [INC SYSTEM] create new solver instance
83.17/83.26	c [INC] encode full formula
83.17/83.26	c fallback to adder encoding
83.87/83.97	c set iterative enc to: adder
83.87/83.97	c set iterative enc to: none
83.97/84.07	c [INC SEARCH] isOptimum variable: 0
85.25/85.39	c formula is SAT
85.36/85.41	c [INC SEARCH] copied best model
85.36/85.41	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
85.36/85.43	c model valid
85.36/85.43	c current solution ok
85.36/85.43	o 30666395
85.36/85.43	c [INC SEARCH] iteration: 4
85.36/85.43	c [INC BOUNDS] best value:30666445 search for 30666444
85.36/85.43	c [INC SYSTEM] there exists a inc, kill it!
85.36/85.43	c write failed with 2
85.36/85.44	c [INC SYSTEM] create new solver instance
85.36/85.44	c [INC] encode full formula
85.36/85.44	c fallback to adder encoding
85.97/86.03	c set iterative enc to: adder
85.97/86.03	c set iterative enc to: none
86.07/86.12	c [INC SEARCH] isOptimum variable: 0
112.06/112.18	c formula is SAT
112.06/112.20	c [INC SEARCH] copied best model
112.06/112.20	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
112.17/112.21	c model valid
112.17/112.21	c current solution ok
112.17/112.21	o 18709555
112.17/112.21	c [INC SEARCH] iteration: 5
112.17/112.21	c [INC BOUNDS] best value:18709605 search for 18709604
112.17/112.21	c [INC SYSTEM] there exists a inc, kill it!
112.17/112.21	c write failed with 2
112.17/112.22	c [INC SYSTEM] create new solver instance
112.17/112.22	c [INC] encode full formula
112.17/112.22	c fallback to adder encoding
112.67/112.78	c set iterative enc to: adder
112.67/112.78	c set iterative enc to: none
112.76/112.86	c [INC SEARCH] isOptimum variable: 0
125.36/125.46	c formula is SAT
125.36/125.48	c [INC SEARCH] copied best model
125.36/125.48	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
125.36/125.49	c model valid
125.36/125.49	c current solution ok
125.36/125.49	o 17875885
125.36/125.49	c [INC SEARCH] iteration: 6
125.36/125.49	c [INC BOUNDS] best value:17875935 search for 17875934
125.36/125.49	c [INC SYSTEM] there exists a inc, kill it!
125.36/125.49	c write failed with 2
125.46/125.50	c [INC SYSTEM] create new solver instance
125.46/125.50	c [INC] encode full formula
125.46/125.50	c fallback to adder encoding
125.98/126.05	c set iterative enc to: adder
125.98/126.05	c set iterative enc to: none
126.07/126.13	c [INC SEARCH] isOptimum variable: 0
137.55/137.65	c formula is SAT
137.55/137.67	c [INC SEARCH] copied best model
137.55/137.67	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
137.55/137.68	c model valid
137.55/137.68	c current solution ok
137.55/137.68	o 9062623
137.55/137.68	c [INC SEARCH] iteration: 7
137.55/137.68	c [INC BOUNDS] best value:9062673 search for 9062672
137.55/137.68	c [INC SYSTEM] there exists a inc, kill it!
137.55/137.68	c write failed with 2
137.55/137.69	c [INC SYSTEM] create new solver instance
137.55/137.69	c [INC] encode full formula
137.55/137.69	c fallback to adder encoding
138.07/138.16	c set iterative enc to: adder
138.07/138.16	c set iterative enc to: none
138.16/138.24	c [INC SEARCH] isOptimum variable: 0
155.55/155.69	c formula is SAT
155.65/155.71	c [INC SEARCH] copied best model
155.65/155.71	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
155.65/155.72	c model valid
155.65/155.72	c current solution ok
155.65/155.72	o 7305791
155.65/155.72	c [INC SEARCH] iteration: 8
155.65/155.72	c [INC BOUNDS] best value:7305841 search for 7305840
155.65/155.72	c [INC SYSTEM] there exists a inc, kill it!
155.65/155.72	c write failed with 2
155.65/155.73	c [INC SYSTEM] create new solver instance
155.65/155.73	c [INC] encode full formula
155.65/155.73	c fallback to adder encoding
156.07/156.16	c set iterative enc to: adder
156.07/156.16	c set iterative enc to: none
156.17/156.23	c [INC SEARCH] isOptimum variable: 0
359.50/359.67	c formula is SAT
359.50/359.68	c [INC SEARCH] copied best model
359.50/359.68	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
359.50/359.70	c model valid
359.50/359.70	c current solution ok
359.50/359.70	o 5606961
359.50/359.70	c [INC SEARCH] iteration: 9
359.50/359.70	c [INC BOUNDS] best value:5607011 search for 5607010
359.50/359.70	c [INC SYSTEM] there exists a inc, kill it!
359.50/359.70	c write failed with 2
359.50/359.70	c [INC SYSTEM] create new solver instance
359.50/359.70	c [INC] encode full formula
359.50/359.70	c fallback to adder encoding
360.01/360.11	c set iterative enc to: adder
360.01/360.11	c set iterative enc to: none
360.01/360.18	c [INC SEARCH] isOptimum variable: 0
694.90/695.15	c formula is SAT
694.90/695.17	c [INC SEARCH] copied best model
694.90/695.17	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
694.90/695.18	c model valid
694.90/695.18	c current solution ok
694.90/695.18	o 3758011
694.90/695.18	c [INC SEARCH] iteration: 10
694.90/695.18	c [INC BOUNDS] best value:3758061 search for 3758060
694.90/695.18	c [INC SYSTEM] there exists a inc, kill it!
694.90/695.18	c write failed with 2
694.90/695.19	c [INC SYSTEM] create new solver instance
694.90/695.19	c [INC] encode full formula
694.90/695.19	c fallback to adder encoding
695.31/695.56	c set iterative enc to: adder
695.31/695.56	c set iterative enc to: none
695.42/695.62	c [INC SEARCH] isOptimum variable: 0
865.38/865.67	c formula is SAT
865.38/865.68	c [INC SEARCH] copied best model
865.38/865.68	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
865.38/865.70	c model valid
865.38/865.70	c current solution ok
865.38/865.70	o 3579767
865.38/865.70	c [INC SEARCH] iteration: 11
865.38/865.70	c [INC BOUNDS] best value:3579817 search for 3579816
865.38/865.70	c [INC SYSTEM] there exists a inc, kill it!
865.38/865.70	c write failed with 2
865.49/865.70	c [INC SYSTEM] create new solver instance
865.49/865.70	c [INC] encode full formula
865.49/865.70	c fallback to adder encoding
865.79/866.07	c set iterative enc to: adder
865.79/866.07	c set iterative enc to: none
865.88/866.13	c [INC SEARCH] isOptimum variable: 0
1148.21/1148.58	c formula is SAT
1148.21/1148.59	c [INC SEARCH] copied best model
1148.21/1148.59	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1148.31/1148.61	c model valid
1148.31/1148.61	c current solution ok
1148.31/1148.61	o 3576055
1148.31/1148.61	c [INC SEARCH] iteration: 12
1148.31/1148.61	c [INC BOUNDS] best value:3576105 search for 3576104
1148.31/1148.61	c [INC SYSTEM] there exists a inc, kill it!
1148.31/1148.61	c write failed with 2
1148.31/1148.61	c [INC SYSTEM] create new solver instance
1148.31/1148.61	c [INC] encode full formula
1148.31/1148.61	c fallback to adder encoding
1148.62/1148.98	c set iterative enc to: adder
1148.62/1148.98	c set iterative enc to: none
1148.72/1149.04	c [INC SEARCH] isOptimum variable: 0
1800.08/1800.51	HOME/npSolver-pbo-Itdqb.sh: line 18:  6928 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-3751683-1339177863/watcher-3751683-1339177863 -o /tmp/evaluation-result-3751683-1339177863/solver-3751683-1339177863 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751683-1339177863.opb 1855798964 HOME HOME 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 6927
/proc/meminfo: memFree=25881432/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0

[startup+0.045024 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 6927
/proc/meminfo: memFree=25881432/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100304 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 6927
/proc/meminfo: memFree=25881432/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300325 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 6927
/proc/meminfo: memFree=25881432/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700308 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 6927
/proc/meminfo: memFree=25881432/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50041 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6931
/proc/meminfo: memFree=25782548/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=18804 CPUtime=0.21 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 5879 0 0 0 19 2 0 0 20 0 1 0 383913154 19255296 3867 33554432000 4194304 6004724 140735912902160 140735912896624 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6928/statm: 4701 3867 164 442 0 4255 0
[pid=6930] ppid=6928 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6930/stat : 6930 (cp2_pre.sh) S 6928 6927 5861 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 383913176 9367552 276 33554432000 4194304 5064252 140734098549472 140734098548176 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6930/statm: 2287 276 234 213 0 72 0
[pid=6931] ppid=6930 vsize=84044 CPUtime=1.27 cores=1,3,5,7
/proc/6931/stat : 6931 (coprocessor) R 6930 6927 5861 0 -1 4202496 16182 0 0 0 125 2 0 0 20 0 1 0 383913176 86061056 20160 33554432000 4194304 6586260 140735623040352 140735623035720 4676681 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/6931/statm: 21011 20160 192 584 0 20423 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 121144

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 6934
/proc/meminfo: memFree=30301292/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=18804 CPUtime=2 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 5897 18133 0 0 19 2 172 7 20 0 1 0 383913154 19255296 3870 33554432000 4194304 6004724 140735912902160 140735912888440 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6928/statm: 4701 3870 167 442 0 4255 0
[pid=6934] ppid=6928 vsize=48892 CPUtime=1.06 cores=1,3,5,7
/proc/6934/stat : 6934 (glucosInc) R 6928 6927 5861 0 -1 4202496 10125 0 0 0 104 2 0 0 20 0 1 0 383913357 50065408 10394 33554432000 4194304 5654031 140734298333952 140734298332040 4233232 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6934/statm: 12223 10394 132 357 0 11863 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 76844

[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6975
/proc/meminfo: memFree=31288352/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=18804 CPUtime=2 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 5897 18133 0 0 19 2 172 7 20 0 1 0 383913154 19255296 3870 33554432000 4194304 6004724 140735912902160 140735912888440 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6928/statm: 4701 3870 167 442 0 4255 0
[pid=6934] ppid=6928 vsize=80096 CPUtime=4.27 cores=1,3,5,7
/proc/6934/stat : 6934 (glucosInc) R 6928 6927 5861 0 -1 4202496 11570 0 0 0 423 4 0 0 20 0 1 0 383913357 82018304 18382 33554432000 4194304 5654031 140734298333952 140734298331880 4233173 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6934/statm: 20024 18382 132 357 0 19664 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 108048

[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 6977
/proc/meminfo: memFree=31145120/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=18804 CPUtime=2 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 5897 18133 0 0 19 2 172 7 20 0 1 0 383913154 19255296 3870 33554432000 4194304 6004724 140735912902160 140735912888440 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6928/statm: 4701 3870 167 442 0 4255 0
[pid=6934] ppid=6928 vsize=130620 CPUtime=10.66 cores=1,3,5,7
/proc/6934/stat : 6934 (glucosInc) R 6928 6927 5861 0 -1 4202496 13808 0 0 0 1059 7 0 0 20 0 1 0 383913357 133754880 26366 33554432000 4194304 5654031 140734298333952 140734298332040 4232916 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6934/statm: 32655 26366 132 357 0 32295 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 158572

[startup+25.5004 s]
/proc/loadavg: 2.15 2.03 2.01 3/181 6987
/proc/meminfo: memFree=30577572/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=18804 CPUtime=2 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 5897 18133 0 0 19 2 172 7 20 0 1 0 383913154 19255296 3870 33554432000 4194304 6004724 140735912902160 140735912888440 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6928/statm: 4701 3870 167 442 0 4255 0
[pid=6934] ppid=6928 vsize=130620 CPUtime=23.45 cores=1,3,5,7
/proc/6934/stat : 6934 (glucosInc) R 6928 6927 5861 0 -1 4202496 16426 0 0 0 2335 10 0 0 20 0 1 0 383913357 133754880 24832 33554432000 4194304 5654031 140734298333952 140734298332040 4232968 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/6934/statm: 32655 24832 132 357 0 32295 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 158572

[startup+51.1003 s]
/proc/loadavg: 2.10 2.03 2.01 3/181 7001
/proc/meminfo: memFree=30933260/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=36028 CPUtime=43.54 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 11428 58824 0 0 109 44 4172 29 20 0 1 0 383913154 36892672 8237 33554432000 4194304 6004724 140735912902160 140735912888008 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/6928/statm: 9007 8237 199 442 0 8561 0
[pid=6999] ppid=6928 vsize=213008 CPUtime=7.51 cores=1,3,5,7
/proc/6999/stat : 6999 (glucosInc) R 6928 6927 5861 0 -1 4202496 33411 0 0 0 742 9 0 0 20 0 1 0 383917512 218120192 42856 33554432000 4194304 5654031 140733473996160 140733473994184 4234964 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6999/statm: 53252 42856 132 357 0 52892 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 258184

[startup+102.307 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 7012
/proc/meminfo: memFree=30561736/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=22448 CPUtime=86.1 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 31973 193730 0 0 398 83 8048 81 20 0 1 0 383913154 22986752 4846 33554432000 4194304 6004724 140735912902160 140735912888008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6928/statm: 5612 4846 200 442 0 5166 0
[pid=7010] ppid=6928 vsize=151556 CPUtime=16.16 cores=1,3,5,7
/proc/7010/stat : 7010 (glucosInc) R 6928 6927 5861 0 -1 4202496 28495 0 0 0 1610 6 0 0 20 0 1 0 383921767 155193344 33372 33554432000 4194304 5654031 140736309487200 140736309475016 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7010/statm: 37889 33372 140 357 0 37529 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 183152

[startup+162.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 7020
/proc/meminfo: memFree=30579924/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=20628 CPUtime=156.2 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 53841 306910 0 0 612 112 14778 118 20 0 1 0 383913154 21123072 4391 33554432000 4194304 6004724 140735912902160 140735912888008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6928/statm: 5157 4391 200 442 0 4711 0
[pid=7020] ppid=6928 vsize=124484 CPUtime=6.05 cores=1,3,5,7
/proc/7020/stat : 7020 (glucosInc) R 6928 6927 5861 0 -1 4202496 22171 0 0 0 599 6 0 0 20 0 1 0 383928777 127471616 26507 33554432000 4194304 5654031 140736789027136 140736789014952 4214505 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7020/statm: 31121 26507 141 357 0 30761 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 154260

[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 7022
/proc/meminfo: memFree=30540812/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=20628 CPUtime=156.2 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 53841 306910 0 0 612 112 14778 118 20 0 1 0 383913154 21123072 4391 33554432000 4194304 6004724 140735912902160 140735912888008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6928/statm: 5157 4391 200 442 0 4711 0
[pid=7020] ppid=6928 vsize=204448 CPUtime=66.03 cores=1,3,5,7
/proc/7020/stat : 7020 (glucosInc) R 6928 6927 5861 0 -1 4202496 25738 0 0 0 6588 15 0 0 20 0 1 0 383928777 209354752 46017 33554432000 4194304 5654031 140736789027136 140736789014952 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7020/statm: 51112 46017 141 357 0 50752 0
Current children cumulated CPU time (s) 222.23

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

/proc/loadavg: 2.05 2.02 2.00 3/181 7073
/proc/meminfo: memFree=30534272/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=53196 CPUtime=1148.76 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 80296 419518 0 0 779 130 113776 191 20 0 1 0 383913154 54472704 12501 33554432000 4194304 6004724 140735912902160 140735912888008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6928/statm: 13299 12501 200 442 0 12853 0
[pid=7072] ppid=6928 vsize=181440 CPUtime=213.21 cores=1,3,5,7
/proc/7072/stat : 7072 (glucosInc) R 6928 6927 5861 0 -1 4202496 25340 0 0 0 21311 10 0 0 20 0 1 0 384028058 185794560 42005 33554432000 4194304 5654031 140733952903152 140733952890968 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7072/statm: 45360 42005 141 357 0 45000 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 243784

[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 7073
/proc/meminfo: memFree=30365300/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=53196 CPUtime=1148.76 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 80296 419518 0 0 779 130 113776 191 20 0 1 0 383913154 54472704 12501 33554432000 4194304 6004724 140735912902160 140735912888008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6928/statm: 13299 12501 200 442 0 12853 0
[pid=7072] ppid=6928 vsize=181440 CPUtime=273.19 cores=1,3,5,7
/proc/7072/stat : 7072 (glucosInc) R 6928 6927 5861 0 -1 4202496 26079 0 0 0 27306 13 0 0 20 0 1 0 384028058 185794560 42517 33554432000 4194304 5654031 140733952903152 140733952890968 4233008 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7072/statm: 45360 42517 141 357 0 45000 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 243784

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 7073
/proc/meminfo: memFree=30299860/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=53196 CPUtime=1148.76 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 80296 419518 0 0 779 130 113776 191 20 0 1 0 383913154 54472704 12501 33554432000 4194304 6004724 140735912902160 140735912888008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6928/statm: 13299 12501 200 442 0 12853 0
[pid=7072] ppid=6928 vsize=212260 CPUtime=333.17 cores=1,3,5,7
/proc/7072/stat : 7072 (glucosInc) R 6928 6927 5861 0 -1 4202496 27391 0 0 0 33302 15 0 0 20 0 1 0 384028058 217354240 45258 33554432000 4194304 5654031 140733952903152 140733952890968 4215112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7072/statm: 53065 45258 141 357 0 52705 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 274604

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7073
/proc/meminfo: memFree=30241336/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=53196 CPUtime=1148.76 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 80296 419518 0 0 779 130 113776 191 20 0 1 0 383913154 54472704 12501 33554432000 4194304 6004724 140735912902160 140735912888008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6928/statm: 13299 12501 200 442 0 12853 0
[pid=7072] ppid=6928 vsize=181440 CPUtime=393.16 cores=1,3,5,7
/proc/7072/stat : 7072 (glucosInc) R 6928 6927 5861 0 -1 4202496 27833 0 0 0 39300 16 0 0 20 0 1 0 384028058 185794560 43963 33554432000 4194304 5654031 140733952903152 140733952890968 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7072/statm: 45360 43963 141 357 0 45000 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 243784

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7074
/proc/meminfo: memFree=30274748/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=53196 CPUtime=1148.76 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 80296 419518 0 0 779 130 113776 191 20 0 1 0 383913154 54472704 12501 33554432000 4194304 6004724 140735912902160 140735912888008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6928/statm: 13299 12501 200 442 0 12853 0
[pid=7072] ppid=6928 vsize=181440 CPUtime=453.15 cores=1,3,5,7
/proc/7072/stat : 7072 (glucosInc) R 6928 6927 5861 0 -1 4202496 28301 0 0 0 45297 18 0 0 20 0 1 0 384028058 185794560 43711 33554432000 4194304 5654031 140733952903152 140733952890968 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7072/statm: 45360 43711 141 357 0 45000 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 243784

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7074
/proc/meminfo: memFree=30360132/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=53196 CPUtime=1148.76 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 80296 419518 0 0 779 130 113776 191 20 0 1 0 383913154 54472704 12501 33554432000 4194304 6004724 140735912902160 140735912888008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6928/statm: 13299 12501 200 442 0 12853 0
[pid=7072] ppid=6928 vsize=181440 CPUtime=513.14 cores=1,3,5,7
/proc/7072/stat : 7072 (glucosInc) R 6928 6927 5861 0 -1 4202496 29798 0 0 0 51293 21 0 0 20 0 1 0 384028058 185794560 43655 33554432000 4194304 5654031 140733952903152 140733952890968 4218769 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7072/statm: 45360 43655 141 357 0 45000 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 243784

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7074
/proc/meminfo: memFree=30427748/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=53196 CPUtime=1148.76 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 80296 419518 0 0 779 130 113776 191 20 0 1 0 383913154 54472704 12501 33554432000 4194304 6004724 140735912902160 140735912888008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6928/statm: 13299 12501 200 442 0 12853 0
[pid=7072] ppid=6928 vsize=262348 CPUtime=573.12 cores=1,3,5,7
/proc/7072/stat : 7072 (glucosInc) R 6928 6927 5861 0 -1 4202496 31212 0 0 0 57290 22 0 0 20 0 1 0 384028058 268644352 52727 33554432000 4194304 5654031 140733952903152 140733952890968 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7072/statm: 65587 52727 141 357 0 65227 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 324692

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 7077
/proc/meminfo: memFree=30104208/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=53196 CPUtime=1148.76 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 80296 419518 0 0 779 130 113776 191 20 0 1 0 383913154 54472704 12501 33554432000 4194304 6004724 140735912902160 140735912888008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6928/statm: 13299 12501 200 442 0 12853 0
[pid=7072] ppid=6928 vsize=212260 CPUtime=633.11 cores=1,3,5,7
/proc/7072/stat : 7072 (glucosInc) R 6928 6927 5861 0 -1 4202496 31949 0 0 0 63287 24 0 0 20 0 1 0 384028058 217354240 47306 33554432000 4194304 5654031 140733952903152 140733952890968 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7072/statm: 53065 47306 141 357 0 52705 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 274604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7077
/proc/meminfo: memFree=30009516/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=53196 CPUtime=1148.76 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 80296 419518 0 0 779 130 113776 191 20 0 1 0 383913154 54472704 12501 33554432000 4194304 6004724 140735912902160 140735912888008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6928/statm: 13299 12501 200 442 0 12853 0
[pid=7072] ppid=6928 vsize=262348 CPUtime=651.32 cores=1,3,5,7
/proc/7072/stat : 7072 (glucosInc) R 6928 6927 5861 0 -1 4202496 32566 0 0 0 65107 25 0 0 20 0 1 0 384028058 268644352 52010 33554432000 4194304 5654031 140733952903152 140733952901240 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7072/statm: 65587 52010 141 357 0 65227 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 324692

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 7077
/proc/meminfo: memFree=30009516/32873648 swapFree=7376/7376
[pid=6927] ppid=6925 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6927/stat : 6927 (npSolver-pbo-It) S 6925 6927 5861 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913154 9367552 275 33554432000 4194304 5064252 140735162762480 140735162761392 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/6927/statm: 2287 275 233 213 0 72 0
[pid=6928] ppid=6927 vsize=53196 CPUtime=1148.76 cores=1,3,5,7
/proc/6928/stat : 6928 (npSolver-pbo) S 6927 6927 5861 0 -1 4202496 80296 419518 0 0 779 130 113776 191 20 0 1 0 383913154 54472704 12501 33554432000 4194304 6004724 140735912902160 140735912888008 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/6928/statm: 13299 12501 200 442 0 12853 0
[pid=7072] ppid=6928 vsize=262348 CPUtime=651.32 cores=1,3,5,7
/proc/7072/stat : 7072 (glucosInc) R 6928 6927 5861 0 -1 4202496 32566 0 0 0 65107 25 0 0 20 0 1 0 384028058 268644352 52010 33554432000 4194304 5654031 140733952903152 140733952901240 4215009 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7072/statm: 65587 52010 141 357 0 65227 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 324692

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6927 and gives
#  childrusage.ru_utime.tv_sec=1145
#  childrusage.ru_utime.tv_usec=551849
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=226509
# CPU time returned by wait4() is 1148.78
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.51
CPU time (s): 1800.08
CPU user time (s): 1796.62
CPU system time (s): 3.46
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 389360

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1145.55
system time used= 3.22651
maximum resident set size= 265852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 500188
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1155352
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7357
involuntary context switches= 2026

runsolver used 2.67359 second user time and 7.19391 second system time

The end

Launcher Data

Begin job on node113 at 2012-06-08 19:51:03
IDJOB=3751683
IDBENCH=92742
IDSOLVER=2335
FILE ID=node113/3751683-1339177863
RUNJOBID= node113-1339168534-5878
PBS_JOBID= 14643803
Free space on /tmp= 70004 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat50_4_16_9.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3751683-1339177863/watcher-3751683-1339177863 -o /tmp/evaluation-result-3751683-1339177863/solver-3751683-1339177863 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751683-1339177863.opb 1855798964 HOME HOME

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

MD5SUM BENCH= 796ce15de170aa64363741766a49999c
RANDOM SEED=1855798964

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.026
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:        25881704 kB
Buffers:          337864 kB
Cached:          1258580 kB
SwapCached:         1348 kB
Active:          6054256 kB
Inactive:          13216 kB
Active(anon):    4463664 kB
Inactive(anon):     5044 kB
Active(file):    1590592 kB
Inactive(file):     8172 kB
Unevictable:        7376 kB
Mlocked:            7376 kB
SwapTotal:      67108856 kB
SwapFree:       67099940 kB
Dirty:              8552 kB
Writeback:             0 kB
AnonPages:       4507800 kB
Mapped:            10988 kB
Shmem:                 0 kB
Slab:             777380 kB
SReclaimable:     221012 kB
SUnreclaim:       556368 kB
KernelStack:        1504 kB
PageTables:        13064 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    5937560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2889728 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= 70940 MiB
End job on node113 at 2012-06-08 20:21:04