Trace number 3699346

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? (TO) 1800.1 1800.42

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat85_4_27_4.opb
MD5SUM213b2ab8f9fabc47faf8664d1026e564
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6667103
Best CPU time to get the best result obtained on this benchmark1800.07
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14620
Total number of constraints21851
Number of constraints which are clauses170
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints21675
Minimum length of a constraint2
Maximum length of a constraint3570
Number of terms in the objective function 14365
Biggest coefficient in the objective function 169112377
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 146273936801
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 169112377
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 146273936801
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.54	c run inc solver
0.00/0.54	c [INC SYSTEM] run initial solver
0.00/0.54	c [INC SYSTEM] preprocess with white file
3.87/3.99	c [INC SYSTEM] finished preprocessing in 3 s
3.87/3.99	c [INC SYSTEM] execute solver
6.86/6.99	c [INC SEARCH] formula is SAT
6.97/7.01	c [INC SYSTEM] solved the initial formula
6.97/7.06	c model valid
6.97/7.06	c current solution ok
8.26/8.32	o 174056625
8.26/8.32	c execute binary inc search
8.26/8.32	c [INC SEARCH] current bound: 87028355
8.26/8.32	c [INC SEARCH] iteration: 0
8.26/8.32	c [INC SEARCH] lower bound: 0 upperbound 174056710 current bound: 87028355 best value:174056710
8.26/8.32	c [INC SYSTEM] there exists a inc, kill it!
8.26/8.32	c write failed with 2
8.26/8.33	c [INC SYSTEM] create new solver instance
8.26/8.33	c [INC] encode full formula
8.26/8.33	c fallback to adder encoding
10.38/10.42	c set iterative enc to: adder
10.38/10.42	c set iterative enc to: none
10.68/10.70	c [INC SEARCH] isOptimum variable: 0
40.79/40.82	c [INC SEARCH] formula is SAT
40.79/40.88	c [INC SEARCH] copied best model
40.79/40.88	c sat variable: 1 optimum/unsat variable: 0
40.89/40.93	c model valid
40.89/40.93	c current solution ok
40.89/40.93	o 64680191
40.89/40.93	c [INC SEARCH] current bound: 32340138
40.89/40.93	c [INC SEARCH] iteration: 1
40.89/40.93	c [INC SEARCH] lower bound: 0 upperbound 64680276 current bound: 32340138 best value:64680276
40.89/40.93	c [INC SYSTEM] there exists a inc, kill it!
40.89/40.93	c write failed with 2
40.89/40.96	c [INC SYSTEM] create new solver instance
40.89/40.96	c [INC] encode full formula
40.89/40.96	c fallback to adder encoding
42.61/42.65	c set iterative enc to: adder
42.61/42.65	c set iterative enc to: none
42.91/42.91	c [INC SEARCH] isOptimum variable: 0
107.79/107.81	c [INC SEARCH] formula is SAT
107.79/107.87	c [INC SEARCH] copied best model
107.79/107.87	c sat variable: 1 optimum/unsat variable: 0
107.89/107.92	c model valid
107.89/107.92	c current solution ok
107.89/107.92	o 32084633
107.89/107.92	c [INC SEARCH] current bound: 16042359
107.89/107.92	c [INC SEARCH] iteration: 2
107.89/107.92	c [INC SEARCH] lower bound: 0 upperbound 32084718 current bound: 16042359 best value:32084718
107.89/107.92	c [INC SYSTEM] there exists a inc, kill it!
107.89/107.92	c write failed with 2
107.89/107.95	c [INC SYSTEM] create new solver instance
107.89/107.95	c [INC] encode full formula
107.89/107.95	c fallback to adder encoding
109.40/109.40	c set iterative enc to: adder
109.40/109.40	c set iterative enc to: none
109.60/109.62	c [INC SEARCH] isOptimum variable: 0
307.56/307.67	c [INC SEARCH] formula is SAT
307.67/307.73	c [INC SEARCH] copied best model
307.67/307.73	c sat variable: 1 optimum/unsat variable: 0
307.67/307.77	c model valid
307.67/307.77	c current solution ok
307.67/307.77	o 14967541
307.67/307.77	c [INC SEARCH] current bound: 7483813
307.67/307.77	c [INC SEARCH] iteration: 3
307.67/307.77	c [INC SEARCH] lower bound: 0 upperbound 14967626 current bound: 7483813 best value:14967626
307.67/307.77	c [INC SYSTEM] there exists a inc, kill it!
307.67/307.77	c write failed with 2
307.67/307.79	c [INC SYSTEM] create new solver instance
307.67/307.79	c [INC] encode full formula
307.67/307.79	c fallback to adder encoding
308.97/309.02	c set iterative enc to: adder
308.97/309.02	c set iterative enc to: none
309.17/309.22	c [INC SEARCH] isOptimum variable: 0
1800.10/1800.41	HOME/npSolver-pbo-I.sh: line 18: 13549 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=1 -useCP2=1 -useInc=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-3699346-1338134722/watcher-3699346-1338134722 -o /tmp/evaluation-result-3699346-1338134722/solver-3699346-1338134722 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699346-1338134722.opb 1896397922 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/176 13548
/proc/meminfo: memFree=31015740/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0

[startup+0.0861951 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13548
/proc/meminfo: memFree=31015740/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100271 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13548
/proc/meminfo: memFree=31015740/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300282 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13548
/proc/meminfo: memFree=31015740/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700146 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 13548
/proc/meminfo: memFree=31015740/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50043 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13552
/proc/meminfo: memFree=30791440/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=54660 CPUtime=0.56 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 8246 0 0 0 50 6 0 0 20 0 1 0 279600677 55971840 10463 33554432000 4194304 5992684 140736908505440 140736908499888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 13665 10463 172 440 0 13221 0
[pid=13551] ppid=13549 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13551/stat : 13551 (cp2_pre.sh) S 13549 13548 12301 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 279600734 9367552 276 33554432000 4194304 5064252 140733637940048 140733637938752 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13551/statm: 2287 276 234 213 0 72 0
[pid=13552] ppid=13551 vsize=222420 CPUtime=0.92 cores=0,2,4,6
/proc/13552/stat : 13552 (coprocessor) R 13551 13548 12301 0 -1 4202496 33227 0 0 0 85 7 0 0 20 0 1 0 279600734 227758080 50115 33554432000 4194304 6586260 140733786381264 140733786377528 5511711 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/13552/statm: 55605 50116 166 584 0 55017 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 295376

[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13552
/proc/meminfo: memFree=30717532/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=54660 CPUtime=0.56 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 8246 0 0 0 50 6 0 0 20 0 1 0 279600677 55971840 10463 33554432000 4194304 5992684 140736908505440 140736908499888 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 13665 10463 172 440 0 13221 0
[pid=13551] ppid=13549 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13551/stat : 13551 (cp2_pre.sh) S 13549 13548 12301 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 279600734 9367552 276 33554432000 4194304 5064252 140733637940048 140733637938752 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/13551/statm: 2287 276 234 213 0 72 0
[pid=13552] ppid=13551 vsize=290940 CPUtime=2.51 cores=0,2,4,6
/proc/13552/stat : 13552 (coprocessor) R 13551 13548 12301 0 -1 4202496 44847 0 0 0 217 34 0 0 20 0 1 0 279600734 297922560 71533 33554432000 4194304 6586260 140733786381264 140733786376888 5732496 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/13552/statm: 72735 71533 202 584 0 72147 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 363896

[startup+6.30036 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13554
/proc/meminfo: memFree=30843220/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=54660 CPUtime=3.97 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 8261 45752 0 0 50 6 301 40 20 0 1 0 279600677 55971840 10465 33554432000 4194304 5992684 140736908505440 140736908491704 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 13665 10465 174 440 0 13221 0
[pid=13554] ppid=13549 vsize=115316 CPUtime=2.29 cores=0,2,4,6
/proc/13554/stat : 13554 (glucosInc) R 13549 13548 12301 0 -1 4202496 22815 0 0 0 225 4 0 0 20 0 1 0 279601077 118083584 27036 33554432000 4194304 5654031 140734284595520 140734284583336 4232788 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13554/statm: 28829 27036 140 357 0 28469 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 179124

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13557
/proc/meminfo: memFree=30444732/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=67976 CPUtime=10.68 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 18800 69858 0 0 284 137 596 51 20 0 1 0 279600677 69607424 13829 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 16994 13829 192 440 0 16550 0
[pid=13557] ppid=13549 vsize=504092 CPUtime=1.99 cores=0,2,4,6
/proc/13557/stat : 13557 (glucosInc) R 13549 13548 12301 0 -1 4202496 69838 0 0 0 182 17 0 0 20 0 1 0 279601747 516190208 113627 33554432000 4194304 5654031 140735722642800 140735721592152 4797458 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13557/statm: 126023 113628 109 357 0 125663 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 581216

[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 13557
/proc/meminfo: memFree=30323164/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=67976 CPUtime=10.68 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 18800 69858 0 0 284 137 596 51 20 0 1 0 279600677 69607424 13829 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 16994 13829 192 440 0 16550 0
[pid=13557] ppid=13549 vsize=527848 CPUtime=14.79 cores=0,2,4,6
/proc/13557/stat : 13557 (glucosInc) R 13549 13548 12301 0 -1 4202496 77897 0 0 0 1458 21 0 0 20 0 1 0 279601747 540516352 111304 33554432000 4194304 5654031 140735722642800 140735722630616 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13557/statm: 131962 111304 141 357 0 131602 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 604972

[startup+51.1004 s]
/proc/loadavg: 2.12 2.03 2.01 3/179 13559
/proc/meminfo: memFree=30360820/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=114516 CPUtime=42.92 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 25645 149287 0 0 466 160 3585 81 20 0 1 0 279600677 117264384 25432 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 28629 25432 192 440 0 28185 0
[pid=13559] ppid=13549 vsize=409396 CPUtime=8.17 cores=0,2,4,6
/proc/13559/stat : 13559 (glucosInc) R 13549 13548 12301 0 -1 4202496 70898 0 0 0 800 17 0 0 20 0 1 0 279604968 419221504 96273 33554432000 4194304 5654031 140733953640208 140733953638104 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13559/statm: 102349 96273 141 357 0 101989 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 533060

[startup+102.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 13559
/proc/meminfo: memFree=30364904/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=114516 CPUtime=42.92 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 25645 149287 0 0 466 160 3585 81 20 0 1 0 279600677 117264384 25432 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 28629 25432 192 440 0 28185 0
[pid=13559] ppid=13549 vsize=469796 CPUtime=59.36 cores=0,2,4,6
/proc/13559/stat : 13559 (glucosInc) R 13549 13548 12301 0 -1 4202496 72624 0 0 0 5918 18 0 0 20 0 1 0 279604968 481071104 100553 33554432000 4194304 5654031 140733953640208 140733953628024 4214974 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13559/statm: 117449 100553 141 357 0 117089 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 593460

[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 13562
/proc/meminfo: memFree=30413916/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=114516 CPUtime=109.63 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 31953 222746 0 0 622 180 10053 108 20 0 1 0 279600677 117264384 25432 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/13549/statm: 28629 25432 192 440 0 28185 0
[pid=13561] ppid=13549 vsize=390656 CPUtime=52.65 cores=0,2,4,6
/proc/13561/stat : 13561 (glucosInc) R 13549 13548 12301 0 -1 4202496 64927 0 0 0 5250 15 0 0 20 0 1 0 279611639 400031744 88900 33554432000 4194304 5654031 140733721757344 140733721745160 4232477 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/13561/statm: 97664 88900 142 357 0 97304 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 514320

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 13562
/proc/meminfo: memFree=30381152/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=114516 CPUtime=109.63 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 31953 222746 0 0 622 180 10053 108 20 0 1 0 279600677 117264384 25432 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/13549/statm: 28629 25432 192 440 0 28185 0
[pid=13561] ppid=13549 vsize=442944 CPUtime=112.65 cores=0,2,4,6

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

/proc/loadavg: 2.03 2.01 2.00 3/179 13625
/proc/meminfo: memFree=29978608/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=114516 CPUtime=309.19 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 38186 291263 0 0 756 196 29831 136 20 0 1 0 279600677 117264384 25432 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 28629 25432 192 440 0 28185 0
[pid=13614] ppid=13549 vsize=422160 CPUtime=1052.86 cores=0,2,4,6
/proc/13614/stat : 13614 (glucosInc) R 13549 13548 12301 0 -1 4202496 66334 0 0 0 105242 44 0 0 20 0 1 0 279631599 432291840 92006 33554432000 4194304 5654031 140734425337616 140734425325432 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13614/statm: 105540 92006 142 357 0 105180 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 545824

[startup+1422.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 13626
/proc/meminfo: memFree=29924184/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=114516 CPUtime=309.19 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 38186 291263 0 0 756 196 29831 136 20 0 1 0 279600677 117264384 25432 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 28629 25432 192 440 0 28185 0
[pid=13614] ppid=13549 vsize=507004 CPUtime=1112.85 cores=0,2,4,6
/proc/13614/stat : 13614 (glucosInc) R 13549 13548 12301 0 -1 4202496 67286 0 0 0 111239 46 0 0 20 0 1 0 279631599 519172096 101640 33554432000 4194304 5654031 140734425337616 140734425335704 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13614/statm: 126751 101640 142 357 0 126391 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 630668

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 13629
/proc/meminfo: memFree=29960940/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=114516 CPUtime=309.19 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 38186 291263 0 0 756 196 29831 136 20 0 1 0 279600677 117264384 25432 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 28629 25432 192 440 0 28185 0
[pid=13614] ppid=13549 vsize=425616 CPUtime=1172.85 cores=0,2,4,6
/proc/13614/stat : 13614 (glucosInc) R 13549 13548 12301 0 -1 4202496 67745 0 0 0 117235 50 0 0 20 0 1 0 279631599 435830784 89784 33554432000 4194304 5654031 140734425337616 140734425325432 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13614/statm: 106404 89784 142 357 0 106044 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 549280

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13629
/proc/meminfo: memFree=29907244/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=114516 CPUtime=309.19 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 38186 291263 0 0 756 196 29831 136 20 0 1 0 279600677 117264384 25432 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 28629 25432 192 440 0 28185 0
[pid=13614] ppid=13549 vsize=425616 CPUtime=1232.83 cores=0,2,4,6
/proc/13614/stat : 13614 (glucosInc) R 13549 13548 12301 0 -1 4202496 67877 0 0 0 123233 50 0 0 20 0 1 0 279631599 435830784 100136 33554432000 4194304 5654031 140734425337616 140734425325432 4232531 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13614/statm: 106404 100136 142 357 0 106044 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 549280

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13629
/proc/meminfo: memFree=29938136/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=114516 CPUtime=309.19 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 38186 291263 0 0 756 196 29831 136 20 0 1 0 279600677 117264384 25432 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 28629 25432 192 440 0 28185 0
[pid=13614] ppid=13549 vsize=509900 CPUtime=1292.83 cores=0,2,4,6
/proc/13614/stat : 13614 (glucosInc) R 13549 13548 12301 0 -1 4202496 68739 0 0 0 129231 52 0 0 20 0 1 0 279631599 522137600 103549 33554432000 4194304 5654031 140734425337616 140734425325432 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13614/statm: 127475 103549 142 357 0 127115 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 633564

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13629
/proc/meminfo: memFree=29938136/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=114516 CPUtime=309.19 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 38186 291263 0 0 756 196 29831 136 20 0 1 0 279600677 117264384 25432 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 28629 25432 192 440 0 28185 0
[pid=13614] ppid=13549 vsize=428512 CPUtime=1352.82 cores=0,2,4,6
/proc/13614/stat : 13614 (glucosInc) R 13549 13548 12301 0 -1 4202496 69262 0 0 0 135227 55 0 0 20 0 1 0 279631599 438796288 92269 33554432000 4194304 5654031 140734425337616 140734425325432 4216605 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13614/statm: 107128 92269 142 357 0 106768 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 552176

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13630
/proc/meminfo: memFree=29921752/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=114516 CPUtime=309.19 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 38186 291263 0 0 756 196 29831 136 20 0 1 0 279600677 117264384 25432 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 28629 25432 192 440 0 28185 0
[pid=13614] ppid=13549 vsize=428512 CPUtime=1412.81 cores=0,2,4,6
/proc/13614/stat : 13614 (glucosInc) R 13549 13548 12301 0 -1 4202496 69265 0 0 0 141226 55 0 0 20 0 1 0 279631599 438796288 93805 33554432000 4194304 5654031 140734425337616 140734425325432 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13614/statm: 107128 93805 142 357 0 106768 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 552176

[startup+1782.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 13630
/proc/meminfo: memFree=29930068/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=114516 CPUtime=309.19 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 38186 291263 0 0 756 196 29831 136 20 0 1 0 279600677 117264384 25432 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 28629 25432 192 440 0 28185 0
[pid=13614] ppid=13549 vsize=428512 CPUtime=1472.81 cores=0,2,4,6
/proc/13614/stat : 13614 (glucosInc) R 13549 13548 12301 0 -1 4202496 69504 0 0 0 147225 56 0 0 20 0 1 0 279631599 438796288 101198 33554432000 4194304 5654031 140734425337616 140734425325432 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13614/statm: 107128 101198 142 357 0 106768 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 552176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 13630
/proc/meminfo: memFree=29915052/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=114516 CPUtime=309.19 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 38186 291263 0 0 756 196 29831 136 20 0 1 0 279600677 117264384 25432 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 28629 25432 192 440 0 28185 0
[pid=13614] ppid=13549 vsize=509900 CPUtime=1490.91 cores=0,2,4,6
/proc/13614/stat : 13614 (glucosInc) R 13549 13548 12301 0 -1 4202496 70191 0 0 0 149034 57 0 0 20 0 1 0 279631599 522137600 104438 33554432000 4194304 5654031 140734425337616 140734425325432 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13614/statm: 127475 104438 142 357 0 127115 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 633564

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.4 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 13630
/proc/meminfo: memFree=29915052/32873844 swapFree=6088/6088
[pid=13548] ppid=13546 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/13548/stat : 13548 (npSolver-pbo-I.) S 13546 13548 12301 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279600677 9367552 275 33554432000 4194304 5064252 140735820775904 140735820774816 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/13548/statm: 2287 275 233 213 0 72 0
[pid=13549] ppid=13548 vsize=114516 CPUtime=309.19 cores=0,2,4,6
/proc/13549/stat : 13549 (npSolver-pbo) S 13548 13548 12301 0 -1 4202496 38186 291263 0 0 756 196 29831 136 20 0 1 0 279600677 117264384 25432 33554432000 4194304 5992684 140736908505440 140736908490344 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/13549/statm: 28629 25432 192 440 0 28185 0
[pid=13614] ppid=13549 vsize=509900 CPUtime=1490.91 cores=0,2,4,6
/proc/13614/stat : 13614 (glucosInc) R 13549 13548 12301 0 -1 4202496 70191 0 0 0 149034 57 0 0 20 0 1 0 279631599 522137600 104438 33554432000 4194304 5654031 140734425337616 140734425325432 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/13614/statm: 127475 104438 142 357 0 127115 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 633564

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13548 and gives
#  childrusage.ru_utime.tv_sec=305
#  childrusage.ru_utime.tv_usec=882498
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=335492
# CPU time returned by wait4() is 309.218
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.42
CPU time (s): 1800.1
CPU user time (s): 1796.21
CPU system time (s): 3.89
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 721148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 305.882
system time used= 3.33549
maximum resident set size= 555756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329825
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1199144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6644
involuntary context switches= 1441

runsolver used 5.2892 second user time and 19.743 second system time

The end

Launcher Data

Begin job on node110 at 2012-05-27 18:05:22
IDJOB=3699346
IDBENCH=92741
IDSOLVER=2276
FILE ID=node110/3699346-1338134722
RUNJOBID= node110-1338119844-12317
PBS_JOBID= 14624477
Free space on /tmp= 71592 MiB

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

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

MD5SUM BENCH= 213b2ab8f9fabc47faf8664d1026e564
RANDOM SEED=1896397922

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31015740 kB
Buffers:          273276 kB
Cached:           432388 kB
SwapCached:          148 kB
Active:           902876 kB
Inactive:         138752 kB
Active(anon):     324160 kB
Inactive(anon):    14540 kB
Active(file):     578716 kB
Inactive(file):   124212 kB
Unevictable:        6088 kB
Mlocked:            6088 kB
SwapTotal:      67108856 kB
SwapFree:       67108004 kB
Dirty:              9324 kB
Writeback:             0 kB
AnonPages:        344172 kB
Mapped:            15480 kB
Shmem:               196 kB
Slab:             673868 kB
SReclaimable:     116208 kB
SUnreclaim:       557660 kB
KernelStack:        1448 kB
PageTables:         4584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     501112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    190464 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= 71352 MiB
End job on node110 at 2012-05-27 18:35:23