Trace number 3751680

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.12 1800.91

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_5.opb
MD5SUM20017986f9960b1d860bf846232b7a22
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5696927
Best CPU time to get the best result obtained on this benchmark1801.28
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 145531576
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 56160700102
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 145531576
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 56160700102
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.04	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
2.28/2.34	c [INC SYSTEM] finished preprocessing in 2 s
2.28/2.34	c [INC SYSTEM] execute solver
45.55/45.61	c [INC SEARCH] formula is SAT
45.55/45.62	c [INC SYSTEM] solved the initial formula
45.55/45.63	c model valid
45.55/45.63	c current solution ok
45.95/46.04	o 95081537
45.95/46.04	c starting approximation
45.95/46.04	c factor = 2
45.95/46.04	c factor still to low - shrinking to 1.41196e+06
45.95/46.04	c approx number of clauses: 1e+06
45.95/46.04	c current bound: 47540792
47.43/47.55	c leaving approximation
47.43/47.55	c finished approximation
47.43/47.55	c [INC SYSTEM] there exists a inc, kill it!
47.43/47.55	c write failed with 2
47.43/47.56	c [INC SEARCH] iteration: 0
47.43/47.56	c [INC BOUNDS] best value:95081587 search for 95081586
47.43/47.56	c [INC SYSTEM] create new solver instance
47.43/47.56	c [INC] encode full formula
47.43/47.56	c fallback to adder encoding
48.16/48.28	c set iterative enc to: adder
48.16/48.28	c set iterative enc to: none
48.31/48.46	c [INC SEARCH] isOptimum variable: 0
105.58/105.72	c formula is SAT
105.58/105.74	c [INC SEARCH] copied best model
105.58/105.74	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
105.58/105.76	c model valid
105.58/105.76	c current solution ok
105.58/105.76	o 93316707
105.58/105.76	c [INC SEARCH] iteration: 1
105.58/105.76	c [INC BOUNDS] best value:93316757 search for 93316756
105.58/105.76	c [INC SYSTEM] there exists a inc, kill it!
105.58/105.76	c write failed with 2
105.58/105.77	c [INC SYSTEM] create new solver instance
105.58/105.77	c [INC] encode full formula
105.58/105.77	c fallback to adder encoding
106.29/106.49	c set iterative enc to: adder
106.29/106.49	c set iterative enc to: none
106.49/106.62	c [INC SEARCH] isOptimum variable: 0
136.69/137.03	c formula is SAT
136.69/137.05	c [INC SEARCH] copied best model
136.69/137.06	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
136.69/137.07	c model valid
136.69/137.07	c current solution ok
136.69/137.07	o 54709975
136.69/137.07	c [INC SEARCH] iteration: 2
136.69/137.07	c [INC BOUNDS] best value:54710025 search for 54710024
136.69/137.07	c [INC SYSTEM] there exists a inc, kill it!
136.69/137.07	c write failed with 2
136.69/137.08	c [INC SYSTEM] create new solver instance
136.69/137.08	c [INC] encode full formula
136.69/137.08	c fallback to adder encoding
137.23/137.76	c set iterative enc to: adder
137.23/137.76	c set iterative enc to: none
137.66/137.88	c [INC SEARCH] isOptimum variable: 0
141.05/141.27	c formula is SAT
141.05/141.29	c [INC SEARCH] copied best model
141.05/141.29	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
141.05/141.31	c model valid
141.05/141.31	c current solution ok
141.05/141.31	o 14652763
141.05/141.31	c [INC SEARCH] iteration: 3
141.05/141.31	c [INC BOUNDS] best value:14652813 search for 14652812
141.05/141.31	c [INC SYSTEM] there exists a inc, kill it!
141.05/141.31	c write failed with 2
141.18/141.32	c [INC SYSTEM] create new solver instance
141.18/141.32	c [INC] encode full formula
141.18/141.32	c fallback to adder encoding
141.46/141.82	c set iterative enc to: adder
141.46/141.82	c set iterative enc to: none
141.71/141.91	c [INC SEARCH] isOptimum variable: 0
155.38/155.63	c formula is SAT
155.38/155.65	c [INC SEARCH] copied best model
155.38/155.65	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
155.38/155.67	c model valid
155.38/155.67	c current solution ok
155.38/155.67	o 13838825
155.38/155.67	c [INC SEARCH] iteration: 4
155.38/155.67	c [INC BOUNDS] best value:13838875 search for 13838874
155.38/155.67	c [INC SYSTEM] there exists a inc, kill it!
155.38/155.67	c write failed with 2
155.38/155.67	c [INC SYSTEM] create new solver instance
155.38/155.67	c [INC] encode full formula
155.38/155.67	c fallback to adder encoding
155.38/156.17	c set iterative enc to: adder
155.38/156.17	c set iterative enc to: none
155.96/156.25	c [INC SEARCH] isOptimum variable: 0
160.56/187.08	c formula is SAT
160.56/187.10	c [INC SEARCH] copied best model
160.56/187.10	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
160.56/187.11	c model valid
160.56/187.11	c current solution ok
160.56/187.11	o 11312769
160.56/187.11	c [INC SEARCH] iteration: 5
160.56/187.11	c [INC BOUNDS] best value:11312819 search for 11312818
160.56/187.11	c [INC SYSTEM] there exists a inc, kill it!
160.56/187.11	c write failed with 2
160.56/187.12	c [INC SYSTEM] create new solver instance
160.56/187.12	c [INC] encode full formula
160.56/187.12	c fallback to adder encoding
160.56/187.58	c set iterative enc to: adder
160.56/187.58	c set iterative enc to: none
187.37/187.67	c [INC SEARCH] isOptimum variable: 0
217.59/335.85	c formula is SAT
336.12/336.36	c [INC SEARCH] copied best model
336.12/336.36	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
336.12/336.36	c model valid
336.12/336.36	c current solution ok
336.12/336.36	o 8968555
336.12/336.36	c [INC SEARCH] iteration: 6
336.12/336.36	c [INC BOUNDS] best value:8968605 search for 8968604
336.12/336.36	c [INC SYSTEM] there exists a inc, kill it!
336.12/336.36	c write failed with 2
336.12/336.36	c [INC SYSTEM] create new solver instance
336.12/336.36	c [INC] encode full formula
336.12/336.36	c fallback to adder encoding
336.12/336.36	c set iterative enc to: adder
336.12/336.36	c set iterative enc to: none
336.12/336.63	c [INC SEARCH] isOptimum variable: 0
598.35/598.95	c formula is SAT
598.35/598.96	c [INC SEARCH] copied best model
598.35/598.96	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
598.35/598.98	c model valid
598.35/598.98	c current solution ok
598.35/598.98	o 8426925
598.35/598.98	c [INC SEARCH] iteration: 7
598.35/598.98	c [INC BOUNDS] best value:8426975 search for 8426974
598.35/598.98	c [INC SYSTEM] there exists a inc, kill it!
598.35/598.98	c write failed with 2
598.35/598.99	c [INC SYSTEM] create new solver instance
598.35/598.99	c [INC] encode full formula
598.35/598.99	c fallback to adder encoding
598.87/599.43	c set iterative enc to: adder
598.87/599.43	c set iterative enc to: none
598.97/599.51	c [INC SEARCH] isOptimum variable: 0
661.04/661.69	c formula is SAT
661.13/661.71	c [INC SEARCH] copied best model
661.13/661.71	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
661.13/661.72	c model valid
661.13/661.72	c current solution ok
661.13/661.72	o 7776309
661.13/661.72	c [INC SEARCH] iteration: 8
661.13/661.72	c [INC BOUNDS] best value:7776359 search for 7776358
661.13/661.72	c [INC SYSTEM] there exists a inc, kill it!
661.13/661.72	c write failed with 2
661.13/661.73	c [INC SYSTEM] create new solver instance
661.13/661.73	c [INC] encode full formula
661.13/661.73	c fallback to adder encoding
661.55/662.15	c set iterative enc to: adder
661.55/662.15	c set iterative enc to: none
661.65/662.22	c [INC SEARCH] isOptimum variable: 0
664.34/664.90	c formula is SAT
664.34/664.92	c [INC SEARCH] copied best model
664.34/664.92	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
664.34/664.94	c model valid
664.34/664.94	c current solution ok
664.34/664.94	o 7473629
664.34/664.94	c [INC SEARCH] iteration: 9
664.34/664.94	c [INC BOUNDS] best value:7473679 search for 7473678
664.34/664.94	c [INC SYSTEM] there exists a inc, kill it!
664.34/664.94	c write failed with 2
664.34/664.94	c [INC SYSTEM] create new solver instance
664.34/664.94	c [INC] encode full formula
664.34/664.94	c fallback to adder encoding
664.73/665.36	c set iterative enc to: adder
664.73/665.36	c set iterative enc to: none
664.84/665.43	c [INC SEARCH] isOptimum variable: 0
1354.08/1354.85	c formula is SAT
1354.08/1354.87	c [INC SEARCH] copied best model
1354.08/1354.87	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1354.08/1354.88	c model valid
1354.08/1354.88	c current solution ok
1354.08/1354.88	o 7473597
1354.08/1354.88	c [INC SEARCH] iteration: 10
1354.08/1354.88	c [INC BOUNDS] best value:7473647 search for 7473646
1354.08/1354.88	c [INC SYSTEM] there exists a inc, kill it!
1354.08/1354.88	c write failed with 2
1354.08/1354.89	c [INC SYSTEM] create new solver instance
1354.08/1354.89	c [INC] encode full formula
1354.08/1354.89	c fallback to adder encoding
1354.60/1355.30	c set iterative enc to: adder
1354.60/1355.30	c set iterative enc to: none
1354.60/1355.38	c [INC SEARCH] isOptimum variable: 0
1636.31/1637.13	c formula is SAT
1636.31/1637.15	c [INC SEARCH] copied best model
1636.31/1637.15	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1636.31/1637.16	c model valid
1636.31/1637.16	c current solution ok
1636.31/1637.16	o 7383069
1636.31/1637.16	c [INC SEARCH] iteration: 11
1636.31/1637.16	c [INC BOUNDS] best value:7383119 search for 7383118
1636.31/1637.16	c [INC SYSTEM] there exists a inc, kill it!
1636.31/1637.16	c write failed with 2
1636.31/1637.17	c [INC SYSTEM] create new solver instance
1636.31/1637.17	c [INC] encode full formula
1636.31/1637.17	c fallback to adder encoding
1636.74/1637.59	c set iterative enc to: adder
1636.74/1637.59	c set iterative enc to: none
1636.83/1637.66	c [INC SEARCH] isOptimum variable: 0
1800.08/1800.91	c [INC SYSTEM] an unexpexted return value has been received, exit
1800.08/1800.91	s UNKNOWN
1800.08/1800.91	c [INC SYSTEM] there exists a inc, kill it!
1800.08/1800.91	c write failed with -1

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3751680-1339177845/watcher-3751680-1339177845 -o /tmp/evaluation-result-3751680-1339177845/solver-3751680-1339177845 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751680-1339177845.opb 424378113 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 3/179 17169
/proc/meminfo: memFree=23328080/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0

[startup+0.0132449 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17169
/proc/meminfo: memFree=23328080/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100263 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17169
/proc/meminfo: memFree=23328080/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300313 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17169
/proc/meminfo: memFree=23328080/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700341 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17169
/proc/meminfo: memFree=23328080/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50045 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17173
/proc/meminfo: memFree=23229068/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=18804 CPUtime=0.21 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 5430 0 0 0 18 3 0 0 20 0 1 0 383908995 19255296 3928 33554432000 4194304 6004724 140736246539360 140736246533824 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 4701 3928 164 442 0 4255 0
[pid=17172] ppid=17170 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17172/stat : 17172 (cp2_pre.sh) S 17170 17169 16567 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 383909017 9367552 277 33554432000 4194304 5064252 140737191921392 140737191920096 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17172/statm: 2287 277 234 213 0 72 0
[pid=17173] ppid=17172 vsize=83912 CPUtime=1.26 cores=1,3,5,7
/proc/17173/stat : 17173 (coprocessor) R 17172 17169 16567 0 -1 4202496 17681 0 0 0 123 3 0 0 20 0 1 0 383909017 85925888 20125 33554432000 4194304 6586260 140735452142832 140735452138648 4683525 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/17173/statm: 20978 20125 192 584 0 20390 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 121012

[startup+3.10036 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17173
/proc/meminfo: memFree=23226092/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=18804 CPUtime=2.32 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 5447 19155 0 0 18 3 203 8 20 0 1 0 383908995 19255296 3931 33554432000 4194304 6004724 140736246539360 140736246525640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 4701 3931 167 442 0 4255 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 27952
heavy processes:

[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 17175
/proc/meminfo: memFree=23262908/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=18804 CPUtime=2.32 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 5447 19155 0 0 18 3 203 8 20 0 1 0 383908995 19255296 3931 33554432000 4194304 6004724 140736246539360 140736246525640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 4701 3931 167 442 0 4255 0
[pid=17175] ppid=17170 vsize=80100 CPUtime=3.94 cores=1,3,5,7
/proc/17175/stat : 17175 (glucosInc) R 17170 17169 16567 0 -1 4202496 11945 0 0 0 391 3 0 0 20 0 1 0 383909229 82022400 17806 33554432000 4194304 5654031 140736909274560 140736909272584 4215088 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17175/statm: 20025 17806 132 357 0 19665 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 108052

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17199
/proc/meminfo: memFree=28737544/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=18804 CPUtime=2.32 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 5447 19155 0 0 18 3 203 8 20 0 1 0 383908995 19255296 3931 33554432000 4194304 6004724 140736246539360 140736246525640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 4701 3931 167 442 0 4255 0
[pid=17175] ppid=17170 vsize=130624 CPUtime=10.34 cores=1,3,5,7
/proc/17175/stat : 17175 (glucosInc) R 17170 17169 16567 0 -1 4202496 13824 0 0 0 1028 6 0 0 20 0 1 0 383909229 133758976 24763 33554432000 4194304 5654031 140736909274560 140736909272648 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17175/statm: 32656 24763 132 357 0 32296 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 158576

[startup+25.5004 s]
/proc/loadavg: 2.23 2.05 2.02 3/183 17222
/proc/meminfo: memFree=28471800/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=18804 CPUtime=2.32 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 5447 19155 0 0 18 3 203 8 20 0 1 0 383908995 19255296 3931 33554432000 4194304 6004724 140736246539360 140736246525640 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 4701 3931 167 442 0 4255 0
[pid=17175] ppid=17170 vsize=99804 CPUtime=23.13 cores=1,3,5,7
/proc/17175/stat : 17175 (glucosInc) R 17170 17169 16567 0 -1 4202496 16019 0 0 0 2304 9 0 0 20 0 1 0 383909229 102199296 21629 33554432000 4194304 5654031 140736909274560 140736909272648 4232968 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17175/statm: 24951 21629 132 357 0 24591 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 127756

[startup+51.1004 s]
/proc/loadavg: 2.15 2.04 2.01 3/181 17241
/proc/meminfo: memFree=27948296/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=35676 CPUtime=48.36 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 11975 58730 0 0 107 48 4651 30 20 0 1 0 383908995 36532224 8181 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 8919 8181 199 442 0 8473 0
[pid=17241] ppid=17170 vsize=176216 CPUtime=2.63 cores=1,3,5,7
/proc/17241/stat : 17241 (glucosInc) R 17170 17169 16567 0 -1 4202496 31819 0 0 0 255 8 0 0 20 0 1 0 383913840 180445184 36791 33554432000 4194304 5654031 140736035077728 140736035075512 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17241/statm: 44054 36791 141 357 0 43694 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 221040

[startup+102.307 s]
/proc/loadavg: 2.06 2.03 2.01 3/181 17241
/proc/meminfo: memFree=27898612/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=35676 CPUtime=48.36 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 11975 58730 0 0 107 48 4651 30 20 0 1 0 383908995 36532224 8181 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 8919 8181 199 442 0 8473 0
[pid=17241] ppid=17170 vsize=179428 CPUtime=53.83 cores=1,3,5,7
/proc/17241/stat : 17241 (glucosInc) R 17170 17169 16567 0 -1 4202496 35617 0 0 0 5371 12 0 0 20 0 1 0 383913840 183734272 39578 33554432000 4194304 5654031 140736035077728 140736035065544 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17241/statm: 44857 39578 142 357 0 44497 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 224252

[startup+187.59 s]
/proc/loadavg: 2.20 2.08 2.02 3/181 17249
/proc/meminfo: memFree=27930228/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53712 CPUtime=187.37 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 36444 210693 0 0 414 88 18142 93 20 0 1 0 383908995 55001088 12657 33554432000 4194304 6004724 140736246539360 140736246532912 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 13428 12657 200 442 0 12982 0
Current children cumulated CPU time (s) 187.37
Current children cumulated vsize (KiB) 62860

[startup+336.352 s]
/proc/loadavg: 2.98 2.28 2.09 3/181 17251
/proc/meminfo: memFree=27887540/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=86324 CPUtime=336.12 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 40143 238096 0 0 462 98 32941 111 20 0 1 0 383908995 88395776 20509 33554432000 4194304 6004724 140736246539360 140736246532912 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/17170/statm: 21581 20509 200 442 0 21135 0
Current children cumulated CPU time (s) 336.12
Current children cumulated vsize (KiB) 95472

[startup+336.562 s]
/proc/loadavg: 2.98 2.28 2.09 3/181 17251
/proc/meminfo: memFree=27887540/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0

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

/proc/meminfo: memFree=27851736/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=664.87 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 55738 317100 0 0 604 119 65611 153 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17296] ppid=17170 vsize=199560 CPUtime=636.73 cores=1,3,5,7
/proc/17296/stat : 17296 (glucosInc) R 17170 17169 16567 0 -1 4202496 36307 0 0 0 63645 28 0 0 20 0 1 0 383975538 204349440 47932 33554432000 4194304 5654031 140734923682656 140734923670472 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17296/statm: 49890 47932 141 357 0 49530 0
Current children cumulated CPU time (s) 1301.6
Current children cumulated vsize (KiB) 262264

[startup+1362.3 s]
/proc/loadavg: 2.02 2.07 2.23 3/181 17305
/proc/meminfo: memFree=27825872/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1354.67 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 60373 354565 0 0 649 125 134508 185 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17305] ppid=17170 vsize=115972 CPUtime=6.91 cores=1,3,5,7
/proc/17305/stat : 17305 (glucosInc) R 17170 17169 16567 0 -1 4202496 22730 0 0 0 686 5 0 0 20 0 1 0 384044533 118755328 24930 33554432000 4194304 5654031 140735989693696 140735989681512 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17305/statm: 28993 24930 141 357 0 28633 0
Current children cumulated CPU time (s) 1361.58
Current children cumulated vsize (KiB) 178676

[startup+1422.31 s]
/proc/loadavg: 2.06 2.07 2.21 3/181 17305
/proc/meminfo: memFree=27954628/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1354.67 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 60373 354565 0 0 649 125 134508 185 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17305] ppid=17170 vsize=199384 CPUtime=66.9 cores=1,3,5,7
/proc/17305/stat : 17305 (glucosInc) R 17170 17169 16567 0 -1 4202496 25533 0 0 0 6683 7 0 0 20 0 1 0 384044533 204169216 45640 33554432000 4194304 5654031 140735989693696 140735989681512 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17305/statm: 49846 45640 141 357 0 49486 0
Current children cumulated CPU time (s) 1421.57
Current children cumulated vsize (KiB) 262088

[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.20 3/181 17305
/proc/meminfo: memFree=28025664/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1354.67 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 60373 354565 0 0 649 125 134508 185 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17305] ppid=17170 vsize=199384 CPUtime=126.89 cores=1,3,5,7
/proc/17305/stat : 17305 (glucosInc) R 17170 17169 16567 0 -1 4202496 26550 0 0 0 12679 10 0 0 20 0 1 0 384044533 204169216 44107 33554432000 4194304 5654031 140735989693696 140735989681512 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17305/statm: 49846 44107 141 357 0 49486 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 262088

[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.18 3/181 17305
/proc/meminfo: memFree=27876912/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1354.67 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 60373 354565 0 0 649 125 134508 185 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17305] ppid=17170 vsize=230204 CPUtime=186.87 cores=1,3,5,7
/proc/17305/stat : 17305 (glucosInc) R 17170 17169 16567 0 -1 4202496 27281 0 0 0 18675 12 0 0 20 0 1 0 384044533 235728896 48782 33554432000 4194304 5654031 140735989693696 140735989691784 4233176 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17305/statm: 57551 48782 141 357 0 57191 0
Current children cumulated CPU time (s) 1541.54
Current children cumulated vsize (KiB) 292908

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.17 3/181 17306
/proc/meminfo: memFree=28000420/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1354.67 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 60373 354565 0 0 649 125 134508 185 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17305] ppid=17170 vsize=199384 CPUtime=246.86 cores=1,3,5,7
/proc/17305/stat : 17305 (glucosInc) R 17170 17169 16567 0 -1 4202496 28859 0 0 0 24670 16 0 0 20 0 1 0 384044533 204169216 43603 33554432000 4194304 5654031 140735989693696 140735989681512 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17305/statm: 49846 43603 141 357 0 49486 0
Current children cumulated CPU time (s) 1601.53
Current children cumulated vsize (KiB) 262088

[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.16 3/181 17308
/proc/meminfo: memFree=27880472/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1636.89 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 65009 384572 0 0 695 130 162660 204 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17308] ppid=17170 vsize=120340 CPUtime=24.62 cores=1,3,5,7
/proc/17308/stat : 17308 (glucosInc) R 17170 17169 16567 0 -1 4202496 23089 0 0 0 2454 8 0 0 20 0 1 0 384072761 123228160 27350 33554432000 4194304 5654031 140734250024032 140734250011848 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17308/statm: 30085 27350 141 357 0 29725 0
Current children cumulated CPU time (s) 1661.51
Current children cumulated vsize (KiB) 183044

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.15 3/181 17308
/proc/meminfo: memFree=27638376/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1636.89 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 65009 384572 0 0 695 130 162660 204 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17308] ppid=17170 vsize=199904 CPUtime=84.6 cores=1,3,5,7
/proc/17308/stat : 17308 (glucosInc) R 17170 17169 16567 0 -1 4202496 25849 0 0 0 8444 16 0 0 20 0 1 0 384072761 204701696 46627 33554432000 4194304 5654031 140734250024032 140734250011848 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/17308/statm: 49976 46627 141 357 0 49616 0
Current children cumulated CPU time (s) 1721.49
Current children cumulated vsize (KiB) 262608

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.14 3/182 17311
/proc/meminfo: memFree=27919456/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1636.89 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 65009 384572 0 0 695 130 162660 204 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17308] ppid=17170 vsize=150584 CPUtime=144.59 cores=1,3,5,7
/proc/17308/stat : 17308 (glucosInc) R 17170 17169 16567 0 -1 4202496 25892 0 0 0 14442 17 0 0 20 0 1 0 384072761 154198016 36364 33554432000 4194304 5654031 140734250024032 140734250011848 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17308/statm: 37646 36364 141 357 0 37286 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (KiB) 213288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 2.00 2.02 2.13 3/182 17311
/proc/meminfo: memFree=27819104/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1636.89 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 65009 384572 0 0 695 130 162660 204 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17308] ppid=17170 vsize=199904 CPUtime=163.19 cores=1,3,5,7
/proc/17308/stat : 17308 (glucosInc) R 17170 17169 16567 0 -1 4202496 25937 0 0 0 16302 17 0 0 20 0 1 0 384072761 204701696 47140 33554432000 4194304 5654031 140734250024032 140734250011848 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17308/statm: 49976 47140 141 357 0 49616 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 262608

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.9 s]
/proc/loadavg: 2.00 2.02 2.13 3/182 17311
/proc/meminfo: memFree=27819104/32873844 swapFree=7900/7900
[pid=17169] ppid=17167 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17169/stat : 17169 (npSolver-pbo-It) S 17167 17169 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383908994 9367552 274 33554432000 4194304 5064252 140734836593472 140734836592384 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17169/statm: 2287 274 233 213 0 72 0
[pid=17170] ppid=17169 vsize=53556 CPUtime=1636.89 cores=1,3,5,7
/proc/17170/stat : 17170 (npSolver-pbo) S 17169 17169 16567 0 -1 4202496 65009 384572 0 0 695 130 162660 204 20 0 1 0 383908995 54841344 12652 33554432000 4194304 6004724 140736246539360 140736246525208 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/17170/statm: 13389 12652 200 442 0 12943 0
[pid=17308] ppid=17170 vsize=199904 CPUtime=163.19 cores=1,3,5,7
/proc/17308/stat : 17308 (glucosInc) R 17170 17169 16567 0 -1 4202496 25937 0 0 0 16302 17 0 0 20 0 1 0 384072761 204701696 47140 33554432000 4194304 5654031 140734250024032 140734250011848 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17308/statm: 49976 47140 141 357 0 49616 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 262608

Child status: 0
Real time (s): 1800.91
CPU time (s): 1800.12
CPU user time (s): 1796.58
CPU system time (s): 3.54146
CPU usage (%): 99.9562
Max. virtual memory (cumulated for all children) (KiB): 392836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.58
system time used= 3.54146
maximum resident set size= 268208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 475895
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1003392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6491
involuntary context switches= 4074

runsolver used 5.86011 second user time and 15.9786 second system time

The end

Launcher Data

Begin job on node137 at 2012-06-08 19:50:45
IDJOB=3751680
IDBENCH=92735
IDSOLVER=2335
FILE ID=node137/3751680-1339177845
RUNJOBID= node137-1339168837-16584
PBS_JOBID= 14643809
Free space on /tmp= 69504 MiB

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

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

MD5SUM BENCH= 20017986f9960b1d860bf846232b7a22
RANDOM SEED=424378113

node137.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.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.20
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.600
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.600
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.600
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:        23328460 kB
Buffers:          457764 kB
Cached:          3703388 kB
SwapCached:         4640 kB
Active:          6972036 kB
Inactive:        1665952 kB
Active(anon):    4466884 kB
Inactive(anon):     5860 kB
Active(file):    2505152 kB
Inactive(file):  1660092 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097908 kB
Dirty:              8584 kB
Writeback:             0 kB
AnonPages:       4507848 kB
Mapped:            10612 kB
Shmem:                 0 kB
Slab:             757288 kB
SReclaimable:     198172 kB
SUnreclaim:       559116 kB
KernelStack:        1544 kB
PageTables:        12900 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    5937240 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2357248 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= 70444 MiB
End job on node137 at 2012-06-08 20:20:46