Trace number 3748516

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.11 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/IC/
normalized-minisat15_5_3_8_ic.opb
MD5SUMdb8b8cffd5752eef333f86e642ebfb0d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5065770
Best CPU time to get the best result obtained on this benchmark1.9837
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 88121125
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3768652087
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 88121125
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3768652087
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.40	c [INC SEARCH] formula is SAT
0.00/0.40	c [INC SYSTEM] solved the initial formula
0.00/0.41	c model valid
0.00/0.41	c current solution ok
0.00/0.46	o 375057772
0.00/0.46	c execute binary inc search
0.00/0.46	c [INC SEARCH] current bound: 187528893
0.00/0.46	c [INC SEARCH] iteration: 0
0.00/0.46	c [INC SEARCH] lower bound: 0 upperbound 375057787 current bound: 187528893 best value:375057787
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.56	c set iterative enc to: adder
0.00/0.56	c set iterative enc to: none
0.00/0.57	c [INC SEARCH] isOptimum variable: 0
8.05/8.18	c [INC SEARCH] formula is SAT
8.05/8.18	c [INC SEARCH] copied best model
8.05/8.18	c sat variable: 1 optimum/unsat variable: 0
8.05/8.19	c model valid
8.05/8.19	c current solution ok
8.05/8.19	o 166928480
8.05/8.19	c [INC SEARCH] current bound: 83464247
8.05/8.19	c [INC SEARCH] iteration: 1
8.05/8.19	c [INC SEARCH] lower bound: 0 upperbound 166928495 current bound: 83464247 best value:166928495
8.05/8.19	c [INC SYSTEM] there exists a inc, kill it!
8.05/8.19	c write failed with 2
8.05/8.19	c [INC SYSTEM] create new solver instance
8.05/8.19	c [INC] encode full formula
8.05/8.19	c fallback to adder encoding
8.16/8.28	c set iterative enc to: adder
8.16/8.28	c set iterative enc to: none
8.16/8.29	c [INC SEARCH] isOptimum variable: 0
9.27/9.30	c [INC SEARCH] formula is SAT
9.27/9.30	c [INC SEARCH] copied best model
9.27/9.30	c sat variable: 1 optimum/unsat variable: 0
9.27/9.31	c model valid
9.27/9.31	c current solution ok
9.27/9.31	o 38875726
9.27/9.31	c [INC SEARCH] current bound: 19437870
9.27/9.31	c [INC SEARCH] iteration: 2
9.27/9.31	c [INC SEARCH] lower bound: 0 upperbound 38875741 current bound: 19437870 best value:38875741
9.27/9.31	c [INC SYSTEM] there exists a inc, kill it!
9.27/9.31	c write failed with 2
9.27/9.32	c [INC SYSTEM] create new solver instance
9.27/9.32	c [INC] encode full formula
9.27/9.32	c fallback to adder encoding
9.27/9.39	c set iterative enc to: adder
9.27/9.39	c set iterative enc to: none
9.38/9.40	c [INC SEARCH] isOptimum variable: 0
12.36/12.41	c [INC SEARCH] formula is SAT
12.36/12.41	c [INC SEARCH] copied best model
12.36/12.41	c sat variable: 1 optimum/unsat variable: 0
12.36/12.42	c model valid
12.36/12.42	c current solution ok
12.36/12.42	o 17485490
12.36/12.42	c [INC SEARCH] current bound: 8742752
12.36/12.42	c [INC SEARCH] iteration: 3
12.36/12.42	c [INC SEARCH] lower bound: 0 upperbound 17485505 current bound: 8742752 best value:17485505
12.36/12.42	c [INC SYSTEM] there exists a inc, kill it!
12.36/12.42	c write failed with 2
12.36/12.42	c [INC SYSTEM] create new solver instance
12.36/12.42	c [INC] encode full formula
12.36/12.42	c fallback to adder encoding
12.36/12.49	c set iterative enc to: adder
12.36/12.49	c set iterative enc to: none
12.47/12.50	c [INC SEARCH] isOptimum variable: 0
15.27/15.32	c [INC SEARCH] formula is SAT
15.27/15.32	c [INC SEARCH] copied best model
15.27/15.32	c sat variable: 1 optimum/unsat variable: 0
15.27/15.33	c model valid
15.27/15.33	c current solution ok
15.27/15.33	o 8397174
15.27/15.33	c [INC SEARCH] current bound: 4198594
15.27/15.33	c [INC SEARCH] iteration: 4
15.27/15.33	c [INC SEARCH] lower bound: 0 upperbound 8397189 current bound: 4198594 best value:8397189
15.27/15.33	c [INC SYSTEM] there exists a inc, kill it!
15.27/15.33	c write failed with 2
15.27/15.33	c [INC SYSTEM] create new solver instance
15.27/15.33	c [INC] encode full formula
15.27/15.33	c fallback to adder encoding
15.27/15.39	c set iterative enc to: adder
15.27/15.39	c set iterative enc to: none
15.27/15.40	c [INC SEARCH] isOptimum variable: 0
815.44/815.63	c [INC SEARCH] formula is UNSAT
815.44/815.63	c [INC SYSTEM] there exists a inc, kill it!
815.44/815.63	c write failed with 2
815.44/815.63	c sat variable: 0 optimum/unsat variable: 1
815.44/815.63	c [INC SEARCH] set lower bound to 4198595 upperbound 8397189
815.44/815.63	c [INC SEARCH] current bound: 6297892
815.44/815.63	c [INC SEARCH] iteration: 5
815.44/815.63	c [INC SEARCH] lower bound: 4198595 upperbound 8397189 current bound: 6297892 best value:8397189
815.44/815.63	c [INC SYSTEM] create new solver instance
815.44/815.63	c [INC] encode full formula
815.44/815.63	c fallback to adder encoding
815.44/815.69	c set iterative enc to: adder
815.44/815.69	c set iterative enc to: none
815.55/815.70	c [INC SEARCH] isOptimum variable: 0
819.94/820.18	c [INC SEARCH] formula is SAT
819.94/820.18	c [INC SEARCH] copied best model
819.94/820.18	c sat variable: 1 optimum/unsat variable: 0
819.94/820.19	c model valid
819.94/820.19	c current solution ok
819.94/820.19	o 5926056
819.94/820.19	c [INC SEARCH] current bound: 5062333
819.94/820.19	c [INC SEARCH] iteration: 6
819.94/820.19	c [INC SEARCH] lower bound: 4198595 upperbound 5926071 current bound: 5062333 best value:5926071
819.94/820.19	c [INC SYSTEM] there exists a inc, kill it!
819.94/820.19	c write failed with 2
819.94/820.19	c [INC SYSTEM] create new solver instance
819.94/820.19	c [INC] encode full formula
819.94/820.19	c fallback to adder encoding
820.04/820.25	c set iterative enc to: adder
820.04/820.25	c set iterative enc to: none
820.04/820.26	c [INC SEARCH] isOptimum variable: 0
1050.31/1050.51	c [INC SEARCH] formula is UNSAT
1050.31/1050.51	c [INC SYSTEM] there exists a inc, kill it!
1050.31/1050.51	c write failed with 2
1050.31/1050.51	c sat variable: 0 optimum/unsat variable: 1
1050.31/1050.51	c [INC SEARCH] set lower bound to 5062334 upperbound 5926071
1050.31/1050.51	c [INC SEARCH] current bound: 5494202
1050.31/1050.51	c [INC SEARCH] iteration: 7
1050.31/1050.51	c [INC SEARCH] lower bound: 5062334 upperbound 5926071 current bound: 5494202 best value:5926071
1050.31/1050.51	c [INC SYSTEM] create new solver instance
1050.31/1050.51	c [INC] encode full formula
1050.31/1050.51	c fallback to adder encoding
1050.31/1050.57	c set iterative enc to: adder
1050.31/1050.57	c set iterative enc to: none
1050.31/1050.58	c [INC SEARCH] isOptimum variable: 0
1065.89/1066.15	c [INC SEARCH] formula is SAT
1065.89/1066.15	c [INC SEARCH] copied best model
1065.89/1066.15	c sat variable: 1 optimum/unsat variable: 0
1065.89/1066.16	c model valid
1065.89/1066.16	c current solution ok
1065.89/1066.16	o 5297432
1065.89/1066.16	c [INC SEARCH] current bound: 5179890
1065.89/1066.16	c [INC SEARCH] iteration: 8
1065.89/1066.16	c [INC SEARCH] lower bound: 5062334 upperbound 5297447 current bound: 5179890 best value:5297447
1065.89/1066.16	c [INC SYSTEM] there exists a inc, kill it!
1065.89/1066.16	c write failed with 2
1065.89/1066.17	c [INC SYSTEM] create new solver instance
1065.89/1066.17	c [INC] encode full formula
1065.89/1066.17	c fallback to adder encoding
1066.00/1066.22	c set iterative enc to: adder
1066.00/1066.22	c set iterative enc to: none
1066.00/1066.23	c [INC SEARCH] isOptimum variable: 0
1081.29/1081.52	c [INC SEARCH] formula is SAT
1081.29/1081.52	c [INC SEARCH] copied best model
1081.29/1081.52	c sat variable: 1 optimum/unsat variable: 0
1081.29/1081.53	c model valid
1081.29/1081.53	c current solution ok
1081.29/1081.53	o 5163438
1081.29/1081.53	c [INC SEARCH] current bound: 5112893
1081.29/1081.53	c [INC SEARCH] iteration: 9
1081.29/1081.53	c [INC SEARCH] lower bound: 5062334 upperbound 5163453 current bound: 5112893 best value:5163453
1081.29/1081.53	c [INC SYSTEM] there exists a inc, kill it!
1081.29/1081.53	c write failed with 2
1081.29/1081.53	c [INC SYSTEM] create new solver instance
1081.29/1081.53	c [INC] encode full formula
1081.29/1081.53	c fallback to adder encoding
1081.29/1081.59	c set iterative enc to: adder
1081.29/1081.59	c set iterative enc to: none
1081.40/1081.60	c [INC SEARCH] isOptimum variable: 0
1285.46/1285.75	c [INC SEARCH] formula is SAT
1285.46/1285.75	c [INC SEARCH] copied best model
1285.46/1285.75	c sat variable: 1 optimum/unsat variable: 0
1285.46/1285.76	c model valid
1285.46/1285.76	c current solution ok
1285.46/1285.76	o 5085982
1285.46/1285.76	c [INC SEARCH] current bound: 5074165
1285.46/1285.76	c [INC SEARCH] iteration: 10
1285.46/1285.76	c [INC SEARCH] lower bound: 5062334 upperbound 5085997 current bound: 5074165 best value:5085997
1285.46/1285.76	c [INC SYSTEM] there exists a inc, kill it!
1285.46/1285.76	c write failed with 2
1285.46/1285.76	c [INC SYSTEM] create new solver instance
1285.46/1285.76	c [INC] encode full formula
1285.46/1285.76	c fallback to adder encoding
1285.56/1285.82	c set iterative enc to: adder
1285.56/1285.82	c set iterative enc to: none
1285.56/1285.83	c [INC SEARCH] isOptimum variable: 0
1410.44/1410.75	c [INC SEARCH] formula is SAT
1410.44/1410.75	c [INC SEARCH] copied best model
1410.44/1410.75	c sat variable: 1 optimum/unsat variable: 0
1410.44/1410.76	c model valid
1410.44/1410.76	c current solution ok
1410.44/1410.76	o 5065770
1410.44/1410.76	c [INC SEARCH] current bound: 5064059
1410.44/1410.76	c [INC SEARCH] iteration: 11
1410.44/1410.76	c [INC SEARCH] lower bound: 5062334 upperbound 5065785 current bound: 5064059 best value:5065785
1410.44/1410.76	c [INC SYSTEM] there exists a inc, kill it!
1410.44/1410.76	c write failed with 2
1410.44/1410.76	c [INC SYSTEM] create new solver instance
1410.44/1410.76	c [INC] encode full formula
1410.44/1410.76	c fallback to adder encoding
1410.54/1410.82	c set iterative enc to: adder
1410.54/1410.82	c set iterative enc to: none
1410.54/1410.83	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-3748516-1339179230/watcher-3748516-1339179230 -o /tmp/evaluation-result-3748516-1339179230/solver-3748516-1339179230 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748516-1339179230.opb 2060595836 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.03 2.01 2.00 2/178 9315
/proc/meminfo: memFree=29616760/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0

[startup+0.106059 s]
/proc/loadavg: 2.03 2.01 2.00 2/178 9315
/proc/meminfo: memFree=29616760/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.20035 s]
/proc/loadavg: 2.03 2.01 2.00 2/178 9315
/proc/meminfo: memFree=29616760/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300222 s]
/proc/loadavg: 2.03 2.01 2.00 2/178 9315
/proc/meminfo: memFree=29616760/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700225 s]
/proc/loadavg: 2.03 2.01 2.00 2/178 9315
/proc/meminfo: memFree=29616760/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 9324
/proc/meminfo: memFree=29569916/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22528 CPUtime=0.54 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 5694 6732 0 0 15 5 33 1 20 0 1 0 384048417 23068672 4769 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5632 4769 184 442 0 5186 0
[pid=9324] ppid=9316 vsize=28192 CPUtime=0.92 cores=0,2,4,6
/proc/9324/stat : 9324 (glucosInc) R 9316 9315 8594 0 -1 4202496 6455 0 0 0 91 1 0 0 20 0 1 0 384048474 28868608 5593 33554432000 4194304 5654031 140736307175008 140736307172792 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9324/statm: 7048 5593 132 357 0 6688 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 59868

[startup+3.10034 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 9324
/proc/meminfo: memFree=29567124/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22528 CPUtime=0.54 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 5694 6732 0 0 15 5 33 1 20 0 1 0 384048417 23068672 4769 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5632 4769 184 442 0 5186 0
[pid=9324] ppid=9316 vsize=28456 CPUtime=2.52 cores=0,2,4,6
/proc/9324/stat : 9324 (glucosInc) R 9316 9315 8594 0 -1 4202496 6560 0 0 0 251 1 0 0 20 0 1 0 384048474 29138944 6209 33554432000 4194304 5654031 140736307175008 140736307172792 4208584 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9324/statm: 7114 6209 132 357 0 6754 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 60132

[startup+6.30036 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 9324
/proc/meminfo: memFree=29565888/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22528 CPUtime=0.54 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 5694 6732 0 0 15 5 33 1 20 0 1 0 384048417 23068672 4769 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5632 4769 184 442 0 5186 0
[pid=9324] ppid=9316 vsize=28784 CPUtime=5.71 cores=0,2,4,6
/proc/9324/stat : 9324 (glucosInc) R 9316 9315 8594 0 -1 4202496 6907 0 0 0 570 1 0 0 20 0 1 0 384048474 29474816 6362 33554432000 4194304 5654031 140736307175008 140736307173032 4232380 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/9324/statm: 7196 6362 132 357 0 6836 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 60460

[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 9328
/proc/meminfo: memFree=29570864/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=12.48 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 14385 27346 0 0 42 8 1191 7 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 31932

[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 9332
/proc/meminfo: memFree=29572720/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=15.38 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 16255 32982 0 0 49 8 1472 9 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9332] ppid=9316 vsize=24312 CPUtime=10.08 cores=0,2,4,6
/proc/9332/stat : 9332 (glucosInc) R 9316 9315 8594 0 -1 4202496 5038 0 0 0 1007 1 0 0 20 0 1 0 384049957 24895488 4748 33554432000 4194304 5654031 140734546494304 140734546482120 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9332/statm: 6078 4748 138 357 0 5718 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 56244

[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 9374
/proc/meminfo: memFree=30709856/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=15.38 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 16255 32982 0 0 49 8 1472 9 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9332] ppid=9316 vsize=40352 CPUtime=35.67 cores=0,2,4,6
/proc/9332/stat : 9332 (glucosInc) R 9316 9315 8594 0 -1 4202496 6945 0 0 0 3566 1 0 0 20 0 1 0 384049957 41320448 9126 33554432000 4194304 5654031 140734546494304 140734546492104 4208683 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9332/statm: 10088 9126 138 357 0 9728 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 72284

[startup+102.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 9376
/proc/meminfo: memFree=30678452/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=15.38 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 16255 32982 0 0 49 8 1472 9 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9332] ppid=9316 vsize=40352 CPUtime=86.88 cores=0,2,4,6
/proc/9332/stat : 9332 (glucosInc) R 9316 9315 8594 0 -1 4202496 7056 0 0 0 8686 2 0 0 20 0 1 0 384049957 41320448 9253 33554432000 4194304 5654031 140734546494304 140734546482120 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9332/statm: 10088 9253 138 357 0 9728 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 72284

[startup+162.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/181 9376
/proc/meminfo: memFree=30643696/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=15.38 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 16255 32982 0 0 49 8 1472 9 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9332] ppid=9316 vsize=47980 CPUtime=146.86 cores=0,2,4,6
/proc/9332/stat : 9332 (glucosInc) R 9316 9315 8594 0 -1 4202496 7323 0 0 0 14684 2 0 0 20 0 1 0 384049957 49131520 11033 33554432000 4194304 5654031 140734546494304 140734546492104 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9332/statm: 11995 11033 138 357 0 11635 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 79912

[startup+222.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 9376
/proc/meminfo: memFree=30634140/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=15.38 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 16255 32982 0 0 49 8 1472 9 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9332] ppid=9316 vsize=59836 CPUtime=206.85 cores=0,2,4,6
/proc/9332/stat : 9332 (glucosInc) R 9316 9315 8594 0 -1 4202496 8082 0 0 0 20683 2 0 0 20 0 1 0 384049957 61272064 13128 33554432000 4194304 5654031 140734546494304 140734546492328 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9332/statm: 14959 13128 138 357 0 14599 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 91768

[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 9376
/proc/meminfo: memFree=30598392/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/meminfo: memFree=30612592/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1285.6 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 27202 79903 0 0 89 13 128428 30 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9400] ppid=9316 vsize=21792 CPUtime=16.46 cores=0,2,4,6
/proc/9400/stat : 9400 (glucosInc) R 9316 9315 8594 0 -1 4202496 5468 0 0 0 1645 1 0 0 20 0 1 0 384177000 22315008 4586 33554432000 4194304 5654031 140734906303536 140734906291352 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9400/statm: 5448 4586 138 357 0 5088 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 53724

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9400
/proc/meminfo: memFree=30603788/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1285.6 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 27202 79903 0 0 89 13 128428 30 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9400] ppid=9316 vsize=33336 CPUtime=76.44 cores=0,2,4,6
/proc/9400/stat : 9400 (glucosInc) R 9316 9315 8594 0 -1 4202496 7506 0 0 0 7642 2 0 0 20 0 1 0 384177000 34136064 7232 33554432000 4194304 5654031 140734906303536 140734906301416 4232784 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9400/statm: 8334 7232 141 357 0 7974 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 65268

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9402
/proc/meminfo: memFree=30588528/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=28896 CPUtime=11.46 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 6153 0 0 0 1145 1 0 0 20 0 1 0 384189500 29589504 5930 33554432000 4194304 5654031 140736277458592 140736277446408 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 7224 5930 141 357 0 6864 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 60828

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9402
/proc/meminfo: memFree=30580468/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=40388 CPUtime=71.44 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 8034 0 0 0 7143 1 0 0 20 0 1 0 384189500 41357312 9280 33554432000 4194304 5654031 140736277458592 140736277456392 4232403 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 10097 9280 141 357 0 9737 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 72320

[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9403
/proc/meminfo: memFree=30584764/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=40388 CPUtime=131.43 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 8034 0 0 0 13142 1 0 0 20 0 1 0 384189500 41357312 9280 33554432000 4194304 5654031 140736277458592 140736277456392 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 10097 9280 141 357 0 9737 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 72320

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 9406
/proc/meminfo: memFree=30585580/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=45064 CPUtime=191.43 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 8613 0 0 0 19141 2 0 0 20 0 1 0 384189500 46145536 10061 33554432000 4194304 5654031 140736277458592 140736277446408 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 11266 10061 141 357 0 10906 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 76996

[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/181 9406
/proc/meminfo: memFree=30585664/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=63740 CPUtime=251.41 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 9142 0 0 0 25139 2 0 0 20 0 1 0 384189500 65269760 11597 33554432000 4194304 5654031 140736277458592 140736277446408 4216213 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 15935 11597 141 357 0 15575 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 95672

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 9406
/proc/meminfo: memFree=30586052/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=63740 CPUtime=311.4 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 9143 0 0 0 31138 2 0 0 20 0 1 0 384189500 65269760 12109 33554432000 4194304 5654031 140736277458592 140736277446408 4232710 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 15935 12109 141 357 0 15575 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 95672

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9406
/proc/meminfo: memFree=30563712/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=63740 CPUtime=371.4 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 9143 0 0 0 37137 3 0 0 20 0 1 0 384189500 65269760 12109 33554432000 4194304 5654031 140736277458592 140736277446408 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 15935 12109 141 357 0 15575 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 95672



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9406
/proc/meminfo: memFree=30581972/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=63740 CPUtime=389.5 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 9143 0 0 0 38947 3 0 0 20 0 1 0 384189500 65269760 12109 33554432000 4194304 5654031 140736277458592 140736277446408 4216722 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 15935 12109 141 357 0 15575 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 95672

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 9406
/proc/meminfo: memFree=30581972/32873844 swapFree=7896/7896
[pid=9315] ppid=9313 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9315/stat : 9315 (npSolver-pbo-I.) S 9313 9315 8594 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 384048417 9367552 275 33554432000 4194304 5064252 140735845733376 140735845732288 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/9315/statm: 2287 275 233 213 0 72 0
[pid=9316] ppid=9315 vsize=22784 CPUtime=1410.57 cores=0,2,4,6
/proc/9316/stat : 9316 (npSolver-pbo) S 9315 9315 8594 0 -1 4202496 29059 90376 0 0 96 13 140914 34 20 0 1 0 384048417 23330816 4771 33554432000 4194304 6004724 140733386009200 140733385994120 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/9316/statm: 5696 4771 185 442 0 5250 0
[pid=9402] ppid=9316 vsize=63740 CPUtime=389.5 cores=0,2,4,6
/proc/9402/stat : 9402 (glucosInc) R 9316 9315 8594 0 -1 4202496 9143 0 0 0 38947 3 0 0 20 0 1 0 384189500 65269760 12109 33554432000 4194304 5654031 140736277458592 140736277446408 4216722 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9402/statm: 15935 12109 141 357 0 15575 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 95672

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.11
CPU user time (s): 1799.59
CPU system time (s): 0.517921
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 133976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.59
system time used= 0.517921
maximum resident set size= 86876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 128959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 119368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 835
involuntary context switches= 2122

runsolver used 3.2645 second user time and 7.43987 second system time

The end

Launcher Data

Begin job on node136 at 2012-06-08 20:13:50
IDJOB=3748516
IDBENCH=92781
IDSOLVER=2333
FILE ID=node136/3748516-1339179230
RUNJOBID= node136-1339170208-8610
PBS_JOBID= 14643823
Free space on /tmp= 70040 MiB

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

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

MD5SUM BENCH= db8b8cffd5752eef333f86e642ebfb0d
RANDOM SEED=2060595836

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.247
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.247
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:        29617032 kB
Buffers:          754268 kB
Cached:           635196 kB
SwapCached:        20432 kB
Active:          2196024 kB
Inactive:         144132 kB
Active(anon):     928824 kB
Inactive(anon):    22684 kB
Active(file):    1267200 kB
Inactive(file):   121448 kB
Unevictable:        7896 kB
Mlocked:            7896 kB
SwapTotal:      67108856 kB
SwapFree:       67083240 kB
Dirty:              8560 kB
Writeback:             0 kB
AnonPages:        908668 kB
Mapped:            10792 kB
Shmem:                 0 kB
Slab:             768848 kB
SReclaimable:     210336 kB
SUnreclaim:       558512 kB
KernelStack:        1504 kB
PageTables:         5848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1252964 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    843776 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= 70308 MiB
End job on node136 at 2012-06-08 20:43:50