Trace number 3748483

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc (fixed)? (TO) 1800.11 1800.51

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat100_4_32_8.opb
MD5SUMe89bd659c62f9d4197f3ccc320e60b79
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4769881
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20200
Total number of constraints30206
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints30000
Minimum length of a constraint2
Maximum length of a constraint4950
Number of terms in the objective function 19900
Biggest coefficient in the objective function 144703125
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 150743150652
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 144703125
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 150743150652
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.12	c old isEQ: 0, new EQ is 1
2.49/2.57	c run inc solver
2.49/2.57	c [INC SYSTEM] run initial solver
2.49/2.57	c [INC SYSTEM] preprocess with white file
13.07/13.12	c [INC SYSTEM] finished preprocessing in 10 s
13.07/13.12	c [INC SYSTEM] execute solver
139.95/140.03	c [INC SEARCH] formula is SAT
139.95/140.08	c [INC SYSTEM] solved the initial formula
140.06/140.14	c model valid
140.06/140.14	c current solution ok
144.39/144.53	o 73676239
144.39/144.53	c execute binary inc search
144.39/144.53	c [INC SEARCH] current bound: 36838169
144.39/144.53	c [INC SEARCH] iteration: 0
144.39/144.53	c [INC SEARCH] lower bound: 0 upperbound 73676339 current bound: 36838169 best value:73676339
144.39/144.53	c [INC SYSTEM] there exists a inc, kill it!
144.39/144.53	c write failed with 2
144.39/144.55	c [INC SYSTEM] create new solver instance
144.39/144.55	c [INC] encode full formula
144.39/144.55	c fallback to adder encoding
147.17/147.27	c set iterative enc to: adder
147.17/147.27	c set iterative enc to: none
147.67/147.70	c [INC SEARCH] isOptimum variable: 0
316.17/316.21	c [INC SEARCH] formula is SAT
316.27/316.32	c [INC SEARCH] copied best model
316.27/316.32	c sat variable: 1 optimum/unsat variable: 0
316.27/316.39	c model valid
316.27/316.39	c current solution ok
316.27/316.39	o 31687119
316.27/316.39	c [INC SEARCH] current bound: 15843609
316.27/316.39	c [INC SEARCH] iteration: 1
316.27/316.39	c [INC SEARCH] lower bound: 0 upperbound 31687219 current bound: 15843609 best value:31687219
316.27/316.39	c [INC SYSTEM] there exists a inc, kill it!
316.27/316.39	c write failed with 2
316.37/316.42	c [INC SYSTEM] create new solver instance
316.37/316.42	c [INC] encode full formula
316.37/316.42	c fallback to adder encoding
318.58/318.66	c set iterative enc to: adder
318.58/318.66	c set iterative enc to: none
318.97/319.08	c [INC SEARCH] isOptimum variable: 0
1181.99/1182.22	c [INC SEARCH] formula is SAT
1182.08/1182.32	c [INC SEARCH] copied best model
1182.08/1182.33	c sat variable: 1 optimum/unsat variable: 0
1182.08/1182.39	c model valid
1182.08/1182.39	c current solution ok
1182.08/1182.39	o 12148311
1182.08/1182.39	c [INC SEARCH] current bound: 6074205
1182.08/1182.39	c [INC SEARCH] iteration: 2
1182.08/1182.39	c [INC SEARCH] lower bound: 0 upperbound 12148411 current bound: 6074205 best value:12148411
1182.08/1182.39	c [INC SYSTEM] there exists a inc, kill it!
1182.08/1182.39	c write failed with 2
1182.08/1182.39	c [INC SYSTEM] create new solver instance
1182.08/1182.39	c [INC] encode full formula
1182.08/1182.39	c fallback to adder encoding
1183.99/1184.24	c set iterative enc to: adder
1183.99/1184.24	c set iterative enc to: none
1184.38/1184.60	c [INC SEARCH] isOptimum variable: 0
1800.07/1800.51	c an unexpexted return value has been received, exit
1800.07/1800.51	s UNKNOWN
1800.07/1800.51	c [INC SYSTEM] there exists a inc, kill it!
1800.07/1800.51	c write failed with -1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3748483-1339177426/watcher-3748483-1339177426 -o /tmp/evaluation-result-3748483-1339177426/solver-3748483-1339177426 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748483-1339177426.opb 880462700 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.00 2.00 2.00 3/178 24248
/proc/meminfo: memFree=23152256/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0

[startup+0.00844495 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24248
/proc/meminfo: memFree=23152256/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100276 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24248
/proc/meminfo: memFree=23152256/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300276 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 24248
/proc/meminfo: memFree=23152256/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 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.00 2.00 2.00 3/178 24248
/proc/meminfo: memFree=23152256/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24250
/proc/meminfo: memFree=23056580/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=180812 CPUtime=1.48 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) R 24248 24248 23680 0 -1 4202496 9382 0 0 0 144 4 0 0 20 0 1 0 383871154 185151488 32818 33554432000 4194304 6004724 140735018333664 140735018328264 4582623 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 45203 32818 163 442 0 44757 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 189960

[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24250
/proc/meminfo: memFree=22976204/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=284536 CPUtime=2.59 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 10490 0 0 0 228 31 0 0 20 0 1 0 383871154 291364864 40837 33554432000 4194304 6004724 140735018333664 140735018328128 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 71134 40837 171 442 0 70688 0
Current children cumulated CPU time (s) 2.59
Current children cumulated vsize (KiB) 293684

[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 24252
/proc/meminfo: memFree=22307268/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=284536 CPUtime=2.59 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 10490 0 0 0 228 31 0 0 20 0 1 0 383871154 291364864 40837 33554432000 4194304 6004724 140735018333664 140735018328128 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 71134 40837 171 442 0 70688 0
[pid=24251] ppid=24249 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24251/stat : 24251 (cp2_pre.sh) S 24249 24248 23680 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383871414 9367552 276 33554432000 4194304 5064252 140736321339936 140736321338640 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24251/statm: 2287 276 234 213 0 72 0
[pid=24252] ppid=24251 vsize=671608 CPUtime=3.68 cores=0,2,4,6
/proc/24252/stat : 24252 (coprocessor) R 24251 24248 23680 0 -1 4202496 69631 0 0 0 348 20 0 0 20 0 1 0 383871414 687726592 150543 33554432000 4194304 6586260 140733993862272 140733993858536 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/24252/statm: 167902 150543 164 584 0 167314 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 974440

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 24252
/proc/meminfo: memFree=22039780/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=284536 CPUtime=2.59 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 10490 0 0 0 228 31 0 0 20 0 1 0 383871154 291364864 40837 33554432000 4194304 6004724 140735018333664 140735018328128 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 71134 40837 171 442 0 70688 0
[pid=24251] ppid=24249 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24251/stat : 24251 (cp2_pre.sh) S 24249 24248 23680 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383871414 9367552 276 33554432000 4194304 5064252 140736321339936 140736321338640 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/24251/statm: 2287 276 234 213 0 72 0
[pid=24252] ppid=24251 vsize=789164 CPUtime=10.08 cores=0,2,4,6
/proc/24252/stat : 24252 (coprocessor) R 24251 24248 23680 0 -1 4202496 86666 0 0 0 953 55 0 0 20 0 1 0 383871414 808103936 192259 33554432000 4194304 6586260 140733993862272 140733993858024 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/24252/statm: 197291 192259 199 584 0 196703 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 1091996

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24254
/proc/meminfo: memFree=22657420/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=284536 CPUtime=13.1 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 10507 87569 0 0 228 31 989 62 20 0 1 0 383871154 291364864 40840 33554432000 4194304 6004724 140735018333664 140735018319944 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 71134 40840 174 442 0 70688 0
[pid=24254] ppid=24249 vsize=294648 CPUtime=12.36 cores=0,2,4,6
/proc/24254/stat : 24254 (glucosInc) R 24249 24248 23680 0 -1 4202496 50634 0 0 0 1224 12 0 0 20 0 1 0 383872467 301719552 68716 33554432000 4194304 5654031 140733293611088 140733293608920 4208641 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24254/statm: 73662 68716 139 357 0 73302 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 588332

[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 24298
/proc/meminfo: memFree=27794888/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=284536 CPUtime=13.1 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 10507 87569 0 0 228 31 989 62 20 0 1 0 383871154 291364864 40840 33554432000 4194304 6004724 140735018333664 140735018319944 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 71134 40840 174 442 0 70688 0
[pid=24254] ppid=24249 vsize=296100 CPUtime=37.94 cores=0,2,4,6
/proc/24254/stat : 24254 (glucosInc) R 24249 24248 23680 0 -1 4202496 51028 0 0 0 3782 12 0 0 20 0 1 0 383872467 303206400 69110 33554432000 4194304 5654031 140733293611088 140733293608872 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24254/statm: 74025 69110 139 357 0 73665 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 589784

[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 24298
/proc/meminfo: memFree=27788688/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=284536 CPUtime=13.1 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 10507 87569 0 0 228 31 989 62 20 0 1 0 383871154 291364864 40840 33554432000 4194304 6004724 140735018333664 140735018319944 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 71134 40840 174 442 0 70688 0
[pid=24254] ppid=24249 vsize=300192 CPUtime=89.14 cores=0,2,4,6
/proc/24254/stat : 24254 (glucosInc) R 24249 24248 23680 0 -1 4202496 52094 0 0 0 8901 13 0 0 20 0 1 0 383872467 307396608 70176 33554432000 4194304 5654031 140733293611088 140733293608872 4232403 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24254/statm: 75048 70176 139 357 0 74688 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 593876

[startup+162.3 s]
/proc/loadavg: 2.14 2.04 2.01 3/180 24301
/proc/meminfo: memFree=27074964/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=306508 CPUtime=147.67 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 22177 142615 0 0 592 418 13659 98 20 0 1 0 383871154 313864192 46375 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 76627 46375 184 442 0 76181 0
[pid=24301] ppid=24249 vsize=813912 CPUtime=14.59 cores=0,2,4,6
/proc/24301/stat : 24301 (glucosInc) R 24249 24248 23680 0 -1 4202496 111139 0 0 0 1426 33 0 0 20 0 1 0 383885924 833445888 175877 33554432000 4194304 5654031 140735461320608 140735461308424 4219872 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24301/statm: 203478 175877 141 357 0 203118 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1129568

[startup+222.307 s]
/proc/loadavg: 2.05 2.03 2.00 3/182 24303
/proc/meminfo: memFree=27001576/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=306508 CPUtime=147.67 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 22177 142615 0 0 592 418 13659 98 20 0 1 0 383871154 313864192 46375 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 76627 46375 184 442 0 76181 0
[pid=24301] ppid=24249 vsize=819952 CPUtime=74.58 cores=0,2,4,6
/proc/24301/stat : 24301 (glucosInc) R 24249 24248 23680 0 -1 4202496 111630 0 0 0 7425 33 0 0 20 0 1 0 383885924 839630848 177390 33554432000 4194304 5654031 140735461320608 140735461308424 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24301/statm: 204988 177390 142 357 0 204628 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1135608

[startup+282.3 s]

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

/proc/meminfo: memFree=26552672/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=666904 CPUtime=57.68 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 95433 0 0 0 5738 30 0 0 20 0 1 0 383989615 682909696 142904 33554432000 4194304 5654031 140735302430944 140735302418760 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 166726 142904 142 357 0 166366 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 987872

[startup+1302.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/181 24345
/proc/meminfo: memFree=26711880/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=666904 CPUtime=117.65 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 95662 0 0 0 11735 30 0 0 20 0 1 0 383989615 682909696 143630 33554432000 4194304 5654031 140735302430944 140735302418760 4219862 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 166726 143630 142 357 0 166366 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 987872

[startup+1362.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/181 24345
/proc/meminfo: memFree=26688024/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=674192 CPUtime=177.6 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 96208 0 0 0 17730 30 0 0 20 0 1 0 383989615 690372608 145670 33554432000 4194304 5654031 140735302430944 140735302418760 4232830 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 168548 145670 142 357 0 168188 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 995160

[startup+1422.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/181 24346
/proc/meminfo: memFree=26670624/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=674192 CPUtime=237.59 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 96640 0 0 0 23728 31 0 0 20 0 1 0 383989615 690372608 148131 33554432000 4194304 5654031 140735302430944 140735302418760 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 168548 148131 142 357 0 168188 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 995160

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 24346
/proc/meminfo: memFree=26650520/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=674192 CPUtime=297.57 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 96808 0 0 0 29726 31 0 0 20 0 1 0 383989615 690372608 149832 33554432000 4194304 5654031 140735302430944 140735302418760 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 168548 149832 142 357 0 168188 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 995160

[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 24346
/proc/meminfo: memFree=26525228/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=887840 CPUtime=357.54 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 97876 0 0 0 35719 35 0 0 20 0 1 0 383989615 909148160 179996 33554432000 4194304 5654031 140735302430944 140735302418760 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 221960 179996 142 357 0 221600 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1208808

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 24349
/proc/meminfo: memFree=26605376/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=763808 CPUtime=417.52 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 98365 0 0 0 41713 39 0 0 20 0 1 0 383989615 782139392 159262 33554432000 4194304 5654031 140735302430944 140735302428968 4214957 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 190952 159262 142 357 0 190592 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1084776

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 24349
/proc/meminfo: memFree=26572116/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=763808 CPUtime=477.5 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 98382 0 0 0 47711 39 0 0 20 0 1 0 383989615 782139392 165954 33554432000 4194304 5654031 140735302430944 140735302418760 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 190952 165954 142 357 0 190592 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1084776

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24350
/proc/meminfo: memFree=26591676/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=763808 CPUtime=537.49 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 99360 0 0 0 53704 45 0 0 20 0 1 0 383989615 782139392 156738 33554432000 4194304 5654031 140735302430944 140735302428968 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 190952 156738 142 357 0 190592 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 1084776

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24350
/proc/meminfo: memFree=26560992/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=763808 CPUtime=597.48 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 99368 0 0 0 59703 45 0 0 20 0 1 0 383989615 782139392 160834 33554432000 4194304 5654031 140735302430944 140735302418760 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 190952 160834 142 357 0 190592 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 1084776



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24350
/proc/meminfo: memFree=26536324/32873844 swapFree=7372/7372
[pid=24248] ppid=24246 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24248/stat : 24248 (npSolver-pbo-I.) S 24246 24248 23680 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383871154 9367552 274 33554432000 4194304 5064252 140733820625648 140733820624560 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24248/statm: 2287 274 233 213 0 72 0
[pid=24249] ppid=24248 vsize=311820 CPUtime=1184.39 cores=0,2,4,6
/proc/24249/stat : 24249 (npSolver-pbo) S 24248 24248 23680 0 -1 4202496 42093 361947 0 0 1036 480 116715 208 20 0 1 0 383871154 319303680 47704 33554432000 4194304 6004724 140735018333664 140735018318584 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/24249/statm: 77955 47704 185 442 0 77509 0
[pid=24343] ppid=24249 vsize=763808 CPUtime=615.68 cores=0,2,4,6
/proc/24343/stat : 24343 (glucosInc) R 24249 24248 23680 0 -1 4202496 99380 0 0 0 61523 45 0 0 20 0 1 0 383989615 782139392 166978 33554432000 4194304 5654031 140735302430944 140735302418760 4215121 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24343/statm: 190952 166978 142 357 0 190592 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1084776

Sending SIGTERM to process tree (bottom up)

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

Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1792.76
CPU system time (s): 7.35688
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 1470000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.76
system time used= 7.35688
maximum resident set size= 925680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 503799
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1978400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9607
involuntary context switches= 2046

runsolver used 2.73858 second user time and 7.2239 second system time

The end

Launcher Data 

Begin job on node109 at 2012-06-08 19:43:46
IDJOB=3748483
IDBENCH=92744
IDSOLVER=2333
FILE ID=node109/3748483-1339177426
RUNJOBID= node109-1339172020-23875
PBS_JOBID= 14643833
Free space on /tmp= 69336 MiB

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

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

MD5SUM BENCH= e89bd659c62f9d4197f3ccc320e60b79
RANDOM SEED=880462700

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        23152784 kB
Buffers:         1816292 kB
Cached:          2445984 kB
SwapCached:         1336 kB
Active:          8159836 kB
Inactive:         566176 kB
Active(anon):    4459868 kB
Inactive(anon):     5328 kB
Active(file):    3699968 kB
Inactive(file):   560848 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67102640 kB
Dirty:              9724 kB
Writeback:             0 kB
AnonPages:       4468664 kB
Mapped:            10988 kB
Shmem:                 4 kB
Slab:             845036 kB
SReclaimable:     287084 kB
SUnreclaim:       557952 kB
KernelStack:        1480 kB
PageTables:        12816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    5929220 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2324480 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= 69948 MiB
End job on node109 at 2012-06-08 20:13:46