Trace number 3751791

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-topdown-quickBound (fixed)? (TO) 1800 1800.31

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat25_6_4_1_mh.opb
MD5SUM72a339d7628ceb0d05dc1d46781174fb
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark3481479
Best CPU time to get the best result obtained on this benchmark1800.89
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables31350
Total number of constraints73332
Number of constraints which are clauses57050
Number of constraints which are cardinality constraints (but not clauses)32
Number of constraints which are nor clauses,nor cardinality constraints16250
Minimum length of a constraint2
Maximum length of a constraint925
Number of terms in the objective function 16825
Biggest coefficient in the objective function 97336000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 12201970261
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 97336000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 12201970261
Number of bits of the biggest sum of numbers34
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.22	c old isEQ: 0, new EQ is 1
0.00/0.22	c old isEQ: 116, new EQ is 0
0.00/0.23	c old isEQ: 0, new EQ is 0
0.00/0.24	c old isEQ: 0, new EQ is 0
0.00/0.25	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.26	c old isEQ: 0, new EQ is 0
0.00/0.27	c old isEQ: 0, new EQ is 0
0.00/0.28	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.29	c old isEQ: 0, new EQ is 0
0.00/0.30	c old isEQ: 0, new EQ is 0
0.00/0.31	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.32	c old isEQ: 0, new EQ is 0
0.00/0.33	c old isEQ: 0, new EQ is 0
0.00/0.34	c old isEQ: 0, new EQ is 0
0.00/0.35	c old isEQ: 0, new EQ is 0
0.00/0.35	c old isEQ: 0, new EQ is 0
0.00/0.36	c old isEQ: 0, new EQ is 0
0.00/0.37	c old isEQ: 0, new EQ is 0
0.00/0.38	c old isEQ: 0, new EQ is 0
0.00/0.39	c old isEQ: 0, new EQ is 0
0.00/0.39	c old isEQ: 0, new EQ is 0
0.00/0.40	c old isEQ: 0, new EQ is 0
0.00/0.41	c old isEQ: 0, new EQ is 0
0.00/0.44	c old isEQ: 0, new EQ is 1
0.00/0.49	c old isEQ: 1, new EQ is 1
0.00/0.57	c run inc solver
0.00/0.57	c [INC SYSTEM] run initial solver
0.00/0.57	c [INC SYSTEM] preprocess with white file
2.27/2.32	c [INC SYSTEM] finished preprocessing in 1 s
2.27/2.32	c [INC SYSTEM] execute solver
2.30/2.56	c [INC SEARCH] formula is SAT
2.55/2.83	c [INC SYSTEM] solved the initial formula
2.55/2.83	c model valid
2.55/2.83	c current solution ok
3.18/3.30	o 551691858
3.18/3.30	c starting approximation
3.18/3.30	c factor = 2
3.18/3.30	c factor still to low - shrinking to 2.78466e+07
3.18/3.30	c approx number of clauses: 1e+06
3.18/3.30	c current bound: 275845952
3.85/3.90	c leaving approximation
3.85/3.90	c finished approximation
3.85/3.90	c [INC SYSTEM] there exists a inc, kill it!
3.85/3.90	c write failed with 2
3.85/3.91	c [INC SEARCH] iteration: 0
3.85/3.91	c [INC BOUNDS] best value:551691883 search for 551691882
3.85/3.91	c [INC SYSTEM] create new solver instance
3.85/3.91	c [INC] encode full formula
3.85/3.91	c fallback to adder encoding
6.59/6.63	c set iterative enc to: adder
6.59/6.63	c set iterative enc to: none
6.87/6.96	c [INC SEARCH] isOptimum variable: 0
250.32/250.41	c formula is SAT
250.32/250.47	c [INC SEARCH] copied best model
250.32/250.47	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
250.42/250.58	c model valid
250.42/250.58	c current solution ok
250.42/250.58	o 278374042
250.42/250.58	c [INC SEARCH] iteration: 1
250.42/250.58	c [INC BOUNDS] best value:278374067 search for 278374066
250.42/250.58	c [INC SYSTEM] there exists a inc, kill it!
250.42/250.58	c write failed with 2
250.51/250.61	c [INC SYSTEM] create new solver instance
250.51/250.61	c [INC] encode full formula
250.51/250.61	c fallback to adder encoding
253.13/253.24	c set iterative enc to: adder
253.13/253.24	c set iterative enc to: none
253.53/253.61	c [INC SEARCH] isOptimum variable: 0
939.52/939.75	c formula is SAT
939.62/939.81	c [INC SEARCH] copied best model
939.62/939.81	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
939.72/939.92	c model valid
939.72/939.92	c current solution ok
939.72/939.92	o 88657323
939.72/939.92	c [INC SEARCH] iteration: 2
939.72/939.92	c [INC BOUNDS] best value:88657348 search for 88657347
939.72/939.92	c [INC SYSTEM] there exists a inc, kill it!
939.72/939.92	c write failed with 2
939.72/939.95	c [INC SYSTEM] create new solver instance
939.72/939.95	c [INC] encode full formula
939.72/939.95	c fallback to adder encoding
942.14/942.39	c set iterative enc to: adder
942.14/942.39	c set iterative enc to: none
942.54/942.73	c [INC SEARCH] isOptimum variable: 0
1800.00/1800.31	HOME/npSolver-pbo-Itdqb.sh: line 18: 32297 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -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-3751791-1339176162/watcher-3751791-1339176162 -o /tmp/evaluation-result-3751791-1339176162/solver-3751791-1339176162 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751791-1339176162.opb 344767027 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.01 2.01 2.09 3/173 32296
/proc/meminfo: memFree=31530992/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0

[startup+0.020008 s]
/proc/loadavg: 2.01 2.01 2.09 3/173 32296
/proc/meminfo: memFree=31530992/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100312 s]
/proc/loadavg: 2.01 2.01 2.09 3/173 32296
/proc/meminfo: memFree=31530992/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300322 s]
/proc/loadavg: 2.01 2.01 2.09 3/173 32296
/proc/meminfo: memFree=31530992/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700298 s]
/proc/loadavg: 2.01 2.01 2.09 3/173 32296
/proc/meminfo: memFree=31530992/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50038 s]
/proc/loadavg: 2.01 2.01 2.09 3/181 32311
/proc/meminfo: memFree=31270976/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=71952 CPUtime=0.58 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 9337 0 0 0 53 5 0 0 20 0 1 0 383744758 73678848 17618 33554432000 4194304 6004724 140734143812064 140734143806528 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32297/statm: 17988 17618 164 442 0 17542 0
[pid=32310] ppid=32297 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32310/stat : 32310 (cp2_pre.sh) S 32297 32296 31464 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 383744818 9367552 277 33554432000 4194304 5064252 140736362395376 140736362394080 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32310/statm: 2287 277 234 213 0 72 0
[pid=32311] ppid=32310 vsize=135896 CPUtime=0.89 cores=0,2,4,6
/proc/32311/stat : 32311 (coprocessor) R 32310 32296 31464 0 -1 4202496 25804 0 0 0 85 4 0 0 20 0 1 0 383744818 139157504 32972 33554432000 4194304 6586260 140734255266512 140734255262440 4685176 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/32311/statm: 33974 32972 192 584 0 33386 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 226144

[startup+3.10032 s]
/proc/loadavg: 2.01 2.01 2.09 3/181 32311
/proc/meminfo: memFree=31080536/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=71952 CPUtime=2.85 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) R 32296 32296 31464 0 -1 4202496 11081 27499 0 0 72 41 161 11 20 0 1 0 383744758 73678848 17627 33554432000 4194304 6004724 140734143812064 140734143806264 5190832 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32297/statm: 17988 17627 173 442 0 17542 0
Current children cumulated CPU time (s) 2.85
Current children cumulated vsize (KiB) 81100

[startup+6.30031 s]
/proc/loadavg: 2.01 2.01 2.08 3/179 32321
/proc/meminfo: memFree=30859436/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=350480 CPUtime=6.28 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) R 32296 32296 31464 0 -1 4202496 17930 63620 0 0 315 65 225 23 20 0 1 0 383744758 358891520 64565 33554432000 4194304 6004724 140734143812064 140734143805304 4534752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32297/statm: 87620 64565 200 442 0 87174 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 359628

[startup+12.7003 s]
/proc/loadavg: 2.09 2.02 2.09 3/180 32323
/proc/meminfo: memFree=29788772/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=88336 CPUtime=6.94 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 18415 64136 0 0 352 93 225 24 20 0 1 0 383744758 90456064 21750 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32297/statm: 22084 21750 200 442 0 21638 0
[pid=32323] ppid=32297 vsize=575948 CPUtime=5.71 cores=0,2,4,6
/proc/32323/stat : 32323 (glucosInc) R 32297 32296 31464 0 -1 4202496 85073 0 0 0 548 23 0 0 20 0 1 0 383745455 589770752 122831 33554432000 4194304 5654031 140736062805072 140736062792888 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32323/statm: 143987 122831 141 357 0 143627 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 673432

[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.09 3/182 32325
/proc/meminfo: memFree=27664568/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=88336 CPUtime=6.94 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 18415 64136 0 0 352 93 225 24 20 0 1 0 383744758 90456064 21750 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32297/statm: 22084 21750 200 442 0 21638 0
[pid=32323] ppid=32297 vsize=577664 CPUtime=18.51 cores=0,2,4,6
/proc/32323/stat : 32323 (glucosInc) R 32297 32296 31464 0 -1 4202496 85518 0 0 0 1827 24 0 0 20 0 1 0 383745455 591527936 124298 33554432000 4194304 5654031 140736062805072 140736062802856 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32323/statm: 144416 124298 142 357 0 144056 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 675148

[startup+51.1004 s]
/proc/loadavg: 2.23 2.06 2.10 3/182 32325
/proc/meminfo: memFree=25573264/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=88336 CPUtime=6.94 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 18415 64136 0 0 352 93 225 24 20 0 1 0 383744758 90456064 21750 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32297/statm: 22084 21750 200 442 0 21638 0
[pid=32323] ppid=32297 vsize=579284 CPUtime=44.11 cores=0,2,4,6
/proc/32323/stat : 32323 (glucosInc) R 32297 32296 31464 0 -1 4202496 85902 0 0 0 4385 26 0 0 20 0 1 0 383745455 593186816 127237 33554432000 4194304 5654031 140736062805072 140736062792888 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32323/statm: 144821 127237 142 357 0 144461 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 676768

[startup+102.307 s]
/proc/loadavg: 2.15 2.07 2.10 3/181 32327
/proc/meminfo: memFree=25149872/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=88336 CPUtime=6.94 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 18415 64136 0 0 352 93 225 24 20 0 1 0 383744758 90456064 21750 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32297/statm: 22084 21750 200 442 0 21638 0
[pid=32323] ppid=32297 vsize=663696 CPUtime=95.3 cores=0,2,4,6
/proc/32323/stat : 32323 (glucosInc) R 32297 32296 31464 0 -1 4202496 86817 0 0 0 9500 30 0 0 20 0 1 0 383745455 679624704 130707 33554432000 4194304 5654031 140736062805072 140736062802856 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32323/statm: 165924 130707 142 357 0 165564 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 761180

[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.09 3/181 32327
/proc/meminfo: memFree=25129940/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=88336 CPUtime=6.94 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 18415 64136 0 0 352 93 225 24 20 0 1 0 383744758 90456064 21750 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32297/statm: 22084 21750 200 442 0 21638 0
[pid=32323] ppid=32297 vsize=585152 CPUtime=155.29 cores=0,2,4,6
/proc/32323/stat : 32323 (glucosInc) R 32297 32296 31464 0 -1 4202496 87898 0 0 0 15495 34 0 0 20 0 1 0 383745455 599195648 130214 33554432000 4194304 5654031 140736062805072 140736062802856 4214131 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32323/statm: 146288 130214 142 357 0 145928 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 682636

[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.08 3/181 32328
/proc/meminfo: memFree=25135068/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=88336 CPUtime=6.94 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 18415 64136 0 0 352 93 225 24 20 0 1 0 383744758 90456064 21750 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32297/statm: 22084 21750 200 442 0 21638 0
[pid=32323] ppid=32297 vsize=587492 CPUtime=215.28 cores=0,2,4,6
/proc/32323/stat : 32323 (glucosInc) R 32297 32296 31464 0 -1 4202496 89031 0 0 0 21491 37 0 0 20 0 1 0 383745455 601591808 126705 33554432000 4194304 5654031 140736062805072 140736062792888 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32323/statm: 146873 126705 142 357 0 146513 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 684976

[startup+282.3 s]
/proc/loadavg: 2.12 2.06 2.09 3/181 32330
/proc/meminfo: memFree=25149980/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6

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

/proc/loadavg: 2.00 2.00 2.00 3/181 32342
/proc/meminfo: memFree=25156016/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=96528 CPUtime=942.57 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 30495 244223 0 0 892 161 93078 126 20 0 1 0 383744758 98844672 23798 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32297/statm: 24132 23798 200 442 0 23686 0
[pid=32337] ppid=32297 vsize=548244 CPUtime=419.49 cores=0,2,4,6
/proc/32337/stat : 32337 (glucosInc) R 32297 32296 31464 0 -1 4202496 82463 0 0 0 41920 29 0 0 20 0 1 0 383839032 561401856 119475 33554432000 4194304 5654031 140733311954464 140733311942280 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32337/statm: 137061 119475 141 357 0 136701 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 653920

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32342
/proc/meminfo: memFree=25120740/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=96528 CPUtime=942.57 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 30495 244223 0 0 892 161 93078 126 20 0 1 0 383744758 98844672 23798 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32297/statm: 24132 23798 200 442 0 23686 0
[pid=32337] ppid=32297 vsize=636500 CPUtime=479.49 cores=0,2,4,6
/proc/32337/stat : 32337 (glucosInc) R 32297 32296 31464 0 -1 4202496 83962 0 0 0 47918 31 0 0 20 0 1 0 383839032 651776000 128120 33554432000 4194304 5654031 140733311954464 140733311942280 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32337/statm: 159125 128120 141 357 0 158765 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 742176

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32343
/proc/meminfo: memFree=25116364/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=96528 CPUtime=942.57 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 30495 244223 0 0 892 161 93078 126 20 0 1 0 383744758 98844672 23798 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32297/statm: 24132 23798 200 442 0 23686 0
[pid=32337] ppid=32297 vsize=636500 CPUtime=539.47 cores=0,2,4,6
/proc/32337/stat : 32337 (glucosInc) R 32297 32296 31464 0 -1 4202496 83971 0 0 0 53916 31 0 0 20 0 1 0 383839032 651776000 129151 33554432000 4194304 5654031 140733311954464 140733311942280 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32337/statm: 159125 129151 141 357 0 158765 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 742176

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32343
/proc/meminfo: memFree=25151184/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=96528 CPUtime=942.57 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 30495 244223 0 0 892 161 93078 126 20 0 1 0 383744758 98844672 23798 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32297/statm: 24132 23798 200 442 0 23686 0
[pid=32337] ppid=32297 vsize=555112 CPUtime=599.46 cores=0,2,4,6
/proc/32337/stat : 32337 (glucosInc) R 32297 32296 31464 0 -1 4202496 84404 0 0 0 59913 33 0 0 20 0 1 0 383839032 568434688 120279 33554432000 4194304 5654031 140733311954464 140733311942280 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32337/statm: 138778 120279 141 357 0 138418 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 660788

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32343
/proc/meminfo: memFree=25142572/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=96528 CPUtime=942.57 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 30495 244223 0 0 892 161 93078 126 20 0 1 0 383744758 98844672 23798 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32297/statm: 24132 23798 200 442 0 23686 0
[pid=32337] ppid=32297 vsize=555112 CPUtime=659.45 cores=0,2,4,6
/proc/32337/stat : 32337 (glucosInc) R 32297 32296 31464 0 -1 4202496 84627 0 0 0 65912 33 0 0 20 0 1 0 383839032 568434688 122035 33554432000 4194304 5654031 140733311954464 140733311942280 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32337/statm: 138778 122035 141 357 0 138418 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 660788

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 32346
/proc/meminfo: memFree=25131700/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=96528 CPUtime=942.57 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 30495 244223 0 0 892 161 93078 126 20 0 1 0 383744758 98844672 23798 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32297/statm: 24132 23798 200 442 0 23686 0
[pid=32337] ppid=32297 vsize=555112 CPUtime=719.44 cores=0,2,4,6
/proc/32337/stat : 32337 (glucosInc) R 32297 32296 31464 0 -1 4202496 84670 0 0 0 71911 33 0 0 20 0 1 0 383839032 568434688 124633 33554432000 4194304 5654031 140733311954464 140733311942280 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32337/statm: 138778 124633 141 357 0 138418 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 660788

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32346
/proc/meminfo: memFree=25122148/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=96528 CPUtime=942.57 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 30495 244223 0 0 892 161 93078 126 20 0 1 0 383744758 98844672 23798 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32297/statm: 24132 23798 200 442 0 23686 0
[pid=32337] ppid=32297 vsize=555112 CPUtime=779.44 cores=0,2,4,6
/proc/32337/stat : 32337 (glucosInc) R 32297 32296 31464 0 -1 4202496 84987 0 0 0 77910 34 0 0 20 0 1 0 383839032 568434688 126994 33554432000 4194304 5654031 140733311954464 140733311942280 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32337/statm: 138778 126994 141 357 0 138418 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 660788

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32347
/proc/meminfo: memFree=25111660/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=96528 CPUtime=942.57 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 30495 244223 0 0 892 161 93078 126 20 0 1 0 383744758 98844672 23798 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32297/statm: 24132 23798 200 442 0 23686 0
[pid=32337] ppid=32297 vsize=641976 CPUtime=839.43 cores=0,2,4,6
/proc/32337/stat : 32337 (glucosInc) R 32297 32296 31464 0 -1 4202496 85803 0 0 0 83908 35 0 0 20 0 1 0 383839032 657383424 129341 33554432000 4194304 5654031 140733311954464 140733311942280 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32337/statm: 160494 129341 141 357 0 160134 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 747652



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 32347
/proc/meminfo: memFree=25109440/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=96528 CPUtime=942.57 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 30495 244223 0 0 892 161 93078 126 20 0 1 0 383744758 98844672 23798 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32297/statm: 24132 23798 200 442 0 23686 0
[pid=32337] ppid=32297 vsize=641976 CPUtime=857.43 cores=0,2,4,6
/proc/32337/stat : 32337 (glucosInc) R 32297 32296 31464 0 -1 4202496 85804 0 0 0 85708 35 0 0 20 0 1 0 383839032 657383424 129853 33554432000 4194304 5654031 140733311954464 140733311942280 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32337/statm: 160494 129853 141 357 0 160134 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 747652

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 32347
/proc/meminfo: memFree=25109440/32873844 swapFree=8656/8656
[pid=32296] ppid=32294 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32296/stat : 32296 (npSolver-pbo-It) S 32294 32296 31464 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383744758 9367552 275 33554432000 4194304 5064252 140735509266576 140735509265488 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32296/statm: 2287 275 233 213 0 72 0
[pid=32297] ppid=32296 vsize=96528 CPUtime=942.57 cores=0,2,4,6
/proc/32297/stat : 32297 (npSolver-pbo) S 32296 32296 31464 0 -1 4202496 30495 244223 0 0 892 161 93078 126 20 0 1 0 383744758 98844672 23798 33554432000 4194304 6004724 140734143812064 140734143797912 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32297/statm: 24132 23798 200 442 0 23686 0
[pid=32337] ppid=32297 vsize=641976 CPUtime=857.43 cores=0,2,4,6
/proc/32337/stat : 32337 (glucosInc) R 32297 32296 31464 0 -1 4202496 85804 0 0 0 85708 35 0 0 20 0 1 0 383839032 657383424 129853 33554432000 4194304 5654031 140733311954464 140733311942280 4232800 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32337/statm: 160494 129853 141 357 0 160134 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 747652

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32296 and gives
#  childrusage.ru_utime.tv_sec=939
#  childrusage.ru_utime.tv_usec=711142
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=881561
# CPU time returned by wait4() is 942.593
# while last known CPU time is 1800
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.31
CPU time (s): 1800
CPU user time (s): 1796.78
CPU system time (s): 3.22
CPU usage (%): 99.9825
Max. virtual memory (cumulated for all children) (KiB): 896460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 939.711
system time used= 2.88156
maximum resident set size= 667424
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 275093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1239384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4877
involuntary context switches= 2187

runsolver used 2.90056 second user time and 9.58954 second system time

The end

Launcher Data 

Begin job on node102 at 2012-06-08 19:22:42
IDJOB=3751791
IDBENCH=92712
IDSOLVER=2335
FILE ID=node102/3751791-1339176162
RUNJOBID= node102-1339170244-31480
PBS_JOBID= 14643844
Free space on /tmp= 71100 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Multihop/normalized-minisat25_6_4_1_mh.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3751791-1339176162/watcher-3751791-1339176162 -o /tmp/evaluation-result-3751791-1339176162/solver-3751791-1339176162 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751791-1339176162.opb 344767027 HOME HOME

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

MD5SUM BENCH= 72a339d7628ceb0d05dc1d46781174fb
RANDOM SEED=344767027

node102.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.178
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.35
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.178
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.90
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.178
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.178
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.178
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.178
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	: 5438.54
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.178
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.178
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:        31532752 kB
Buffers:          272976 kB
Cached:           185988 kB
SwapCached:         2676 kB
Active:           431404 kB
Inactive:          36984 kB
Active(anon):       4480 kB
Inactive(anon):     7192 kB
Active(file):     426924 kB
Inactive(file):    29792 kB
Unevictable:        8656 kB
Mlocked:            8656 kB
SwapTotal:      67108856 kB
SwapFree:       67099976 kB
Dirty:             23312 kB
Writeback:             0 kB
AnonPages:         13644 kB
Mapped:             8452 kB
Shmem:                 0 kB
Slab:             732912 kB
SReclaimable:     174136 kB
SUnreclaim:       558776 kB
KernelStack:        1440 kB
PageTables:         3612 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     108864 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 69772 MiB
End job on node102 at 2012-06-08 19:52:43