Trace number 3699354

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat15_5_3_3_ic.opb
MD5SUM5bd63f2c40ad2c37bb63fb4f6f39bf1f
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5900212
Best CPU time to get the best result obtained on this benchmark3.15252
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 68921000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3268239507
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 68921000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3268239507
Number of bits of the biggest sum of numbers32
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.07	c run inc solver
0.00/0.07	c [INC SYSTEM] run initial solver
0.00/0.07	c [INC SYSTEM] preprocess with white file
0.00/0.37	c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.37	c [INC SYSTEM] execute solver
1.46/1.57	c [INC SEARCH] formula is SAT
1.46/1.57	c [INC SYSTEM] solved the initial formula
1.46/1.59	c model valid
1.46/1.59	c current solution ok
1.66/1.72	o 252097790
1.66/1.72	c execute binary inc search
1.66/1.72	c [INC SEARCH] current bound: 126048902
1.66/1.72	c [INC SEARCH] iteration: 0
1.66/1.72	c [INC SEARCH] lower bound: 0 upperbound 252097805 current bound: 126048902 best value:252097805
1.66/1.72	c [INC SYSTEM] there exists a inc, kill it!
1.66/1.72	c write failed with 2
1.66/1.72	c [INC SYSTEM] create new solver instance
1.66/1.72	c [INC] encode full formula
1.66/1.72	c fallback to adder encoding
1.78/1.81	c set iterative enc to: adder
1.78/1.81	c set iterative enc to: none
1.78/1.83	c [INC SEARCH] isOptimum variable: 0
3.86/3.93	c [INC SEARCH] formula is SAT
3.86/3.94	c [INC SEARCH] copied best model
3.86/3.94	c sat variable: 1 optimum/unsat variable: 0
3.86/3.95	c model valid
3.86/3.95	c current solution ok
3.86/3.95	o 122540200
3.86/3.95	c [INC SEARCH] current bound: 61270107
3.86/3.95	c [INC SEARCH] iteration: 1
3.86/3.95	c [INC SEARCH] lower bound: 0 upperbound 122540215 current bound: 61270107 best value:122540215
3.86/3.95	c [INC SYSTEM] there exists a inc, kill it!
3.86/3.95	c write failed with 2
3.86/3.95	c [INC SYSTEM] create new solver instance
3.86/3.95	c [INC] encode full formula
3.86/3.95	c fallback to adder encoding
3.98/4.04	c set iterative enc to: adder
3.98/4.04	c set iterative enc to: none
3.98/4.05	c [INC SEARCH] isOptimum variable: 0
8.07/8.18	c [INC SEARCH] formula is SAT
8.07/8.18	c [INC SEARCH] copied best model
8.07/8.18	c sat variable: 1 optimum/unsat variable: 0
8.07/8.19	c model valid
8.07/8.19	c current solution ok
8.07/8.19	o 54220856
8.07/8.19	c [INC SEARCH] current bound: 27110435
8.07/8.19	c [INC SEARCH] iteration: 2
8.07/8.19	c [INC SEARCH] lower bound: 0 upperbound 54220871 current bound: 27110435 best value:54220871
8.07/8.19	c [INC SYSTEM] there exists a inc, kill it!
8.07/8.19	c write failed with 2
8.07/8.19	c [INC SYSTEM] create new solver instance
8.07/8.19	c [INC] encode full formula
8.07/8.19	c fallback to adder encoding
8.17/8.27	c set iterative enc to: adder
8.17/8.27	c set iterative enc to: none
8.17/8.29	c [INC SEARCH] isOptimum variable: 0
8.88/8.95	c [INC SEARCH] formula is SAT
8.88/8.96	c [INC SEARCH] copied best model
8.88/8.96	c sat variable: 1 optimum/unsat variable: 0
8.88/8.97	c model valid
8.88/8.97	c current solution ok
8.88/8.97	o 22460978
8.88/8.97	c [INC SEARCH] current bound: 11230496
8.88/8.97	c [INC SEARCH] iteration: 3
8.88/8.97	c [INC SEARCH] lower bound: 0 upperbound 22460993 current bound: 11230496 best value:22460993
8.88/8.97	c [INC SYSTEM] there exists a inc, kill it!
8.88/8.97	c write failed with 2
8.88/8.97	c [INC SYSTEM] create new solver instance
8.88/8.97	c [INC] encode full formula
8.88/8.97	c fallback to adder encoding
8.98/9.04	c set iterative enc to: adder
8.98/9.04	c set iterative enc to: none
8.98/9.06	c [INC SEARCH] isOptimum variable: 0
9.03/9.56	c [INC SEARCH] formula is SAT
9.03/9.56	c [INC SEARCH] copied best model
9.03/9.56	c sat variable: 1 optimum/unsat variable: 0
9.03/9.57	c model valid
9.03/9.57	c current solution ok
9.03/9.57	o 10888218
9.03/9.57	c [INC SEARCH] current bound: 5444116
9.03/9.57	c [INC SEARCH] iteration: 4
9.03/9.57	c [INC SEARCH] lower bound: 0 upperbound 10888233 current bound: 5444116 best value:10888233
9.03/9.57	c [INC SYSTEM] there exists a inc, kill it!
9.03/9.57	c write failed with 2
9.03/9.57	c [INC SYSTEM] create new solver instance
9.03/9.57	c [INC] encode full formula
9.03/9.57	c fallback to adder encoding
9.57/9.63	c set iterative enc to: adder
9.57/9.63	c set iterative enc to: none
9.57/9.65	c [INC SEARCH] isOptimum variable: 0
111.44/111.50	c [INC SEARCH] formula is UNSAT
111.44/111.50	c [INC SYSTEM] there exists a inc, kill it!
111.44/111.50	c write failed with 2
111.44/111.51	c sat variable: 0 optimum/unsat variable: 1
111.44/111.51	c [INC SEARCH] set lower bound to 5444117 upperbound 10888233
111.44/111.51	c [INC SEARCH] current bound: 8166175
111.44/111.51	c [INC SEARCH] iteration: 5
111.44/111.51	c [INC SEARCH] lower bound: 5444117 upperbound 10888233 current bound: 8166175 best value:10888233
111.44/111.51	c [INC SYSTEM] create new solver instance
111.44/111.51	c [INC] encode full formula
111.44/111.51	c fallback to adder encoding
111.44/111.57	c set iterative enc to: adder
111.44/111.57	c set iterative enc to: none
111.44/111.58	c [INC SEARCH] isOptimum variable: 0
112.66/112.74	c [INC SEARCH] formula is SAT
112.66/112.75	c [INC SEARCH] copied best model
112.66/112.75	c sat variable: 1 optimum/unsat variable: 0
112.66/112.76	c model valid
112.66/112.76	c current solution ok
112.66/112.76	o 7996642
112.66/112.76	c [INC SEARCH] current bound: 6720387
112.66/112.76	c [INC SEARCH] iteration: 6
112.66/112.76	c [INC SEARCH] lower bound: 5444117 upperbound 7996657 current bound: 6720387 best value:7996657
112.66/112.76	c [INC SYSTEM] there exists a inc, kill it!
112.66/112.76	c write failed with 2
112.66/112.76	c [INC SYSTEM] create new solver instance
112.66/112.76	c [INC] encode full formula
112.66/112.76	c fallback to adder encoding
112.76/112.82	c set iterative enc to: adder
112.76/112.82	c set iterative enc to: none
112.76/112.83	c [INC SEARCH] isOptimum variable: 0
121.75/121.88	c [INC SEARCH] formula is SAT
121.75/121.88	c [INC SEARCH] copied best model
121.75/121.88	c sat variable: 1 optimum/unsat variable: 0
121.75/121.89	c model valid
121.75/121.89	c current solution ok
121.75/121.89	o 6710908
121.75/121.89	c [INC SEARCH] current bound: 6077520
121.75/121.89	c [INC SEARCH] iteration: 7
121.75/121.89	c [INC SEARCH] lower bound: 5444117 upperbound 6710923 current bound: 6077520 best value:6710923
121.75/121.89	c [INC SYSTEM] there exists a inc, kill it!
121.75/121.89	c write failed with 2
121.75/121.89	c [INC SYSTEM] create new solver instance
121.75/121.89	c [INC] encode full formula
121.75/121.89	c fallback to adder encoding
121.85/121.95	c set iterative enc to: adder
121.85/121.95	c set iterative enc to: none
121.85/121.97	c [INC SEARCH] isOptimum variable: 0
870.04/870.20	c [INC SEARCH] formula is SAT
870.04/870.21	c [INC SEARCH] copied best model
870.04/870.21	c sat variable: 1 optimum/unsat variable: 0
870.04/870.22	c model valid
870.04/870.22	c current solution ok
870.04/870.22	o 6071222
870.04/870.22	c [INC SEARCH] current bound: 5757677
870.04/870.22	c [INC SEARCH] iteration: 8
870.04/870.22	c [INC SEARCH] lower bound: 5444117 upperbound 6071237 current bound: 5757677 best value:6071237
870.04/870.22	c [INC SYSTEM] there exists a inc, kill it!
870.04/870.22	c write failed with 2
870.04/870.22	c [INC SYSTEM] create new solver instance
870.04/870.22	c [INC] encode full formula
870.04/870.22	c fallback to adder encoding
870.04/870.28	c set iterative enc to: adder
870.04/870.28	c set iterative enc to: none
870.12/870.30	c [INC SEARCH] isOptimum variable: 0
1297.54/1297.87	c [INC SEARCH] formula is UNSAT
1297.54/1297.87	c [INC SYSTEM] there exists a inc, kill it!
1297.54/1297.87	c write failed with 2
1297.54/1297.87	c sat variable: 0 optimum/unsat variable: 1
1297.54/1297.87	c [INC SEARCH] set lower bound to 5757678 upperbound 6071237
1297.54/1297.87	c [INC SEARCH] current bound: 5914457
1297.54/1297.87	c [INC SEARCH] iteration: 9
1297.54/1297.87	c [INC SEARCH] lower bound: 5757678 upperbound 6071237 current bound: 5914457 best value:6071237
1297.54/1297.87	c [INC SYSTEM] create new solver instance
1297.54/1297.87	c [INC] encode full formula
1297.54/1297.87	c fallback to adder encoding
1297.66/1297.93	c set iterative enc to: adder
1297.66/1297.93	c set iterative enc to: none
1297.66/1297.95	c [INC SEARCH] isOptimum variable: 0
1520.29/1520.65	c [INC SEARCH] formula is SAT
1520.29/1520.66	c [INC SEARCH] copied best model
1520.29/1520.66	c sat variable: 1 optimum/unsat variable: 0
1520.29/1520.67	c model valid
1520.29/1520.67	c current solution ok
1520.29/1520.67	o 5900212
1520.29/1520.67	c [INC SEARCH] current bound: 5828952
1520.29/1520.67	c [INC SEARCH] iteration: 10
1520.29/1520.67	c [INC SEARCH] lower bound: 5757678 upperbound 5900227 current bound: 5828952 best value:5900227
1520.29/1520.67	c [INC SYSTEM] there exists a inc, kill it!
1520.29/1520.67	c write failed with 2
1520.29/1520.67	c [INC SYSTEM] create new solver instance
1520.29/1520.67	c [INC] encode full formula
1520.29/1520.67	c fallback to adder encoding
1520.41/1520.73	c set iterative enc to: adder
1520.41/1520.73	c set iterative enc to: none
1520.41/1520.75	c [INC SEARCH] isOptimum variable: 0
1800.05/1800.40	c an unexpexted return value has been received, exit
1800.05/1800.40	s UNKNOWN
1800.05/1800.40	c [INC SYSTEM] there exists a inc, kill it!
1800.05/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-3699354-1338136996/watcher-3699354-1338136996 -o /tmp/evaluation-result-3699354-1338136996/solver-3699354-1338136996 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699354-1338136996.opb 403914512 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.63 2.19 2.06 3/179 16559
/proc/meminfo: memFree=29545100/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0

[startup+0.046888 s]
/proc/loadavg: 2.63 2.19 2.06 3/179 16559
/proc/meminfo: memFree=29545100/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100271 s]
/proc/loadavg: 2.63 2.19 2.06 3/179 16559
/proc/meminfo: memFree=29545100/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30031 s]
/proc/loadavg: 2.63 2.19 2.06 3/179 16559
/proc/meminfo: memFree=29545100/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700237 s]
/proc/loadavg: 2.63 2.19 2.06 3/179 16559
/proc/meminfo: memFree=29545100/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 2.63 2.19 2.06 3/182 16565
/proc/meminfo: memFree=29527156/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=6244 CPUtime=0.35 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 2256 6774 0 0 6 0 27 2 20 0 1 0 279828171 6393856 1231 33554432000 4194304 5992684 140735708551376 140735708537640 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 1561 1231 168 440 0 1117 0
[pid=16565] ppid=16560 vsize=14888 CPUtime=1.11 cores=1,3,5,7
/proc/16565/stat : 16565 (glucosInc) R 16560 16559 14929 0 -1 4202496 2705 0 0 0 111 0 0 0 20 0 1 0 279828209 15245312 3078 33554432000 4194304 5654031 140735407070768 140735407068552 4232833 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16565/statm: 3722 3078 140 357 0 3362 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30280

[startup+3.10043 s]
/proc/loadavg: 2.63 2.19 2.06 3/182 16568
/proc/meminfo: memFree=29503276/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=9440 CPUtime=1.8 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 4771 10545 0 0 17 13 146 4 20 0 1 0 279828171 9666560 2018 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 2360 2018 186 440 0 1916 0
[pid=16568] ppid=16560 vsize=31708 CPUtime=1.26 cores=1,3,5,7
/proc/16568/stat : 16568 (glucosInc) R 16560 16559 14929 0 -1 4202496 7110 0 0 0 124 2 0 0 20 0 1 0 279828354 32468992 6544 33554432000 4194304 5654031 140736268736560 140736268734344 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16568/statm: 7927 6544 132 357 0 7567 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 50296

[startup+6.30042 s]
/proc/loadavg: 2.58 2.19 2.06 3/182 16570
/proc/meminfo: memFree=29504948/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=7384 CPUtime=4.04 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 8568 18313 0 0 28 14 355 7 20 0 1 0 279828171 7561216 1536 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 1846 1536 186 440 0 1402 0
[pid=16570] ppid=16560 vsize=32436 CPUtime=2.23 cores=1,3,5,7
/proc/16570/stat : 16570 (glucosInc) R 16560 16559 14929 0 -1 4202496 6632 0 0 0 222 1 0 0 20 0 1 0 279828577 33214464 6737 33554432000 4194304 5654031 140736267500704 140736267488520 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16570/statm: 8109 6737 141 357 0 7749 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 48968

[startup+12.7004 s]
/proc/loadavg: 2.53 2.18 2.06 3/182 16576
/proc/meminfo: memFree=29503528/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15736 CPUtime=9.62 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 17296 39139 0 0 52 18 878 14 20 0 1 0 279828171 16113664 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3934 3614 186 440 0 3490 0
[pid=16576] ppid=16560 vsize=26264 CPUtime=3.04 cores=1,3,5,7
/proc/16576/stat : 16576 (glucosInc) R 16560 16559 14929 0 -1 4202496 5348 0 0 0 303 1 0 0 20 0 1 0 279829136 26894336 5409 33554432000 4194304 5654031 140733566875904 140733566863720 4232755 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16576/statm: 6566 5409 141 357 0 6206 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 51148

[startup+25.5004 s]
/proc/loadavg: 2.41 2.17 2.06 3/182 16576
/proc/meminfo: memFree=29492604/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15736 CPUtime=9.62 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 17296 39139 0 0 52 18 878 14 20 0 1 0 279828171 16113664 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3934 3614 186 440 0 3490 0
[pid=16576] ppid=16560 vsize=30704 CPUtime=15.83 cores=1,3,5,7
/proc/16576/stat : 16576 (glucosInc) R 16560 16559 14929 0 -1 4202496 6281 0 0 0 1582 1 0 0 20 0 1 0 279829136 31440896 7067 33554432000 4194304 5654031 140733566875904 140733566863720 4215112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16576/statm: 7676 7067 142 357 0 7316 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 55588

[startup+51.1004 s]
/proc/loadavg: 2.27 2.16 2.06 3/182 16576
/proc/meminfo: memFree=29474984/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15736 CPUtime=9.62 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 17296 39139 0 0 52 18 878 14 20 0 1 0 279828171 16113664 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3934 3614 186 440 0 3490 0
[pid=16576] ppid=16560 vsize=35056 CPUtime=41.44 cores=1,3,5,7
/proc/16576/stat : 16576 (glucosInc) R 16560 16559 14929 0 -1 4202496 6960 0 0 0 4142 2 0 0 20 0 1 0 279829136 35897344 8166 33554432000 4194304 5654031 140733566875904 140733566863720 4232794 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16576/statm: 8764 8166 142 357 0 8404 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 59940

[startup+102.307 s]
/proc/loadavg: 2.05 2.12 2.05 3/181 16629
/proc/meminfo: memFree=30316020/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15736 CPUtime=9.62 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 17296 39139 0 0 52 18 878 14 20 0 1 0 279828171 16113664 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3934 3614 186 440 0 3490 0
[pid=16576] ppid=16560 vsize=35056 CPUtime=92.63 cores=1,3,5,7
/proc/16576/stat : 16576 (glucosInc) R 16560 16559 14929 0 -1 4202496 8280 0 0 0 9260 3 0 0 20 0 1 0 279829136 35897344 7593 33554432000 4194304 5654031 140733566875904 140733566863720 4232700 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16576/statm: 8764 7593 142 357 0 8404 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 59940

[startup+162.3 s]
/proc/loadavg: 2.02 2.09 2.04 3/180 16635
/proc/meminfo: memFree=30297088/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15728 CPUtime=121.93 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 21715 61797 0 0 74 20 12077 22 20 0 1 0 279828171 16105472 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3932 3614 186 440 0 3488 0
[pid=16635] ppid=16560 vsize=35232 CPUtime=40.31 cores=1,3,5,7
/proc/16635/stat : 16635 (glucosInc) R 16560 16559 14929 0 -1 4202496 7160 0 0 0 4029 2 0 0 20 0 1 0 279840368 36077568 8293 33554432000 4194304 5654031 140737264461136 140737264448952 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16635/statm: 8808 8293 142 357 0 8448 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 60108

[startup+222.3 s]
/proc/loadavg: 2.00 2.07 2.04 3/181 16636
/proc/meminfo: memFree=30289752/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15728 CPUtime=121.93 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 21715 61797 0 0 74 20 12077 22 20 0 1 0 279828171 16105472 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3932 3614 186 440 0 3488 0
[pid=16635] ppid=16560 vsize=35304 CPUtime=100.3 cores=1,3,5,7
/proc/16635/stat : 16635 (glucosInc) R 16560 16559 14929 0 -1 4202496 8344 0 0 0 10027 3 0 0 20 0 1 0 279840368 36151296 7889 33554432000 4194304 5654031 140737264461136 140737264459080 4215097 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16635/statm: 8826 7889 142 357 0 8466 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 60180

[startup+282.3 s]

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

/proc/meminfo: memFree=30239408/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15728 CPUtime=870.13 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 23150 72489 0 0 81 22 86882 28 20 0 1 0 279828171 16105472 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3932 3614 186 440 0 3488 0
[pid=16643] ppid=16560 vsize=61296 CPUtime=371.92 cores=1,3,5,7
/proc/16643/stat : 16643 (glucosInc) R 16560 16559 14929 0 -1 4202496 11619 0 0 0 37188 4 0 0 20 0 1 0 279915201 62767104 14676 33554432000 4194304 5654031 140737057161648 140737057149464 4232772 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16643/statm: 15324 14676 142 357 0 14964 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 86172

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16672
/proc/meminfo: memFree=30272304/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15728 CPUtime=1297.7 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 24694 84629 0 0 87 22 129627 34 20 0 1 0 279828171 16105472 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3932 3614 186 440 0 3488 0
[pid=16672] ppid=16560 vsize=26852 CPUtime=4.34 cores=1,3,5,7
/proc/16672/stat : 16672 (glucosInc) R 16560 16559 14929 0 -1 4202496 6382 0 0 0 432 2 0 0 20 0 1 0 279957966 27496448 5816 33554432000 4194304 5654031 140736223716048 140736223703864 4233322 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16672/statm: 6713 5816 142 357 0 6353 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 51728

[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 16672
/proc/meminfo: memFree=30257292/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15728 CPUtime=1297.7 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 24694 84629 0 0 87 22 129627 34 20 0 1 0 279828171 16105472 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3932 3614 186 440 0 3488 0
[pid=16672] ppid=16560 vsize=39748 CPUtime=64.33 cores=1,3,5,7
/proc/16672/stat : 16672 (glucosInc) R 16560 16559 14929 0 -1 4202496 9069 0 0 0 6430 3 0 0 20 0 1 0 279957966 40701952 9464 33554432000 4194304 5654031 140736223716048 140736223703864 4216105 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16672/statm: 9937 9464 142 357 0 9577 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 64624

[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 16673
/proc/meminfo: memFree=30254428/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15728 CPUtime=1297.7 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 24694 84629 0 0 87 22 129627 34 20 0 1 0 279828171 16105472 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3932 3614 186 440 0 3488 0
[pid=16672] ppid=16560 vsize=42468 CPUtime=124.32 cores=1,3,5,7
/proc/16672/stat : 16672 (glucosInc) R 16560 16559 14929 0 -1 4202496 9776 0 0 0 12429 3 0 0 20 0 1 0 279957966 43487232 10161 33554432000 4194304 5654031 140736223716048 140736223703864 4233176 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16672/statm: 10617 10161 142 357 0 10257 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 67344

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16673
/proc/meminfo: memFree=30248716/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15728 CPUtime=1297.7 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 24694 84629 0 0 87 22 129627 34 20 0 1 0 279828171 16105472 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3932 3614 186 440 0 3488 0
[pid=16672] ppid=16560 vsize=54072 CPUtime=184.3 cores=1,3,5,7
/proc/16672/stat : 16672 (glucosInc) R 16560 16559 14929 0 -1 4202496 10487 0 0 0 18426 4 0 0 20 0 1 0 279957966 55369728 12256 33554432000 4194304 5654031 140736223716048 140736223703864 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16672/statm: 13518 12256 142 357 0 13158 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 78948

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 16675
/proc/meminfo: memFree=30261992/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15728 CPUtime=1520.45 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 26130 96171 0 0 94 23 151889 39 20 0 1 0 279828171 16105472 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3932 3614 186 440 0 3488 0
[pid=16675] ppid=16560 vsize=35304 CPUtime=21.53 cores=1,3,5,7
/proc/16675/stat : 16675 (glucosInc) R 16560 16559 14929 0 -1 4202496 5961 0 0 0 2152 1 0 0 20 0 1 0 279980246 36151296 8369 33554432000 4194304 5654031 140735868102720 140735868090536 4232421 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16675/statm: 8826 8369 142 357 0 8466 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 60180

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16675
/proc/meminfo: memFree=30254548/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15728 CPUtime=1520.45 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 26130 96171 0 0 94 23 151889 39 20 0 1 0 279828171 16105472 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3932 3614 186 440 0 3488 0
[pid=16675] ppid=16560 vsize=42444 CPUtime=81.52 cores=1,3,5,7
/proc/16675/stat : 16675 (glucosInc) R 16560 16559 14929 0 -1 4202496 7301 0 0 0 8150 2 0 0 20 0 1 0 279980246 43462656 10139 33554432000 4194304 5654031 140735868102720 140735868090536 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16675/statm: 10611 10139 142 357 0 10251 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 67320

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 16678
/proc/meminfo: memFree=30247276/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15728 CPUtime=1520.45 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 26130 96171 0 0 94 23 151889 39 20 0 1 0 279828171 16105472 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3932 3614 186 440 0 3488 0
[pid=16675] ppid=16560 vsize=35372 CPUtime=141.51 cores=1,3,5,7
/proc/16675/stat : 16675 (glucosInc) R 16560 16559 14929 0 -1 4202496 7553 0 0 0 14149 2 0 0 20 0 1 0 279980246 36220928 8419 33554432000 4194304 5654031 140735868102720 140735868090536 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16675/statm: 8843 8419 142 357 0 8483 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 60248

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16679
/proc/meminfo: memFree=30253924/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15728 CPUtime=1520.45 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 26130 96171 0 0 94 23 151889 39 20 0 1 0 279828171 16105472 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3932 3614 186 440 0 3488 0
[pid=16675] ppid=16560 vsize=65716 CPUtime=201.5 cores=1,3,5,7
/proc/16675/stat : 16675 (glucosInc) R 16560 16559 14929 0 -1 4202496 8505 0 0 0 20147 3 0 0 20 0 1 0 279980246 67293184 12926 33554432000 4194304 5654031 140735868102720 140735868090536 4232729 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16675/statm: 16429 12926 142 357 0 16069 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 90592

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 16679
/proc/meminfo: memFree=30243620/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15728 CPUtime=1520.45 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 26130 96171 0 0 94 23 151889 39 20 0 1 0 279828171 16105472 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3932 3614 186 440 0 3488 0
[pid=16675] ppid=16560 vsize=65716 CPUtime=261.49 cores=1,3,5,7
/proc/16675/stat : 16675 (glucosInc) R 16560 16559 14929 0 -1 4202496 8506 0 0 0 26146 3 0 0 20 0 1 0 279980246 67293184 13438 33554432000 4194304 5654031 140735868102720 140735868090536 4232830 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16675/statm: 16429 13438 142 357 0 16069 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 90592



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 16679
/proc/meminfo: memFree=30243680/32873844 swapFree=7108/7108
[pid=16559] ppid=16557 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16559/stat : 16559 (npSolver-pbo-I.) S 16557 16559 14929 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279828171 9367552 274 33554432000 4194304 5064252 140733205717312 140733205716224 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/16559/statm: 2287 274 233 213 0 72 0
[pid=16560] ppid=16559 vsize=15728 CPUtime=1520.45 cores=1,3,5,7
/proc/16560/stat : 16560 (npSolver-pbo) S 16559 16559 14929 0 -1 4202496 26130 96171 0 0 94 23 151889 39 20 0 1 0 279828171 16105472 3614 33554432000 4194304 5992684 140735708551376 140735708536280 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16560/statm: 3932 3614 186 440 0 3488 0
[pid=16675] ppid=16560 vsize=65716 CPUtime=279.6 cores=1,3,5,7
/proc/16675/stat : 16675 (glucosInc) R 16560 16559 14929 0 -1 4202496 8507 0 0 0 27957 3 0 0 20 0 1 0 279980246 67293184 13438 33554432000 4194304 5654031 140735868102720 140735868090536 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16675/statm: 16429 13438 142 357 0 16069 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 90592

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.08
CPU user time (s): 1799.41
CPU system time (s): 0.667898
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 93412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.667898
maximum resident set size= 66708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 131186
page faults= 0
swaps= 0
block input operations= 0
block output operations= 143344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 956
involuntary context switches= 1891

runsolver used 4.90325 second user time and 21.3088 second system time

The end

Launcher Data 

Begin job on node102 at 2012-05-27 18:43:16
IDJOB=3699354
IDBENCH=92774
IDSOLVER=2276
FILE ID=node102/3699354-1338136996
RUNJOBID= node102-1338122430-14946
PBS_JOBID= 14624485
Free space on /tmp= 71332 MiB

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

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

MD5SUM BENCH= 5bd63f2c40ad2c37bb63fb4f6f39bf1f
RANDOM SEED=403914512

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

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

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.178
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		: 2667.178
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		: 2667.178
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:        29545496 kB
Buffers:          372364 kB
Cached:          1439316 kB
SwapCached:            0 kB
Active:          1768964 kB
Inactive:         715828 kB
Active(anon):     664552 kB
Inactive(anon):    11040 kB
Active(file):    1104412 kB
Inactive(file):   704788 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              9788 kB
Writeback:             0 kB
AnonPages:        684348 kB
Mapped:            15648 kB
Shmem:               200 kB
Slab:             698412 kB
SReclaimable:     139808 kB
SUnreclaim:       558604 kB
KernelStack:        1456 kB
PageTables:         5224 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     827376 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    573440 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= 71508 MiB
End job on node102 at 2012-05-27 19:13:17