Trace number 3699982

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? (TO) 1800.07 1800.62

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j60opt/
normalized-j6029_8.std.opb
MD5SUM462f9351930ed2902c05fb692326c53f
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark105
Best CPU time to get the best result obtained on this benchmark1800.01
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 constraints123520
Number of constraints which are clauses122320
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.46/1.59	c run inc solver
1.46/1.59	c [INC SYSTEM] run initial solver
1.46/1.59	c [INC SYSTEM] preprocess with white file
16.38/16.55	c [INC SYSTEM] finished preprocessing in 14 s
16.38/16.55	c [INC SYSTEM] execute solver
122.78/122.96	c [INC SEARCH] formula is SAT
122.88/123.04	c [INC SYSTEM] solved the initial formula
123.09/123.21	c model valid
123.09/123.21	c current solution ok
127.24/127.57	o 300
127.24/127.57	c execute binary inc search
127.24/127.57	c [INC SEARCH] current bound: 150
127.24/127.57	c [INC SEARCH] iteration: 0
127.24/127.57	c [INC SEARCH] lower bound: 0 upperbound 300 current bound: 150 best value:300
127.24/127.57	c [INC SYSTEM] there exists a inc, kill it!
127.47/127.89	c write failed with 2
127.47/127.89	c [INC SYSTEM] create new solver instance
127.47/127.89	c [INC] encode full formula
127.47/127.89	c set iterative enc to: swc
127.47/127.89	c [INC SEARCH] isOptimum variable: 0
192.76/193.03	c [INC SEARCH] formula is SAT
192.86/193.12	c [INC SEARCH] copied best model
192.86/193.13	c sat variable: 1 optimum/unsat variable: 0
192.96/193.29	c model valid
192.96/193.29	c current solution ok
192.96/193.29	o 149
192.96/193.29	c [INC SEARCH] current bound: 74
192.96/193.29	c [INC SEARCH] iteration: 1
192.96/193.29	c [INC SEARCH] lower bound: 0 upperbound 149 current bound: 74 best value:149
192.96/193.29	c [INC ENCODE] setup new number of clauses ...
192.96/193.29	c [INC] encode incremental formula
192.96/193.29	c return only the limitting unit clause for 74
192.96/193.29	c [INC SYSTEM] transmit new clauses to solver: 1
192.96/193.29	c [INC SEARCH] isOptimum variable: 0
193.06/193.30	c [INC SEARCH] formula is UNSAT
193.06/193.30	c [INC SYSTEM] there exists a inc, kill it!
193.06/193.30	c write failed with 2
193.06/193.32	c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x56e8240)
193.06/193.32	c sat variable: 0 optimum/unsat variable: 1
193.06/193.32	c [INC SEARCH] set lower bound to 75 upperbound 149
193.06/193.32	c [INC SEARCH] current bound: 112
193.06/193.32	c [INC SEARCH] iteration: 2
193.06/193.32	c [INC SEARCH] lower bound: 75 upperbound 149 current bound: 112 best value:149
193.06/193.32	c [INC SYSTEM] create new solver instance
193.06/193.32	c [INC] encode full formula
193.06/193.32	c set iterative enc to: swc
193.10/193.42	c [INC SEARCH] isOptimum variable: 0
259.29/259.51	c [INC SEARCH] formula is SAT
259.29/259.60	c [INC SEARCH] copied best model
259.29/259.60	c sat variable: 1 optimum/unsat variable: 0
259.49/259.77	c model valid
259.49/259.77	c current solution ok
259.49/259.77	o 112
259.49/259.77	c [INC SEARCH] current bound: 93
259.49/259.77	c [INC SEARCH] iteration: 3
259.49/259.77	c [INC SEARCH] lower bound: 75 upperbound 112 current bound: 93 best value:112
259.49/259.77	c [INC ENCODE] setup new number of clauses ...
259.49/259.77	c [INC] encode incremental formula
259.49/259.77	c return only the limitting unit clause for 93
259.49/259.77	c [INC SYSTEM] transmit new clauses to solver: 1
259.49/259.77	c [INC SEARCH] isOptimum variable: 0
1365.08/1365.52	c [INC SEARCH] formula is UNSAT
1365.08/1365.52	c [INC SYSTEM] there exists a inc, kill it!
1365.08/1365.52	c write failed with 2
1365.08/1365.52	c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x56e8240)
1365.08/1365.52	c sat variable: 0 optimum/unsat variable: 1
1365.08/1365.52	c [INC SEARCH] set lower bound to 94 upperbound 112
1365.08/1365.52	c [INC SEARCH] current bound: 103
1365.08/1365.52	c [INC SEARCH] iteration: 4
1365.08/1365.52	c [INC SEARCH] lower bound: 94 upperbound 112 current bound: 103 best value:112
1365.08/1365.52	c [INC SYSTEM] create new solver instance
1365.08/1365.52	c [INC] encode full formula
1365.08/1365.53	c set iterative enc to: swc
1365.11/1365.63	c [INC SEARCH] isOptimum variable: 0
1800.07/1800.61	c an unexpexted return value has been received, exit
1800.07/1800.61	s UNKNOWN
1800.07/1800.61	c [INC SYSTEM] there exists a inc, kill it!
1800.07/1800.61	c write failed with -1
1800.07/1800.61	c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x56e8240)

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-3699982-1338086109/watcher-3699982-1338086109 -o /tmp/evaluation-result-3699982-1338086109/solver-3699982-1338086109 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699982-1338086109.opb 595775288 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.99 2.94 2.46 3/180 23210
/proc/meminfo: memFree=31419512/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0

[startup+0.00693294 s]
/proc/loadavg: 2.99 2.94 2.46 3/180 23210
/proc/meminfo: memFree=31419512/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100211 s]
/proc/loadavg: 2.99 2.94 2.46 3/180 23210
/proc/meminfo: memFree=31419512/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300188 s]
/proc/loadavg: 2.99 2.94 2.46 3/180 23210
/proc/meminfo: memFree=31419512/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700268 s]
/proc/loadavg: 2.99 2.94 2.46 3/180 23210
/proc/meminfo: memFree=31419512/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50031 s]
/proc/loadavg: 2.99 2.94 2.46 3/182 23212
/proc/meminfo: memFree=31295204/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=187668 CPUtime=1.46 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) D 23210 23210 8474 0 -1 4202496 20222 0 0 0 135 11 0 0 20 0 1 0 274736276 192172032 44194 33554432000 4194304 5992684 140735531603232 140735531599088 5182699 0 0 4096 0 18446744071580543392 0 0 17 1 0 0 0 0 0
/proc/23211/statm: 46917 44194 159 440 0 46473 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 196816

[startup+3.10043 s]
/proc/loadavg: 2.99 2.94 2.47 3/184 23214
/proc/meminfo: memFree=31065540/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=131732 CPUtime=1.49 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 20230 0 0 0 135 14 0 0 20 0 1 0 274736276 134893568 30216 33554432000 4194304 5992684 140735531603232 140735531597680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/23211/statm: 32933 30216 165 440 0 32489 0
[pid=23213] ppid=23211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (cp2_pre.sh) S 23211 23210 8474 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 274736435 9367552 277 33554432000 4194304 5064252 140736755718496 140736755717200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23213/statm: 2287 277 234 213 0 72 0
[pid=23214] ppid=23213 vsize=610676 CPUtime=1.49 cores=1,3,5,7
/proc/23214/stat : 23214 (coprocessor) R 23213 23210 8474 0 -1 4202496 44815 0 0 0 133 16 0 0 20 0 1 0 274736435 625332224 131769 33554432000 4194304 6586260 140733709478560 140733709474824 4247000 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/23214/statm: 152669 131769 164 584 0 152081 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 760704

[startup+6.30041 s]
/proc/loadavg: 2.99 2.94 2.47 3/186 23216
/proc/meminfo: memFree=30038752/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=131732 CPUtime=1.49 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 20230 0 0 0 135 14 0 0 20 0 1 0 274736276 134893568 30216 33554432000 4194304 5992684 140735531603232 140735531597680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/23211/statm: 32933 30216 165 440 0 32489 0
[pid=23213] ppid=23211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (cp2_pre.sh) S 23211 23210 8474 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 274736435 9367552 277 33554432000 4194304 5064252 140736755718496 140736755717200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23213/statm: 2287 277 234 213 0 72 0
[pid=23214] ppid=23213 vsize=804220 CPUtime=4.69 cores=1,3,5,7
/proc/23214/stat : 23214 (coprocessor) R 23213 23210 8474 0 -1 4202496 75635 0 0 0 446 23 0 0 20 0 1 0 274736435 823521280 186601 33554432000 4194304 6586260 140733709478560 140733709474584 4561516 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/23214/statm: 201055 186601 182 584 0 200467 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 954248

[startup+12.7004 s]
/proc/loadavg: 3.06 2.96 2.48 3/186 23216
/proc/meminfo: memFree=29683096/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=131732 CPUtime=1.49 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 20230 0 0 0 135 14 0 0 20 0 1 0 274736276 134893568 30216 33554432000 4194304 5992684 140735531603232 140735531597680 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 9 0 0
/proc/23211/statm: 32933 30216 165 440 0 32489 0
[pid=23213] ppid=23211 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23213/stat : 23213 (cp2_pre.sh) S 23211 23210 8474 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 274736435 9367552 277 33554432000 4194304 5064252 140736755718496 140736755717200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23213/statm: 2287 277 234 213 0 72 0
[pid=23214] ppid=23213 vsize=832080 CPUtime=11.09 cores=1,3,5,7
/proc/23214/stat : 23214 (coprocessor) R 23213 23210 8474 0 -1 4202496 82581 0 0 0 1084 25 0 0 20 0 1 0 274736435 852049920 204278 33554432000 4194304 6586260 140733709478560 140733709473880 5599447 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/23214/statm: 208020 204278 189 584 0 207432 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 982108

[startup+25.5003 s]
/proc/loadavg: 2.90 2.93 2.47 4/185 23222
/proc/meminfo: memFree=29991448/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=131732 CPUtime=16.44 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 20246 84309 0 0 135 14 1456 39 20 0 1 0 274736276 134893568 30218 33554432000 4194304 5992684 140735531603232 140735531589496 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 9 0 0
/proc/23211/statm: 32933 30218 167 440 0 32489 0
[pid=23218] ppid=23211 vsize=379352 CPUtime=8.92 cores=1,3,5,7
/proc/23218/stat : 23218 (glucosInc) R 23211 23210 8474 0 -1 4202496 59723 0 0 0 879 13 0 0 20 0 1 0 274737931 388456448 83318 33554432000 4194304 5654031 140733762001488 140733761999272 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23218/statm: 94838 83318 131 357 0 94478 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 520232

[startup+51.1004 s]
/proc/loadavg: 2.98 2.95 2.49 3/184 23265
/proc/meminfo: memFree=30626924/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=131732 CPUtime=16.44 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 20246 84309 0 0 135 14 1456 39 20 0 1 0 274736276 134893568 30218 33554432000 4194304 5992684 140735531603232 140735531589496 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 9 0 0
/proc/23211/statm: 32933 30218 167 440 0 32489 0
[pid=23218] ppid=23211 vsize=380144 CPUtime=34.53 cores=1,3,5,7
/proc/23218/stat : 23218 (glucosInc) R 23211 23210 8474 0 -1 4202496 59913 0 0 0 3439 14 0 0 20 0 1 0 274737931 389267456 83508 33554432000 4194304 5654031 140733762001488 140733761999368 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23218/statm: 95036 83508 131 357 0 94676 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 521024

[startup+102.3 s]
/proc/loadavg: 2.64 2.87 2.49 3/184 23360
/proc/meminfo: memFree=30608448/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=131732 CPUtime=16.44 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 20246 84309 0 0 135 14 1456 39 20 0 1 0 274736276 134893568 30218 33554432000 4194304 5992684 140735531603232 140735531589496 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 9 0 0
/proc/23211/statm: 32933 30218 167 440 0 32489 0
[pid=23218] ppid=23211 vsize=381216 CPUtime=85.72 cores=1,3,5,7
/proc/23218/stat : 23218 (glucosInc) R 23211 23210 8474 0 -1 4202496 60373 0 0 0 8558 14 0 0 20 0 1 0 274737931 390365184 84476 33554432000 4194304 5654031 140733762001488 140733761999368 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23218/statm: 95304 84476 139 357 0 94944 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 522096

[startup+162.3 s]
/proc/loadavg: 2.64 2.83 2.50 3/184 23501
/proc/meminfo: memFree=30376776/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=173960 CPUtime=127.47 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 23337 147731 0 0 230 366 12076 75 20 0 1 0 274736276 178135040 40786 33554432000 4194304 5992684 140735531603232 140735531588136 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/23211/statm: 43490 40786 178 440 0 43046 0
[pid=23457] ppid=23211 vsize=384148 CPUtime=34.56 cores=1,3,5,7
/proc/23457/stat : 23457 (glucosInc) R 23211 23210 8474 0 -1 4202496 61948 0 0 0 3441 15 0 0 20 0 1 0 274749047 393367552 83521 33554432000 4194304 5654031 140735051284064 140735051281848 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23457/statm: 96037 83521 132 357 0 95677 0
Current children cumulated CPU time (s) 162.03
Current children cumulated vsize (KiB) 567256

[startup+222.307 s]
/proc/loadavg: 2.23 2.68 2.46 3/183 23503
/proc/meminfo: memFree=30379964/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=172980 CPUtime=193.19 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 29168 212171 0 0 260 368 18588 103 20 0 1 0 274736276 177131520 40561 33554432000 4194304 5992684 140735531603232 140735531588136 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/23211/statm: 43245 40561 179 440 0 42801 0
[pid=23503] ppid=23211 vsize=384468 CPUtime=28.86 cores=1,3,5,7

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

/proc/meminfo: memFree=30240276/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=174440 CPUtime=193.51 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 34200 212171 0 0 289 371 18588 103 20 0 1 0 274736276 178626560 40848 33554432000 4194304 5992684 140735531603232 140735531588136 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/23211/statm: 43610 40848 179 440 0 43166 0
[pid=23503] ppid=23211 vsize=403420 CPUtime=1108.38 cores=1,3,5,7
/proc/23503/stat : 23503 (glucosInc) R 23211 23210 8474 0 -1 4202496 67112 0 0 0 110817 21 0 0 20 0 1 0 274755618 413102080 90385 33554432000 4194304 5654031 140734158362864 140734158350680 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23503/statm: 100855 90385 151 357 0 100495 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 587008

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/183 23520
/proc/meminfo: memFree=30246728/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=174440 CPUtime=193.51 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 34200 212171 0 0 289 371 18588 103 20 0 1 0 274736276 178626560 40848 33554432000 4194304 5992684 140735531603232 140735531588136 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/23211/statm: 43610 40848 179 440 0 43166 0
[pid=23503] ppid=23211 vsize=403420 CPUtime=1168.38 cores=1,3,5,7
/proc/23503/stat : 23503 (glucosInc) R 23211 23210 8474 0 -1 4202496 67350 0 0 0 116816 22 0 0 20 0 1 0 274755618 413102080 89003 33554432000 4194304 5654031 140734158362864 140734158360872 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23503/statm: 100855 89003 151 357 0 100495 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 587008

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/183 23522
/proc/meminfo: memFree=30297260/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=142696 CPUtime=1365.2 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 34533 280039 0 0 289 371 135726 134 20 0 1 0 274736276 146120704 32949 33554432000 4194304 5992684 140735531603232 140735531588136 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/23211/statm: 35674 32949 179 440 0 35230 0
[pid=23522] ppid=23211 vsize=384868 CPUtime=56.66 cores=1,3,5,7
/proc/23522/stat : 23522 (glucosInc) R 23211 23210 8474 0 -1 4202496 62163 0 0 0 5651 15 0 0 20 0 1 0 274872838 394104832 82160 33554432000 4194304 5654031 140733759847664 140733759845448 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 96217 82160 132 357 0 95857 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 536712

[startup+1482.3 s]
/proc/loadavg: 2.12 2.03 2.10 3/183 23522
/proc/meminfo: memFree=30282696/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=142696 CPUtime=1365.2 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 34533 280039 0 0 289 371 135726 134 20 0 1 0 274736276 146120704 32949 33554432000 4194304 5992684 140735531603232 140735531588136 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/23211/statm: 35674 32949 179 440 0 35230 0
[pid=23522] ppid=23211 vsize=395784 CPUtime=116.63 cores=1,3,5,7
/proc/23522/stat : 23522 (glucosInc) R 23211 23210 8474 0 -1 4202496 64031 0 0 0 11648 15 0 0 20 0 1 0 274872838 405282816 86063 33554432000 4194304 5654031 140733759847664 140733759835480 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 98946 86063 141 357 0 98586 0
Current children cumulated CPU time (s) 1481.83
Current children cumulated vsize (KiB) 547628

[startup+1542.31 s]
/proc/loadavg: 2.04 2.02 2.09 3/183 23525
/proc/meminfo: memFree=30290572/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=142696 CPUtime=1365.2 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 34533 280039 0 0 289 371 135726 134 20 0 1 0 274736276 146120704 32949 33554432000 4194304 5992684 140735531603232 140735531588136 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/23211/statm: 35674 32949 179 440 0 35230 0
[pid=23522] ppid=23211 vsize=395784 CPUtime=176.62 cores=1,3,5,7
/proc/23522/stat : 23522 (glucosInc) R 23211 23210 8474 0 -1 4202496 64260 0 0 0 17646 16 0 0 20 0 1 0 274872838 405282816 85085 33554432000 4194304 5654031 140733759847664 140733759845688 4232581 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 98946 85085 141 357 0 98586 0
Current children cumulated CPU time (s) 1541.82
Current children cumulated vsize (KiB) 547628

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.08 3/184 23549
/proc/meminfo: memFree=30276496/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=142696 CPUtime=1365.2 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 34533 280039 0 0 289 371 135726 134 20 0 1 0 274736276 146120704 32949 33554432000 4194304 5992684 140735531603232 140735531588136 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/23211/statm: 35674 32949 179 440 0 35230 0
[pid=23522] ppid=23211 vsize=395784 CPUtime=236.61 cores=1,3,5,7
/proc/23522/stat : 23522 (glucosInc) R 23211 23210 8474 0 -1 4202496 64290 0 0 0 23644 17 0 0 20 0 1 0 274872838 405282816 87016 33554432000 4194304 5654031 140733759847664 140733759835480 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 98946 87016 141 357 0 98586 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 547628

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/183 23549
/proc/meminfo: memFree=30278760/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=142696 CPUtime=1365.2 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 34533 280039 0 0 289 371 135726 134 20 0 1 0 274736276 146120704 32949 33554432000 4194304 5992684 140735531603232 140735531588136 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/23211/statm: 35674 32949 179 440 0 35230 0
[pid=23522] ppid=23211 vsize=395784 CPUtime=296.58 cores=1,3,5,7
/proc/23522/stat : 23522 (glucosInc) R 23211 23210 8474 0 -1 4202496 64467 0 0 0 29640 18 0 0 20 0 1 0 274872838 405282816 86795 33554432000 4194304 5654031 140733759847664 140733759835480 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 98946 86795 141 357 0 98586 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 547628

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/183 23549
/proc/meminfo: memFree=30263736/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=142696 CPUtime=1365.2 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 34533 280039 0 0 289 371 135726 134 20 0 1 0 274736276 146120704 32949 33554432000 4194304 5992684 140735531603232 140735531588136 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/23211/statm: 35674 32949 179 440 0 35230 0
[pid=23522] ppid=23211 vsize=395784 CPUtime=356.58 cores=1,3,5,7
/proc/23522/stat : 23522 (glucosInc) R 23211 23210 8474 0 -1 4202496 64470 0 0 0 35640 18 0 0 20 0 1 0 274872838 405282816 88810 33554432000 4194304 5654031 140733759847664 140733759835480 4208659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 98946 88810 141 357 0 98586 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 547628

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/183 23549
/proc/meminfo: memFree=30271260/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=142696 CPUtime=1365.2 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 34533 280039 0 0 289 371 135726 134 20 0 1 0 274736276 146120704 32949 33554432000 4194304 5992684 140735531603232 140735531588136 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/23211/statm: 35674 32949 179 440 0 35230 0
[pid=23522] ppid=23211 vsize=395784 CPUtime=416.57 cores=1,3,5,7
/proc/23522/stat : 23522 (glucosInc) R 23211 23210 8474 0 -1 4202496 64678 0 0 0 41638 19 0 0 20 0 1 0 274872838 405282816 87828 33554432000 4194304 5654031 140733759847664 140733759835480 4232963 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 98946 87828 141 357 0 98586 0
Current children cumulated CPU time (s) 1781.77
Current children cumulated vsize (KiB) 547628



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.06 3/183 23549
/proc/meminfo: memFree=30268344/32873844 swapFree=7112/7112
[pid=23210] ppid=23208 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23210/stat : 23210 (npSolver-pbo-I.) S 23208 23210 8474 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 274736275 9367552 275 33554432000 4194304 5064252 140734510721568 140734510720480 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23210/statm: 2287 275 233 213 0 72 0
[pid=23211] ppid=23210 vsize=142696 CPUtime=1365.2 cores=1,3,5,7
/proc/23211/stat : 23211 (npSolver-pbo) S 23210 23210 8474 0 -1 4202496 34533 280039 0 0 289 371 135726 134 20 0 1 0 274736276 146120704 32949 33554432000 4194304 5992684 140735531603232 140735531588136 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 22 0 0
/proc/23211/statm: 35674 32949 179 440 0 35230 0
[pid=23522] ppid=23211 vsize=395784 CPUtime=434.87 cores=1,3,5,7
/proc/23522/stat : 23522 (glucosInc) R 23211 23210 8474 0 -1 4202496 64679 0 0 0 43468 19 0 0 20 0 1 0 274872838 405282816 88340 33554432000 4194304 5654031 140733759847664 140733759835480 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/23522/statm: 98946 88340 141 357 0 98586 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 547628

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 23210 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.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.62
CPU time (s): 1800.07
CPU user time (s): 1794.83
CPU system time (s): 5.24
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 983160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
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 4.06138 second user time and 11.0333 second system time

The end

Launcher Data 

Begin job on node132 at 2012-05-27 04:35:09
IDJOB=3699982
IDBENCH=76804
IDSOLVER=2276
FILE ID=node132/3699982-1338086109
RUNJOBID= node132-1338052924-8491
PBS_JOBID= 14624394
Free space on /tmp= 71628 MiB

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

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

MD5SUM BENCH= 462f9351930ed2902c05fb692326c53f
RANDOM SEED=595775288

node132.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.832
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.66
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31421816 kB
Buffers:          234200 kB
Cached:           292340 kB
SwapCached:         1492 kB
Active:           394896 kB
Inactive:         234148 kB
Active(anon):      94692 kB
Inactive(anon):    10068 kB
Active(file):     300204 kB
Inactive(file):   224080 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67105396 kB
Dirty:             24724 kB
Writeback:            16 kB
AnonPages:        116880 kB
Mapped:            11760 kB
Shmem:                 8 kB
Slab:             674780 kB
SReclaimable:     115184 kB
SUnreclaim:       559596 kB
KernelStack:        1496 kB
PageTables:         4364 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     257396 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:     98304 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= 71416 MiB
End job on node132 at 2012-05-27 05:05:12