Trace number 3751799

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.06 1800.92

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat25_6_4_9_mh.opb
MD5SUM2d28530068eb86764968fa921334caf4
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2596841
Best CPU time to get the best result obtained on this benchmark1800.37
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 16775
Biggest coefficient in the objective function 123505992
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 14263006373
Number of bits of the sum of numbers in the objective function 34
Biggest number in a constraint 123505992
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 14263006373
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.24	c old isEQ: 0, new EQ is 1
0.00/0.24	c old isEQ: 116, 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.30	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.33	c old isEQ: 0, new EQ is 0
0.00/0.34	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.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.38	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.42	c old isEQ: 0, new EQ is 0
0.00/0.42	c old isEQ: 0, new EQ is 0
0.00/0.43	c old isEQ: 0, new EQ is 0
0.00/0.46	c old isEQ: 0, new EQ is 1
0.00/0.52	c old isEQ: 1, new EQ is 1
0.00/0.60	c run inc solver
0.00/0.60	c [INC SYSTEM] run initial solver
0.00/0.60	c [INC SYSTEM] preprocess with white file
2.26/2.79	c [INC SYSTEM] finished preprocessing in 2 s
2.26/2.79	c [INC SYSTEM] execute solver
3.77/4.34	c [INC SEARCH] formula is SAT
3.77/4.35	c [INC SYSTEM] solved the initial formula
3.87/4.46	c model valid
3.87/4.46	c current solution ok
4.56/5.16	o 490213439
4.56/5.16	c starting approximation
4.56/5.16	c factor = 2
4.56/5.16	c factor still to low - shrinking to 2.467e+07
4.56/5.16	c approx number of clauses: 1e+06
4.56/5.16	c current bound: 245106736
5.14/5.73	c leaving approximation
5.14/5.73	c finished approximation
5.14/5.73	c [INC SYSTEM] there exists a inc, kill it!
5.14/5.73	c write failed with 2
5.14/5.74	c [INC SEARCH] iteration: 0
5.14/5.74	c [INC BOUNDS] best value:490213464 search for 490213463
5.14/5.74	c [INC SYSTEM] create new solver instance
5.14/5.74	c [INC] encode full formula
5.14/5.74	c fallback to adder encoding
7.77/8.37	c set iterative enc to: adder
7.77/8.37	c set iterative enc to: none
8.17/8.71	c [INC SEARCH] isOptimum variable: 0
193.85/194.43	c formula is SAT
193.95/194.50	c [INC SEARCH] copied best model
193.95/194.50	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
194.05/194.61	c model valid
194.05/194.61	c current solution ok
194.05/194.61	o 280897435
194.05/194.61	c [INC SEARCH] iteration: 1
194.05/194.61	c [INC BOUNDS] best value:280897460 search for 280897459
194.05/194.61	c [INC SYSTEM] there exists a inc, kill it!
194.05/194.61	c write failed with 2
194.05/194.64	c [INC SYSTEM] create new solver instance
194.05/194.64	c [INC] encode full formula
194.05/194.64	c fallback to adder encoding
196.76/197.38	c set iterative enc to: adder
196.76/197.38	c set iterative enc to: none
197.16/197.75	c [INC SEARCH] isOptimum variable: 0
1113.58/1114.37	c formula is SAT
1113.67/1114.44	c [INC SEARCH] copied best model
1113.67/1114.44	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1113.77/1114.55	c model valid
1113.77/1114.55	c current solution ok
1113.77/1114.55	o 233555067
1113.77/1114.55	c [INC SEARCH] iteration: 2
1113.77/1114.55	c [INC BOUNDS] best value:233555092 search for 233555091
1113.77/1114.55	c [INC SYSTEM] there exists a inc, kill it!
1113.77/1114.55	c write failed with 2
1113.77/1114.56	c [INC SYSTEM] create new solver instance
1113.77/1114.56	c [INC] encode full formula
1113.77/1114.56	c fallback to adder encoding
1116.38/1117.11	c set iterative enc to: adder
1116.38/1117.11	c set iterative enc to: none
1116.68/1117.46	c [INC SEARCH] isOptimum variable: 0
1800.06/1800.91	HOME/npSolver-pbo-Itdqb.sh: line 18:  5032 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-3751799-1339176146/watcher-3751799-1339176146 -o /tmp/evaluation-result-3751799-1339176146/solver-3751799-1339176146 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751799-1339176146.opb 914026272 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: 1.92 2.01 2.23 3/180 5030
/proc/meminfo: memFree=19630676/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (runsolver) D 5028 5030 4273 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 27581704 12095488 51 33554432000 4194304 5436572 140733827198544 140733827194840 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/5030/statm: 2953 51 31 304 0 2645 0

[startup+0.03415 s]
/proc/loadavg: 1.92 2.01 2.23 3/180 5030
/proc/meminfo: memFree=19630676/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10023 s]
/proc/loadavg: 1.92 2.01 2.23 3/180 5030
/proc/meminfo: memFree=19630676/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300215 s]
/proc/loadavg: 1.92 2.01 2.23 3/180 5030
/proc/meminfo: memFree=19630676/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700267 s]
/proc/loadavg: 1.92 2.01 2.23 3/180 5030
/proc/meminfo: memFree=19630676/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50037 s]
/proc/loadavg: 1.92 2.01 2.23 3/184 5034
/proc/meminfo: memFree=19455392/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=71952 CPUtime=0.61 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 10729 0 0 0 56 5 0 0 20 0 1 0 27581704 73678848 17367 33554432000 4194304 6004724 140733209186016 140733209180480 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5032/statm: 17988 17367 164 442 0 17542 0
[pid=5033] ppid=5032 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5033/stat : 5033 (cp2_pre.sh) S 5032 5030 4273 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 27581766 9367552 276 33554432000 4194304 5064252 140735537421376 140735537420080 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5033/statm: 2287 276 234 213 0 72 0
[pid=5034] ppid=5033 vsize=135864 CPUtime=0.86 cores=0,2,4,6
/proc/5034/stat : 5034 (coprocessor) R 5033 5030 4273 0 -1 4202496 25289 0 0 0 83 3 0 0 20 0 1 0 27581766 139124736 32969 33554432000 4194304 6586260 140734108677136 140734108673896 4683293 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/5034/statm: 33966 32969 192 584 0 33378 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 226112

[startup+3.10028 s]
/proc/loadavg: 1.92 2.01 2.23 3/184 5034
/proc/meminfo: memFree=19419108/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=71952 CPUtime=2.27 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 10746 26483 0 0 56 5 156 10 20 0 1 0 27581704 73678848 17370 33554432000 4194304 6004724 140733209186016 140733209172296 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5032/statm: 17988 17370 167 442 0 17542 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 81100
heavy processes:

[startup+6.30029 s]
/proc/loadavg: 1.93 2.01 2.23 3/185 5039
/proc/meminfo: memFree=19419564/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=153872 CPUtime=5.78 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) R 5030 5030 4273 0 -1 4202496 19446 63566 0 0 145 62 351 20 20 0 1 0 27581704 157564928 31143 33554432000 4194304 6004724 140733209186016 140733209182096 5055579 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5032/statm: 38468 31143 200 442 0 38022 0
Current children cumulated CPU time (s) 5.78
Current children cumulated vsize (KiB) 163020

[startup+12.7004 s]
/proc/loadavg: 1.93 2.01 2.22 3/183 5046
/proc/meminfo: memFree=18861796/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=88336 CPUtime=8.18 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 21172 64081 0 0 350 96 351 21 20 0 1 0 27581704 90456064 21499 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5032/statm: 22084 21499 200 442 0 21638 0
[pid=5046] ppid=5032 vsize=539052 CPUtime=3.98 cores=0,2,4,6
/proc/5046/stat : 5046 (glucosInc) R 5032 5030 4273 0 -1 4202496 81282 0 0 0 376 22 0 0 20 0 1 0 27582575 551989248 118783 33554432000 4194304 5654031 140734911270448 140734911268232 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 134763 118783 141 357 0 134403 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 636536

[startup+25.5004 s]
/proc/loadavg: 2.02 2.03 2.23 3/183 5046
/proc/meminfo: memFree=18862856/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=88336 CPUtime=8.18 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 21172 64081 0 0 350 96 351 21 20 0 1 0 27581704 90456064 21499 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5032/statm: 22084 21499 200 442 0 21638 0
[pid=5046] ppid=5032 vsize=541536 CPUtime=16.77 cores=0,2,4,6
/proc/5046/stat : 5046 (glucosInc) R 5032 5030 4273 0 -1 4202496 82278 0 0 0 1655 22 0 0 20 0 1 0 27582575 554532864 119779 33554432000 4194304 5654031 140734911270448 140734911258264 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 135384 119779 141 357 0 135024 0
Current children cumulated CPU time (s) 24.95
Current children cumulated vsize (KiB) 639020

[startup+51.1004 s]
/proc/loadavg: 2.01 2.03 2.22 3/183 5046
/proc/meminfo: memFree=18854084/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=88336 CPUtime=8.18 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 21172 64081 0 0 350 96 351 21 20 0 1 0 27581704 90456064 21499 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5032/statm: 22084 21499 200 442 0 21638 0
[pid=5046] ppid=5032 vsize=543684 CPUtime=42.36 cores=0,2,4,6
/proc/5046/stat : 5046 (glucosInc) R 5032 5030 4273 0 -1 4202496 82977 0 0 0 4214 22 0 0 20 0 1 0 27582575 556732416 121499 33554432000 4194304 5654031 140734911270448 140734911258264 4215126 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 135921 121499 142 357 0 135561 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 641168

[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.20 3/183 5046
/proc/meminfo: memFree=18828308/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=88336 CPUtime=8.18 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 21172 64081 0 0 350 96 351 21 20 0 1 0 27581704 90456064 21499 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5032/statm: 22084 21499 200 442 0 21638 0
[pid=5046] ppid=5032 vsize=546924 CPUtime=93.57 cores=0,2,4,6
/proc/5046/stat : 5046 (glucosInc) R 5032 5030 4273 0 -1 4202496 83809 0 0 0 9334 23 0 0 20 0 1 0 27582575 560050176 127441 33554432000 4194304 5654031 140734911270448 140734911268136 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 136731 127441 142 357 0 136371 0
Current children cumulated CPU time (s) 101.75
Current children cumulated vsize (KiB) 644408

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.19 3/183 5046
/proc/meminfo: memFree=18817368/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=88336 CPUtime=8.18 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 21172 64081 0 0 350 96 351 21 20 0 1 0 27581704 90456064 21499 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5032/statm: 22084 21499 200 442 0 21638 0
[pid=5046] ppid=5032 vsize=632232 CPUtime=153.55 cores=0,2,4,6
/proc/5046/stat : 5046 (glucosInc) R 5032 5030 4273 0 -1 4202496 86239 0 0 0 15326 29 0 0 20 0 1 0 27582575 647405568 128999 33554432000 4194304 5654031 140734911270448 140734911258264 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5046/statm: 158058 128999 142 357 0 157698 0
Current children cumulated CPU time (s) 161.73
Current children cumulated vsize (KiB) 729716

[startup+222.3 s]
/proc/loadavg: 2.06 2.03 2.18 3/183 5048
/proc/meminfo: memFree=18841472/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=96528 CPUtime=197.22 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 29149 151601 0 0 642 132 18888 60 20 0 1 0 27581704 98844672 23547 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5032/statm: 24132 23547 200 442 0 23686 0
[pid=5048] ppid=5032 vsize=543012 CPUtime=24.53 cores=0,2,4,6
/proc/5048/stat : 5048 (glucosInc) R 5032 5030 4273 0 -1 4202496 79902 0 0 0 2430 23 0 0 20 0 1 0 27601479 556044288 120290 33554432000 4194304 5654031 140735786471120 140735786468808 4232707 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5048/statm: 135753 120290 142 357 0 135393 0
Current children cumulated CPU time (s) 221.75
Current children cumulated vsize (KiB) 648688

[startup+282.3 s]
/proc/loadavg: 2.05 2.03 2.17 3/183 5049
/proc/meminfo: memFree=18822836/32873844 swapFree=7124/7124

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

/proc/loadavg: 2.00 2.02 2.07 3/183 5104
/proc/meminfo: memFree=24434096/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=97176 CPUtime=1116.74 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 36954 241913 0 0 916 165 110476 117 20 0 1 0 27581704 99508224 23709 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5032/statm: 24294 23709 200 442 0 23848 0
[pid=5103] ppid=5032 vsize=549036 CPUtime=244.79 cores=0,2,4,6
/proc/5103/stat : 5103 (glucosInc) R 5032 5030 4273 0 -1 4202496 83407 0 0 0 24452 27 0 0 20 0 1 0 27693450 562212864 121659 33554432000 4194304 5654031 140735152875152 140735152862968 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5103/statm: 137259 121659 141 357 0 136899 0
Current children cumulated CPU time (s) 1361.53
Current children cumulated vsize (KiB) 655360

[startup+1422.31 s]
/proc/loadavg: 2.07 2.03 2.07 3/183 5104
/proc/meminfo: memFree=24417252/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=97176 CPUtime=1116.74 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 36954 241913 0 0 916 165 110476 117 20 0 1 0 27581704 99508224 23709 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5032/statm: 24294 23709 200 442 0 23848 0
[pid=5103] ppid=5032 vsize=551260 CPUtime=304.78 cores=0,2,4,6
/proc/5103/stat : 5103 (glucosInc) R 5032 5030 4273 0 -1 4202496 83953 0 0 0 30451 27 0 0 20 0 1 0 27693450 564490240 125782 33554432000 4194304 5654031 140735152875152 140735152862968 4232678 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5103/statm: 137815 125782 141 357 0 137455 0
Current children cumulated CPU time (s) 1421.52
Current children cumulated vsize (KiB) 657584

[startup+1482.3 s]
/proc/loadavg: 2.02 2.02 2.06 3/182 5104
/proc/meminfo: memFree=24429892/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=97176 CPUtime=1116.74 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 36954 241913 0 0 916 165 110476 117 20 0 1 0 27581704 99508224 23709 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5032/statm: 24294 23709 200 442 0 23848 0
[pid=5103] ppid=5032 vsize=552516 CPUtime=364.77 cores=0,2,4,6
/proc/5103/stat : 5103 (glucosInc) R 5032 5030 4273 0 -1 4202496 84783 0 0 0 36446 31 0 0 20 0 1 0 27693450 565776384 122541 33554432000 4194304 5654031 140735152875152 140735152862968 4215088 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5103/statm: 138129 122541 141 357 0 137769 0
Current children cumulated CPU time (s) 1481.51
Current children cumulated vsize (KiB) 658840

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/183 5105
/proc/meminfo: memFree=24420300/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=97176 CPUtime=1116.74 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 36954 241913 0 0 916 165 110476 117 20 0 1 0 27581704 99508224 23709 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5032/statm: 24294 23709 200 442 0 23848 0
[pid=5103] ppid=5032 vsize=553692 CPUtime=424.76 cores=0,2,4,6
/proc/5103/stat : 5103 (glucosInc) R 5032 5030 4273 0 -1 4202496 85061 0 0 0 42445 31 0 0 20 0 1 0 27693450 566980608 124863 33554432000 4194304 5654031 140735152875152 140735152862968 4232925 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5103/statm: 138423 124863 141 357 0 138063 0
Current children cumulated CPU time (s) 1541.5
Current children cumulated vsize (KiB) 660016

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 5105
/proc/meminfo: memFree=24408792/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=97176 CPUtime=1116.74 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 36954 241913 0 0 916 165 110476 117 20 0 1 0 27581704 99508224 23709 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5032/statm: 24294 23709 200 442 0 23848 0
[pid=5103] ppid=5032 vsize=554688 CPUtime=484.75 cores=0,2,4,6
/proc/5103/stat : 5103 (glucosInc) R 5032 5030 4273 0 -1 4202496 85298 0 0 0 48444 31 0 0 20 0 1 0 27693450 568000512 127655 33554432000 4194304 5654031 140735152875152 140735152862968 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5103/statm: 138672 127655 141 357 0 138312 0
Current children cumulated CPU time (s) 1601.49
Current children cumulated vsize (KiB) 661012

[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 5108
/proc/meminfo: memFree=24393972/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=97176 CPUtime=1116.74 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 36954 241913 0 0 916 165 110476 117 20 0 1 0 27581704 99508224 23709 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5032/statm: 24294 23709 200 442 0 23848 0
[pid=5103] ppid=5032 vsize=637196 CPUtime=544.74 cores=0,2,4,6
/proc/5103/stat : 5103 (glucosInc) R 5032 5030 4273 0 -1 4202496 85703 0 0 0 54442 32 0 0 20 0 1 0 27693450 652488704 131125 33554432000 4194304 5654031 140735152875152 140735152862968 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5103/statm: 159299 131125 141 357 0 158939 0
Current children cumulated CPU time (s) 1661.48
Current children cumulated vsize (KiB) 743520

[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.04 3/183 5108
/proc/meminfo: memFree=24426176/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=97176 CPUtime=1116.74 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 36954 241913 0 0 916 165 110476 117 20 0 1 0 27581704 99508224 23709 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5032/statm: 24294 23709 200 442 0 23848 0
[pid=5103] ppid=5032 vsize=556360 CPUtime=604.73 cores=0,2,4,6
/proc/5103/stat : 5103 (glucosInc) R 5032 5030 4273 0 -1 4202496 86222 0 0 0 60438 35 0 0 20 0 1 0 27693450 569712640 122963 33554432000 4194304 5654031 140735152875152 140735152862968 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5103/statm: 139090 122963 141 357 0 138730 0
Current children cumulated CPU time (s) 1721.47
Current children cumulated vsize (KiB) 662684

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/183 5108
/proc/meminfo: memFree=24415288/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=97176 CPUtime=1116.74 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 36954 241913 0 0 916 165 110476 117 20 0 1 0 27581704 99508224 23709 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5032/statm: 24294 23709 200 442 0 23848 0
[pid=5103] ppid=5032 vsize=556896 CPUtime=664.72 cores=0,2,4,6
/proc/5103/stat : 5103 (glucosInc) R 5032 5030 4273 0 -1 4202496 86360 0 0 0 66437 35 0 0 20 0 1 0 27693450 570261504 125145 33554432000 4194304 5654031 140735152875152 140735152862968 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5103/statm: 139224 125145 141 357 0 138864 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (KiB) 663220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.9 s]
/proc/loadavg: 2.01 2.01 2.03 3/183 5109
/proc/meminfo: memFree=24410696/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=97176 CPUtime=1116.74 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 36954 241913 0 0 916 165 110476 117 20 0 1 0 27581704 99508224 23709 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5032/statm: 24294 23709 200 442 0 23848 0
[pid=5103] ppid=5032 vsize=557368 CPUtime=683.32 cores=0,2,4,6
/proc/5103/stat : 5103 (glucosInc) R 5032 5030 4273 0 -1 4202496 86471 0 0 0 68297 35 0 0 20 0 1 0 27693450 570744832 126278 33554432000 4194304 5654031 140735152875152 140735152862968 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5103/statm: 139342 126278 141 357 0 138982 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 663692

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.9 s]
/proc/loadavg: 2.01 2.01 2.03 3/183 5109
/proc/meminfo: memFree=24410696/32873844 swapFree=7124/7124
[pid=5030] ppid=5028 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5030/stat : 5030 (npSolver-pbo-It) S 5028 5030 4273 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 27581704 9367552 275 33554432000 4194304 5064252 140735879996544 140735879995456 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5030/statm: 2287 275 233 213 0 72 0
[pid=5032] ppid=5030 vsize=97176 CPUtime=1116.74 cores=0,2,4,6
/proc/5032/stat : 5032 (npSolver-pbo) S 5030 5030 4273 0 -1 4202496 36954 241913 0 0 916 165 110476 117 20 0 1 0 27581704 99508224 23709 33554432000 4194304 6004724 140733209186016 140733209171864 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5032/statm: 24294 23709 200 442 0 23848 0
[pid=5103] ppid=5032 vsize=557368 CPUtime=683.32 cores=0,2,4,6
/proc/5103/stat : 5103 (glucosInc) R 5032 5030 4273 0 -1 4202496 86471 0 0 0 68297 35 0 0 20 0 1 0 27693450 570744832 126278 33554432000 4194304 5654031 140735152875152 140735152862968 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5103/statm: 139342 126278 141 357 0 138982 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 663692

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5030 and gives
#  childrusage.ru_utime.tv_sec=1113
#  childrusage.ru_utime.tv_usec=927657
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=831569
# CPU time returned by wait4() is 1116.76
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.92
CPU time (s): 1800.06
CPU user time (s): 1796.89
CPU system time (s): 3.17
CPU usage (%): 99.9525
Max. virtual memory (cumulated for all children) (KiB): 881768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1113.93
system time used= 2.83157
maximum resident set size= 666748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 279242
page faults= 0
swaps= 0
block input operations= 8
block output operations= 1235456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4865
involuntary context switches= 1690

runsolver used 3.2875 second user time and 7.58185 second system time

The end

Launcher Data 

Begin job on node134 at 2012-06-08 19:22:26
IDJOB=3751799
IDBENCH=92709
IDSOLVER=2335
FILE ID=node134/3751799-1339176146
RUNJOBID= node134-1339168328-4289
PBS_JOBID= 14643800
Free space on /tmp= 68596 MiB

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

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

MD5SUM BENCH= 2d28530068eb86764968fa921334caf4
RANDOM SEED=914026272

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        19631468 kB
Buffers:          338732 kB
Cached:          3245904 kB
SwapCached:            0 kB
Active:         11517460 kB
Inactive:         825172 kB
Active(anon):    8742504 kB
Inactive(anon):    13140 kB
Active(file):    2774956 kB
Inactive(file):   812032 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             10912 kB
Writeback:             0 kB
AnonPages:       8760076 kB
Mapped:            15416 kB
Shmem:               212 kB
Slab:             741884 kB
SReclaimable:     184120 kB
SUnreclaim:       557764 kB
KernelStack:        1520 kB
PageTables:        21256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:   11423768 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5027840 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= 69612 MiB
End job on node134 at 2012-06-08 19:52:27