Trace number 3702539

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? (TO) 1800.07 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat85_4_27_5.opb
MD5SUMf3813b86973df1eedcf86494ca06b423
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5206831
Best CPU time to get the best result obtained on this benchmark1800.24
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 141420761
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 116572691025
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 141420761
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 116572691025
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.54	c run inc solver
0.00/0.54	c [INC SYSTEM] run initial solver
0.00/0.54	c [INC SYSTEM] preprocess with white file
3.88/3.94	c [INC SYSTEM] finished preprocessing in 3 s
3.88/3.94	c [INC SYSTEM] execute solver
6.67/6.73	c [INC SEARCH] formula is SAT
6.67/6.75	c [INC SYSTEM] solved the initial formula
6.77/6.80	c model valid
6.77/6.80	c current solution ok
8.07/8.16	o 291178383
8.07/8.16	c starting approximation
8.07/8.16	c factor = 2
8.07/8.16	c factor still to low - shrinking to 1.25483e+07
8.07/8.16	c approx number of clauses: 1e+06
8.07/8.16	c current bound: 145589232
8.75/8.81	c leaving approximation
8.75/8.81	c finished approximation
8.75/8.81	c [INC SYSTEM] there exists a inc, kill it!
8.75/8.81	c write failed with 2
8.75/8.82	c [INC SEARCH] iteration: 0
8.75/8.82	c [INC BOUNDS] best value:291178468 search for 291178467
8.75/8.82	c [INC SYSTEM] create new solver instance
8.75/8.82	c [INC] encode full formula
8.75/8.82	c fallback to adder encoding
10.99/11.09	c set iterative enc to: adder
10.99/11.09	c set iterative enc to: none
11.28/11.38	c [INC SEARCH] isOptimum variable: 0
31.67/31.77	c formula is SAT
31.77/31.84	c [INC SEARCH] copied best model
31.77/31.84	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
31.77/31.88	c model valid
31.77/31.88	c current solution ok
31.77/31.88	o 96091031
31.77/31.88	c [INC SEARCH] iteration: 1
31.77/31.88	c [INC BOUNDS] best value:96091116 search for 96091115
31.77/31.88	c [INC SYSTEM] there exists a inc, kill it!
31.77/31.88	c write failed with 2
31.88/31.91	c [INC SYSTEM] create new solver instance
31.88/31.91	c [INC] encode full formula
31.88/31.91	c fallback to adder encoding
33.98/34.03	c set iterative enc to: adder
33.98/34.03	c set iterative enc to: none
34.29/34.33	c [INC SEARCH] isOptimum variable: 0
57.47/57.55	c formula is SAT
57.57/57.61	c [INC SEARCH] copied best model
57.57/57.61	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
57.57/57.66	c model valid
57.57/57.66	c current solution ok
57.57/57.66	o 54435291
57.57/57.66	c [INC SEARCH] iteration: 2
57.57/57.66	c [INC BOUNDS] best value:54435376 search for 54435375
57.57/57.66	c [INC SYSTEM] there exists a inc, kill it!
57.57/57.66	c write failed with 2
57.57/57.68	c [INC SYSTEM] create new solver instance
57.57/57.68	c [INC] encode full formula
57.57/57.68	c fallback to adder encoding
59.58/59.65	c set iterative enc to: adder
59.58/59.65	c set iterative enc to: none
59.88/59.93	c [INC SEARCH] isOptimum variable: 0
106.47/106.52	c formula is SAT
106.47/106.58	c [INC SEARCH] copied best model
106.47/106.58	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
106.59/106.63	c model valid
106.59/106.63	c current solution ok
106.59/106.63	o 20233517
106.59/106.63	c [INC SEARCH] iteration: 3
106.59/106.63	c [INC BOUNDS] best value:20233602 search for 20233601
106.59/106.63	c [INC SYSTEM] there exists a inc, kill it!
106.59/106.63	c write failed with 2
106.59/106.65	c [INC SYSTEM] create new solver instance
106.59/106.65	c [INC] encode full formula
106.59/106.65	c fallback to adder encoding
108.19/108.27	c set iterative enc to: adder
108.19/108.27	c set iterative enc to: none
108.49/108.53	c [INC SEARCH] isOptimum variable: 0
1441.01/1441.32	c formula is SAT
1441.01/1441.37	c [INC SEARCH] copied best model
1441.01/1441.37	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1441.10/1441.42	c model valid
1441.10/1441.42	c current solution ok
1441.10/1441.42	o 20228083
1441.10/1441.42	c [INC SEARCH] iteration: 4
1441.10/1441.42	c [INC BOUNDS] best value:20228168 search for 20228167
1441.10/1441.42	c [INC SYSTEM] there exists a inc, kill it!
1441.10/1441.42	c write failed with 2
1441.10/1441.43	c [INC SYSTEM] create new solver instance
1441.10/1441.43	c [INC] encode full formula
1441.10/1441.43	c fallback to adder encoding
1442.71/1443.05	c set iterative enc to: adder
1442.71/1443.05	c set iterative enc to: none
1443.01/1443.30	c [INC SEARCH] isOptimum variable: 0
1485.82/1486.15	c formula is SAT
1485.91/1486.20	c [INC SEARCH] copied best model
1485.91/1486.20	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1485.91/1486.25	c model valid
1485.91/1486.25	c current solution ok
1485.91/1486.25	o 17815859
1485.91/1486.25	c [INC SEARCH] iteration: 5
1485.91/1486.25	c [INC BOUNDS] best value:17815944 search for 17815943
1485.91/1486.25	c [INC SYSTEM] there exists a inc, kill it!
1485.91/1486.25	c write failed with 2
1485.91/1486.27	c [INC SYSTEM] create new solver instance
1485.91/1486.27	c [INC] encode full formula
1485.91/1486.27	c fallback to adder encoding
1487.53/1487.87	c set iterative enc to: adder
1487.53/1487.87	c set iterative enc to: none
1487.82/1488.10	c [INC SEARCH] isOptimum variable: 0
1800.07/1800.41	HOME/npSolver-pbo-Itdqb.sh: line 18: 32592 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-3702539-1338133889/watcher-3702539-1338133889 -o /tmp/evaluation-result-3702539-1338133889/solver-3702539-1338133889 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702539-1338133889.opb 4905211 HOME HOME 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 32591
/proc/meminfo: memFree=30924680/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0

[startup+0.00643911 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 32591
/proc/meminfo: memFree=30924680/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10019 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 32591
/proc/meminfo: memFree=30924680/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300238 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 32591
/proc/meminfo: memFree=30924680/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700221 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 32591
/proc/meminfo: memFree=30924680/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50036 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 32595
/proc/meminfo: memFree=30701604/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=54656 CPUtime=0.56 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 8397 0 0 0 50 6 0 0 20 0 1 0 279514374 55967744 10103 33554432000 4194304 5992684 140735522435808 140735522430256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32592/statm: 13664 10103 172 440 0 13220 0
[pid=32594] ppid=32592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32594/stat : 32594 (cp2_pre.sh) S 32592 32591 31461 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279514431 9367552 277 33554432000 4194304 5064252 140733359196624 140733359195328 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32594/statm: 2287 277 234 213 0 72 0
[pid=32595] ppid=32594 vsize=223608 CPUtime=0.92 cores=0,2,4,6
/proc/32595/stat : 32595 (coprocessor) R 32594 32591 31461 0 -1 4202496 33101 0 0 0 87 5 0 0 20 0 1 0 279514431 228974592 50500 33554432000 4194304 6586260 140736272074256 140736272070520 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/32595/statm: 55902 50501 166 584 0 55314 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 296560

[startup+3.10031 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 32595
/proc/meminfo: memFree=30629464/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=54656 CPUtime=0.56 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 8397 0 0 0 50 6 0 0 20 0 1 0 279514374 55967744 10103 33554432000 4194304 5992684 140735522435808 140735522430256 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/32592/statm: 13664 10103 172 440 0 13220 0
[pid=32594] ppid=32592 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32594/stat : 32594 (cp2_pre.sh) S 32592 32591 31461 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279514431 9367552 277 33554432000 4194304 5064252 140733359196624 140733359195328 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32594/statm: 2287 277 234 213 0 72 0
[pid=32595] ppid=32594 vsize=290944 CPUtime=2.51 cores=0,2,4,6
/proc/32595/stat : 32595 (coprocessor) R 32594 32591 31461 0 -1 4202496 44599 0 0 0 215 36 0 0 20 0 1 0 279514431 297926656 71285 33554432000 4194304 6586260 140736272074256 140736272069880 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/32595/statm: 72736 71285 204 584 0 72148 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 363896

[startup+6.30027 s]
/proc/loadavg: 2.18 2.04 2.01 3/181 32597
/proc/meminfo: memFree=30755156/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=54656 CPUtime=3.93 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 8412 45501 0 0 50 6 296 41 20 0 1 0 279514374 55967744 10105 33554432000 4194304 5992684 140735522435808 140735522422072 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32592/statm: 13664 10105 174 440 0 13220 0
[pid=32597] ppid=32592 vsize=115316 CPUtime=2.34 cores=0,2,4,6
/proc/32597/stat : 32597 (glucosInc) R 32592 32591 31461 0 -1 4202496 22863 0 0 0 231 3 0 0 20 0 1 0 279514768 118083584 27013 33554432000 4194304 5654031 140736142006736 140736141994552 4232528 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32597/statm: 28829 27013 140 357 0 28469 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 179120

[startup+12.7002 s]
/proc/loadavg: 2.16 2.04 2.01 3/181 32607
/proc/meminfo: memFree=30479160/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=68284 CPUtime=11.36 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 20067 106602 0 0 314 146 613 63 20 0 1 0 279514374 69922816 13561 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32592/statm: 17071 13561 206 440 0 16627 0
[pid=32607] ppid=32592 vsize=382460 CPUtime=1.3 cores=0,2,4,6
/proc/32607/stat : 32607 (glucosInc) R 32592 32591 31461 0 -1 4202496 52695 0 0 0 118 12 0 0 20 0 1 0 279515513 391639040 84255 33554432000 4194304 5654031 140736497214256 140736496163848 4224977 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32607/statm: 95615 84255 109 357 0 95255 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 459892

[startup+25.5003 s]
/proc/loadavg: 2.12 2.04 2.01 3/181 32607
/proc/meminfo: memFree=30195028/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=68284 CPUtime=11.36 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 20067 106602 0 0 314 146 613 63 20 0 1 0 279514374 69922816 13561 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32592/statm: 17071 13561 206 440 0 16627 0
[pid=32607] ppid=32592 vsize=537872 CPUtime=14.1 cores=0,2,4,6
/proc/32607/stat : 32607 (glucosInc) R 32592 32591 31461 0 -1 4202496 80295 0 0 0 1389 21 0 0 20 0 1 0 279515513 550780928 117771 33554432000 4194304 5654031 140736497214256 140736497202072 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/32607/statm: 134468 117771 141 357 0 134108 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 615304

[startup+51.1003 s]
/proc/loadavg: 2.08 2.03 2.01 3/181 32609
/proc/meminfo: memFree=30133848/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=116416 CPUtime=34.32 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 28051 188213 0 0 536 176 2627 93 20 0 1 0 279514374 119209984 25562 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32592/statm: 29104 25562 206 440 0 28660 0
[pid=32609] ppid=32592 vsize=616272 CPUtime=16.74 cores=0,2,4,6
/proc/32609/stat : 32609 (glucosInc) R 32592 32591 31461 0 -1 4202496 78236 0 0 0 1653 21 0 0 20 0 1 0 279517807 631062528 122656 33554432000 4194304 5654031 140736632261616 140736632249432 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32609/statm: 154068 122656 141 357 0 153708 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 741836

[startup+102.3 s]
/proc/loadavg: 2.16 2.06 2.01 3/180 32611
/proc/meminfo: memFree=30194252/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=116416 CPUtime=59.92 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 35951 267719 0 0 745 201 4921 125 20 0 1 0 279514374 119209984 25562 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/32592/statm: 29104 25562 206 440 0 28660 0
[pid=32611] ppid=32592 vsize=530264 CPUtime=42.35 cores=0,2,4,6
/proc/32611/stat : 32611 (glucosInc) R 32592 32591 31461 0 -1 4202496 77787 0 0 0 4215 20 0 0 20 0 1 0 279520367 542990336 108781 33554432000 4194304 5654031 140733813576016 140733813563832 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32611/statm: 132566 108781 141 357 0 132206 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 655828

[startup+162.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/181 32614
/proc/meminfo: memFree=30261968/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=116416 CPUtime=108.53 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 42810 346256 0 0 920 224 9556 153 20 0 1 0 279514374 119209984 25562 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32592/statm: 29104 25562 206 440 0 28660 0
[pid=32614] ppid=32592 vsize=457060 CPUtime=53.73 cores=0,2,4,6
/proc/32614/stat : 32614 (glucosInc) R 32592 32591 31461 0 -1 4202496 68211 0 0 0 5354 19 0 0 20 0 1 0 279525227 468029440 96206 33554432000 4194304 5654031 140733885452608 140733885450296 4215040 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32614/statm: 114265 96206 142 357 0 113905 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 582624

[startup+222.3 s]
/proc/loadavg: 2.03 2.04 2.01 3/181 32614
/proc/meminfo: memFree=30231772/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=116416 CPUtime=108.53 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 42810 346256 0 0 920 224 9556 153 20 0 1 0 279514374 119209984 25562 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32592/statm: 29104 25562 206 440 0 28660 0
[pid=32614] ppid=32592 vsize=460576 CPUtime=113.69 cores=0,2,4,6

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

/proc/loadavg: 2.00 2.01 2.00 3/181 32714
/proc/meminfo: memFree=30312388/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=116416 CPUtime=108.53 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 42810 346256 0 0 920 224 9556 153 20 0 1 0 279514374 119209984 25562 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32592/statm: 29104 25562 206 440 0 28660 0
[pid=32614] ppid=32592 vsize=714208 CPUtime=1253.46 cores=0,2,4,6
/proc/32614/stat : 32614 (glucosInc) R 32592 32591 31461 0 -1 4202496 97872 0 0 0 125214 132 0 0 20 0 1 0 279525227 731348992 146561 33554432000 4194304 5654031 140733885452608 140733885440424 4214567 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32614/statm: 178552 146561 142 357 0 178192 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 839772

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32714
/proc/meminfo: memFree=30300676/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=116416 CPUtime=108.53 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 42810 346256 0 0 920 224 9556 153 20 0 1 0 279514374 119209984 25562 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/32592/statm: 29104 25562 206 440 0 28660 0
[pid=32614] ppid=32592 vsize=714208 CPUtime=1313.46 cores=0,2,4,6
/proc/32614/stat : 32614 (glucosInc) R 32592 32591 31461 0 -1 4202496 97877 0 0 0 131213 133 0 0 20 0 1 0 279525227 731348992 149121 33554432000 4194304 5654031 140733885452608 140733885440424 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32614/statm: 178552 149121 142 357 0 178192 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 839772

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32716
/proc/meminfo: memFree=30516432/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=116416 CPUtime=1443.01 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 49654 444823 0 0 1095 244 142670 292 20 0 1 0 279514374 119209984 25562 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 6 0 0 0 0 0
/proc/32592/statm: 29104 25562 206 440 0 28660 0
[pid=32716] ppid=32592 vsize=406000 CPUtime=38.98 cores=0,2,4,6
/proc/32716/stat : 32716 (glucosInc) R 32592 32591 31461 0 -1 4202496 67798 0 0 0 3879 19 0 0 20 0 1 0 279658704 415744000 94061 33554432000 4194304 5654031 140737103627984 140737103625768 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/32716/statm: 101500 94061 142 357 0 101140 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 531564

[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 32718
/proc/meminfo: memFree=30510276/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=116416 CPUtime=1487.83 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 56436 513873 0 0 1266 265 146933 319 20 0 1 0 279514374 119209984 25562 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32592/statm: 29104 25562 206 440 0 28660 0
[pid=32718] ppid=32592 vsize=458236 CPUtime=54.18 cores=0,2,4,6
/proc/32718/stat : 32718 (glucosInc) R 32592 32591 31461 0 -1 4202496 68133 0 0 0 5402 16 0 0 20 0 1 0 279663184 469233664 96195 33554432000 4194304 5654031 140734769601264 140734769589080 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32718/statm: 114559 96195 142 357 0 114199 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 583800

[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 32718
/proc/meminfo: memFree=30519384/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=116416 CPUtime=1487.83 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 56436 513873 0 0 1266 265 146933 319 20 0 1 0 279514374 119209984 25562 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32592/statm: 29104 25562 206 440 0 28660 0
[pid=32718] ppid=32592 vsize=408148 CPUtime=114.17 cores=0,2,4,6
/proc/32718/stat : 32718 (glucosInc) R 32592 32591 31461 0 -1 4202496 68708 0 0 0 11399 18 0 0 20 0 1 0 279663184 417943552 92850 33554432000 4194304 5654031 140734769601264 140734769589080 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32718/statm: 102037 92850 142 357 0 101677 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 533712

[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 32719
/proc/meminfo: memFree=30506356/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=116416 CPUtime=1487.83 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 56436 513873 0 0 1266 265 146933 319 20 0 1 0 279514374 119209984 25562 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32592/statm: 29104 25562 206 440 0 28660 0
[pid=32718] ppid=32592 vsize=467084 CPUtime=174.17 cores=0,2,4,6
/proc/32718/stat : 32718 (glucosInc) R 32592 32591 31461 0 -1 4202496 70050 0 0 0 17398 19 0 0 20 0 1 0 279663184 478294016 95724 33554432000 4194304 5654031 140734769601264 140734769599032 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32718/statm: 116771 95724 142 357 0 116411 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 592648

[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 32722
/proc/meminfo: memFree=30478648/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=116416 CPUtime=1487.83 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 56436 513873 0 0 1266 265 146933 319 20 0 1 0 279514374 119209984 25562 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32592/statm: 29104 25562 206 440 0 28660 0
[pid=32718] ppid=32592 vsize=467084 CPUtime=234.15 cores=0,2,4,6
/proc/32718/stat : 32718 (glucosInc) R 32592 32591 31461 0 -1 4202496 70147 0 0 0 23396 19 0 0 20 0 1 0 279663184 478294016 102464 33554432000 4194304 5654031 140734769601264 140734769589080 4232581 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32718/statm: 116771 102464 142 357 0 116411 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 592648

[startup+1782.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 32722
/proc/meminfo: memFree=30487040/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=116416 CPUtime=1487.83 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 56436 513873 0 0 1266 265 146933 319 20 0 1 0 279514374 119209984 25562 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32592/statm: 29104 25562 206 440 0 28660 0
[pid=32718] ppid=32592 vsize=467084 CPUtime=294.15 cores=0,2,4,6
/proc/32718/stat : 32718 (glucosInc) R 32592 32591 31461 0 -1 4202496 71421 0 0 0 29393 22 0 0 20 0 1 0 279663184 478294016 99309 33554432000 4194304 5654031 140734769601264 140734769589080 4214957 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32718/statm: 116771 99309 142 357 0 116411 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 592648



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32722
/proc/meminfo: memFree=30489568/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=116416 CPUtime=1487.83 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 56436 513873 0 0 1266 265 146933 319 20 0 1 0 279514374 119209984 25562 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32592/statm: 29104 25562 206 440 0 28660 0
[pid=32718] ppid=32592 vsize=467084 CPUtime=312.24 cores=0,2,4,6
/proc/32718/stat : 32718 (glucosInc) R 32592 32591 31461 0 -1 4202496 71483 0 0 0 31200 24 0 0 20 0 1 0 279663184 478294016 98586 33554432000 4194304 5654031 140734769601264 140734769599288 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32718/statm: 116771 98586 142 357 0 116411 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 592648

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 32722
/proc/meminfo: memFree=30489568/32873648 swapFree=7116/7116
[pid=32591] ppid=32589 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32591/stat : 32591 (npSolver-pbo-It) S 32589 32591 31461 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279514374 9367552 274 33554432000 4194304 5064252 140735982871360 140735982870272 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32591/statm: 2287 274 233 213 0 72 0
[pid=32592] ppid=32591 vsize=116416 CPUtime=1487.83 cores=0,2,4,6
/proc/32592/stat : 32592 (npSolver-pbo) S 32591 32591 31461 0 -1 4202496 56436 513873 0 0 1266 265 146933 319 20 0 1 0 279514374 119209984 25562 33554432000 4194304 5992684 140735522435808 140735522421640 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/32592/statm: 29104 25562 206 440 0 28660 0
[pid=32718] ppid=32592 vsize=467084 CPUtime=312.24 cores=0,2,4,6
/proc/32718/stat : 32718 (glucosInc) R 32592 32591 31461 0 -1 4202496 71483 0 0 0 31200 24 0 0 20 0 1 0 279663184 478294016 98586 33554432000 4194304 5654031 140734769601264 140734769599288 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32718/statm: 116771 98586 142 357 0 116411 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 592648

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 32591 and gives
#  childrusage.ru_utime.tv_sec=1481
#  childrusage.ru_utime.tv_usec=998701
#  childrusage.ru_stime.tv_sec=5
#  childrusage.ru_stime.tv_usec=850110
# CPU time returned by wait4() is 1487.85
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1793.99
CPU system time (s): 6.08
CPU usage (%): 99.9809
Max. virtual memory (cumulated for all children) (KiB): 1042472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1482
system time used= 5.85011
maximum resident set size= 795324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 570683
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1984344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11265
involuntary context switches= 5047

runsolver used 4.03739 second user time and 10.3634 second system time

The end

Launcher Data 

Begin job on node123 at 2012-05-27 17:51:29
IDJOB=3702539
IDBENCH=92733
IDSOLVER=2278
FILE ID=node123/3702539-1338133889
RUNJOBID= node123-1338124037-31477
PBS_JOBID= 14624505
Free space on /tmp= 71460 MiB

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

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

MD5SUM BENCH= f3813b86973df1eedcf86494ca06b423
RANDOM SEED=4905211

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        30925324 kB
Buffers:          113312 kB
Cached:           298228 kB
SwapCached:          956 kB
Active:          1110396 kB
Inactive:          38504 kB
Active(anon):     730572 kB
Inactive(anon):     9416 kB
Active(file):     379824 kB
Inactive(file):    29088 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67102956 kB
Dirty:              9476 kB
Writeback:             0 kB
AnonPages:        754608 kB
Mapped:            11760 kB
Shmem:                 0 kB
Slab:             650988 kB
SReclaimable:      95316 kB
SUnreclaim:       555672 kB
KernelStack:        1464 kB
PageTables:         5700 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     968524 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    530432 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71352 MiB
End job on node123 at 2012-05-27 18:21:30