Trace number 3751693

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.01 1801.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat85_4_27_0.opb
MD5SUM0c13b673fccb5ec76783fc37235090e7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6221849
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14620
Total number of constraints21851
Number of constraints which are clauses170
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints21675
Minimum length of a constraint2
Maximum length of a constraint3570
Number of terms in the objective function 14365
Biggest coefficient in the objective function 179406144
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 130390723337
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 179406144
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 130390723337
Number of bits of the biggest sum of numbers37
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.09	c old isEQ: 0, new EQ is 1
1.18/1.25	c run inc solver
1.18/1.25	c [INC SYSTEM] run initial solver
1.18/1.25	c [INC SYSTEM] preprocess with white file
7.27/7.39	c [INC SYSTEM] finished preprocessing in 6 s
7.27/7.39	c [INC SYSTEM] execute solver
11.40/11.41	c [INC SEARCH] formula is SAT
11.59/11.64	c [INC SYSTEM] solved the initial formula
11.59/11.64	c model valid
11.59/11.64	c current solution ok
13.45/13.51	o 166569145
13.45/13.51	c starting approximation
13.45/13.51	c factor = 2
13.45/13.51	c factor still to low - shrinking to 7.1783e+06
13.45/13.51	c approx number of clauses: 1e+06
13.45/13.51	c current bound: 83284616
14.28/14.34	c leaving approximation
14.28/14.34	c finished approximation
14.28/14.34	c [INC SYSTEM] there exists a inc, kill it!
14.28/14.34	c write failed with 2
14.28/14.36	c [INC SEARCH] iteration: 0
14.28/14.36	c [INC BOUNDS] best value:166569230 search for 166569229
14.28/14.36	c [INC SYSTEM] create new solver instance
14.28/14.36	c [INC] encode full formula
14.28/14.36	c fallback to adder encoding
16.59/16.65	c set iterative enc to: adder
16.59/16.65	c set iterative enc to: none
16.95/18.06	c [INC SEARCH] isOptimum variable: 0
56.62/57.74	c formula is SAT
56.73/57.83	c [INC SEARCH] copied best model
56.73/57.83	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
56.73/57.88	c model valid
56.73/57.88	c current solution ok
56.73/57.88	o 126477225
56.73/57.88	c [INC SEARCH] iteration: 1
56.73/57.88	c [INC BOUNDS] best value:126477310 search for 126477309
56.73/57.88	c [INC SYSTEM] there exists a inc, kill it!
56.73/57.88	c write failed with 2
56.83/57.91	c [INC SYSTEM] create new solver instance
56.83/57.91	c [INC] encode full formula
56.83/57.91	c fallback to adder encoding
59.03/60.11	c set iterative enc to: adder
59.03/60.11	c set iterative enc to: none
59.44/60.51	c [INC SEARCH] isOptimum variable: 0
90.64/91.71	c formula is SAT
90.64/91.79	c [INC SEARCH] copied best model
90.64/91.79	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
90.75/91.84	c model valid
90.75/91.84	c current solution ok
90.75/91.84	o 52029507
90.75/91.84	c [INC SEARCH] iteration: 2
90.75/91.84	c [INC BOUNDS] best value:52029592 search for 52029591
90.75/91.84	c [INC SYSTEM] there exists a inc, kill it!
90.75/91.84	c write failed with 2
90.75/91.87	c [INC SYSTEM] create new solver instance
90.75/91.87	c [INC] encode full formula
90.75/91.87	c fallback to adder encoding
92.84/93.92	c set iterative enc to: adder
92.84/93.92	c set iterative enc to: none
93.14/94.28	c [INC SEARCH] isOptimum variable: 0
595.35/596.53	c formula is SAT
595.45/596.61	c [INC SEARCH] copied best model
595.45/596.61	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
595.45/596.66	c model valid
595.45/596.66	c current solution ok
595.45/596.66	o 34185805
595.45/596.66	c [INC SEARCH] iteration: 3
595.45/596.66	c [INC BOUNDS] best value:34185890 search for 34185889
595.45/596.66	c [INC SYSTEM] there exists a inc, kill it!
595.45/596.66	c write failed with 2
595.45/596.66	c [INC SYSTEM] create new solver instance
595.45/596.66	c [INC] encode full formula
595.45/596.66	c fallback to adder encoding
597.46/598.64	c set iterative enc to: adder
597.46/598.64	c set iterative enc to: none
597.76/598.99	c [INC SEARCH] isOptimum variable: 0
743.93/745.12	c formula is SAT
744.03/745.20	c [INC SEARCH] copied best model
744.03/745.20	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
744.03/745.25	c model valid
744.03/745.25	c current solution ok
744.03/745.25	o 14061645
744.03/745.25	c [INC SEARCH] iteration: 4
744.03/745.25	c [INC BOUNDS] best value:14061730 search for 14061729
744.03/745.25	c [INC SYSTEM] there exists a inc, kill it!
744.03/745.25	c write failed with 2
744.03/745.27	c [INC SYSTEM] create new solver instance
744.03/745.27	c [INC] encode full formula
744.03/745.27	c fallback to adder encoding
745.53/746.78	c set iterative enc to: adder
745.53/746.78	c set iterative enc to: none
745.83/747.08	c [INC SEARCH] isOptimum variable: 0
1800.01/1801.41	HOME/npSolver-pbo-Itdqb.sh: line 18: 24278 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-3751693-1339177846/watcher-3751693-1339177846 -o /tmp/evaluation-result-3751693-1339177846/solver-3751693-1339177846 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751693-1339177846.opb 1500478349 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 2.06 2.02 2.00 3/172 24274
/proc/meminfo: memFree=29729368/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0

[startup+0.029976 s]
/proc/loadavg: 2.06 2.02 2.00 3/172 24274
/proc/meminfo: memFree=29729368/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100294 s]
/proc/loadavg: 2.06 2.02 2.00 3/172 24274
/proc/meminfo: memFree=29729368/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300211 s]
/proc/loadavg: 2.06 2.02 2.00 3/172 24274
/proc/meminfo: memFree=29729368/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700236 s]
/proc/loadavg: 2.06 2.02 2.00 3/172 24274
/proc/meminfo: memFree=29729368/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 24307
/proc/meminfo: memFree=29676140/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=85480 CPUtime=1.26 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 8438 0 0 0 111 15 0 0 20 0 1 0 383913219 87531520 19835 33554432000 4194304 6004724 140737471729872 140737471724336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24278/statm: 21370 19835 171 442 0 20924 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 94628

[startup+3.10042 s]
/proc/loadavg: 2.06 2.02 2.00 3/182 24309
/proc/meminfo: memFree=29403748/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=85480 CPUtime=1.26 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 8438 0 0 0 111 15 0 0 20 0 1 0 383913219 87531520 19835 33554432000 4194304 6004724 140737471729872 140737471724336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24278/statm: 21370 19835 171 442 0 20924 0
[pid=24308] ppid=24278 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24308/stat : 24308 (cp2_pre.sh) S 24278 24274 23558 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383913346 9367552 277 33554432000 4194304 5064252 140736259214000 140736259212704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24308/statm: 2287 277 234 213 0 72 0
[pid=24309] ppid=24308 vsize=356208 CPUtime=1.81 cores=1,3,5,7
/proc/24309/stat : 24309 (coprocessor) R 24308 24274 23558 0 -1 4202496 39750 0 0 0 168 13 0 0 20 0 1 0 383913346 364756992 80206 33554432000 4194304 6586260 140735864760000 140735864756264 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/24309/statm: 89052 80206 166 584 0 88464 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 459984

[startup+6.30037 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 24311
/proc/meminfo: memFree=29225488/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=85480 CPUtime=1.26 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 8438 0 0 0 111 15 0 0 20 0 1 0 383913219 87531520 19835 33554432000 4194304 6004724 140737471729872 140737471724336 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24278/statm: 21370 19835 171 442 0 20924 0
[pid=24308] ppid=24278 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24308/stat : 24308 (cp2_pre.sh) S 24278 24274 23558 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 383913346 9367552 277 33554432000 4194304 5064252 140736259214000 140736259212704 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24308/statm: 2287 277 234 213 0 72 0
[pid=24309] ppid=24308 vsize=451108 CPUtime=5.01 cores=1,3,5,7
/proc/24309/stat : 24309 (coprocessor) R 24308 24274 23558 0 -1 4202496 57231 0 0 0 464 37 0 0 20 0 1 0 383913346 461934592 109803 33554432000 4194304 6586260 140735864760000 140735864755320 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/24309/statm: 112777 109803 204 584 0 112189 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 554884

[startup+12.7004 s]
/proc/loadavg: 2.20 2.05 2.01 3/180 24323
/proc/meminfo: memFree=29158664/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=89540 CPUtime=8.69 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) R 24274 24274 23558 0 -1 4202496 10782 58133 0 0 142 116 566 45 20 0 1 0 383913219 91688960 20859 33554432000 4194304 6004724 140737471729872 140737471724072 5190832 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24278/statm: 22385 20859 180 442 0 21939 0
[pid=24321] ppid=24278 vsize=169964 CPUtime=4 cores=1,3,5,7
/proc/24321/stat : 24321 (glucosInc) S 24278 24274 23558 0 -1 4202496 32948 0 0 0 393 7 0 0 20 0 1 0 383913958 174043136 39400 33554432000 4194304 5654031 140737127671424 140737127669736 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/24321/statm: 42491 39400 146 357 0 42131 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 268652

[startup+25.5004 s]
/proc/loadavg: 2.24 2.06 2.02 3/179 24337
/proc/meminfo: memFree=28687784/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=96940 CPUtime=17.01 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 19391 135787 0 0 390 215 1015 81 20 0 1 0 383913219 99266560 22761 33554432000 4194304 6004724 140737471729872 140737471715720 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 47 0 0
/proc/24278/statm: 24235 22761 200 442 0 23789 0
[pid=24335] ppid=24278 vsize=548956 CPUtime=7.4 cores=1,3,5,7
/proc/24335/stat : 24335 (glucosInc) R 24278 24274 23558 0 -1 4202496 86491 0 0 0 712 28 0 0 20 0 1 0 383915025 562130944 124119 33554432000 4194304 5654031 140736884861920 140736884849736 4215226 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24335/statm: 137239 124119 140 357 0 136879 0
Current children cumulated CPU time (s) 24.41
Current children cumulated vsize (KiB) 655044

[startup+51.1004 s]
/proc/loadavg: 2.21 2.07 2.02 3/179 24337
/proc/meminfo: memFree=28663764/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=96940 CPUtime=17.01 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 19391 135787 0 0 390 215 1015 81 20 0 1 0 383913219 99266560 22761 33554432000 4194304 6004724 140737471729872 140737471715720 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 47 0 0
/proc/24278/statm: 24235 22761 200 442 0 23789 0
[pid=24335] ppid=24278 vsize=558484 CPUtime=33 cores=1,3,5,7
/proc/24335/stat : 24335 (glucosInc) R 24278 24274 23558 0 -1 4202496 88193 0 0 0 3271 29 0 0 20 0 1 0 383915025 571887616 126843 33554432000 4194304 5654031 140736884861920 140736884849736 4214638 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24335/statm: 139621 126843 141 357 0 139261 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (KiB) 664572

[startup+102.307 s]
/proc/loadavg: 2.13 2.07 2.02 3/179 24341
/proc/meminfo: memFree=28711468/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=109076 CPUtime=93.23 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 38402 311332 0 0 842 282 8037 162 20 0 1 0 383913219 111693824 25795 33554432000 4194304 6004724 140737471729872 140737471715720 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 48 0 0
/proc/24278/statm: 27269 25795 200 442 0 26823 0
[pid=24341] ppid=24278 vsize=534640 CPUtime=8 cores=1,3,5,7
/proc/24341/stat : 24341 (glucosInc) R 24278 24274 23558 0 -1 4202496 81029 0 0 0 775 25 0 0 20 0 1 0 383922647 547471360 115050 33554432000 4194304 5654031 140734182929840 140734182927528 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24341/statm: 133660 115050 141 357 0 133300 0
Current children cumulated CPU time (s) 101.23
Current children cumulated vsize (KiB) 652864

[startup+162.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/179 24341
/proc/meminfo: memFree=28625312/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=109076 CPUtime=93.23 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 38402 311332 0 0 842 282 8037 162 20 0 1 0 383913219 111693824 25795 33554432000 4194304 6004724 140737471729872 140737471715720 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 48 0 0
/proc/24278/statm: 27269 25795 200 442 0 26823 0
[pid=24341] ppid=24278 vsize=623360 CPUtime=67.99 cores=1,3,5,7
/proc/24341/stat : 24341 (glucosInc) R 24278 24274 23558 0 -1 4202496 87292 0 0 0 6757 42 0 0 20 0 1 0 383922647 638320640 138686 33554432000 4194304 5654031 140734182929840 140734182927928 4215307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24341/statm: 155840 138686 142 357 0 155480 0
Current children cumulated CPU time (s) 161.22
Current children cumulated vsize (KiB) 741584

[startup+222.3 s]
/proc/loadavg: 2.02 2.05 2.01 3/179 24341
/proc/meminfo: memFree=28645228/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=109076 CPUtime=93.23 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 38402 311332 0 0 842 282 8037 162 20 0 1 0 383913219 111693824 25795 33554432000 4194304 6004724 140737471729872 140737471715720 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 48 0 0
/proc/24278/statm: 27269 25795 200 442 0 26823 0
[pid=24341] ppid=24278 vsize=546876 CPUtime=127.97 cores=1,3,5,7
/proc/24341/stat : 24341 (glucosInc) R 24278 24274 23558 0 -1 4202496 90736 0 0 0 12745 52 0 0 20 0 1 0 383922647 560001024 124110 33554432000 4194304 5654031 140734182929840 140734182927608 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24341/statm: 136719 124110 142 357 0 136359 0
Current children cumulated CPU time (s) 221.2

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

/proc/loadavg: 2.00 2.00 2.00 3/180 24383
/proc/meminfo: memFree=28741328/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=105284 CPUtime=745.91 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 55111 490555 0 0 1217 334 72755 285 20 0 1 0 383913219 107810816 24847 33554432000 4194304 6004724 140737471729872 140737471715720 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 48 0 0
/proc/24278/statm: 26321 24847 200 442 0 25875 0
[pid=24375] ppid=24278 vsize=581080 CPUtime=555.06 cores=1,3,5,7
/proc/24375/stat : 24375 (glucosInc) R 24278 24274 23558 0 -1 4202496 86634 0 0 0 55388 118 0 0 20 0 1 0 383987927 595025920 121712 33554432000 4194304 5654031 140734944406384 140734944404408 4215307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24375/statm: 145270 121712 141 357 0 144910 0
Current children cumulated CPU time (s) 1300.97
Current children cumulated vsize (KiB) 695512

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24383
/proc/meminfo: memFree=28445376/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=105284 CPUtime=745.91 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 55111 490555 0 0 1217 334 72755 285 20 0 1 0 383913219 107810816 24847 33554432000 4194304 6004724 140737471729872 140737471715720 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 48 0 0
/proc/24278/statm: 26321 24847 200 442 0 25875 0
[pid=24375] ppid=24278 vsize=928560 CPUtime=615.05 cores=1,3,5,7
/proc/24375/stat : 24375 (glucosInc) R 24278 24274 23558 0 -1 4202496 87843 0 0 0 61383 122 0 0 20 0 1 0 383987927 950845440 180664 33554432000 4194304 5654031 140734944406384 140734944404168 4215168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24375/statm: 232140 180664 141 357 0 231780 0
Current children cumulated CPU time (s) 1360.96
Current children cumulated vsize (KiB) 1042992

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24383
/proc/meminfo: memFree=28518608/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=105284 CPUtime=745.91 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 55111 490555 0 0 1217 334 72755 285 20 0 1 0 383913219 107810816 24847 33554432000 4194304 6004724 140737471729872 140737471715720 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 48 0 0
/proc/24278/statm: 26321 24847 200 442 0 25875 0
[pid=24375] ppid=24278 vsize=714088 CPUtime=675.05 cores=1,3,5,7
/proc/24375/stat : 24375 (glucosInc) R 24278 24274 23558 0 -1 4202496 88971 0 0 0 67374 131 0 0 20 0 1 0 383987927 731226112 145495 33554432000 4194304 5654031 140734944406384 140734944404472 4215076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24375/statm: 178522 145495 141 357 0 178162 0
Current children cumulated CPU time (s) 1420.96
Current children cumulated vsize (KiB) 828520

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24383
/proc/meminfo: memFree=28369288/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=105284 CPUtime=745.91 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 55111 490555 0 0 1217 334 72755 285 20 0 1 0 383913219 107810816 24847 33554432000 4194304 6004724 140737471729872 140737471715720 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 48 0 0
/proc/24278/statm: 26321 24847 200 442 0 25875 0
[pid=24375] ppid=24278 vsize=929400 CPUtime=735.04 cores=1,3,5,7
/proc/24375/stat : 24375 (glucosInc) R 24278 24274 23558 0 -1 4202496 89606 0 0 0 73367 137 0 0 20 0 1 0 383987927 951705600 205917 33554432000 4194304 5654031 140734944406384 140734944404168 4215327 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24375/statm: 232350 205917 141 357 0 231990 0
Current children cumulated CPU time (s) 1480.95
Current children cumulated vsize (KiB) 1043832

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24384
/proc/meminfo: memFree=28437160/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=105284 CPUtime=745.91 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 55111 490555 0 0 1217 334 72755 285 20 0 1 0 383913219 107810816 24847 33554432000 4194304 6004724 140737471729872 140737471715720 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 48 0 0
/proc/24278/statm: 26321 24847 200 442 0 25875 0
[pid=24375] ppid=24278 vsize=929560 CPUtime=795.02 cores=1,3,5,7
/proc/24375/stat : 24375 (glucosInc) R 24278 24274 23558 0 -1 4202496 91097 0 0 0 79353 149 0 0 20 0 1 0 383987927 951869440 171650 33554432000 4194304 5654031 140734944406384 140734944404168 4232988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24375/statm: 232390 171650 141 357 0 232030 0
Current children cumulated CPU time (s) 1540.93
Current children cumulated vsize (KiB) 1043992

[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 24384
/proc/meminfo: memFree=28745452/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=105284 CPUtime=745.91 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 55111 490555 0 0 1217 334 72755 285 20 0 1 0 383913219 107810816 24847 33554432000 4194304 6004724 140737471729872 140737471715720 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 48 0 0
/proc/24278/statm: 26321 24847 200 442 0 25875 0
[pid=24375] ppid=24278 vsize=582692 CPUtime=855.02 cores=1,3,5,7
/proc/24375/stat : 24375 (glucosInc) R 24278 24274 23558 0 -1 4202496 92310 0 0 0 85343 159 0 0 20 0 1 0 383987927 596676608 122248 33554432000 4194304 5654031 140734944406384 140734944404408 4215248 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24375/statm: 145673 122248 141 357 0 145313 0
Current children cumulated CPU time (s) 1600.93
Current children cumulated vsize (KiB) 697124

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 24384
/proc/meminfo: memFree=28433604/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=105284 CPUtime=745.91 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 55111 490555 0 0 1217 334 72755 285 20 0 1 0 383913219 107810816 24847 33554432000 4194304 6004724 140737471729872 140737471715720 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 48 0 0
/proc/24278/statm: 26321 24847 200 442 0 25875 0
[pid=24375] ppid=24278 vsize=930084 CPUtime=915.01 cores=1,3,5,7
/proc/24375/stat : 24375 (glucosInc) R 24278 24274 23558 0 -1 4202496 93472 0 0 0 91337 164 0 0 20 0 1 0 383987927 952406016 184219 33554432000 4194304 5654031 140734944406384 140734944404168 4215097 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24375/statm: 232521 184219 141 357 0 232161 0
Current children cumulated CPU time (s) 1660.92
Current children cumulated vsize (KiB) 1044516

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 24384
/proc/meminfo: memFree=28574976/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=105284 CPUtime=745.91 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 55111 490555 0 0 1217 334 72755 285 20 0 1 0 383913219 107810816 24847 33554432000 4194304 6004724 140737471729872 140737471715720 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 48 0 0
/proc/24278/statm: 26321 24847 200 442 0 25875 0
[pid=24375] ppid=24278 vsize=715616 CPUtime=975 cores=1,3,5,7
/proc/24375/stat : 24375 (glucosInc) R 24278 24274 23558 0 -1 4202496 95138 0 0 0 97326 174 0 0 20 0 1 0 383987927 732790784 134067 33554432000 4194304 5654031 140734944406384 140734944404472 4232960 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24375/statm: 178904 134067 141 357 0 178544 0
Current children cumulated CPU time (s) 1720.91
Current children cumulated vsize (KiB) 830048

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24387
/proc/meminfo: memFree=28258588/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=105284 CPUtime=745.91 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 55111 490555 0 0 1217 334 72755 285 20 0 1 0 383913219 107810816 24847 33554432000 4194304 6004724 140737471729872 140737471715720 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 48 0 0
/proc/24278/statm: 26321 24847 200 442 0 25875 0
[pid=24375] ppid=24278 vsize=930856 CPUtime=1034.98 cores=1,3,5,7
/proc/24375/stat : 24375 (glucosInc) R 24278 24274 23558 0 -1 4202496 95729 0 0 0 103319 179 0 0 20 0 1 0 383987927 953196544 194956 33554432000 4194304 5654031 140734944406384 140734944404168 4215353 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24375/statm: 232714 194956 141 357 0 232354 0
Current children cumulated CPU time (s) 1780.89
Current children cumulated vsize (KiB) 1045288



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.4 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 24431
/proc/meminfo: memFree=28798088/32873844 swapFree=7120/7120
[pid=24274] ppid=24272 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24274/stat : 24274 (npSolver-pbo-It) S 24272 24274 23558 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383913218 9367552 275 33554432000 4194304 5064252 140735650821280 140735650820192 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24274/statm: 2287 275 233 213 0 72 0
[pid=24278] ppid=24274 vsize=105284 CPUtime=745.91 cores=1,3,5,7
/proc/24278/stat : 24278 (npSolver-pbo) S 24274 24274 23558 0 -1 4202496 55111 490555 0 0 1217 334 72755 285 20 0 1 0 383913219 107810816 24847 33554432000 4194304 6004724 140737471729872 140737471715720 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 48 0 0
/proc/24278/statm: 26321 24847 200 442 0 25875 0
[pid=24375] ppid=24278 vsize=930856 CPUtime=1054.1 cores=1,3,5,7
/proc/24375/stat : 24375 (glucosInc) R 24278 24274 23558 0 -1 4202496 95774 0 0 0 105229 181 0 0 20 0 1 0 383987927 953196544 213397 33554432000 4194304 5654031 140734944406384 140734944404168 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24375/statm: 232714 213397 141 357 0 232354 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1045288

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24274 and gives
#  childrusage.ru_utime.tv_sec=739
#  childrusage.ru_utime.tv_usec=729544
#  childrusage.ru_stime.tv_sec=6
#  childrusage.ru_stime.tv_usec=210055
# CPU time returned by wait4() is 745.94
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1801.41
CPU time (s): 1800.01
CPU user time (s): 1792.01
CPU system time (s): 8
CPU usage (%): 99.922
Max. virtual memory (cumulated for all children) (KiB): 1605836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 739.73
system time used= 6.21005
maximum resident set size= 704056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 546040
page faults= 0
swaps= 0
block input operations= 16
block output operations= 2006592
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10879
involuntary context switches= 2968

runsolver used 2.70859 second user time and 7.16491 second system time

The end

Launcher Data 

Begin job on node104 at 2012-06-08 19:50:47
IDJOB=3751693
IDBENCH=92736
IDSOLVER=2335
FILE ID=node104/3751693-1339177846
RUNJOBID= node104-1339172016-23732
PBS_JOBID= 14643828
Free space on /tmp= 69196 MiB

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

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

MD5SUM BENCH= 0c13b673fccb5ec76783fc37235090e7
RANDOM SEED=1500478349

node104.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29730284 kB
Buffers:          616076 kB
Cached:          1583864 kB
SwapCached:         1864 kB
Active:          2193364 kB
Inactive:          13524 kB
Active(anon):       2080 kB
Inactive(anon):     7044 kB
Active(file):    2191284 kB
Inactive(file):     6480 kB
Unevictable:        7120 kB
Mlocked:            7120 kB
SwapTotal:      67108856 kB
SwapFree:       67102148 kB
Dirty:              9328 kB
Writeback:             0 kB
AnonPages:        271628 kB
Mapped:             9212 kB
Shmem:                 4 kB
Slab:             796436 kB
SReclaimable:     238352 kB
SUnreclaim:       558084 kB
KernelStack:        1496 kB
PageTables:         3728 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:      93252 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    260096 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= 69224 MiB
End job on node104 at 2012-06-08 20:20:48