Trace number 3747701

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 NameAnswerobjective functionCPU timeWall clock time
npSolver inc-topDown (fixed)? (TO) 1800.05 1800.51

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_500_10_5.opb
MD5SUM9b75ee50c2c62e6be495e8bd0a94fa2c
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-146
Best CPU time to get the best result obtained on this benchmark1796.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -131
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1501
Number of constraints which are clauses500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1001
Minimum length of a constraint2
Maximum length of a constraint1000
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)12540
Sum of products size (including duplicates)25080
Number of different products6270
Sum of products size12540

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.24	c old isEQ: 136, new EQ is 1
0.00/0.28	c run inc solver
0.00/0.28	c [INC SYSTEM] run initial solver
0.00/0.28	c [INC SYSTEM] preprocess with white file
1.28/1.31	c [INC SYSTEM] finished preprocessing in 1 s
1.28/1.31	c [INC SYSTEM] execute solver
2.98/3.06	c [INC SEARCH] formula is SAT
2.98/3.06	c [INC SYSTEM] solved the initial formula
2.98/3.07	c model valid
2.98/3.07	c current solution ok
3.28/3.33	o -86
3.28/3.33	c [INC SYSTEM] there exists a inc, kill it!
3.28/3.33	c write failed with 2
3.28/3.33	c [INC SEARCH] iteration: 0
3.28/3.33	c [INC BOUNDS] best value:414 search for 413
3.28/3.33	c [INC SYSTEM] create new solver instance
3.28/3.33	c [INC] encode full formula
3.28/3.33	c (debug) using card networks
3.28/3.33	c old isEQ: 41, new EQ is 0
3.28/3.34	c set iterative enc to: card
3.28/3.34	c set iterative enc to: none
3.28/3.35	c [INC SEARCH] isOptimum variable: 0
4.96/5.00	c formula is SAT
5.01/5.11	c [INC SEARCH] copied best model
5.01/5.11	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
5.01/5.11	c model valid
5.01/5.11	c current solution ok
5.01/5.11	o -87
5.01/5.11	c [INC SEARCH] iteration: 1
5.01/5.11	c [INC BOUNDS] best value:413 search for 412
5.01/5.11	c [INC SYSTEM] there exists a inc, kill it!
5.01/5.11	c write failed with 2
5.01/5.11	c [INC SYSTEM] create new solver instance
5.01/5.11	c [INC] encode full formula
5.01/5.11	c (debug) using card networks
5.01/5.11	c old isEQ: 0, new EQ is 0
5.01/5.11	c set iterative enc to: card
5.01/5.11	c set iterative enc to: none
5.01/5.17	c [INC SEARCH] isOptimum variable: 0
6.53/6.71	c formula is SAT
6.53/6.71	c [INC SEARCH] copied best model
6.53/6.71	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
6.53/6.72	c model valid
6.53/6.72	c current solution ok
6.53/6.72	o -88
6.53/6.72	c [INC SEARCH] iteration: 2
6.53/6.72	c [INC BOUNDS] best value:412 search for 411
6.53/6.72	c [INC SYSTEM] there exists a inc, kill it!
6.53/6.72	c write failed with 2
6.53/6.72	c [INC SYSTEM] create new solver instance
6.53/6.72	c [INC] encode full formula
6.53/6.72	c (debug) using card networks
6.53/6.72	c old isEQ: 0, new EQ is 0
6.53/6.73	c set iterative enc to: card
6.53/6.73	c set iterative enc to: none
6.53/6.74	c [INC SEARCH] isOptimum variable: 0
11.03/11.27	c formula is SAT
11.03/11.28	c [INC SEARCH] copied best model
11.03/11.28	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
11.03/11.28	c model valid
11.03/11.28	c current solution ok
11.03/11.28	o -89
11.03/11.28	c [INC SEARCH] iteration: 3
11.03/11.28	c [INC BOUNDS] best value:411 search for 410
11.03/11.28	c [INC SYSTEM] there exists a inc, kill it!
11.03/11.28	c write failed with 2
11.03/11.29	c [INC SYSTEM] create new solver instance
11.03/11.29	c [INC] encode full formula
11.03/11.29	c (debug) using card networks
11.03/11.29	c old isEQ: 0, new EQ is 0
11.03/11.29	c set iterative enc to: card
11.03/11.29	c set iterative enc to: none
11.14/11.30	c [INC SEARCH] isOptimum variable: 0
16.04/16.23	c formula is SAT
16.04/16.23	c [INC SEARCH] copied best model
16.04/16.23	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
16.04/16.24	c model valid
16.04/16.24	c current solution ok
16.04/16.24	o -92
16.04/16.24	c [INC SEARCH] iteration: 4
16.04/16.24	c [INC BOUNDS] best value:408 search for 407
16.04/16.24	c [INC SYSTEM] there exists a inc, kill it!
16.04/16.24	c write failed with 2
16.04/16.24	c [INC SYSTEM] create new solver instance
16.04/16.24	c [INC] encode full formula
16.04/16.24	c (debug) using card networks
16.04/16.24	c old isEQ: 0, new EQ is 0
16.04/16.25	c set iterative enc to: card
16.04/16.25	c set iterative enc to: none
16.04/16.26	c [INC SEARCH] isOptimum variable: 0
21.22/21.40	c formula is SAT
21.22/21.40	c [INC SEARCH] copied best model
21.22/21.40	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
21.22/21.41	c model valid
21.22/21.41	c current solution ok
21.22/21.41	o -94
21.22/21.41	c [INC SEARCH] iteration: 5
21.22/21.41	c [INC BOUNDS] best value:406 search for 405
21.22/21.41	c [INC SYSTEM] there exists a inc, kill it!
21.22/21.41	c write failed with 2
21.22/21.41	c [INC SYSTEM] create new solver instance
21.22/21.41	c [INC] encode full formula
21.22/21.41	c (debug) using card networks
21.22/21.41	c old isEQ: 0, new EQ is 0
21.22/21.42	c set iterative enc to: card
21.22/21.42	c set iterative enc to: none
21.22/21.43	c [INC SEARCH] isOptimum variable: 0
29.72/29.96	c formula is SAT
29.72/29.97	c [INC SEARCH] copied best model
29.72/29.97	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
29.72/29.97	c model valid
29.72/29.97	c current solution ok
29.72/29.97	o -95
29.72/29.97	c [INC SEARCH] iteration: 6
29.72/29.97	c [INC BOUNDS] best value:405 search for 404
29.72/29.97	c [INC SYSTEM] there exists a inc, kill it!
29.72/29.97	c write failed with 2
29.72/29.98	c [INC SYSTEM] create new solver instance
29.72/29.98	c [INC] encode full formula
29.72/29.98	c (debug) using card networks
29.72/29.98	c old isEQ: 0, new EQ is 0
29.72/29.99	c set iterative enc to: card
29.72/29.99	c set iterative enc to: none
29.72/29.99	c [INC SEARCH] isOptimum variable: 0
43.72/43.95	c formula is SAT
43.72/43.96	c [INC SEARCH] copied best model
43.72/43.96	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
43.72/43.96	c model valid
43.72/43.96	c current solution ok
43.72/43.96	o -96
43.72/43.96	c [INC SEARCH] iteration: 7
43.72/43.96	c [INC BOUNDS] best value:404 search for 403
43.72/43.96	c [INC SYSTEM] there exists a inc, kill it!
43.72/43.96	c write failed with 2
43.72/43.97	c [INC SYSTEM] create new solver instance
43.72/43.97	c [INC] encode full formula
43.72/43.97	c (debug) using card networks
43.72/43.97	c old isEQ: 0, new EQ is 0
43.72/43.97	c set iterative enc to: card
43.72/43.97	c set iterative enc to: none
43.72/43.99	c [INC SEARCH] isOptimum variable: 0
65.22/65.48	c formula is SAT
65.22/65.48	c [INC SEARCH] copied best model
65.22/65.48	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
65.22/65.49	c model valid
65.22/65.49	c current solution ok
65.22/65.49	o -97
65.22/65.49	c [INC SEARCH] iteration: 8
65.22/65.49	c [INC BOUNDS] best value:403 search for 402
65.22/65.49	c [INC SYSTEM] there exists a inc, kill it!
65.22/65.49	c write failed with 2
65.22/65.49	c [INC SYSTEM] create new solver instance
65.22/65.49	c [INC] encode full formula
65.22/65.49	c (debug) using card networks
65.22/65.49	c old isEQ: 0, new EQ is 0
65.32/65.50	c set iterative enc to: card
65.32/65.50	c set iterative enc to: none
65.32/65.51	c [INC SEARCH] isOptimum variable: 0
79.90/80.11	c formula is SAT
79.90/80.12	c [INC SEARCH] copied best model
79.90/80.12	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
79.90/80.12	c model valid
79.90/80.12	c current solution ok
79.90/80.12	o -99
79.90/80.12	c [INC SEARCH] iteration: 9
79.90/80.12	c [INC BOUNDS] best value:401 search for 400
79.90/80.12	c [INC SYSTEM] there exists a inc, kill it!
79.90/80.12	c write failed with 2
79.90/80.12	c [INC SYSTEM] create new solver instance
79.90/80.12	c [INC] encode full formula
79.90/80.12	c (debug) using card networks
79.90/80.12	c old isEQ: 0, new EQ is 0
79.90/80.13	c set iterative enc to: card
79.90/80.13	c set iterative enc to: none
79.90/80.14	c [INC SEARCH] isOptimum variable: 0
96.52/96.76	c formula is SAT
96.52/96.77	c [INC SEARCH] copied best model
96.52/96.77	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
96.52/96.78	c model valid
96.52/96.78	c current solution ok
96.52/96.78	o -102
96.52/96.78	c [INC SEARCH] iteration: 10
96.52/96.78	c [INC BOUNDS] best value:398 search for 397
96.52/96.78	c [INC SYSTEM] there exists a inc, kill it!
96.52/96.78	c write failed with 2
96.52/96.78	c [INC SYSTEM] create new solver instance
96.52/96.78	c [INC] encode full formula
96.52/96.78	c (debug) using card networks
96.52/96.78	c old isEQ: 0, new EQ is 0
96.52/96.79	c set iterative enc to: card
96.52/96.79	c set iterative enc to: none
96.52/96.79	c [INC SEARCH] isOptimum variable: 0
157.58/157.81	c formula is SAT
157.58/157.81	c [INC SEARCH] copied best model
157.58/157.81	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
157.58/157.82	c model valid
157.58/157.82	c current solution ok
157.58/157.82	o -103
157.58/157.82	c [INC SEARCH] iteration: 11
157.58/157.82	c [INC BOUNDS] best value:397 search for 396
157.58/157.82	c [INC SYSTEM] there exists a inc, kill it!
157.58/157.82	c write failed with 2
157.58/157.82	c [INC SYSTEM] create new solver instance
157.58/157.82	c [INC] encode full formula
157.58/157.82	c (debug) using card networks
157.58/157.82	c old isEQ: 0, new EQ is 0
157.58/157.83	c set iterative enc to: card
157.58/157.83	c set iterative enc to: none
157.58/157.84	c [INC SEARCH] isOptimum variable: 0
205.38/205.62	c formula is SAT
205.38/205.63	c [INC SEARCH] copied best model
205.38/205.63	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
205.38/205.63	c model valid
205.38/205.63	c current solution ok
205.38/205.63	o -106
205.38/205.63	c [INC SEARCH] iteration: 12
205.38/205.63	c [INC BOUNDS] best value:394 search for 393
205.38/205.63	c [INC SYSTEM] there exists a inc, kill it!
205.38/205.63	c write failed with 2
205.38/205.63	c [INC SYSTEM] create new solver instance
205.38/205.63	c [INC] encode full formula
205.38/205.63	c (debug) using card networks
205.38/205.63	c old isEQ: 0, new EQ is 0
205.38/205.64	c set iterative enc to: card
205.38/205.64	c set iterative enc to: none
205.38/205.65	c [INC SEARCH] isOptimum variable: 0
249.05/249.39	c formula is SAT
249.15/249.40	c [INC SEARCH] copied best model
249.15/249.40	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
249.15/249.40	c model valid
249.15/249.40	c current solution ok
249.15/249.40	o -108
249.15/249.40	c [INC SEARCH] iteration: 13
249.15/249.40	c [INC BOUNDS] best value:392 search for 391
249.15/249.40	c [INC SYSTEM] there exists a inc, kill it!
249.15/249.40	c write failed with 2
249.15/249.40	c [INC SYSTEM] create new solver instance
249.15/249.40	c [INC] encode full formula
249.15/249.40	c (debug) using card networks
249.15/249.40	c old isEQ: 0, new EQ is 0
249.15/249.41	c set iterative enc to: card
249.15/249.41	c set iterative enc to: none
249.15/249.42	c [INC SEARCH] isOptimum variable: 0
397.04/397.30	c formula is SAT
397.04/397.30	c [INC SEARCH] copied best model
397.04/397.31	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
397.04/397.31	c model valid
397.04/397.31	c current solution ok
397.04/397.31	o -109
397.04/397.31	c [INC SEARCH] iteration: 14
397.04/397.31	c [INC BOUNDS] best value:391 search for 390
397.04/397.31	c [INC SYSTEM] there exists a inc, kill it!
397.04/397.31	c write failed with 2
397.04/397.32	c [INC SYSTEM] create new solver instance
397.04/397.32	c [INC] encode full formula
397.04/397.32	c (debug) using card networks
397.04/397.32	c old isEQ: 0, new EQ is 0
397.04/397.32	c set iterative enc to: card
397.04/397.32	c set iterative enc to: none
397.04/397.33	c [INC SEARCH] isOptimum variable: 0
531.51/531.80	c formula is SAT
531.51/531.81	c [INC SEARCH] copied best model
531.51/531.81	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
531.51/531.81	c model valid
531.51/531.81	c current solution ok
531.51/531.81	o -110
531.51/531.81	c [INC SEARCH] iteration: 15
531.51/531.81	c [INC BOUNDS] best value:390 search for 389
531.51/531.81	c [INC SYSTEM] there exists a inc, kill it!
531.51/531.81	c write failed with 2
531.51/531.82	c [INC SYSTEM] create new solver instance
531.51/531.82	c [INC] encode full formula
531.51/531.82	c (debug) using card networks
531.51/531.82	c old isEQ: 0, new EQ is 0
531.51/531.82	c set iterative enc to: card
531.51/531.82	c set iterative enc to: none
531.51/531.83	c [INC SEARCH] isOptimum variable: 0
1736.83/1737.39	c formula is SAT
1736.92/1737.40	c [INC SEARCH] copied best model
1736.92/1737.40	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1736.92/1737.41	c model valid
1736.92/1737.41	c current solution ok
1736.92/1737.41	o -112
1736.92/1737.41	c [INC SEARCH] iteration: 16
1736.92/1737.41	c [INC BOUNDS] best value:388 search for 387
1736.92/1737.41	c [INC SYSTEM] there exists a inc, kill it!
1736.92/1737.41	c write failed with 2
1736.92/1737.41	c [INC SYSTEM] create new solver instance
1736.92/1737.41	c [INC] encode full formula
1736.92/1737.41	c (debug) using card networks
1736.92/1737.41	c old isEQ: 0, new EQ is 0
1736.92/1737.42	c set iterative enc to: card
1736.92/1737.42	c set iterative enc to: none
1736.92/1737.43	c [INC SEARCH] isOptimum variable: 0
1800.01/1800.50	c [INC SYSTEM] an unexpexted return value has been received, exit
1800.01/1800.50	s UNKNOWN
1800.01/1800.50	c [INC SYSTEM] there exists a inc, kill it!
1800.01/1800.50	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-3747701-1339103635/watcher-3747701-1339103635 -o /tmp/evaluation-result-3747701-1339103635/solver-3747701-1339103635 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747701-1339103635.opb 674382654 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16257
/proc/meminfo: memFree=29180632/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0

[startup+0.093734 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16257
/proc/meminfo: memFree=29180632/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100226 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16257
/proc/meminfo: memFree=29180632/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30017 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16257
/proc/meminfo: memFree=29180632/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700204 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 16257
/proc/meminfo: memFree=29180632/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50117 s]
/proc/loadavg: 2.00 2.00 1.93 3/182 16261
/proc/meminfo: memFree=29121512/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=1.3 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 7994 12531 0 0 26 2 91 11 20 0 1 0 376489414 11071488 2154 33554432000 4194304 6004724 140735881579408 140735881565688 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2154 167 442 0 2257 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 19960

[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 16263
/proc/meminfo: memFree=29145672/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=1.33 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) R 16257 16257 15337 0 -1 4202496 8408 12531 0 0 27 4 91 11 20 0 1 0 376489414 11071488 2160 33554432000 4194304 6004724 140735881579408 140735881573608 5190832 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/16258/statm: 2703 2160 173 442 0 2257 0
[pid=16263] ppid=16258 vsize=25008 CPUtime=1.74 cores=1,3,5,7
/proc/16263/stat : 16263 (glucosInc) S 16258 16257 15337 0 -1 4202496 5013 0 0 0 174 0 0 0 20 0 1 0 376489546 25608192 5212 33554432000 4194304 5654031 140733701928192 140733701926504 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16263/statm: 6252 5212 146 357 0 5892 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 44968

[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 16268
/proc/meminfo: memFree=29147496/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=5.01 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 9815 24867 0 0 34 24 429 14 20 0 1 0 376489414 11071488 2163 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2163 176 442 0 2257 0
[pid=16268] ppid=16258 vsize=28240 CPUtime=1.12 cores=1,3,5,7
/proc/16268/stat : 16268 (glucosInc) R 16258 16257 15337 0 -1 4202496 5743 0 0 0 111 1 0 0 20 0 1 0 376489932 28917760 5944 33554432000 4194304 5654031 140735962213104 140735962210888 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16268/statm: 7060 5944 140 357 0 6700 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 48200

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 16272
/proc/meminfo: memFree=29137876/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=11.15 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 11677 38609 0 0 38 25 1034 18 20 0 1 0 376489414 11071488 2163 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2163 176 442 0 2257 0
[pid=16272] ppid=16258 vsize=28248 CPUtime=1.38 cores=1,3,5,7
/proc/16272/stat : 16272 (glucosInc) R 16258 16257 15337 0 -1 4202496 5692 0 0 0 138 0 0 0 20 0 1 0 376490545 28925952 5978 33554432000 4194304 5654031 140734771549456 140734771537272 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16272/statm: 7062 5978 140 357 0 6702 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 48208

[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 16278
/proc/meminfo: memFree=29142392/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=21.26 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 13539 53374 0 0 42 25 2037 22 20 0 1 0 376489414 11071488 2163 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2163 176 442 0 2257 0
[pid=16278] ppid=16258 vsize=28924 CPUtime=4.05 cores=1,3,5,7
/proc/16278/stat : 16278 (glucosInc) R 16258 16257 15337 0 -1 4202496 6145 0 0 0 405 0 0 0 20 0 1 0 376491557 29618176 6335 33554432000 4194304 5654031 140733479199168 140733479186984 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16278/statm: 7231 6335 141 357 0 6871 0
Current children cumulated CPU time (s) 25.31
Current children cumulated vsize (KiB) 48884

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.93 3/181 16282
/proc/meminfo: memFree=29132028/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=43.82 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 15401 70333 0 0 46 26 4283 27 20 0 1 0 376489414 11071488 2163 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2163 176 442 0 2257 0
[pid=16282] ppid=16258 vsize=32556 CPUtime=7.1 cores=1,3,5,7
/proc/16282/stat : 16282 (glucosInc) R 16258 16257 15337 0 -1 4202496 6416 0 0 0 709 1 0 0 20 0 1 0 376493813 33337344 6613 33554432000 4194304 5654031 140733719145376 140733719143464 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16282/statm: 8139 6613 142 357 0 7779 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 52516

[startup+102.307 s]
/proc/loadavg: 2.04 2.01 1.94 3/181 16290
/proc/meminfo: memFree=29141412/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=96.61 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 18194 98270 0 0 53 26 9547 35 20 0 1 0 376489414 11071488 2163 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2163 176 442 0 2257 0
[pid=16290] ppid=16258 vsize=29360 CPUtime=5.49 cores=1,3,5,7
/proc/16290/stat : 16290 (glucosInc) R 16258 16257 15337 0 -1 4202496 6722 0 0 0 548 1 0 0 20 0 1 0 376499094 30064640 6337 33554432000 4194304 5654031 140735802878304 140735802866120 4232639 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16290/statm: 7340 6337 142 357 0 6980 0
Current children cumulated CPU time (s) 102.1
Current children cumulated vsize (KiB) 49320

[startup+162.301 s]
/proc/loadavg: 2.01 2.01 1.94 3/181 16293
/proc/meminfo: memFree=29123612/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=157.64 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 19125 110081 0 0 55 26 15643 40 20 0 1 0 376489414 11071488 2163 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2163 176 442 0 2257 0
[pid=16293] ppid=16258 vsize=29204 CPUtime=4.45 cores=1,3,5,7
/proc/16293/stat : 16293 (glucosInc) R 16258 16257 15337 0 -1 4202496 6105 0 0 0 444 1 0 0 20 0 1 0 376505199 29904896 6231 33554432000 4194304 5654031 140736911025968 140736911013784 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16293/statm: 7301 6231 142 357 0 6941 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 49164

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 16380
/proc/meminfo: memFree=28302504/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=205.43 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 20056 120365 0 0 57 26 20417 43 20 0 1 0 376489414 11071488 2163 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2163 176 442 0 2257 0
[pid=16341] ppid=16258 vsize=37936 CPUtime=16.62 cores=1,3,5,7
/proc/16341/stat : 16341 (glucosInc) R 16258 16257 15337 0 -1 4202496 8326 0 0 0 1661 1 0 0 20 0 1 0 376509980 38846464 8333 33554432000 4194304 5654031 140733270108048 140733270095864 4214603 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16341/statm: 9484 8333 142 357 0 9124 0
Current children cumulated CPU time (s) 222.05
Current children cumulated vsize (KiB) 57896

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/180 16382
/proc/meminfo: memFree=23566580/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/meminfo: memFree=28751344/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=531.57 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 22850 155098 0 0 64 27 53008 58 20 0 1 0 376489414 11071488 2164 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2164 176 442 0 2257 0
[pid=16391] ppid=16258 vsize=173052 CPUtime=770.33 cores=1,3,5,7
/proc/16391/stat : 16391 (glucosInc) R 16258 16257 15337 0 -1 4202496 16650 0 0 0 77016 17 0 0 20 0 1 0 376542598 177205248 34786 33554432000 4194304 5654031 140733349593104 140733349580920 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16391/statm: 43263 34786 142 357 0 42903 0
Current children cumulated CPU time (s) 1301.9
Current children cumulated vsize (KiB) 193012

[startup+1362.3 s]
/proc/loadavg: 2.00 2.15 2.31 3/181 16445
/proc/meminfo: memFree=28756572/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=531.57 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 22850 155098 0 0 64 27 53008 58 20 0 1 0 376489414 11071488 2164 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2164 176 442 0 2257 0
[pid=16391] ppid=16258 vsize=173052 CPUtime=830.31 cores=1,3,5,7
/proc/16391/stat : 16391 (glucosInc) R 16258 16257 15337 0 -1 4202496 17199 0 0 0 83013 18 0 0 20 0 1 0 376542598 177205248 37346 33554432000 4194304 5654031 140733349593104 140733349580920 4214616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16391/statm: 43263 37346 142 357 0 42903 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 193012

[startup+1422.3 s]
/proc/loadavg: 2.00 2.12 2.29 3/181 16445
/proc/meminfo: memFree=28708384/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=531.57 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 22850 155098 0 0 64 27 53008 58 20 0 1 0 376489414 11071488 2164 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2164 176 442 0 2257 0
[pid=16391] ppid=16258 vsize=186328 CPUtime=890.31 cores=1,3,5,7
/proc/16391/stat : 16391 (glucosInc) R 16258 16257 15337 0 -1 4202496 19062 0 0 0 89010 21 0 0 20 0 1 0 376542598 190799872 44909 33554432000 4194304 5654031 140733349593104 140733349580920 4233184 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16391/statm: 46582 44909 142 357 0 46222 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 206288

[startup+1482.3 s]
/proc/loadavg: 2.00 2.10 2.27 3/181 16445
/proc/meminfo: memFree=28738568/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=531.57 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 22850 155098 0 0 64 27 53008 58 20 0 1 0 376489414 11071488 2164 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2164 176 442 0 2257 0
[pid=16391] ppid=16258 vsize=137008 CPUtime=950.31 cores=1,3,5,7
/proc/16391/stat : 16391 (glucosInc) R 16258 16257 15337 0 -1 4202496 20104 0 0 0 95008 23 0 0 20 0 1 0 376542598 140296192 33373 33554432000 4194304 5654031 140733349593104 140733349580920 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16391/statm: 34252 33373 142 357 0 33892 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 156968

[startup+1542.3 s]
/proc/loadavg: 2.00 2.08 2.25 3/181 16445
/proc/meminfo: memFree=28725804/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=531.57 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 22850 155098 0 0 64 27 53008 58 20 0 1 0 376489414 11071488 2164 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2164 176 442 0 2257 0
[pid=16391] ppid=16258 vsize=186328 CPUtime=1010.29 cores=1,3,5,7
/proc/16391/stat : 16391 (glucosInc) R 16258 16257 15337 0 -1 4202496 21275 0 0 0 101004 25 0 0 20 0 1 0 376542598 190799872 41837 33554432000 4194304 5654031 140733349593104 140733349580920 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16391/statm: 46582 41837 142 357 0 46222 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 206288

[startup+1602.31 s]
/proc/loadavg: 2.00 2.06 2.23 3/182 16448
/proc/meminfo: memFree=28709120/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=531.57 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 22850 155098 0 0 64 27 53008 58 20 0 1 0 376489414 11071488 2164 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2164 176 442 0 2257 0
[pid=16391] ppid=16258 vsize=186328 CPUtime=1070.29 cores=1,3,5,7
/proc/16391/stat : 16391 (glucosInc) R 16258 16257 15337 0 -1 4202496 22164 0 0 0 107002 27 0 0 20 0 1 0 376542598 190799872 43373 33554432000 4194304 5654031 140733349593104 140733349580920 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16391/statm: 46582 43373 142 357 0 46222 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 206288

[startup+1662.3 s]
/proc/loadavg: 2.04 2.06 2.22 3/181 16449
/proc/meminfo: memFree=28697244/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=531.57 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 22850 155098 0 0 64 27 53008 58 20 0 1 0 376489414 11071488 2164 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2164 176 442 0 2257 0
[pid=16391] ppid=16258 vsize=186328 CPUtime=1130.28 cores=1,3,5,7
/proc/16391/stat : 16391 (glucosInc) R 16258 16257 15337 0 -1 4202496 23053 0 0 0 112999 29 0 0 20 0 1 0 376542598 190799872 43373 33554432000 4194304 5654031 140733349593104 140733349580920 4232925 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16391/statm: 46582 43373 142 357 0 46222 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 206288

[startup+1722.3 s]
/proc/loadavg: 2.01 2.05 2.20 3/181 16449
/proc/meminfo: memFree=28720456/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=531.57 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 22850 155098 0 0 64 27 53008 58 20 0 1 0 376489414 11071488 2164 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2164 176 442 0 2257 0
[pid=16391] ppid=16258 vsize=186328 CPUtime=1190.26 cores=1,3,5,7
/proc/16391/stat : 16391 (glucosInc) R 16258 16257 15337 0 -1 4202496 23942 0 0 0 118995 31 0 0 20 0 1 0 376542598 190799872 43885 33554432000 4194304 5654031 140733349593104 140733349580920 4232968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16391/statm: 46582 43885 142 357 0 46222 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 206288

[startup+1782.3 s]
/proc/loadavg: 2.00 2.04 2.18 3/181 16451
/proc/meminfo: memFree=28832380/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=1736.96 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 23781 180045 0 0 66 27 173512 91 20 0 1 0 376489414 11071488 2164 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2164 176 442 0 2257 0
[pid=16451] ppid=16258 vsize=49452 CPUtime=44.84 cores=1,3,5,7
/proc/16451/stat : 16451 (glucosInc) R 16258 16257 15337 0 -1 4202496 9867 0 0 0 4482 2 0 0 20 0 1 0 376663158 50638848 11446 33554432000 4194304 5654031 140735874942064 140735874929880 4232505 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16451/statm: 12363 11446 142 357 0 12003 0
Current children cumulated CPU time (s) 1781.8
Current children cumulated vsize (KiB) 69412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.03 2.18 3/181 16451
/proc/meminfo: memFree=28817488/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=1736.96 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 23781 180045 0 0 66 27 173512 91 20 0 1 0 376489414 11071488 2164 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2164 176 442 0 2257 0
[pid=16451] ppid=16258 vsize=62136 CPUtime=63.05 cores=1,3,5,7
/proc/16451/stat : 16451 (glucosInc) R 16258 16257 15337 0 -1 4202496 11034 0 0 0 6302 3 0 0 20 0 1 0 376663158 63627264 14060 33554432000 4194304 5654031 140735874942064 140735874929880 4232408 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16451/statm: 15534 14060 142 357 0 15174 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 82096

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 2.00 2.03 2.18 3/181 16451
/proc/meminfo: memFree=28817488/32873648 swapFree=7372/7372
[pid=16257] ppid=16255 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16257/stat : 16257 (npSolver-pbo-It) S 16255 16257 15337 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376489414 9367552 275 33554432000 4194304 5064252 140736364965232 140736364964144 259112199758 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16257/statm: 2287 275 233 213 0 72 0
[pid=16258] ppid=16257 vsize=10812 CPUtime=1736.96 cores=1,3,5,7
/proc/16258/stat : 16258 (npSolver-pbo) S 16257 16257 15337 0 -1 4202496 23781 180045 0 0 66 27 173512 91 20 0 1 0 376489414 11071488 2164 33554432000 4194304 6004724 140735881579408 140735881565256 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16258/statm: 2703 2164 176 442 0 2257 0
[pid=16451] ppid=16258 vsize=62136 CPUtime=63.05 cores=1,3,5,7
/proc/16451/stat : 16451 (glucosInc) R 16258 16257 15337 0 -1 4202496 11034 0 0 0 6302 3 0 0 20 0 1 0 376663158 63627264 14060 33554432000 4194304 5654031 140735874942064 140735874929880 4232408 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/16451/statm: 15534 14060 142 357 0 15174 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 82096

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.05
CPU user time (s): 1798.82
CPU system time (s): 1.23181
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 237116

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.82
system time used= 1.23181
maximum resident set size= 198336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 215240
page faults= 0
swaps= 0
block input operations= 0
block output operations= 129488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2364
involuntary context switches= 2218

runsolver used 5.2532 second user time and 15.3887 second system time

The end

Launcher Data

Begin job on node124 at 2012-06-07 23:13:55
IDJOB=3747701
IDBENCH=48268
IDSOLVER=2332
FILE ID=node124/3747701-1339103635
RUNJOBID= node124-1339098179-15354
PBS_JOBID= 14643729
Free space on /tmp= 70800 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_10_5.opb
COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3747701-1339103635/watcher-3747701-1339103635 -o /tmp/evaluation-result-3747701-1339103635/solver-3747701-1339103635 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itd.sh HOME/instance-3747701-1339103635.opb 674382654 HOME HOME

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

MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c
RANDOM SEED=674382654

node124.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.325
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.65
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5357.53
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.325
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	: 5385.03
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.325
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	: 5385.04
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.325
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	: 5385.03
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.325
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	: 5385.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29181144 kB
Buffers:          291712 kB
Cached:          2560244 kB
SwapCached:         8612 kB
Active:          1040596 kB
Inactive:        1841812 kB
Active(anon):      21248 kB
Inactive(anon):    11112 kB
Active(file):    1019348 kB
Inactive(file):  1830700 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67092344 kB
Dirty:             16764 kB
Writeback:             0 kB
AnonPages:         22836 kB
Mapped:            10604 kB
Shmem:                 0 kB
Slab:             674304 kB
SReclaimable:     118616 kB
SUnreclaim:       555688 kB
KernelStack:        1504 kB
PageTables:         4176 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     145928 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70740 MiB
End job on node124 at 2012-06-07 23:43:56