Trace number 3748512

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 (fixed)? (TO) 1800.1 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat15_5_3_4_ic.opb
MD5SUMcc4ba8ab50e8cde73916f6bbebfc3143
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark4225708
Best CPU time to get the best result obtained on this benchmark2.77358
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables3435
Total number of constraints6802
Number of constraints which are clauses2970
Number of constraints which are cardinality constraints (but not clauses)7
Number of constraints which are nor clauses,nor cardinality constraints3825
Minimum length of a constraint2
Maximum length of a constraint105
Number of terms in the objective function 645
Biggest coefficient in the objective function 77854483
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3321901821
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 77854483
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3321901821
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.03	c old isEQ: 0, new EQ is 1
0.00/0.03	c old isEQ: 32, new EQ is 1
0.00/0.04	c old isEQ: 1, new EQ is 1
0.00/0.05	c run inc solver
0.00/0.05	c [INC SYSTEM] run initial solver
0.00/0.05	c [INC SYSTEM] preprocess with white file
0.00/0.19	c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.19	c [INC SYSTEM] execute solver
0.00/0.39	c [INC SEARCH] formula is SAT
0.00/0.39	c [INC SYSTEM] solved the initial formula
0.00/0.40	c model valid
0.00/0.40	c current solution ok
0.00/0.46	o 169659014
0.00/0.46	c execute binary inc search
0.00/0.46	c [INC SEARCH] current bound: 84829514
0.00/0.46	c [INC SEARCH] iteration: 0
0.00/0.46	c [INC SEARCH] lower bound: 0 upperbound 169659029 current bound: 84829514 best value:169659029
0.00/0.46	c [INC SYSTEM] there exists a inc, kill it!
0.00/0.46	c write failed with 2
0.00/0.46	c [INC SYSTEM] create new solver instance
0.00/0.46	c [INC] encode full formula
0.00/0.46	c fallback to adder encoding
0.00/0.54	c set iterative enc to: adder
0.00/0.54	c set iterative enc to: none
0.00/0.56	c [INC SEARCH] isOptimum variable: 0
7.25/7.31	c [INC SEARCH] formula is SAT
7.25/7.31	c [INC SEARCH] copied best model
7.25/7.31	c sat variable: 1 optimum/unsat variable: 0
7.25/7.32	c model valid
7.25/7.32	c current solution ok
7.25/7.32	o 52693214
7.25/7.32	c [INC SEARCH] current bound: 26346614
7.25/7.32	c [INC SEARCH] iteration: 1
7.25/7.32	c [INC SEARCH] lower bound: 0 upperbound 52693229 current bound: 26346614 best value:52693229
7.25/7.32	c [INC SYSTEM] there exists a inc, kill it!
7.25/7.32	c write failed with 2
7.25/7.33	c [INC SYSTEM] create new solver instance
7.25/7.33	c [INC] encode full formula
7.25/7.33	c fallback to adder encoding
7.38/7.40	c set iterative enc to: adder
7.38/7.40	c set iterative enc to: none
7.38/7.41	c [INC SEARCH] isOptimum variable: 0
7.56/7.61	c [INC SEARCH] formula is SAT
7.56/7.61	c [INC SEARCH] copied best model
7.56/7.61	c sat variable: 1 optimum/unsat variable: 0
7.56/7.62	c model valid
7.56/7.62	c current solution ok
7.56/7.62	o 10994310
7.56/7.62	c [INC SEARCH] current bound: 5497162
7.56/7.62	c [INC SEARCH] iteration: 2
7.56/7.62	c [INC SEARCH] lower bound: 0 upperbound 10994325 current bound: 5497162 best value:10994325
7.56/7.62	c [INC SYSTEM] there exists a inc, kill it!
7.56/7.62	c write failed with 2
7.56/7.63	c [INC SYSTEM] create new solver instance
7.56/7.63	c [INC] encode full formula
7.56/7.63	c fallback to adder encoding
7.56/7.69	c set iterative enc to: adder
7.56/7.69	c set iterative enc to: none
7.56/7.70	c [INC SEARCH] isOptimum variable: 0
102.14/102.24	c [INC SEARCH] formula is SAT
102.14/102.24	c [INC SEARCH] copied best model
102.14/102.24	c sat variable: 1 optimum/unsat variable: 0
102.14/102.25	c model valid
102.14/102.25	c current solution ok
102.14/102.25	o 5463628
102.14/102.25	c [INC SEARCH] current bound: 2731821
102.14/102.25	c [INC SEARCH] iteration: 3
102.14/102.25	c [INC SEARCH] lower bound: 0 upperbound 5463643 current bound: 2731821 best value:5463643
102.14/102.25	c [INC SYSTEM] there exists a inc, kill it!
102.14/102.25	c write failed with 2
102.14/102.25	c [INC SYSTEM] create new solver instance
102.14/102.25	c [INC] encode full formula
102.14/102.25	c fallback to adder encoding
102.26/102.31	c set iterative enc to: adder
102.26/102.31	c set iterative enc to: none
102.26/102.32	c [INC SEARCH] isOptimum variable: 0
102.27/102.67	c [INC SEARCH] formula is UNSAT
102.27/102.67	c [INC SYSTEM] there exists a inc, kill it!
102.27/102.67	c write failed with 2
102.27/102.67	c sat variable: 0 optimum/unsat variable: 1
102.27/102.67	c [INC SEARCH] set lower bound to 2731822 upperbound 5463643
102.27/102.67	c [INC SEARCH] current bound: 4097732
102.27/102.67	c [INC SEARCH] iteration: 4
102.27/102.67	c [INC SEARCH] lower bound: 2731822 upperbound 5463643 current bound: 4097732 best value:5463643
102.27/102.67	c [INC SYSTEM] create new solver instance
102.27/102.67	c [INC] encode full formula
102.27/102.67	c fallback to adder encoding
102.66/102.72	c set iterative enc to: adder
102.66/102.72	c set iterative enc to: none
102.66/102.73	c [INC SEARCH] isOptimum variable: 0
355.99/356.12	c [INC SEARCH] formula is UNSAT
355.99/356.12	c [INC SYSTEM] there exists a inc, kill it!
355.99/356.12	c write failed with 2
355.99/356.12	c sat variable: 0 optimum/unsat variable: 1
355.99/356.12	c [INC SEARCH] set lower bound to 4097733 upperbound 5463643
355.99/356.12	c [INC SEARCH] current bound: 4780688
355.99/356.12	c [INC SEARCH] iteration: 5
355.99/356.12	c [INC SEARCH] lower bound: 4097733 upperbound 5463643 current bound: 4780688 best value:5463643
355.99/356.12	c [INC SYSTEM] create new solver instance
355.99/356.12	c [INC] encode full formula
355.99/356.12	c fallback to adder encoding
355.99/356.18	c set iterative enc to: adder
355.99/356.18	c set iterative enc to: none
355.99/356.19	c [INC SEARCH] isOptimum variable: 0
426.28/426.47	c [INC SEARCH] formula is SAT
426.28/426.47	c [INC SEARCH] copied best model
426.28/426.47	c sat variable: 1 optimum/unsat variable: 0
426.28/426.48	c model valid
426.28/426.48	c current solution ok
426.28/426.48	o 4764424
426.28/426.48	c [INC SEARCH] current bound: 4431086
426.28/426.48	c [INC SEARCH] iteration: 6
426.28/426.48	c [INC SEARCH] lower bound: 4097733 upperbound 4764439 current bound: 4431086 best value:4764439
426.28/426.48	c [INC SYSTEM] there exists a inc, kill it!
426.28/426.48	c write failed with 2
426.28/426.48	c [INC SYSTEM] create new solver instance
426.28/426.48	c [INC] encode full formula
426.28/426.48	c fallback to adder encoding
426.40/426.54	c set iterative enc to: adder
426.40/426.54	c set iterative enc to: none
426.40/426.56	c [INC SEARCH] isOptimum variable: 0
730.83/731.09	c [INC SEARCH] formula is SAT
730.83/731.10	c [INC SEARCH] copied best model
730.94/731.10	c sat variable: 1 optimum/unsat variable: 0
730.94/731.11	c model valid
730.94/731.11	c current solution ok
730.94/731.11	o 4225708
730.94/731.11	c [INC SEARCH] current bound: 4161728
730.94/731.11	c [INC SEARCH] iteration: 7
730.94/731.11	c [INC SEARCH] lower bound: 4097733 upperbound 4225723 current bound: 4161728 best value:4225723
730.94/731.11	c [INC SYSTEM] there exists a inc, kill it!
730.94/731.11	c write failed with 2
730.94/731.11	c [INC SYSTEM] create new solver instance
730.94/731.11	c [INC] encode full formula
730.94/731.11	c fallback to adder encoding
730.94/731.17	c set iterative enc to: adder
730.94/731.17	c set iterative enc to: none
730.94/731.18	c [INC SEARCH] isOptimum variable: 0
941.10/941.39	c [INC SEARCH] formula is UNSAT
941.10/941.39	c [INC SYSTEM] there exists a inc, kill it!
941.10/941.39	c write failed with 2
941.10/941.39	c sat variable: 0 optimum/unsat variable: 1
941.10/941.39	c [INC SEARCH] set lower bound to 4161729 upperbound 4225723
941.10/941.39	c [INC SEARCH] current bound: 4193726
941.10/941.39	c [INC SEARCH] iteration: 8
941.10/941.39	c [INC SEARCH] lower bound: 4161729 upperbound 4225723 current bound: 4193726 best value:4225723
941.10/941.39	c [INC SYSTEM] create new solver instance
941.10/941.39	c [INC] encode full formula
941.10/941.39	c fallback to adder encoding
941.21/941.44	c set iterative enc to: adder
941.21/941.44	c set iterative enc to: none
941.21/941.46	c [INC SEARCH] isOptimum variable: 0
1065.47/1065.70	c [INC SEARCH] formula is UNSAT
1065.47/1065.70	c [INC SYSTEM] there exists a inc, kill it!
1065.47/1065.70	c write failed with 2
1065.47/1065.70	c sat variable: 0 optimum/unsat variable: 1
1065.47/1065.70	c [INC SEARCH] set lower bound to 4193727 upperbound 4225723
1065.47/1065.70	c [INC SEARCH] current bound: 4209725
1065.47/1065.70	c [INC SEARCH] iteration: 9
1065.47/1065.70	c [INC SEARCH] lower bound: 4193727 upperbound 4225723 current bound: 4209725 best value:4225723
1065.47/1065.70	c [INC SYSTEM] create new solver instance
1065.47/1065.70	c [INC] encode full formula
1065.47/1065.70	c fallback to adder encoding
1065.47/1065.76	c set iterative enc to: adder
1065.47/1065.76	c set iterative enc to: none
1065.47/1065.77	c [INC SEARCH] isOptimum variable: 0
1492.61/1492.92	c [INC SEARCH] formula is UNSAT
1492.61/1492.92	c [INC SYSTEM] there exists a inc, kill it!
1492.61/1492.92	c write failed with 2
1492.61/1492.92	c sat variable: 0 optimum/unsat variable: 1
1492.61/1492.92	c [INC SEARCH] set lower bound to 4209726 upperbound 4225723
1492.61/1492.92	c [INC SEARCH] current bound: 4217724
1492.61/1492.92	c [INC SEARCH] iteration: 10
1492.61/1492.92	c [INC SEARCH] lower bound: 4209726 upperbound 4225723 current bound: 4217724 best value:4225723
1492.61/1492.92	c [INC SYSTEM] create new solver instance
1492.61/1492.92	c [INC] encode full formula
1492.61/1492.92	c fallback to adder encoding
1492.61/1492.98	c set iterative enc to: adder
1492.61/1492.98	c set iterative enc to: none
1492.72/1493.00	c [INC SEARCH] isOptimum variable: 0
1800.07/1800.40	c an unexpexted return value has been received, exit
1800.07/1800.40	s UNKNOWN
1800.07/1800.40	c [INC SYSTEM] there exists a inc, kill it!
1800.07/1800.40	c write failed with -1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3748512-1339179258/watcher-3748512-1339179258 -o /tmp/evaluation-result-3748512-1339179258/solver-3748512-1339179258 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748512-1339179258.opb 71544150 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28288
/proc/meminfo: memFree=29013776/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0

[startup+0.0759479 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28288
/proc/meminfo: memFree=29013776/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100213 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28288
/proc/meminfo: memFree=29013776/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30014 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28288
/proc/meminfo: memFree=29013776/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700179 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 28288
/proc/meminfo: memFree=29013776/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28297
/proc/meminfo: memFree=28967148/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22528 CPUtime=0.53 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 5896 6912 0 0 14 6 31 2 20 0 1 0 384051268 23068672 4881 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5632 4881 184 442 0 5186 0
[pid=28297] ppid=28289 vsize=26356 CPUtime=0.93 cores=0,2,4,6
/proc/28297/stat : 28297 (glucosInc) R 28289 28288 27509 0 -1 4202496 5619 0 0 0 92 1 0 0 20 0 1 0 384051324 26988544 5462 33554432000 4194304 5654031 140736654886160 140736654883944 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28297/statm: 6589 5462 132 357 0 6229 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 58032

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28297
/proc/meminfo: memFree=28966040/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22528 CPUtime=0.53 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 5896 6912 0 0 14 6 31 2 20 0 1 0 384051268 23068672 4881 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5632 4881 184 442 0 5186 0
[pid=28297] ppid=28289 vsize=26488 CPUtime=2.53 cores=0,2,4,6
/proc/28297/stat : 28297 (glucosInc) R 28289 28288 27509 0 -1 4202496 5968 0 0 0 252 1 0 0 20 0 1 0 384051324 27123712 5805 33554432000 4194304 5654031 140736654886160 140736654883944 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28297/statm: 6622 5805 132 357 0 6262 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 58164

[startup+6.30022 s]
/proc/loadavg: 2.08 2.02 2.01 3/181 28297
/proc/meminfo: memFree=28962128/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22528 CPUtime=0.53 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 5896 6912 0 0 14 6 31 2 20 0 1 0 384051268 23068672 4881 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5632 4881 184 442 0 5186 0
[pid=28297] ppid=28289 vsize=26784 CPUtime=5.72 cores=0,2,4,6
/proc/28297/stat : 28297 (glucosInc) R 28289 28288 27509 0 -1 4202496 6890 0 0 0 571 1 0 0 20 0 1 0 384051324 27426816 5918 33554432000 4194304 5654031 140736654886160 140736654884184 4232607 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28297/statm: 6696 5918 132 357 0 6336 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 58460

[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 28301
/proc/meminfo: memFree=28967188/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=7.67 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 11065 20634 0 0 31 8 723 5 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28301] ppid=28289 vsize=22188 CPUtime=4.99 cores=0,2,4,6
/proc/28301/stat : 28301 (glucosInc) R 28289 28288 27509 0 -1 4202496 5555 0 0 0 498 1 0 0 20 0 1 0 384052037 22720512 4563 33554432000 4194304 5654031 140735203495008 140735203482824 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28301/statm: 5547 4563 141 357 0 5187 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 54120

[startup+25.5003 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 28301
/proc/meminfo: memFree=28952968/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=7.67 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 11065 20634 0 0 31 8 723 5 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28301] ppid=28289 vsize=33564 CPUtime=17.78 cores=0,2,4,6
/proc/28301/stat : 28301 (glucosInc) R 28289 28288 27509 0 -1 4202496 6110 0 0 0 1777 1 0 0 20 0 1 0 384052037 34369536 7152 33554432000 4194304 5654031 140735203495008 140735203482824 4216684 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28301/statm: 8391 7152 141 357 0 8031 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 65496

[startup+51.1003 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 28301
/proc/meminfo: memFree=28961508/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=7.67 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 11065 20634 0 0 31 8 723 5 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28301] ppid=28289 vsize=37984 CPUtime=43.38 cores=0,2,4,6
/proc/28301/stat : 28301 (glucosInc) R 28289 28288 27509 0 -1 4202496 7208 0 0 0 4336 2 0 0 20 0 1 0 384052037 38895616 8694 33554432000 4194304 5654031 140735203495008 140735203482824 4208621 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28301/statm: 9496 8694 141 357 0 9136 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 69916

[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 28341
/proc/meminfo: memFree=27305548/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=102.26 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) R 28288 28288 27509 0 -1 4202496 12695 28833 0 0 37 8 10173 8 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206434576 5055511 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 31932

[startup+162.3 s]
/proc/loadavg: 2.26 2.09 2.03 3/181 28347
/proc/meminfo: memFree=21838640/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=102.69 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 14818 34545 0 0 43 9 10207 10 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28345] ppid=28289 vsize=40504 CPUtime=59.53 cores=0,2,4,6
/proc/28345/stat : 28345 (glucosInc) R 28289 28288 27509 0 -1 4202496 7250 0 0 0 5952 1 0 0 20 0 1 0 384061541 41476096 9269 33554432000 4194304 5654031 140736325798304 140736325786120 4232421 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28345/statm: 10126 9269 141 357 0 9766 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 72436

[startup+222.3 s]
/proc/loadavg: 2.09 2.07 2.02 3/181 28350
/proc/meminfo: memFree=22264200/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=102.69 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 14818 34545 0 0 43 9 10207 10 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28345] ppid=28289 vsize=52104 CPUtime=119.53 cores=0,2,4,6
/proc/28345/stat : 28345 (glucosInc) R 28289 28288 27509 0 -1 4202496 9072 0 0 0 11951 2 0 0 20 0 1 0 384061541 53354496 11657 33554432000 4194304 5654031 140736325798304 140736325786120 4233280 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28345/statm: 13026 11657 141 357 0 12666 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 84036

[startup+282.3 s]
/proc/loadavg: 2.03 2.06 2.02 3/181 28350
/proc/meminfo: memFree=22248540/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/meminfo: memFree=22225880/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=1065.56 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 24358 88772 0 0 75 13 106439 29 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28368] ppid=28289 vsize=48060 CPUtime=176.49 cores=0,2,4,6
/proc/28368/stat : 28368 (glucosInc) R 28289 28288 27509 0 -1 4202496 8219 0 0 0 17647 2 0 0 20 0 1 0 384157845 49213440 11173 33554432000 4194304 5654031 140735611373360 140735611371384 4233299 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28368/statm: 12015 11173 141 357 0 11655 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 79992

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28369
/proc/meminfo: memFree=22217032/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=1065.56 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 24358 88772 0 0 75 13 106439 29 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28368] ppid=28289 vsize=59664 CPUtime=236.48 cores=0,2,4,6
/proc/28368/stat : 28368 (glucosInc) R 28289 28288 27509 0 -1 4202496 8234 0 0 0 23646 2 0 0 20 0 1 0 384157845 61095936 13232 33554432000 4194304 5654031 140735611373360 140735611361176 4232438 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28368/statm: 14916 13232 141 357 0 14556 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 91596

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28369
/proc/meminfo: memFree=22214204/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=1065.56 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 24358 88772 0 0 75 13 106439 29 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28368] ppid=28289 vsize=59664 CPUtime=296.46 cores=0,2,4,6
/proc/28368/stat : 28368 (glucosInc) R 28289 28288 27509 0 -1 4202496 8451 0 0 0 29644 2 0 0 20 0 1 0 384157845 61095936 13960 33554432000 4194304 5654031 140735611373360 140735611361176 4216272 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28368/statm: 14916 13960 141 357 0 14556 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 91596

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28370
/proc/meminfo: memFree=22205672/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=1065.56 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 24358 88772 0 0 75 13 106439 29 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28368] ppid=28289 vsize=90172 CPUtime=356.47 cores=0,2,4,6
/proc/28368/stat : 28368 (glucosInc) R 28289 28288 27509 0 -1 4202496 9073 0 0 0 35644 3 0 0 20 0 1 0 384157845 92336128 15802 33554432000 4194304 5654031 140735611373360 140735611361176 4232830 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28368/statm: 22543 15802 141 357 0 22183 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 122104

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28370
/proc/meminfo: memFree=22201292/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=1065.56 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 24358 88772 0 0 75 13 106439 29 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28368] ppid=28289 vsize=90172 CPUtime=416.45 cores=0,2,4,6
/proc/28368/stat : 28368 (glucosInc) R 28289 28288 27509 0 -1 4202496 9075 0 0 0 41642 3 0 0 20 0 1 0 384157845 92336128 16826 33554432000 4194304 5654031 140735611373360 140735611361176 4215121 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28368/statm: 22543 16826 141 357 0 22183 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 122104

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 28372
/proc/meminfo: memFree=22233968/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=1492.72 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 26219 98367 0 0 81 13 149144 34 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28372] ppid=28289 vsize=37928 CPUtime=49.28 cores=0,2,4,6
/proc/28372/stat : 28372 (glucosInc) R 28289 28288 27509 0 -1 4202496 6403 0 0 0 4927 1 0 0 20 0 1 0 384200567 38838272 8653 33554432000 4194304 5654031 140735435262416 140735435250232 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28372/statm: 9482 8653 141 357 0 9122 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 69860

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 28375
/proc/meminfo: memFree=22230332/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=1492.72 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 26219 98367 0 0 81 13 149144 34 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28372] ppid=28289 vsize=40648 CPUtime=109.27 cores=0,2,4,6
/proc/28372/stat : 28372 (glucosInc) R 28289 28288 27509 0 -1 4202496 7098 0 0 0 10926 1 0 0 20 0 1 0 384200567 41623552 9333 33554432000 4194304 5654031 140735435262416 140735435250232 4216312 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28372/statm: 10162 9333 141 357 0 9802 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 72580

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 28375
/proc/meminfo: memFree=22219696/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=1492.72 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 26219 98367 0 0 81 13 149144 34 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28372] ppid=28289 vsize=64064 CPUtime=169.26 cores=0,2,4,6
/proc/28372/stat : 28372 (glucosInc) R 28289 28288 27509 0 -1 4202496 8494 0 0 0 16924 2 0 0 20 0 1 0 384200567 65601536 11966 33554432000 4194304 5654031 140735435262416 140735435250232 4215112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28372/statm: 16016 11966 141 357 0 15656 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 95996

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28376
/proc/meminfo: memFree=22202172/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=1492.72 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 26219 98367 0 0 81 13 149144 34 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28372] ppid=28289 vsize=82920 CPUtime=229.26 cores=0,2,4,6
/proc/28372/stat : 28372 (glucosInc) R 28289 28288 27509 0 -1 4202496 8949 0 0 0 22923 3 0 0 20 0 1 0 384200567 84910080 16365 33554432000 4194304 5654031 140735435262416 140735435250232 4233213 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28372/statm: 20730 16365 141 357 0 20370 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 114852

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28376
/proc/meminfo: memFree=22191840/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=1492.72 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 26219 98367 0 0 81 13 149144 34 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28372] ppid=28289 vsize=82920 CPUtime=289.25 cores=0,2,4,6
/proc/28372/stat : 28372 (glucosInc) R 28289 28288 27509 0 -1 4202496 9442 0 0 0 28922 3 0 0 20 0 1 0 384200567 84910080 18892 33554432000 4194304 5654031 140735435262416 140735435250232 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28372/statm: 20730 18892 141 357 0 20370 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 114852



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 28376
/proc/meminfo: memFree=22191580/32873648 swapFree=7376/7376
[pid=28288] ppid=28286 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28288/stat : 28288 (npSolver-pbo-I.) S 28286 28288 27509 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 384051267 9367552 274 33554432000 4194304 5064252 140735803693840 140735803692752 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28288/statm: 2287 274 233 213 0 72 0
[pid=28289] ppid=28288 vsize=22784 CPUtime=1492.72 cores=0,2,4,6
/proc/28289/stat : 28289 (npSolver-pbo) S 28288 28288 27509 0 -1 4202496 26219 98367 0 0 81 13 149144 34 20 0 1 0 384051268 23330816 4883 33554432000 4194304 6004724 140734206440016 140734206424936 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/28289/statm: 5696 4883 185 442 0 5250 0
[pid=28372] ppid=28289 vsize=82920 CPUtime=307.35 cores=0,2,4,6
/proc/28372/stat : 28372 (glucosInc) R 28289 28288 27509 0 -1 4202496 9442 0 0 0 30732 3 0 0 20 0 1 0 384200567 84910080 18892 33554432000 4194304 5654031 140735435262416 140735435250232 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28372/statm: 20730 18892 141 357 0 20370 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 114852

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.58
CPU system time (s): 0.518921
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 126348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.518921
maximum resident set size= 78844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 134403
page faults= 0
swaps= 0
block input operations= 0
block output operations= 106528
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 551
involuntary context switches= 2000

runsolver used 4.86426 second user time and 8.76967 second system time

The end

Launcher Data 

Begin job on node125 at 2012-06-08 20:14:18
IDJOB=3748512
IDBENCH=92790
IDSOLVER=2333
FILE ID=node125/3748512-1339179258
RUNJOBID= node125-1339170243-27525
PBS_JOBID= 14643842
Free space on /tmp= 70748 MiB

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

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

MD5SUM BENCH= cc4ba8ab50e8cde73916f6bbebfc3143
RANDOM SEED=71544150

node125.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.373
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.74
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.373
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.373
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.373
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.90
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.373
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.373
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
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.373
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.373
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:        29013784 kB
Buffers:          733000 kB
Cached:          1976236 kB
SwapCached:         1248 kB
Active:          2458824 kB
Inactive:         451856 kB
Active(anon):     191508 kB
Inactive(anon):     7424 kB
Active(file):    2267316 kB
Inactive(file):   444432 kB
Unevictable:        7376 kB
Mlocked:            7376 kB
SwapTotal:      67108856 kB
SwapFree:       67102600 kB
Dirty:              8948 kB
Writeback:             0 kB
AnonPages:        289068 kB
Mapped:            12736 kB
Shmem:                96 kB
Slab:             806620 kB
SReclaimable:     250452 kB
SUnreclaim:       556168 kB
KernelStack:        1504 kB
PageTables:         4376 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     346000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    194560 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= 69588 MiB
End job on node125 at 2012-06-08 20:44:19