Trace number 3752489

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-quickBound (fixed)? (TO) 1800.05 1800.62

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.29	c run inc solver
0.00/0.29	c [INC SYSTEM] run initial solver
0.00/0.29	c [INC SYSTEM] preprocess with white file
1.26/1.32	c [INC SYSTEM] finished preprocessing in 1 s
1.26/1.32	c [INC SYSTEM] execute solver
3.05/3.14	c [INC SEARCH] formula is SAT
3.05/3.14	c [INC SYSTEM] solved the initial formula
3.05/3.15	c model valid
3.05/3.15	c current solution ok
3.36/3.42	o -86
3.36/3.42	c starting approximation
3.36/3.42	c factor = 1
3.36/3.42	c can not find a suitable factor, leaving approximation
3.36/3.42	c finished approximation
3.36/3.42	c [INC SYSTEM] there exists a inc, kill it!
3.36/3.42	c write failed with 2
3.36/3.42	c [INC SEARCH] iteration: 0
3.36/3.42	c [INC BOUNDS] best value:414 search for 413
3.36/3.42	c [INC SYSTEM] create new solver instance
3.36/3.42	c [INC] encode full formula
3.36/3.42	c (debug) using card networks
3.36/3.42	c old isEQ: 48, new EQ is 0
3.36/3.43	c set iterative enc to: card
3.36/3.43	c set iterative enc to: none
3.36/3.44	c [INC SEARCH] isOptimum variable: 0
5.05/5.16	c formula is SAT
5.05/5.17	c [INC SEARCH] copied best model
5.17/5.29	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
5.17/5.29	c model valid
5.17/5.29	c current solution ok
5.17/5.29	o -87
5.17/5.29	c [INC SEARCH] iteration: 1
5.17/5.29	c [INC BOUNDS] best value:413 search for 412
5.17/5.29	c [INC SYSTEM] there exists a inc, kill it!
5.17/5.29	c write failed with 2
5.17/5.29	c [INC SYSTEM] create new solver instance
5.17/5.29	c [INC] encode full formula
5.17/5.29	c (debug) using card networks
5.17/5.29	c old isEQ: 0, new EQ is 0
5.17/5.29	c set iterative enc to: card
5.17/5.29	c set iterative enc to: none
5.17/5.32	c [INC SEARCH] isOptimum variable: 0
6.73/6.94	c formula is SAT
6.73/6.94	c [INC SEARCH] copied best model
6.73/6.94	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
6.73/6.95	c model valid
6.73/6.95	c current solution ok
6.73/6.95	o -88
6.73/6.95	c [INC SEARCH] iteration: 2
6.73/6.95	c [INC BOUNDS] best value:412 search for 411
6.73/6.95	c [INC SYSTEM] there exists a inc, kill it!
6.73/6.95	c write failed with 2
6.73/6.95	c [INC SYSTEM] create new solver instance
6.73/6.95	c [INC] encode full formula
6.73/6.95	c (debug) using card networks
6.73/6.95	c old isEQ: 0, new EQ is 0
6.73/6.96	c set iterative enc to: card
6.73/6.96	c set iterative enc to: none
6.73/6.97	c [INC SEARCH] isOptimum variable: 0
11.55/11.70	c formula is SAT
11.55/11.71	c [INC SEARCH] copied best model
11.55/11.71	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
11.55/11.71	c model valid
11.55/11.71	c current solution ok
11.55/11.71	o -89
11.55/11.71	c [INC SEARCH] iteration: 3
11.55/11.71	c [INC BOUNDS] best value:411 search for 410
11.55/11.71	c [INC SYSTEM] there exists a inc, kill it!
11.55/11.71	c write failed with 2
11.55/11.71	c [INC SYSTEM] create new solver instance
11.55/11.71	c [INC] encode full formula
11.55/11.71	c (debug) using card networks
11.55/11.71	c old isEQ: 0, new EQ is 0
11.55/11.72	c set iterative enc to: card
11.55/11.72	c set iterative enc to: none
11.55/11.73	c [INC SEARCH] isOptimum variable: 0
16.74/16.90	c formula is SAT
16.74/16.90	c [INC SEARCH] copied best model
16.74/16.96	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
16.74/16.96	c model valid
16.74/16.96	c current solution ok
16.74/16.96	o -92
16.74/16.96	c [INC SEARCH] iteration: 4
16.74/16.96	c [INC BOUNDS] best value:408 search for 407
16.74/16.96	c [INC SYSTEM] there exists a inc, kill it!
16.74/16.96	c write failed with 2
16.74/16.96	c [INC SYSTEM] create new solver instance
16.74/16.96	c [INC] encode full formula
16.74/16.96	c (debug) using card networks
16.74/16.96	c old isEQ: 0, new EQ is 0
16.74/16.96	c set iterative enc to: card
16.74/16.96	c set iterative enc to: none
16.74/16.97	c [INC SEARCH] isOptimum variable: 0
22.10/22.32	c formula is SAT
22.10/22.33	c [INC SEARCH] copied best model
22.10/22.34	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
22.10/22.34	c model valid
22.10/22.34	c current solution ok
22.10/22.34	o -94
22.10/22.34	c [INC SEARCH] iteration: 5
22.10/22.34	c [INC BOUNDS] best value:406 search for 405
22.10/22.34	c [INC SYSTEM] there exists a inc, kill it!
22.10/22.34	c write failed with 2
22.10/22.34	c [INC SYSTEM] create new solver instance
22.10/22.34	c [INC] encode full formula
22.10/22.34	c (debug) using card networks
22.10/22.34	c old isEQ: 0, new EQ is 0
22.10/22.35	c set iterative enc to: card
22.10/22.35	c set iterative enc to: none
22.10/22.39	c [INC SEARCH] isOptimum variable: 0
31.06/31.36	c formula is SAT
31.06/31.37	c [INC SEARCH] copied best model
31.06/31.37	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
31.06/31.37	c model valid
31.06/31.37	c current solution ok
31.06/31.37	o -95
31.06/31.37	c [INC SEARCH] iteration: 6
31.06/31.37	c [INC BOUNDS] best value:405 search for 404
31.06/31.37	c [INC SYSTEM] there exists a inc, kill it!
31.06/31.37	c write failed with 2
31.06/31.38	c [INC SYSTEM] create new solver instance
31.06/31.38	c [INC] encode full formula
31.06/31.38	c (debug) using card networks
31.06/31.38	c old isEQ: 0, new EQ is 0
31.06/31.38	c set iterative enc to: card
31.06/31.38	c set iterative enc to: none
31.06/31.39	c [INC SEARCH] isOptimum variable: 0
45.75/46.06	c formula is SAT
45.75/46.07	c [INC SEARCH] copied best model
45.75/46.07	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
45.75/46.07	c model valid
45.75/46.07	c current solution ok
45.75/46.07	o -96
45.75/46.07	c [INC SEARCH] iteration: 7
45.75/46.07	c [INC BOUNDS] best value:404 search for 403
45.75/46.07	c [INC SYSTEM] there exists a inc, kill it!
45.75/46.07	c write failed with 2
45.75/46.08	c [INC SYSTEM] create new solver instance
45.75/46.08	c [INC] encode full formula
45.75/46.08	c (debug) using card networks
45.75/46.08	c old isEQ: 0, new EQ is 0
45.75/46.09	c set iterative enc to: card
45.75/46.09	c set iterative enc to: none
45.75/46.09	c [INC SEARCH] isOptimum variable: 0
68.96/69.28	c formula is SAT
68.96/69.28	c [INC SEARCH] copied best model
68.96/69.28	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
68.96/69.29	c model valid
68.96/69.29	c current solution ok
68.96/69.29	o -97
68.96/69.29	c [INC SEARCH] iteration: 8
68.96/69.29	c [INC BOUNDS] best value:403 search for 402
68.96/69.29	c [INC SYSTEM] there exists a inc, kill it!
68.96/69.29	c write failed with 2
68.96/69.29	c [INC SYSTEM] create new solver instance
68.96/69.29	c [INC] encode full formula
68.96/69.29	c (debug) using card networks
68.96/69.29	c old isEQ: 0, new EQ is 0
68.96/69.30	c set iterative enc to: card
68.96/69.30	c set iterative enc to: none
69.07/69.31	c [INC SEARCH] isOptimum variable: 0
83.74/84.00	c formula is SAT
83.74/84.00	c [INC SEARCH] copied best model
83.74/84.00	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
83.74/84.01	c model valid
83.74/84.01	c current solution ok
83.74/84.01	o -99
83.74/84.01	c [INC SEARCH] iteration: 9
83.74/84.01	c [INC BOUNDS] best value:401 search for 400
83.74/84.01	c [INC SYSTEM] there exists a inc, kill it!
83.74/84.01	c write failed with 2
83.74/84.01	c [INC SYSTEM] create new solver instance
83.74/84.01	c [INC] encode full formula
83.74/84.01	c (debug) using card networks
83.74/84.01	c old isEQ: 0, new EQ is 0
83.74/84.02	c set iterative enc to: card
83.74/84.02	c set iterative enc to: none
83.74/84.03	c [INC SEARCH] isOptimum variable: 0
100.25/100.55	c formula is SAT
100.25/100.55	c [INC SEARCH] copied best model
100.25/100.55	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
100.25/100.56	c model valid
100.25/100.56	c current solution ok
100.25/100.56	o -102
100.25/100.56	c [INC SEARCH] iteration: 10
100.25/100.56	c [INC BOUNDS] best value:398 search for 397
100.25/100.56	c [INC SYSTEM] there exists a inc, kill it!
100.25/100.56	c write failed with 2
100.25/100.56	c [INC SYSTEM] create new solver instance
100.25/100.56	c [INC] encode full formula
100.25/100.56	c (debug) using card networks
100.25/100.56	c old isEQ: 0, new EQ is 0
100.25/100.57	c set iterative enc to: card
100.25/100.57	c set iterative enc to: none
100.25/100.58	c [INC SEARCH] isOptimum variable: 0
163.73/164.01	c formula is SAT
163.73/164.01	c [INC SEARCH] copied best model
163.73/164.01	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
163.73/164.02	c model valid
163.73/164.02	c current solution ok
163.73/164.02	o -103
163.73/164.02	c [INC SEARCH] iteration: 11
163.73/164.02	c [INC BOUNDS] best value:397 search for 396
163.73/164.02	c [INC SYSTEM] there exists a inc, kill it!
163.73/164.02	c write failed with 2
163.73/164.02	c [INC SYSTEM] create new solver instance
163.73/164.02	c [INC] encode full formula
163.73/164.02	c (debug) using card networks
163.73/164.02	c old isEQ: 0, new EQ is 0
163.73/164.03	c set iterative enc to: card
163.73/164.03	c set iterative enc to: none
163.73/164.04	c [INC SEARCH] isOptimum variable: 0
214.61/214.98	c formula is SAT
214.61/214.98	c [INC SEARCH] copied best model
214.61/214.98	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
214.61/214.99	c model valid
214.61/214.99	c current solution ok
214.61/214.99	o -106
214.61/214.99	c [INC SEARCH] iteration: 12
214.61/214.99	c [INC BOUNDS] best value:394 search for 393
214.61/214.99	c [INC SYSTEM] there exists a inc, kill it!
214.61/214.99	c write failed with 2
214.61/214.99	c [INC SYSTEM] create new solver instance
214.61/214.99	c [INC] encode full formula
214.61/214.99	c (debug) using card networks
214.61/214.99	c old isEQ: 0, new EQ is 0
214.73/215.00	c set iterative enc to: card
214.73/215.00	c set iterative enc to: none
214.73/215.00	c [INC SEARCH] isOptimum variable: 0
259.39/259.75	c formula is SAT
259.39/259.75	c [INC SEARCH] copied best model
259.39/259.75	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
259.39/259.76	c model valid
259.39/259.76	c current solution ok
259.39/259.76	o -108
259.39/259.76	c [INC SEARCH] iteration: 13
259.39/259.76	c [INC BOUNDS] best value:392 search for 391
259.39/259.76	c [INC SYSTEM] there exists a inc, kill it!
259.39/259.76	c write failed with 2
259.39/259.76	c [INC SYSTEM] create new solver instance
259.39/259.76	c [INC] encode full formula
259.39/259.76	c (debug) using card networks
259.39/259.76	c old isEQ: 0, new EQ is 0
259.39/259.77	c set iterative enc to: card
259.39/259.77	c set iterative enc to: none
259.39/259.77	c [INC SEARCH] isOptimum variable: 0
394.06/394.42	c formula is SAT
394.06/394.42	c [INC SEARCH] copied best model
394.06/394.42	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
394.06/394.43	c model valid
394.06/394.43	c current solution ok
394.06/394.43	o -109
394.06/394.43	c [INC SEARCH] iteration: 14
394.06/394.43	c [INC BOUNDS] best value:391 search for 390
394.06/394.43	c [INC SYSTEM] there exists a inc, kill it!
394.06/394.43	c write failed with 2
394.06/394.43	c [INC SYSTEM] create new solver instance
394.06/394.43	c [INC] encode full formula
394.06/394.43	c (debug) using card networks
394.06/394.43	c old isEQ: 0, new EQ is 0
394.06/394.44	c set iterative enc to: card
394.06/394.44	c set iterative enc to: none
394.06/394.45	c [INC SEARCH] isOptimum variable: 0
519.74/520.11	c formula is SAT
519.74/520.12	c [INC SEARCH] copied best model
519.74/520.12	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
519.74/520.12	c model valid
519.74/520.12	c current solution ok
519.74/520.12	o -110
519.74/520.12	c [INC SEARCH] iteration: 15
519.74/520.12	c [INC BOUNDS] best value:390 search for 389
519.74/520.12	c [INC SYSTEM] there exists a inc, kill it!
519.74/520.12	c write failed with 2
519.74/520.13	c [INC SYSTEM] create new solver instance
519.74/520.13	c [INC] encode full formula
519.74/520.13	c (debug) using card networks
519.74/520.13	c old isEQ: 0, new EQ is 0
519.74/520.13	c set iterative enc to: card
519.74/520.13	c set iterative enc to: none
519.74/520.15	c [INC SEARCH] isOptimum variable: 0
1700.83/1701.44	c formula is SAT
1700.83/1701.44	c [INC SEARCH] copied best model
1700.83/1701.44	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1700.83/1701.45	c model valid
1700.83/1701.45	c current solution ok
1700.83/1701.45	o -112
1700.83/1701.45	c [INC SEARCH] iteration: 16
1700.83/1701.45	c [INC BOUNDS] best value:388 search for 387
1700.83/1701.45	c [INC SYSTEM] there exists a inc, kill it!
1700.83/1701.45	c write failed with 2
1700.83/1701.46	c [INC SYSTEM] create new solver instance
1700.83/1701.46	c [INC] encode full formula
1700.83/1701.46	c (debug) using card networks
1700.83/1701.46	c old isEQ: 0, new EQ is 0
1700.83/1701.46	c set iterative enc to: card
1700.83/1701.46	c set iterative enc to: none
1700.83/1701.48	c [INC SEARCH] isOptimum variable: 0
1800.01/1800.61	c [INC SYSTEM] an unexpexted return value has been received, exit
1800.01/1800.61	s UNKNOWN
1800.01/1800.61	c [INC SYSTEM] there exists a inc, kill it!
1800.01/1800.61	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-3752489-1339145085/watcher-3752489-1339145085 -o /tmp/evaluation-result-3752489-1339145085/solver-3752489-1339145085 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3752489-1339145085.opb 768738478 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.06 2.01 2.00 3/180 14789
/proc/meminfo: memFree=31614828/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0

[startup+0.082531 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 14789
/proc/meminfo: memFree=31614828/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100293 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 14789
/proc/meminfo: memFree=31614828/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300165 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 14789
/proc/meminfo: memFree=31614828/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700176 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 14789
/proc/meminfo: memFree=31614828/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50027 s]
/proc/loadavg: 2.06 2.01 2.00 3/184 14793
/proc/meminfo: memFree=31558156/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=1.29 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 8823 12025 0 0 26 1 91 11 20 0 1 0 24475102 11071488 2154 33554432000 4194304 6004724 140736683566640 140736683552920 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2154 167 442 0 2257 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 19960

[startup+3.10031 s]
/proc/loadavg: 2.06 2.01 2.00 3/183 14795
/proc/meminfo: memFree=31584512/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=1.29 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 8823 12025 0 0 26 1 91 11 20 0 1 0 24475102 11071488 2154 33554432000 4194304 6004724 140736683566640 140736683552920 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2154 167 442 0 2257 0
[pid=14795] ppid=14790 vsize=24804 CPUtime=1.76 cores=0,2,4,6
/proc/14795/stat : 14795 (glucosInc) R 14790 14789 13680 0 -1 4202496 4720 0 0 0 175 1 0 0 20 0 1 0 24475234 25399296 5032 33554432000 4194304 5654031 140734355897360 140734355885176 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14795/statm: 6201 5032 140 357 0 5841 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 44764

[startup+6.30031 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 14800
/proc/meminfo: memFree=31577088/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=5.17 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 10659 23675 0 0 35 24 442 16 20 0 1 0 24475102 11071488 2176 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2176 189 442 0 2257 0
[pid=14800] ppid=14790 vsize=28112 CPUtime=0.96 cores=0,2,4,6
/proc/14800/stat : 14800 (glucosInc) R 14790 14789 13680 0 -1 4202496 5835 0 0 0 95 1 0 0 20 0 1 0 24475634 28786688 6017 33554432000 4194304 5654031 140735431404256 140735431402136 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14800/statm: 7028 6017 140 357 0 6668 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 48072

[startup+12.7003 s]
/proc/loadavg: 2.05 2.01 2.00 3/183 14804
/proc/meminfo: memFree=31577336/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=11.59 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 12523 37515 0 0 40 24 1074 21 20 0 1 0 24475102 11071488 2176 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2176 189 442 0 2257 0
[pid=14804] ppid=14790 vsize=28116 CPUtime=0.95 cores=0,2,4,6
/proc/14804/stat : 14804 (glucosInc) R 14790 14789 13680 0 -1 4202496 5838 0 0 0 94 1 0 0 20 0 1 0 24476275 28790784 6020 33554432000 4194304 5654031 140737355543776 140737355541560 4232571 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14804/statm: 7029 6020 140 357 0 6669 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 48076

[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 14809
/proc/meminfo: memFree=31538768/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=22.17 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 14387 52431 0 0 44 25 2122 26 20 0 1 0 24475102 11071488 2176 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2176 189 442 0 2257 0
[pid=14809] ppid=14790 vsize=28664 CPUtime=3.09 cores=0,2,4,6
/proc/14809/stat : 14809 (glucosInc) R 14790 14789 13680 0 -1 4202496 5948 0 0 0 308 1 0 0 20 0 1 0 24477341 29351936 6162 33554432000 4194304 5654031 140735109567328 140735109555144 4208659 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/14809/statm: 7166 6162 141 357 0 6806 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 48624

[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14813
/proc/meminfo: memFree=31574892/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=45.87 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 16251 69389 0 0 48 25 4482 32 20 0 1 0 24475102 11071488 2176 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2176 189 442 0 2257 0
[pid=14813] ppid=14790 vsize=29328 CPUtime=4.99 cores=0,2,4,6
/proc/14813/stat : 14813 (glucosInc) R 14790 14789 13680 0 -1 4202496 6692 0 0 0 498 1 0 0 20 0 1 0 24479711 30031872 6238 33554432000 4194304 5654031 140734985201184 140734985189000 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14813/statm: 7332 6238 142 357 0 6972 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 49288

[startup+102.307 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 14821
/proc/meminfo: memFree=31636644/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=100.34 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 19047 95790 0 0 55 26 9914 39 20 0 1 0 24475102 11071488 2176 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2176 189 442 0 2257 0
[pid=14821] ppid=14790 vsize=28108 CPUtime=1.71 cores=0,2,4,6
/proc/14821/stat : 14821 (glucosInc) R 14790 14789 13680 0 -1 4202496 5724 0 0 0 171 0 0 0 20 0 1 0 24485159 28782592 5914 33554432000 4194304 5654031 140736490101696 140736490099576 4232916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14821/statm: 7027 5914 140 357 0 6667 0
Current children cumulated CPU time (s) 102.05
Current children cumulated vsize (KiB) 48068

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14821
/proc/meminfo: memFree=31591700/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=100.34 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 19047 95790 0 0 55 26 9914 39 20 0 1 0 24475102 11071488 2176 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2176 189 442 0 2257 0
[pid=14821] ppid=14790 vsize=63596 CPUtime=61.69 cores=0,2,4,6
/proc/14821/stat : 14821 (glucosInc) R 14790 14789 13680 0 -1 4202496 10044 0 0 0 6166 3 0 0 20 0 1 0 24485159 65122304 14589 33554432000 4194304 5654031 140736490101696 140736490089512 4232700 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14821/statm: 15899 14589 142 357 0 15539 0
Current children cumulated CPU time (s) 162.03
Current children cumulated vsize (KiB) 83556

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14878
/proc/meminfo: memFree=31681028/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=214.73 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 20911 117126 0 0 59 26 21342 46 20 0 1 0 24475102 11071488 2176 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2176 189 442 0 2257 0
[pid=14876] ppid=14790 vsize=32572 CPUtime=7.28 cores=0,2,4,6
/proc/14876/stat : 14876 (glucosInc) R 14790 14789 13680 0 -1 4202496 7074 0 0 0 727 1 0 0 20 0 1 0 24496602 33353728 6560 33554432000 4194304 5654031 140734544705504 140734544693320 4233328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14876/statm: 8143 6560 142 357 0 7783 0
Current children cumulated CPU time (s) 222.01
Current children cumulated vsize (KiB) 52532

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14884
/proc/meminfo: memFree=31659332/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/meminfo: memFree=31486460/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=173056 CPUtime=722.02 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 16261 0 0 0 72187 15 0 0 20 0 1 0 24527116 177209344 36512 33554432000 4194304 5654031 140734976956048 140734976943864 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 43264 36512 142 357 0 42904 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 193016

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14922
/proc/meminfo: memFree=31529404/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=123736 CPUtime=782.01 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 16809 0 0 0 78185 16 0 0 20 0 1 0 24527116 126705664 25644 33554432000 4194304 5654031 140734976956048 140734976954072 4232484 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 30934 25644 142 357 0 30574 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 143696

[startup+1362.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 14922
/proc/meminfo: memFree=31469224/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=137012 CPUtime=841.99 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 18112 0 0 0 84181 18 0 0 20 0 1 0 24527116 140300288 33324 33554432000 4194304 5654031 140734976956048 140734976943864 4232495 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 34253 33324 142 357 0 33893 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 156972

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14922
/proc/meminfo: memFree=31429816/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=186332 CPUtime=901.99 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 18749 0 0 0 90179 20 0 0 20 0 1 0 24527116 190803968 43217 33554432000 4194304 5654031 140734976956048 140734976943864 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 46583 43217 142 357 0 46223 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 206292

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14922
/proc/meminfo: memFree=31390236/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=186332 CPUtime=961.98 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 19484 0 0 0 96176 22 0 0 20 0 1 0 24527116 190803968 45265 33554432000 4194304 5654031 140734976956048 140734976943864 4232960 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 46583 45265 142 357 0 46223 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 206292

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 14925
/proc/meminfo: memFree=31415008/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=217152 CPUtime=1021.97 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 20801 0 0 0 102173 24 0 0 20 0 1 0 24527116 222363648 46868 33554432000 4194304 5654031 140734976956048 140734976943864 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 54288 46868 142 357 0 53928 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 237112

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14926
/proc/meminfo: memFree=31375376/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=217152 CPUtime=1081.96 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 21532 0 0 0 108170 26 0 0 20 0 1 0 24527116 222363648 48404 33554432000 4194304 5654031 140734976956048 140734976943864 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 54288 48404 142 357 0 53928 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 237112

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 14926
/proc/meminfo: memFree=31408780/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=519.79 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 23708 151959 0 0 66 26 51828 59 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14893] ppid=14790 vsize=217152 CPUtime=1141.95 cores=0,2,4,6
/proc/14893/stat : 14893 (glucosInc) R 14790 14789 13680 0 -1 4202496 22266 0 0 0 114167 28 0 0 20 0 1 0 24527116 222363648 48404 33554432000 4194304 5654031 140734976956048 140734976943864 4233173 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14893/statm: 54288 48404 142 357 0 53928 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 237112

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 14928
/proc/meminfo: memFree=31563660/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=1700.92 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 24640 175508 0 0 68 26 169908 90 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14928] ppid=14790 vsize=45024 CPUtime=20.8 cores=0,2,4,6
/proc/14928/stat : 14928 (glucosInc) R 14790 14789 13680 0 -1 4202496 8456 0 0 0 2078 2 0 0 20 0 1 0 24645250 46104576 9966 33554432000 4194304 5654031 140737088055920 140737088043736 4215138 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14928/statm: 11256 9966 142 357 0 10896 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 64984

[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14928
/proc/meminfo: memFree=31517060/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=1700.92 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 24640 175508 0 0 68 26 169908 90 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14928] ppid=14790 vsize=55792 CPUtime=80.79 cores=0,2,4,6
/proc/14928/stat : 14928 (glucosInc) R 14790 14789 13680 0 -1 4202496 11264 0 0 0 8076 3 0 0 20 0 1 0 24645250 57131008 13077 33554432000 4194304 5654031 140737088055920 140737088043736 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14928/statm: 13948 13077 142 357 0 13588 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 75752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 14928
/proc/meminfo: memFree=31533940/32873844 swapFree=7632/7632
[pid=14789] ppid=14787 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/14789/stat : 14789 (npSolver-pbo-It) S 14787 14789 13680 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 24475101 9367552 274 33554432000 4194304 5064252 140735823814128 140735823813040 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/14789/statm: 2287 274 233 213 0 72 0
[pid=14790] ppid=14789 vsize=10812 CPUtime=1700.92 cores=0,2,4,6
/proc/14790/stat : 14790 (npSolver-pbo) S 14789 14789 13680 0 -1 4202496 24640 175508 0 0 68 26 169908 90 20 0 1 0 24475102 11071488 2177 33554432000 4194304 6004724 140736683566640 140736683552488 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/14790/statm: 2703 2177 189 442 0 2257 0
[pid=14928] ppid=14790 vsize=74468 CPUtime=99.09 cores=0,2,4,6
/proc/14928/stat : 14928 (glucosInc) R 14790 14789 13680 0 -1 4202496 11326 0 0 0 9906 3 0 0 20 0 1 0 24645250 76255232 17226 33554432000 4194304 5654031 140737088055920 140737088043736 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/14928/statm: 18617 17226 142 357 0 18257 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 94428

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.05
CPU user time (s): 1798.84
CPU system time (s): 1.21581
CPU usage (%): 99.9688
Max. virtual memory (cumulated for all children) (KiB): 237112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.84
system time used= 1.21582
maximum resident set size= 197712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 211853
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= 2415
involuntary context switches= 2191

runsolver used 3.22451 second user time and 8.58769 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-08 10:44:45
IDJOB=3752489
IDBENCH=48268
IDSOLVER=2335
FILE ID=node135/3752489-1339145085
RUNJOBID= node135-1339134279-13696
PBS_JOBID= 14643799
Free space on /tmp= 70584 MiB

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

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

MD5SUM BENCH= 9b75ee50c2c62e6be495e8bd0a94fa2c
RANDOM SEED=768738478

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

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.905
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	: 5274.12
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.905
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.905
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.905
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.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.905
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31615208 kB
Buffers:           91516 kB
Cached:           240676 kB
SwapCached:         2232 kB
Active:           404440 kB
Inactive:          45128 kB
Active(anon):     118712 kB
Inactive(anon):     1060 kB
Active(file):     285728 kB
Inactive(file):    44068 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67098800 kB
Dirty:              8548 kB
Writeback:             0 kB
AnonPages:         97324 kB
Mapped:             9272 kB
Shmem:                 0 kB
Slab:             667452 kB
SReclaimable:     108944 kB
SUnreclaim:       558508 kB
KernelStack:        1520 kB
PageTables:         4300 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     243804 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 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= 70572 MiB
End job on node135 at 2012-06-08 11:14:45