Trace number 3703314

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 NameAnswerobjective functionCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.08 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_3.opb
MD5SUMe05fbfdce4433b0b2590ec382b530cec
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-69
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -71
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)150588
Sum of products size (including duplicates)301176
Number of different products75294
Sum of products size150588

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.64	c run inc solver
0.00/0.64	c [INC SYSTEM] run initial solver
0.00/0.64	c [INC SYSTEM] preprocess with white file
4.46/4.56	c [INC SYSTEM] finished preprocessing in 3 s
4.46/4.56	c [INC SYSTEM] execute solver
10.65/10.70	c [INC SEARCH] formula is SAT
10.65/10.72	c [INC SYSTEM] solved the initial formula
10.75/10.80	c model valid
10.75/10.80	c current solution ok
12.54/12.64	o -60
12.54/12.64	c starting approximation
12.54/12.64	c factor = 1
12.54/12.64	c can not find a suitable factor, leaving approximation
12.54/12.64	c finished approximation
12.54/12.64	c [INC SYSTEM] there exists a inc, kill it!
12.54/12.64	c write failed with 2
12.54/12.64	c [INC SEARCH] iteration: 0
12.54/12.64	c [INC BOUNDS] best value:940 search for 939
12.54/12.64	c [INC SYSTEM] create new solver instance
12.54/12.64	c [INC] encode full formula
12.54/12.64	c (debug) using card networks
12.54/12.67	c set iterative enc to: card
12.54/12.67	c set iterative enc to: none
12.64/12.71	c [INC SEARCH] isOptimum variable: 0
66.83/66.98	c formula is SAT
66.83/67.00	c [INC SEARCH] copied best model
66.83/67.00	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
66.94/67.07	c model valid
66.94/67.07	c current solution ok
66.94/67.07	o -62
66.94/67.07	c [INC SEARCH] iteration: 1
66.94/67.07	c [INC BOUNDS] best value:938 search for 937
66.94/67.07	c [INC SYSTEM] there exists a inc, kill it!
66.94/67.07	c write failed with 2
66.94/67.08	c [INC SYSTEM] create new solver instance
66.94/67.08	c [INC] encode full formula
66.94/67.08	c (debug) using card networks
67.05/67.11	c set iterative enc to: card
67.05/67.11	c set iterative enc to: none
67.05/67.15	c [INC SEARCH] isOptimum variable: 0
284.97/285.18	c formula is SAT
285.08/285.20	c [INC SEARCH] copied best model
285.08/285.20	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
285.08/285.28	c model valid
285.08/285.28	c current solution ok
285.08/285.28	o -63
285.08/285.28	c [INC SEARCH] iteration: 2
285.08/285.28	c [INC BOUNDS] best value:937 search for 936
285.08/285.28	c [INC SYSTEM] there exists a inc, kill it!
285.08/285.28	c write failed with 2
285.08/285.28	c [INC SYSTEM] create new solver instance
285.08/285.28	c [INC] encode full formula
285.08/285.28	c (debug) using card networks
285.19/285.30	c set iterative enc to: card
285.19/285.30	c set iterative enc to: none
285.19/285.35	c [INC SEARCH] isOptimum variable: 0
967.05/967.32	c formula is SAT
967.05/967.34	c [INC SEARCH] copied best model
967.05/967.34	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
967.16/967.41	c model valid
967.16/967.41	c current solution ok
967.16/967.41	o -64
967.16/967.41	c [INC SEARCH] iteration: 3
967.16/967.41	c [INC BOUNDS] best value:936 search for 935
967.16/967.41	c [INC SYSTEM] there exists a inc, kill it!
967.16/967.41	c write failed with 2
967.16/967.42	c [INC SYSTEM] create new solver instance
967.16/967.42	c [INC] encode full formula
967.16/967.42	c (debug) using card networks
967.16/967.44	c set iterative enc to: card
967.16/967.44	c set iterative enc to: none
967.16/967.49	c [INC SEARCH] isOptimum variable: 0
1707.10/1707.52	c formula is SAT
1707.10/1707.54	c [INC SEARCH] copied best model
1707.10/1707.54	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1707.21/1707.62	c model valid
1707.21/1707.62	c current solution ok
1707.21/1707.62	o -67
1707.21/1707.62	c [INC SEARCH] iteration: 4
1707.21/1707.62	c [INC BOUNDS] best value:933 search for 932
1707.21/1707.62	c [INC SYSTEM] there exists a inc, kill it!
1707.21/1707.62	c write failed with 2
1707.21/1707.62	c [INC SYSTEM] create new solver instance
1707.21/1707.62	c [INC] encode full formula
1707.21/1707.62	c (debug) using card networks
1707.21/1707.64	c set iterative enc to: card
1707.21/1707.64	c set iterative enc to: none
1707.21/1707.69	c [INC SEARCH] isOptimum variable: 0
1800.08/1800.51	HOME/npSolver-pbo-Itdqb.sh: line 18: 25038 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-3703314-1338082340/watcher-3703314-1338082340 -o /tmp/evaluation-result-3703314-1338082340/solver-3703314-1338082340 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703314-1338082340.opb 1814884543 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.03 2.03 2.00 3/178 25037
/proc/meminfo: memFree=31759292/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0

[startup+0.0389289 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 25037
/proc/meminfo: memFree=31759292/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10027 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 25037
/proc/meminfo: memFree=31759292/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300283 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 25037
/proc/meminfo: memFree=31759292/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700324 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 25037
/proc/meminfo: memFree=31759292/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50048 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 25041
/proc/meminfo: memFree=31559688/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=50164 CPUtime=0.62 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 7112 0 0 0 57 5 0 0 20 0 1 0 274301045 51367936 9177 33554432000 4194304 5992684 140737300747008 140737300741456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/25038/statm: 12541 9177 171 440 0 12097 0
[pid=25040] ppid=25038 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25040/stat : 25040 (cp2_pre.sh) S 25038 25037 8327 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274301110 9367552 277 33554432000 4194304 5064252 140733243404960 140733243403664 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25040/statm: 2287 277 234 213 0 72 0
[pid=25041] ppid=25040 vsize=201940 CPUtime=0.84 cores=1,3,5,7
/proc/25041/stat : 25041 (coprocessor) R 25040 25037 8327 0 -1 4202496 29412 0 0 0 78 6 0 0 20 0 1 0 274301110 206786560 44788 33554432000 4194304 6586260 140734672629264 140734672625592 5511711 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/25041/statm: 50485 44789 166 584 0 49897 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 270400

[startup+3.10051 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 25041
/proc/meminfo: memFree=31496680/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=50164 CPUtime=0.62 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 7112 0 0 0 57 5 0 0 20 0 1 0 274301045 51367936 9177 33554432000 4194304 5992684 140737300747008 140737300741456 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/25038/statm: 12541 9177 171 440 0 12097 0
[pid=25040] ppid=25038 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25040/stat : 25040 (cp2_pre.sh) S 25038 25037 8327 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 274301110 9367552 277 33554432000 4194304 5064252 140733243404960 140733243403664 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/25040/statm: 2287 277 234 213 0 72 0
[pid=25041] ppid=25040 vsize=254316 CPUtime=2.44 cores=1,3,5,7
/proc/25041/stat : 25041 (coprocessor) R 25040 25037 8327 0 -1 4202496 38610 0 0 0 235 9 0 0 20 0 1 0 274301110 260419584 61651 33554432000 4194304 6586260 140734672629264 140734672624520 4676827 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/25041/statm: 63579 61651 191 584 0 62991 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 322776

[startup+6.30046 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 25043
/proc/meminfo: memFree=31565908/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=50164 CPUtime=4.52 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 7127 41477 0 0 57 5 362 28 20 0 1 0 274301045 51367936 9179 33554432000 4194304 5992684 140737300747008 140737300733272 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 1 0 0
/proc/25038/statm: 12541 9179 173 440 0 12097 0
[pid=25043] ppid=25038 vsize=125112 CPUtime=1.73 cores=1,3,5,7
/proc/25043/stat : 25043 (glucosInc) R 25038 25037 8327 0 -1 4202496 22959 0 0 0 168 5 0 0 20 0 1 0 274301501 128114688 25463 33554432000 4194304 5654031 140734563090336 140734563088232 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25043/statm: 31278 25463 139 357 0 30918 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 184424

[startup+12.7002 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 25043
/proc/meminfo: memFree=31536832/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=62564 CPUtime=12.64 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 10577 65603 0 0 99 156 970 39 20 0 1 0 274301045 64065536 12303 33554432000 4194304 5992684 140737300747008 140737300740512 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 15641 12303 197 440 0 15197 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 71712

[startup+25.5005 s]
/proc/loadavg: 2.09 2.04 2.00 3/181 25046
/proc/meminfo: memFree=31554172/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=62564 CPUtime=12.67 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 10947 66117 0 0 99 156 970 42 20 0 1 0 274301045 64065536 12303 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 15641 12303 197 440 0 15197 0
[pid=25046] ppid=25038 vsize=131888 CPUtime=12.77 cores=1,3,5,7
/proc/25046/stat : 25046 (glucosInc) R 25038 25037 8327 0 -1 4202496 25906 0 0 0 1272 5 0 0 20 0 1 0 274302316 135053312 28796 33554432000 4194304 5654031 140736687644272 140736687632088 4232581 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25046/statm: 32972 28796 140 357 0 32612 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 203600

[startup+51.1005 s]
/proc/loadavg: 2.06 2.04 2.00 3/181 25046
/proc/meminfo: memFree=31509800/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=62564 CPUtime=12.67 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 10947 66117 0 0 99 156 970 42 20 0 1 0 274301045 64065536 12303 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 15641 12303 197 440 0 15197 0
[pid=25046] ppid=25038 vsize=132708 CPUtime=38.37 cores=1,3,5,7
/proc/25046/stat : 25046 (glucosInc) R 25038 25037 8327 0 -1 4202496 26236 0 0 0 3832 5 0 0 20 0 1 0 274302316 135892992 29627 33554432000 4194304 5654031 140736687644272 140736687632088 4232438 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25046/statm: 33177 29627 141 357 0 32817 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 204420

[startup+102.307 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 25048
/proc/meminfo: memFree=31546540/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=67.1 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 14348 93191 0 0 111 157 6389 53 20 0 1 0 274301045 68546560 13090 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13090 197 440 0 16291 0
[pid=25048] ppid=25038 vsize=132908 CPUtime=35.12 cores=1,3,5,7
/proc/25048/stat : 25048 (glucosInc) R 25038 25037 8327 0 -1 4202496 26178 0 0 0 3508 4 0 0 20 0 1 0 274307761 136097792 29905 33554432000 4194304 5654031 140734587128656 140734587116472 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25048/statm: 33227 29905 141 357 0 32867 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 208996

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 25048
/proc/meminfo: memFree=31505380/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=67.1 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 14348 93191 0 0 111 157 6389 53 20 0 1 0 274301045 68546560 13090 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13090 197 440 0 16291 0
[pid=25048] ppid=25038 vsize=134720 CPUtime=95.1 cores=1,3,5,7
/proc/25048/stat : 25048 (glucosInc) R 25038 25037 8327 0 -1 4202496 26642 0 0 0 9505 5 0 0 20 0 1 0 274307761 137953280 30875 33554432000 4194304 5654031 140734587128656 140734587126440 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25048/statm: 33680 30875 141 357 0 33320 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 210808

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 25048
/proc/meminfo: memFree=31538972/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=67.1 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 14348 93191 0 0 111 157 6389 53 20 0 1 0 274301045 68546560 13090 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13090 197 440 0 16291 0
[pid=25048] ppid=25038 vsize=136356 CPUtime=155.08 cores=1,3,5,7
/proc/25048/stat : 25048 (glucosInc) R 25038 25037 8327 0 -1 4202496 27036 0 0 0 15503 5 0 0 20 0 1 0 274307761 139628544 31780 33554432000 4194304 5654031 140734587128656 140734587116472 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25048/statm: 34089 31780 141 357 0 33729 0
Current children cumulated CPU time (s) 222.18

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

/proc/loadavg: 2.05 2.08 2.02 3/181 25120
/proc/meminfo: memFree=31553820/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=967.25 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 20759 152368 0 0 137 158 96352 78 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25116] ppid=25038 vsize=140300 CPUtime=394.71 cores=1,3,5,7
/proc/25116/stat : 25116 (glucosInc) R 25038 25037 8327 0 -1 4202496 29186 0 0 0 39461 10 0 0 20 0 1 0 274397794 143667200 32126 33554432000 4194304 5654031 140735373163392 140735373151208 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 35075 32126 142 357 0 34715 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 216388

[startup+1422.31 s]
/proc/loadavg: 2.05 2.08 2.02 3/181 25120
/proc/meminfo: memFree=31549008/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=967.25 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 20759 152368 0 0 137 158 96352 78 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25116] ppid=25038 vsize=141552 CPUtime=454.7 cores=1,3,5,7
/proc/25116/stat : 25116 (glucosInc) R 25038 25037 8327 0 -1 4202496 29452 0 0 0 45459 11 0 0 20 0 1 0 274397794 144949248 33412 33554432000 4194304 5654031 140735373163392 140735373161176 4232566 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 35388 33412 142 357 0 35028 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 217640

[startup+1482.3 s]
/proc/loadavg: 2.05 2.08 2.02 3/181 25120
/proc/meminfo: memFree=31514784/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=967.25 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 20759 152368 0 0 137 158 96352 78 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25116] ppid=25038 vsize=191664 CPUtime=514.69 cores=1,3,5,7
/proc/25116/stat : 25116 (glucosInc) R 25038 25037 8327 0 -1 4202496 29951 0 0 0 51457 12 0 0 20 0 1 0 274397794 196263936 42004 33554432000 4194304 5654031 140735373163392 140735373151208 4208595 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 47916 42004 142 357 0 47556 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 267752

[startup+1542.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/181 25121
/proc/meminfo: memFree=31464908/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=967.25 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 20759 152368 0 0 137 158 96352 78 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25116] ppid=25038 vsize=172804 CPUtime=574.68 cores=1,3,5,7
/proc/25116/stat : 25116 (glucosInc) R 25038 25037 8327 0 -1 4202496 30572 0 0 0 57456 12 0 0 20 0 1 0 274397794 176951296 41246 33554432000 4194304 5654031 140735373163392 140735373151208 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 43201 41246 142 357 0 42841 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 248892

[startup+1602.3 s]
/proc/loadavg: 2.12 2.09 2.03 3/181 25121
/proc/meminfo: memFree=31476420/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=967.25 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 20759 152368 0 0 137 158 96352 78 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25116] ppid=25038 vsize=222124 CPUtime=634.67 cores=1,3,5,7
/proc/25116/stat : 25116 (glucosInc) R 25038 25037 8327 0 -1 4202496 31297 0 0 0 63454 13 0 0 20 0 1 0 274397794 227454976 49623 33554432000 4194304 5654031 140735373163392 140735373161320 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 55531 49623 142 357 0 55171 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 298212

[startup+1662.3 s]
/proc/loadavg: 2.08 2.08 2.03 3/182 25124
/proc/meminfo: memFree=31481840/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=967.25 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 20759 152368 0 0 137 158 96352 78 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25116] ppid=25038 vsize=222124 CPUtime=694.66 cores=1,3,5,7
/proc/25116/stat : 25116 (glucosInc) R 25038 25037 8327 0 -1 4202496 31299 0 0 0 69453 13 0 0 20 0 1 0 274397794 227454976 50136 33554432000 4194304 5654031 140735373163392 140735373151208 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25116/statm: 55531 50136 142 357 0 55171 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 298212

[startup+1722.3 s]
/proc/loadavg: 2.10 2.08 2.03 3/182 25149
/proc/meminfo: memFree=31528940/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=1707.3 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 23731 184280 0 0 149 159 170326 96 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25126] ppid=25038 vsize=132064 CPUtime=14.59 cores=1,3,5,7
/proc/25126/stat : 25126 (glucosInc) R 25038 25037 8327 0 -1 4202496 26183 0 0 0 1454 5 0 0 20 0 1 0 274471814 135233536 28970 33554432000 4194304 5654031 140733239457248 140733239455032 4232581 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25126/statm: 33016 28970 140 357 0 32656 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 208152

[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.02 3/181 25149
/proc/meminfo: memFree=31494372/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=1707.3 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 23731 184280 0 0 149 159 170326 96 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25126] ppid=25038 vsize=133808 CPUtime=74.59 cores=1,3,5,7
/proc/25126/stat : 25126 (glucosInc) R 25038 25037 8327 0 -1 4202496 26616 0 0 0 7453 6 0 0 20 0 1 0 274471814 137019392 29914 33554432000 4194304 5654031 140733239457248 140733239455144 4232800 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25126/statm: 33452 29914 141 357 0 33092 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 209896



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.17 2.09 2.03 3/180 25149
/proc/meminfo: memFree=31518320/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=1707.3 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 23731 184280 0 0 149 159 170326 96 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25126] ppid=25038 vsize=134204 CPUtime=92.78 cores=1,3,5,7
/proc/25126/stat : 25126 (glucosInc) R 25038 25037 8327 0 -1 4202496 26760 0 0 0 9272 6 0 0 20 0 1 0 274471814 137424896 30558 33554432000 4194304 5654031 140733239457248 140733239445064 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25126/statm: 33551 30558 141 357 0 33191 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 210292

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.5 s]
/proc/loadavg: 2.17 2.09 2.03 3/180 25149
/proc/meminfo: memFree=31518320/32873844 swapFree=6872/6872
[pid=25037] ppid=25035 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25037/stat : 25037 (npSolver-pbo-It) S 25035 25037 8327 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 274301045 9367552 275 33554432000 4194304 5064252 140736352426336 140736352425248 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25037/statm: 2287 275 233 213 0 72 0
[pid=25038] ppid=25037 vsize=66940 CPUtime=1707.3 cores=1,3,5,7
/proc/25038/stat : 25038 (npSolver-pbo) S 25037 25037 8327 0 -1 4202496 23731 184280 0 0 149 159 170326 96 20 0 1 0 274301045 68546560 13418 33554432000 4194304 5992684 140737300747008 140737300732840 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 2 0 0
/proc/25038/statm: 16735 13418 197 440 0 16291 0
[pid=25126] ppid=25038 vsize=134204 CPUtime=92.78 cores=1,3,5,7
/proc/25126/stat : 25126 (glucosInc) R 25038 25037 8327 0 -1 4202496 26760 0 0 0 9272 6 0 0 20 0 1 0 274471814 137424896 30558 33554432000 4194304 5654031 140733239457248 140733239445064 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25126/statm: 33551 30558 141 357 0 33191 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 210292

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25037 and gives
#  childrusage.ru_utime.tv_sec=1704
#  childrusage.ru_utime.tv_usec=767835
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=561610
# CPU time returned by wait4() is 1707.33
# while last known CPU time is 1800.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.52
CPU time (s): 1800.08
CPU user time (s): 1797.47
CPU system time (s): 2.61
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 336672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1704.77
system time used= 2.56161
maximum resident set size= 266704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208385
page faults= 0
swaps= 0
block input operations= 8
block output operations= 362424
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3526
involuntary context switches= 1793

runsolver used 6.12607 second user time and 20.002 second system time

The end

Launcher Data 

Begin job on node105 at 2012-05-27 03:32:20
IDJOB=3703314
IDBENCH=48225
IDSOLVER=2278
FILE ID=node105/3703314-1338082340
RUNJOBID= node105-1338052967-8344
PBS_JOBID= 14624416
Free space on /tmp= 71584 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_3.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3703314-1338082340/watcher-3703314-1338082340 -o /tmp/evaluation-result-3703314-1338082340/solver-3703314-1338082340 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703314-1338082340.opb 1814884543 HOME HOME

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

MD5SUM BENCH= e05fbfdce4433b0b2590ec382b530cec
RANDOM SEED=1814884543

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31760208 kB
Buffers:          155192 kB
Cached:            66100 kB
SwapCached:         1948 kB
Active:           249628 kB
Inactive:          77964 kB
Active(anon):     104796 kB
Inactive(anon):     2836 kB
Active(file):     144832 kB
Inactive(file):    75128 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100352 kB
Dirty:             10124 kB
Writeback:             0 kB
AnonPages:        139192 kB
Mapped:             9616 kB
Shmem:                 0 kB
Slab:             646348 kB
SReclaimable:      88204 kB
SUnreclaim:       558144 kB
KernelStack:        1504 kB
PageTables:         4096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     227496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    122880 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= 71536 MiB
End job on node105 at 2012-05-27 04:02:21