Trace number 3698381

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? (TO) 1800.02 1799.82

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6013_4.std.opb
MD5SUMda670fe6dfaf44f990525edb598421e7
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark106
Best CPU time to get the best result obtained on this benchmark1800.05
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36722
Total number of constraints117773
Number of constraints which are clauses116573
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint60
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

1.39/1.49	c run inc solver
1.39/1.49	c [INC SYSTEM] run initial solver
1.39/1.49	c [INC SYSTEM] preprocess with white file
12.67/12.72	c [INC SYSTEM] finished preprocessing in 11 s
12.67/12.72	c [INC SYSTEM] execute solver
84.48/84.50	c [INC SEARCH] formula is SAT
84.48/84.58	c [INC SYSTEM] solved the initial formula
84.68/84.75	c model valid
84.68/84.75	c current solution ok
89.02/89.14	o 300
89.02/89.14	c [INC SYSTEM] there exists a inc, kill it!
89.02/89.14	c write failed with 2
89.02/89.16	c [INC SEARCH] iteration: 0
89.02/89.16	c [INC BOUNDS] best value:300 search for 299
89.02/89.16	c [INC SYSTEM] create new solver instance
89.02/89.16	c [INC] encode full formula
89.18/89.20	c set iterative enc to: swc
89.19/89.30	c [INC SEARCH] isOptimum variable: 0
92.90/92.95	c formula is SAT
93.01/93.04	c [INC SEARCH] copied best model
93.30/93.38	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
93.30/93.38	c model valid
93.30/93.38	c current solution ok
93.30/93.38	o 250
93.30/93.38	c [INC SEARCH] iteration: 1
93.30/93.38	c [INC BOUNDS] best value:250 search for 249
93.30/93.38	c [INC ENCODE] setup new number of clauses ...
93.30/93.38	c [INC] encode incremental formula
93.30/93.38	c return only the limitting unit clause for 249
93.30/93.38	c [INC SYSTEM] transmit new clauses to solver: 1
93.30/93.38	c [INC SEARCH] isOptimum variable: 0
93.84/93.89	c formula is SAT
93.94/93.98	c [INC SEARCH] copied best model
93.94/93.98	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
94.14/94.14	c model valid
94.14/94.14	c current solution ok
94.14/94.14	o 249
94.14/94.14	c [INC SEARCH] iteration: 2
94.14/94.14	c [INC BOUNDS] best value:249 search for 248
94.14/94.14	c [INC ENCODE] setup new number of clauses ...
94.14/94.14	c [INC] encode incremental formula
94.14/94.14	c return only the limitting unit clause for 248
94.14/94.14	c [INC SYSTEM] transmit new clauses to solver: 1
94.14/94.14	c [INC SEARCH] isOptimum variable: 0
94.77/94.79	c formula is SAT
94.88/94.88	c [INC SEARCH] copied best model
94.88/94.88	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
95.08/95.04	c model valid
95.08/95.04	c current solution ok
95.08/95.04	o 122
95.08/95.04	c [INC SEARCH] iteration: 3
95.08/95.04	c [INC BOUNDS] best value:122 search for 121
95.08/95.04	c [INC ENCODE] setup new number of clauses ...
95.08/95.04	c [INC] encode incremental formula
95.08/95.04	c return only the limitting unit clause for 121
95.08/95.04	c [INC SYSTEM] transmit new clauses to solver: 1
95.08/95.04	c [INC SEARCH] isOptimum variable: 0
95.70/95.70	c formula is SAT
95.81/95.79	c [INC SEARCH] copied best model
95.81/95.79	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
96.01/95.94	c model valid
96.01/95.94	c current solution ok
96.01/95.94	o 121
96.01/95.94	c [INC SEARCH] iteration: 4
96.01/95.94	c [INC BOUNDS] best value:121 search for 120
96.01/95.94	c [INC ENCODE] setup new number of clauses ...
96.01/95.94	c [INC] encode incremental formula
96.01/95.94	c return only the limitting unit clause for 120
96.01/95.94	c [INC SYSTEM] transmit new clauses to solver: 1
96.01/95.94	c [INC SEARCH] isOptimum variable: 0
96.74/96.61	c formula is SAT
96.74/96.70	c [INC SEARCH] copied best model
96.85/96.70	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
96.95/96.86	c model valid
96.95/96.86	c current solution ok
96.95/96.86	o 120
96.95/96.86	c [INC SEARCH] iteration: 5
96.95/96.86	c [INC BOUNDS] best value:120 search for 119
96.95/96.86	c [INC ENCODE] setup new number of clauses ...
96.95/96.86	c [INC] encode incremental formula
96.95/96.86	c return only the limitting unit clause for 119
96.95/96.86	c [INC SYSTEM] transmit new clauses to solver: 1
96.95/96.86	c [INC SEARCH] isOptimum variable: 0
97.68/97.54	c formula is SAT
97.78/97.63	c [INC SEARCH] copied best model
97.78/97.63	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
97.88/97.79	c model valid
97.88/97.79	c current solution ok
97.88/97.79	o 119
97.88/97.79	c [INC SEARCH] iteration: 6
97.88/97.79	c [INC BOUNDS] best value:119 search for 118
97.88/97.79	c [INC ENCODE] setup new number of clauses ...
97.88/97.79	c [INC] encode incremental formula
97.88/97.79	c return only the limitting unit clause for 118
97.88/97.79	c [INC SYSTEM] transmit new clauses to solver: 1
97.88/97.79	c [INC SEARCH] isOptimum variable: 0
98.79/98.60	c formula is SAT
98.79/98.69	c [INC SEARCH] copied best model
98.79/98.69	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
98.99/98.85	c model valid
98.99/98.85	c current solution ok
98.99/98.85	o 118
98.99/98.85	c [INC SEARCH] iteration: 7
98.99/98.85	c [INC BOUNDS] best value:118 search for 117
98.99/98.85	c [INC ENCODE] setup new number of clauses ...
98.99/98.85	c [INC] encode incremental formula
98.99/98.85	c return only the limitting unit clause for 117
98.99/98.85	c [INC SYSTEM] transmit new clauses to solver: 1
98.99/98.85	c [INC SEARCH] isOptimum variable: 0
99.74/99.50	c formula is SAT
99.74/99.59	c [INC SEARCH] copied best model
99.74/99.59	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
99.94/99.75	c model valid
99.94/99.75	c current solution ok
99.94/99.75	o 117
99.94/99.75	c [INC SEARCH] iteration: 8
99.94/99.75	c [INC BOUNDS] best value:117 search for 116
99.94/99.75	c [INC ENCODE] setup new number of clauses ...
99.94/99.75	c [INC] encode incremental formula
99.94/99.75	c return only the limitting unit clause for 116
99.94/99.75	c [INC SYSTEM] transmit new clauses to solver: 1
99.94/99.75	c [INC SEARCH] isOptimum variable: 0
100.65/100.41	c formula is SAT
100.75/100.50	c [INC SEARCH] copied best model
100.75/100.50	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
100.85/100.66	c model valid
100.85/100.66	c current solution ok
100.85/100.66	o 116
100.85/100.66	c [INC SEARCH] iteration: 9
100.85/100.66	c [INC BOUNDS] best value:116 search for 115
100.85/100.66	c [INC ENCODE] setup new number of clauses ...
100.85/100.66	c [INC] encode incremental formula
100.85/100.66	c return only the limitting unit clause for 115
100.85/100.66	c [INC SYSTEM] transmit new clauses to solver: 1
100.85/100.66	c [INC SEARCH] isOptimum variable: 0
101.60/101.34	c formula is SAT
101.70/101.43	c [INC SEARCH] copied best model
101.70/101.43	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
101.80/101.59	c model valid
101.80/101.59	c current solution ok
101.80/101.59	o 115
101.80/101.59	c [INC SEARCH] iteration: 10
101.80/101.59	c [INC BOUNDS] best value:115 search for 114
101.80/101.59	c [INC ENCODE] setup new number of clauses ...
101.80/101.59	c [INC] encode incremental formula
101.80/101.59	c return only the limitting unit clause for 114
101.80/101.59	c [INC SYSTEM] transmit new clauses to solver: 1
101.80/101.59	c [INC SEARCH] isOptimum variable: 0
103.03/102.71	c formula is SAT
103.13/102.80	c [INC SEARCH] copied best model
103.13/102.80	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
103.23/102.96	c model valid
103.23/102.96	c current solution ok
103.23/102.96	o 114
103.23/102.96	c [INC SEARCH] iteration: 11
103.23/102.96	c [INC BOUNDS] best value:114 search for 113
103.23/102.96	c [INC ENCODE] setup new number of clauses ...
103.23/102.96	c [INC] encode incremental formula
103.23/102.96	c return only the limitting unit clause for 113
103.23/102.96	c [INC SYSTEM] transmit new clauses to solver: 1
103.23/102.96	c [INC SEARCH] isOptimum variable: 0
104.35/104.03	c formula is SAT
104.45/104.12	c [INC SEARCH] copied best model
104.45/104.12	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
104.55/104.28	c model valid
104.55/104.28	c current solution ok
104.55/104.28	o 113
104.55/104.28	c [INC SEARCH] iteration: 12
104.55/104.28	c [INC BOUNDS] best value:113 search for 112
104.55/104.28	c [INC ENCODE] setup new number of clauses ...
104.55/104.28	c [INC] encode incremental formula
104.55/104.28	c return only the limitting unit clause for 112
104.55/104.28	c [INC SYSTEM] transmit new clauses to solver: 1
104.55/104.28	c [INC SEARCH] isOptimum variable: 0
109.78/109.42	c formula is SAT
109.87/109.51	c [INC SEARCH] copied best model
109.87/109.51	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
109.97/109.67	c model valid
109.97/109.67	c current solution ok
109.97/109.67	o 112
109.97/109.67	c [INC SEARCH] iteration: 13
109.97/109.67	c [INC BOUNDS] best value:112 search for 111
109.97/109.67	c [INC ENCODE] setup new number of clauses ...
109.97/109.67	c [INC] encode incremental formula
109.97/109.67	c return only the limitting unit clause for 111
109.97/109.67	c [INC SYSTEM] transmit new clauses to solver: 1
109.97/109.67	c [INC SEARCH] isOptimum variable: 0
110.82/110.40	c formula is SAT
110.82/110.49	c [INC SEARCH] copied best model
110.82/110.49	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
111.02/110.65	c model valid
111.02/110.65	c current solution ok
111.02/110.65	o 111
111.02/110.65	c [INC SEARCH] iteration: 14
111.02/110.65	c [INC BOUNDS] best value:111 search for 110
111.02/110.65	c [INC ENCODE] setup new number of clauses ...
111.02/110.65	c [INC] encode incremental formula
111.02/110.65	c return only the limitting unit clause for 110
111.02/110.65	c [INC SYSTEM] transmit new clauses to solver: 1
111.02/110.65	c [INC SEARCH] isOptimum variable: 0
112.54/112.17	c formula is SAT
112.64/112.26	c [INC SEARCH] copied best model
112.64/112.26	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
112.84/112.42	c model valid
112.84/112.42	c current solution ok
112.84/112.42	o 110
112.84/112.42	c [INC SEARCH] iteration: 15
112.84/112.42	c [INC BOUNDS] best value:110 search for 109
112.84/112.42	c [INC ENCODE] setup new number of clauses ...
112.84/112.42	c [INC] encode incremental formula
112.84/112.42	c return only the limitting unit clause for 109
112.84/112.42	c [INC SYSTEM] transmit new clauses to solver: 1
112.84/112.42	c [INC SEARCH] isOptimum variable: 0
214.04/213.63	c formula is SAT
214.14/213.72	c [INC SEARCH] copied best model
214.14/213.73	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
214.24/213.88	c model valid
214.24/213.88	c current solution ok
214.24/213.88	o 109
214.24/213.88	c [INC SEARCH] iteration: 16
214.24/213.88	c [INC BOUNDS] best value:109 search for 108
214.24/213.88	c [INC ENCODE] setup new number of clauses ...
214.24/213.88	c [INC] encode incremental formula
214.24/213.88	c return only the limitting unit clause for 108
214.24/213.88	c [INC SYSTEM] transmit new clauses to solver: 1
214.24/213.88	c [INC SEARCH] isOptimum variable: 0
1154.59/1154.30	c formula is SAT
1154.69/1154.40	c [INC SEARCH] copied best model
1154.69/1154.40	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1154.80/1154.57	c model valid
1154.80/1154.57	c current solution ok
1154.80/1154.57	o 108
1154.80/1154.57	c [INC SEARCH] iteration: 17
1154.80/1154.57	c [INC BOUNDS] best value:108 search for 107
1154.80/1154.57	c [INC ENCODE] setup new number of clauses ...
1154.80/1154.57	c [INC] encode incremental formula
1154.80/1154.57	c return only the limitting unit clause for 107
1154.80/1154.57	c [INC SYSTEM] transmit new clauses to solver: 1
1154.80/1154.57	c [INC SEARCH] isOptimum variable: 0
1298.99/1298.75	c formula is SAT
1299.09/1298.84	c [INC SEARCH] copied best model
1299.09/1298.84	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1299.30/1299.01	c model valid
1299.30/1299.01	c current solution ok
1299.30/1299.01	o 107
1299.30/1299.01	c [INC SEARCH] iteration: 18
1299.30/1299.01	c [INC BOUNDS] best value:107 search for 106
1299.30/1299.01	c [INC ENCODE] setup new number of clauses ...
1299.30/1299.01	c [INC] encode incremental formula
1299.30/1299.01	c return only the limitting unit clause for 106
1299.30/1299.01	c [INC SYSTEM] transmit new clauses to solver: 1
1299.30/1299.01	c [INC SEARCH] isOptimum variable: 0
1800.02/1799.81	c [INC SYSTEM] an unexpexted return value has been received, exit
1800.02/1799.81	s UNKNOWN
1800.02/1799.81	c [INC SYSTEM] there exists a inc, kill it!
1800.02/1799.81	c write failed with -1
1800.02/1799.81	c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x6338050)

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-3698381-1338084631/watcher-3698381-1338084631 -o /tmp/evaluation-result-3698381-1338084631/solver-3698381-1338084631 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698381-1338084631.opb 1541679976 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.13 2.04 2.01 3/179 6577
/proc/meminfo: memFree=27977016/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0

[startup+0.064394 s]
/proc/loadavg: 2.13 2.04 2.01 3/179 6577
/proc/meminfo: memFree=27977016/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100302 s]
/proc/loadavg: 2.13 2.04 2.01 3/179 6577
/proc/meminfo: memFree=27977016/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300277 s]
/proc/loadavg: 2.13 2.04 2.01 3/179 6577
/proc/meminfo: memFree=27977016/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700319 s]
/proc/loadavg: 2.13 2.04 2.01 3/179 6577
/proc/meminfo: memFree=27977016/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50033 s]
/proc/loadavg: 2.13 2.04 2.01 3/181 6579
/proc/meminfo: memFree=27896472/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=133648 CPUtime=1.48 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 20590 0 0 0 134 14 0 0 20 0 1 0 274588563 136855552 31898 33554432000 4194304 5992684 140735507174528 140735507168976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6578/statm: 33412 31898 165 440 0 32968 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 142796

[startup+3.1004 s]
/proc/loadavg: 2.13 2.04 2.01 3/183 6581
/proc/meminfo: memFree=27683828/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=133648 CPUtime=1.48 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 20590 0 0 0 134 14 0 0 20 0 1 0 274588563 136855552 31898 33554432000 4194304 5992684 140735507174528 140735507168976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6578/statm: 33412 31898 165 440 0 32968 0
[pid=6580] ppid=6578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (cp2_pre.sh) S 6578 6577 1914 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 274588712 9367552 277 33554432000 4194304 5064252 140733360473248 140733360471952 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2287 277 234 213 0 72 0
[pid=6581] ppid=6580 vsize=660292 CPUtime=1.59 cores=0,2,4,6
/proc/6581/stat : 6581 (coprocessor) R 6580 6577 1914 0 -1 4202496 53170 0 0 0 145 14 0 0 20 0 1 0 274588712 676139008 144211 33554432000 4194304 6586260 140733289000480 140733288996744 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/6581/statm: 165073 144212 164 584 0 164485 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 812236

[startup+6.3004 s]
/proc/loadavg: 2.12 2.04 2.01 3/183 6581
/proc/meminfo: memFree=27043440/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=133648 CPUtime=1.48 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 20590 0 0 0 134 14 0 0 20 0 1 0 274588563 136855552 31898 33554432000 4194304 5992684 140735507174528 140735507168976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6578/statm: 33412 31898 165 440 0 32968 0
[pid=6580] ppid=6578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (cp2_pre.sh) S 6578 6577 1914 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 274588712 9367552 277 33554432000 4194304 5064252 140733360473248 140733360471952 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2287 277 234 213 0 72 0
[pid=6581] ppid=6580 vsize=865332 CPUtime=4.79 cores=0,2,4,6
/proc/6581/stat : 6581 (coprocessor) R 6580 6577 1914 0 -1 4202496 85964 0 0 0 458 21 0 0 20 0 1 0 274588712 886099968 212770 33554432000 4194304 6586260 140733289000480 140733288995800 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/6581/statm: 216333 212770 189 584 0 215745 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 1017276

[startup+12.7003 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 6581
/proc/meminfo: memFree=26896196/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=133648 CPUtime=1.48 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 20590 0 0 0 134 14 0 0 20 0 1 0 274588563 136855552 31898 33554432000 4194304 5992684 140735507174528 140735507168976 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/6578/statm: 33412 31898 165 440 0 32968 0
[pid=6580] ppid=6578 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6580/stat : 6580 (cp2_pre.sh) S 6578 6577 1914 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 274588712 9367552 277 33554432000 4194304 5064252 140733360473248 140733360471952 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/6580/statm: 2287 277 234 213 0 72 0
[pid=6581] ppid=6580 vsize=0 CPUtime=11.19 cores=0,2,4,6
/proc/6581/stat : 6581 (coprocessor) R 6580 6577 1914 0 -1 4202500 86983 0 0 0 1087 32 0 0 20 0 1 0 274588712 0 0 33554432000 0 0 0 0 0 0 0 4096 8404994 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6581/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 151944

[startup+25.5004 s]
/proc/loadavg: 2.09 2.03 2.01 3/182 6583
/proc/meminfo: memFree=27438852/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=133648 CPUtime=12.7 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 20606 87886 0 0 134 14 1087 35 20 0 1 0 274588563 136855552 31900 33554432000 4194304 5992684 140735507174528 140735507160792 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6578/statm: 33412 31900 167 440 0 32968 0
[pid=6583] ppid=6578 vsize=387508 CPUtime=12.75 cores=0,2,4,6
/proc/6583/stat : 6583 (glucosInc) R 6578 6577 1914 0 -1 4202496 63037 0 0 0 1263 12 0 0 20 0 1 0 274589835 396808192 89138 33554432000 4194304 5654031 140737237866640 140737237864424 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6583/statm: 96877 89138 131 357 0 96517 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 530304

[startup+51.1004 s]
/proc/loadavg: 2.06 2.03 2.00 3/182 6583
/proc/meminfo: memFree=27436076/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=133648 CPUtime=12.7 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 20606 87886 0 0 134 14 1087 35 20 0 1 0 274588563 136855552 31900 33554432000 4194304 5992684 140735507174528 140735507160792 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/6578/statm: 33412 31900 167 440 0 32968 0
[pid=6583] ppid=6578 vsize=419124 CPUtime=38.35 cores=0,2,4,6
/proc/6583/stat : 6583 (glucosInc) R 6578 6577 1914 0 -1 4202496 63735 0 0 0 3822 13 0 0 20 0 1 0 274589835 429182976 89823 33554432000 4194304 5654031 140737237866640 140737237864424 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6583/statm: 104781 89823 131 357 0 104421 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 561920

[startup+102.307 s]
/proc/loadavg: 2.16 2.06 2.01 3/181 6587
/proc/meminfo: memFree=27311256/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=188812 CPUtime=92.3 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 27977 154469 0 0 535 380 8245 70 20 0 1 0 274588563 193343488 44832 33554432000 4194304 5992684 140735507174528 140735507160360 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/6578/statm: 47203 44832 177 440 0 46759 0
[pid=6587] ppid=6578 vsize=414656 CPUtime=10.31 cores=0,2,4,6
/proc/6587/stat : 6587 (glucosInc) R 6578 6577 1914 0 -1 4202496 71718 0 0 0 1014 17 0 0 20 0 1 0 274597493 424607744 93674 33554432000 4194304 5654031 140734711471984 140734711459800 4976752 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6587/statm: 103664 93674 151 357 0 103304 0
Current children cumulated CPU time (s) 102.61
Current children cumulated vsize (KiB) 612616

[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 6587
/proc/meminfo: memFree=27302472/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=188812 CPUtime=93.77 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 27992 154469 0 0 678 384 8245 70 20 0 1 0 274588563 193343488 44835 33554432000 4194304 5992684 140735507174528 140735507160360 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/6578/statm: 47203 44835 177 440 0 46759 0
[pid=6587] ppid=6578 vsize=414656 CPUtime=68.94 cores=0,2,4,6
/proc/6587/stat : 6587 (glucosInc) R 6578 6577 1914 0 -1 4202496 71947 0 0 0 6876 18 0 0 20 0 1 0 274597493 424607744 95947 33554432000 4194304 5654031 140734711471984 140734711459800 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/6587/statm: 103664 95947 152 357 0 103304 0
Current children cumulated CPU time (s) 162.71
Current children cumulated vsize (KiB) 612616

[startup+222.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 6587
/proc/meminfo: memFree=27303432/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=188812 CPUtime=94.07 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 27993 154469 0 0 707 385 8245 70 20 0 1 0 274588563 193343488 44835 33554432000 4194304 5992684 140735507174528 140735507160360 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 1 0 0
/proc/6578/statm: 47203 44835 177 440 0 46759 0
[pid=6587] ppid=6578 vsize=414656 CPUtime=128.67 cores=0,2,4,6

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

/proc/meminfo: memFree=27284480/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=188812 CPUtime=94.7 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 27998 154469 0 0 769 386 8245 70 20 0 1 0 274588563 193343488 44837 33554432000 4194304 5992684 140735507174528 140735507160360 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/6578/statm: 47203 44837 177 440 0 46759 0
[pid=6587] ppid=6578 vsize=425124 CPUtime=1207.9 cores=0,2,4,6
/proc/6587/stat : 6587 (glucosInc) R 6578 6577 1914 0 -1 4202496 77986 0 0 0 120758 32 0 0 20 0 1 0 274597493 435326976 99189 33554432000 4194304 5654031 140734711471984 140734711459800 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 106281 99189 152 357 0 105921 0
Current children cumulated CPU time (s) 1302.6
Current children cumulated vsize (KiB) 623084

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 6597
/proc/meminfo: memFree=27274988/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=188812 CPUtime=94.7 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 27998 154469 0 0 769 386 8245 70 20 0 1 0 274588563 193343488 44837 33554432000 4194304 5992684 140735507174528 140735507160360 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/6578/statm: 47203 44837 177 440 0 46759 0
[pid=6587] ppid=6578 vsize=425124 CPUtime=1267.89 cores=0,2,4,6
/proc/6587/stat : 6587 (glucosInc) R 6578 6577 1914 0 -1 4202496 77989 0 0 0 126756 33 0 0 20 0 1 0 274597493 435326976 100725 33554432000 4194304 5654031 140734711471984 140734711459800 4233187 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 106281 100725 152 357 0 105921 0
Current children cumulated CPU time (s) 1362.59
Current children cumulated vsize (KiB) 623084

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 6598
/proc/meminfo: memFree=28223540/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=188812 CPUtime=94.7 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 27998 154469 0 0 769 386 8245 70 20 0 1 0 274588563 193343488 44837 33554432000 4194304 5992684 140735507174528 140735507160360 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/6578/statm: 47203 44837 177 440 0 46759 0
[pid=6587] ppid=6578 vsize=455944 CPUtime=1327.89 cores=0,2,4,6
/proc/6587/stat : 6587 (glucosInc) R 6578 6577 1914 0 -1 4202496 78590 0 0 0 132755 34 0 0 20 0 1 0 274597493 466886656 102328 33554432000 4194304 5654031 140734711471984 140734711459800 4214603 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 113986 102328 152 357 0 113626 0
Current children cumulated CPU time (s) 1422.59
Current children cumulated vsize (KiB) 653904

[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 4/181 6641
/proc/meminfo: memFree=25899912/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=188812 CPUtime=94.7 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 27998 154469 0 0 769 386 8245 70 20 0 1 0 274588563 193343488 44837 33554432000 4194304 5992684 140735507174528 140735507160360 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/6578/statm: 47203 44837 177 440 0 46759 0
[pid=6587] ppid=6578 vsize=455944 CPUtime=1387.87 cores=0,2,4,6
/proc/6587/stat : 6587 (glucosInc) R 6578 6577 1914 0 -1 4202496 78593 0 0 0 138753 34 0 0 20 0 1 0 274597493 466886656 103864 33554432000 4194304 5654031 140734711471984 140734711459800 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 113986 103864 152 357 0 113626 0
Current children cumulated CPU time (s) 1482.57
Current children cumulated vsize (KiB) 653904

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 4/181 6641
/proc/meminfo: memFree=25826724/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=188812 CPUtime=94.7 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 27998 154469 0 0 769 386 8245 70 20 0 1 0 274588563 193343488 44837 33554432000 4194304 5992684 140735507174528 140735507160360 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/6578/statm: 47203 44837 177 440 0 46759 0
[pid=6587] ppid=6578 vsize=455944 CPUtime=1447.86 cores=0,2,4,6
/proc/6587/stat : 6587 (glucosInc) R 6578 6577 1914 0 -1 4202496 78596 0 0 0 144752 34 0 0 20 0 1 0 274597493 466886656 105400 33554432000 4194304 5654031 140734711471984 140734711459800 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 113986 105400 152 357 0 113626 0
Current children cumulated CPU time (s) 1542.56
Current children cumulated vsize (KiB) 653904

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 6642
/proc/meminfo: memFree=25801280/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=188812 CPUtime=94.7 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 27998 154469 0 0 769 386 8245 70 20 0 1 0 274588563 193343488 44837 33554432000 4194304 5992684 140735507174528 140735507160360 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/6578/statm: 47203 44837 177 440 0 46759 0
[pid=6587] ppid=6578 vsize=455944 CPUtime=1507.85 cores=0,2,4,6
/proc/6587/stat : 6587 (glucosInc) R 6578 6577 1914 0 -1 4202496 78599 0 0 0 150751 34 0 0 20 0 1 0 274597493 466886656 106936 33554432000 4194304 5654031 140734711471984 140734711459800 4232431 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 113986 106936 152 357 0 113626 0
Current children cumulated CPU time (s) 1602.55
Current children cumulated vsize (KiB) 653904

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 6642
/proc/meminfo: memFree=25789512/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=188812 CPUtime=94.7 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 27998 154469 0 0 769 386 8245 70 20 0 1 0 274588563 193343488 44837 33554432000 4194304 5992684 140735507174528 140735507160360 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/6578/statm: 47203 44837 177 440 0 46759 0
[pid=6587] ppid=6578 vsize=455944 CPUtime=1567.84 cores=0,2,4,6
/proc/6587/stat : 6587 (glucosInc) R 6578 6577 1914 0 -1 4202496 78810 0 0 0 156749 35 0 0 20 0 1 0 274597493 466886656 108668 33554432000 4194304 5654031 140734711471984 140734711459800 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 113986 108668 152 357 0 113626 0
Current children cumulated CPU time (s) 1662.54
Current children cumulated vsize (KiB) 653904

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/181 6642
/proc/meminfo: memFree=25806136/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=188812 CPUtime=94.7 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 27998 154469 0 0 769 386 8245 70 20 0 1 0 274588563 193343488 44837 33554432000 4194304 5992684 140735507174528 140735507160360 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/6578/statm: 47203 44837 177 440 0 46759 0
[pid=6587] ppid=6578 vsize=456576 CPUtime=1627.82 cores=0,2,4,6
/proc/6587/stat : 6587 (glucosInc) R 6578 6577 1914 0 -1 4202496 79578 0 0 0 162746 36 0 0 20 0 1 0 274597493 467533824 102732 33554432000 4194304 5654031 140734711471984 140734711459800 4232973 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 114144 102732 152 357 0 113784 0
Current children cumulated CPU time (s) 1722.52
Current children cumulated vsize (KiB) 654536

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/182 6645
/proc/meminfo: memFree=25797688/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=188812 CPUtime=94.7 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 27998 154469 0 0 769 386 8245 70 20 0 1 0 274588563 193343488 44837 33554432000 4194304 5992684 140735507174528 140735507160360 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/6578/statm: 47203 44837 177 440 0 46759 0
[pid=6587] ppid=6578 vsize=456576 CPUtime=1687.81 cores=0,2,4,6
/proc/6587/stat : 6587 (glucosInc) R 6578 6577 1914 0 -1 4202496 79596 0 0 0 168745 36 0 0 20 0 1 0 274597493 467533824 104283 33554432000 4194304 5654031 140734711471984 140734711459800 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 114144 104283 152 357 0 113784 0
Current children cumulated CPU time (s) 1782.51
Current children cumulated vsize (KiB) 654536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 6645
/proc/meminfo: memFree=25793716/32873844 swapFree=7384/7384
[pid=6577] ppid=6575 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6577/stat : 6577 (npSolver-pbo-It) S 6575 6577 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274588562 9367552 274 33554432000 4194304 5064252 140735465799360 140735465798272 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/6577/statm: 2287 274 233 213 0 72 0
[pid=6578] ppid=6577 vsize=188812 CPUtime=94.7 cores=0,2,4,6
/proc/6578/stat : 6578 (npSolver-pbo) S 6577 6577 1914 0 -1 4202496 27998 154469 0 0 769 386 8245 70 20 0 1 0 274588563 193343488 44837 33554432000 4194304 5992684 140735507174528 140735507160360 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 1 0 0
/proc/6578/statm: 47203 44837 177 440 0 46759 0
[pid=6587] ppid=6578 vsize=456576 CPUtime=1705.32 cores=0,2,4,6
/proc/6587/stat : 6587 (glucosInc) R 6578 6577 1914 0 -1 4202496 79612 0 0 0 170496 36 0 0 20 0 1 0 274597493 467533824 104810 33554432000 4194304 5654031 140734711471984 140734711459800 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/6587/statm: 114144 104810 152 357 0 113784 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 654536

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6577 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1799.82
CPU time (s): 1800.02
CPU user time (s): 1795.1
CPU system time (s): 4.92
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 1019396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1096
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1

runsolver used 3.11952 second user time and 11.3153 second system time

The end

Launcher Data 

Begin job on node136 at 2012-05-27 04:10:31
IDJOB=3698381
IDBENCH=76987
IDSOLVER=2275
FILE ID=node136/3698381-1338084631
RUNJOBID= node136-1338052928-1930
PBS_JOBID= 14624396
Free space on /tmp= 71272 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j60opt/normalized-j6013_4.std.opb
COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3698381-1338084631/watcher-3698381-1338084631 -o /tmp/evaluation-result-3698381-1338084631/solver-3698381-1338084631 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itd.sh HOME/instance-3698381-1338084631.opb 1541679976 HOME HOME

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

MD5SUM BENCH= da670fe6dfaf44f990525edb598421e7
RANDOM SEED=1541679976

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27977024 kB
Buffers:          361332 kB
Cached:          2763232 kB
SwapCached:        24460 kB
Active:          2155128 kB
Inactive:        1945516 kB
Active(anon):     950624 kB
Inactive(anon):    25096 kB
Active(file):    1204504 kB
Inactive(file):  1920420 kB
Unevictable:        7384 kB
Mlocked:            7384 kB
SwapTotal:      67108856 kB
SwapFree:       67079072 kB
Dirty:             13368 kB
Writeback:           112 kB
AnonPages:       1004480 kB
Mapped:            11144 kB
Shmem:                 0 kB
Slab:             654252 kB
SReclaimable:      95092 kB
SUnreclaim:       559160 kB
KernelStack:        1520 kB
PageTables:         5780 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1124392 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    372736 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= 71184 MiB
End job on node136 at 2012-05-27 04:40:33