Trace number 3751695

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound (fixed)? (TO) 1800.1 1888.31

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat85_4_27_4.opb
MD5SUM213b2ab8f9fabc47faf8664d1026e564
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6667103
Best CPU time to get the best result obtained on this benchmark1800.07
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 169112377
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 146273936801
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 169112377
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 146273936801
Number of bits of the biggest sum of numbers38
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data

0.00/0.09	c old isEQ: 0, new EQ is 1
1.19/1.21	c run inc solver
1.19/1.21	c [INC SYSTEM] run initial solver
1.19/1.21	c [INC SYSTEM] preprocess with white file
6.70/6.91	c [INC SYSTEM] finished preprocessing in 5 s
6.70/6.91	c [INC SYSTEM] execute solver
10.20/10.47	c [INC SEARCH] formula is SAT
10.31/10.50	c [INC SYSTEM] solved the initial formula
10.61/10.86	c model valid
10.61/10.86	c current solution ok
12.47/12.72	o 261197029
12.47/12.72	c starting approximation
12.47/12.72	c factor = 2
12.47/12.72	c factor still to low - shrinking to 1.12563e+07
12.47/12.72	c approx number of clauses: 1e+06
12.47/12.72	c current bound: 130598560
13.29/13.53	c leaving approximation
13.29/13.53	c finished approximation
13.29/13.53	c [INC SYSTEM] there exists a inc, kill it!
13.29/13.53	c write failed with 2
13.29/13.55	c [INC SEARCH] iteration: 0
13.29/13.55	c [INC BOUNDS] best value:261197114 search for 261197113
13.29/13.55	c [INC SYSTEM] create new solver instance
13.29/13.55	c [INC] encode full formula
13.29/13.55	c fallback to adder encoding
15.51/15.77	c set iterative enc to: adder
15.51/15.77	c set iterative enc to: none
15.83/16.78	c [INC SEARCH] isOptimum variable: 0
26.81/27.73	c formula is SAT
26.92/27.81	c [INC SEARCH] copied best model
26.92/27.81	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
26.92/27.86	c model valid
26.92/27.86	c current solution ok
26.92/27.86	o 114709245
26.92/27.86	c [INC SEARCH] iteration: 1
26.92/27.86	c [INC BOUNDS] best value:114709330 search for 114709329
26.92/27.86	c [INC SYSTEM] there exists a inc, kill it!
26.92/27.86	c write failed with 2
26.92/27.89	c [INC SYSTEM] create new solver instance
26.92/27.89	c [INC] encode full formula
26.92/27.89	c fallback to adder encoding
29.12/30.03	c set iterative enc to: adder
29.12/30.03	c set iterative enc to: none
29.41/30.36	c [INC SEARCH] isOptimum variable: 0
221.09/238.67	c formula is SAT
221.09/324.18	c [INC SEARCH] copied best model
221.09/324.18	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
221.09/324.18	c model valid
221.09/324.18	c current solution ok
221.09/324.18	o 34252953
221.09/324.18	c [INC SEARCH] iteration: 2
221.09/324.18	c [INC BOUNDS] best value:34253038 search for 34253037
221.09/324.18	c [INC SYSTEM] there exists a inc, kill it!
221.09/324.18	c write failed with 2
221.09/324.18	c [INC SYSTEM] create new solver instance
221.09/324.18	c [INC] encode full formula
221.09/324.18	c fallback to adder encoding
221.09/324.18	c set iterative enc to: adder
221.09/324.18	c set iterative enc to: none
239.85/325.05	c [INC SEARCH] isOptimum variable: 0
283.48/382.25	c formula is SAT
297.14/382.32	c [INC SEARCH] copied best model
297.14/382.32	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
297.14/382.37	c model valid
297.14/382.37	c current solution ok
297.14/382.37	o 33091965
297.14/382.37	c [INC SEARCH] iteration: 3
297.14/382.37	c [INC BOUNDS] best value:33092050 search for 33092049
297.14/382.37	c [INC SYSTEM] there exists a inc, kill it!
297.14/382.37	c write failed with 2
297.14/382.39	c [INC SYSTEM] create new solver instance
297.14/382.39	c [INC] encode full formula
297.14/382.39	c fallback to adder encoding
297.30/384.14	c set iterative enc to: adder
297.30/384.14	c set iterative enc to: none
299.05/384.42	c [INC SEARCH] isOptimum variable: 0
305.27/390.32	c formula is SAT
305.27/390.38	c [INC SEARCH] copied best model
305.27/390.39	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
305.27/390.43	c model valid
305.27/390.43	c current solution ok
305.27/390.43	o 24254785
305.27/390.43	c [INC SEARCH] iteration: 4
305.27/390.43	c [INC BOUNDS] best value:24254870 search for 24254869
305.27/390.43	c [INC SYSTEM] there exists a inc, kill it!
305.27/390.43	c write failed with 2
305.40/390.45	c [INC SYSTEM] create new solver instance
305.40/390.45	c [INC] encode full formula
305.40/390.45	c fallback to adder encoding
305.40/392.10	c set iterative enc to: adder
305.40/392.10	c set iterative enc to: none
307.08/395.31	c [INC SEARCH] isOptimum variable: 0
407.69/495.61	c formula is SAT
407.69/495.68	c [INC SEARCH] copied best model
407.69/495.68	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
407.80/495.73	c model valid
407.80/495.73	c current solution ok
407.80/495.73	o 10894871
407.80/495.73	c [INC SEARCH] iteration: 5
407.80/495.73	c [INC BOUNDS] best value:10894956 search for 10894955
407.80/495.73	c [INC SYSTEM] there exists a inc, kill it!
407.80/495.73	c write failed with 2
407.80/495.75	c [INC SYSTEM] create new solver instance
407.80/495.75	c [INC] encode full formula
407.80/495.75	c fallback to adder encoding
409.21/497.13	c set iterative enc to: adder
409.21/497.13	c set iterative enc to: none
409.39/497.36	c [INC SEARCH] isOptimum variable: 0
728.52/816.53	c formula is SAT
728.52/816.59	c [INC SEARCH] copied best model
728.61/816.60	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
728.61/816.64	c model valid
728.61/816.64	c current solution ok
728.61/816.64	o 8758223
728.61/816.64	c [INC SEARCH] iteration: 6
728.61/816.64	c [INC BOUNDS] best value:8758308 search for 8758307
728.61/816.64	c [INC SYSTEM] there exists a inc, kill it!
728.61/816.64	c write failed with 2
728.61/816.65	c [INC SYSTEM] create new solver instance
728.61/816.65	c [INC] encode full formula
728.61/816.65	c fallback to adder encoding
729.91/817.98	c set iterative enc to: adder
729.91/817.98	c set iterative enc to: none
730.23/818.20	c [INC SEARCH] isOptimum variable: 0
1800.10/1888.31	HOME/npSolver-pbo-Itdqb.sh: line 18: 17214 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-3751695-1339177857/watcher-3751695-1339177857 -o /tmp/evaluation-result-3751695-1339177857/solver-3751695-1339177857 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751695-1339177857.opb 424378113 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.00 2.00 2.00 3/179 17213
/proc/meminfo: memFree=28874092/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0

[startup+0.0915519 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17213
/proc/meminfo: memFree=28874092/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100294 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17213
/proc/meminfo: memFree=28874092/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300295 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17213
/proc/meminfo: memFree=28874092/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700303 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17213
/proc/meminfo: memFree=28874092/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 17215
/proc/meminfo: memFree=28766284/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=85480 CPUtime=1.22 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 9077 0 0 0 108 14 0 0 20 0 1 0 383910212 87531520 19899 33554432000 4194304 6004724 140736840137424 140736840131888 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17214/statm: 21370 19899 171 442 0 20924 0
Current children cumulated CPU time (s) 1.22
Current children cumulated vsize (KiB) 94628

[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 17217
/proc/meminfo: memFree=28463260/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=85480 CPUtime=1.22 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 9077 0 0 0 108 14 0 0 20 0 1 0 383910212 87531520 19899 33554432000 4194304 6004724 140736840137424 140736840131888 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17214/statm: 21370 19899 171 442 0 20924 0
[pid=17216] ppid=17214 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17216/stat : 17216 (cp2_pre.sh) S 17214 17213 16567 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 383910336 9367552 276 33554432000 4194304 5064252 140736606489712 140736606488416 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17216/statm: 2287 276 234 213 0 72 0
[pid=17217] ppid=17216 vsize=364792 CPUtime=1.85 cores=0,2,4,6
/proc/17217/stat : 17217 (coprocessor) R 17216 17213 16567 0 -1 4202496 43405 0 0 0 175 10 0 0 20 0 1 0 383910336 373547008 81817 33554432000 4194304 6586260 140734563698432 140734563694760 5511711 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/17217/statm: 91198 81817 166 584 0 90610 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 468568

[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 17217
/proc/meminfo: memFree=28280216/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=85480 CPUtime=1.22 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 9077 0 0 0 108 14 0 0 20 0 1 0 383910212 87531520 19899 33554432000 4194304 6004724 140736840137424 140736840131888 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17214/statm: 21370 19899 171 442 0 20924 0
[pid=17216] ppid=17214 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17216/stat : 17216 (cp2_pre.sh) S 17214 17213 16567 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 383910336 9367552 276 33554432000 4194304 5064252 140736606489712 140736606488416 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/17216/statm: 2287 276 234 213 0 72 0
[pid=17217] ppid=17216 vsize=451108 CPUtime=4.88 cores=0,2,4,6
/proc/17217/stat : 17217 (coprocessor) R 17216 17213 16567 0 -1 4202496 58346 0 0 0 459 29 0 0 20 0 1 0 383910336 461934592 109385 33554432000 4194304 6586260 140734563698432 140734563694184 5732496 0 0 4096 8404994 0 0 0 17 4 0 0 16 0 0
/proc/17217/statm: 112777 109385 204 584 0 112189 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 554884

[startup+12.7003 s]
/proc/loadavg: 2.23 2.05 2.02 3/181 17219
/proc/meminfo: memFree=28601412/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=89540 CPUtime=8.93 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 11422 59247 0 0 152 191 515 35 20 0 1 0 383910212 91688960 20923 33554432000 4194304 6004724 140736840137424 140736840131472 5186782 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/17214/statm: 22385 20923 180 442 0 21939 0
[pid=17219] ppid=17214 vsize=169964 CPUtime=3.54 cores=0,2,4,6
/proc/17219/stat : 17219 (glucosInc) S 17214 17213 16567 0 -1 4202496 31222 0 0 0 348 6 0 0 20 0 1 0 383910904 174043136 39260 33554432000 4194304 5654031 140736801328480 140736801326792 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/17219/statm: 42491 39260 146 357 0 42131 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 268652

[startup+25.5003 s]
/proc/loadavg: 2.20 2.05 2.01 3/181 17229
/proc/meminfo: memFree=28056492/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=96948 CPUtime=15.92 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 20244 134521 0 0 380 223 919 70 20 0 1 0 383910212 99274752 22827 33554432000 4194304 6004724 140736840137424 140736840123272 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17214/statm: 24237 22827 200 442 0 23791 0
[pid=17229] ppid=17214 vsize=549144 CPUtime=8.7 cores=0,2,4,6
/proc/17229/stat : 17229 (glucosInc) R 17214 17213 16567 0 -1 4202496 85612 0 0 0 845 25 0 0 20 0 1 0 383911891 562323456 124889 33554432000 4194304 5654031 140735248692432 140735248690120 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/17229/statm: 137286 124889 140 357 0 136926 0
Current children cumulated CPU time (s) 24.62
Current children cumulated vsize (KiB) 655240

[startup+51.1003 s]
/proc/loadavg: 2.13 2.04 2.01 3/181 17241
/proc/meminfo: memFree=27931980/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=109812 CPUtime=29.47 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 29216 221542 0 0 604 251 1986 106 20 0 1 0 383910212 112447488 26043 33554432000 4194304 6004724 140736840137424 140736840123272 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17214/statm: 27453 26043 200 442 0 27007 0
[pid=17231] ppid=17214 vsize=553148 CPUtime=20.72 cores=0,2,4,6
/proc/17231/stat : 17231 (glucosInc) R 17214 17213 16567 0 -1 4202496 84955 0 0 0 2048 24 0 0 20 0 1 0 383913249 566423552 124539 33554432000 4194304 5654031 140734459717232 140734459705048 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17231/statm: 138287 124539 142 357 0 137927 0
Current children cumulated CPU time (s) 50.19
Current children cumulated vsize (KiB) 672108

[startup+104.57 s]
/proc/loadavg: 2.13 2.05 2.01 4/181 17243
/proc/meminfo: memFree=27847096/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=109812 CPUtime=29.47 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 29216 221542 0 0 604 251 1986 106 20 0 1 0 383910212 112447488 26043 33554432000 4194304 6004724 140736840137424 140736840123272 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17214/statm: 27453 26043 200 442 0 27007 0
[pid=17231] ppid=17214 vsize=766796 CPUtime=74.17 cores=0,2,4,6
/proc/17231/stat : 17231 (glucosInc) R 17214 17213 16567 0 -1 4202496 90266 0 0 0 7377 40 0 0 20 0 1 0 383913249 785199104 160007 33554432000 4194304 5654031 140734459717232 140734459715320 4214957 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17231/statm: 191699 160007 142 357 0 191339 0
Current children cumulated CPU time (s) 103.64
Current children cumulated vsize (KiB) 885756

[startup+175.412 s]
/proc/loadavg: 2.20 2.08 2.02 3/181 17249
/proc/meminfo: memFree=27929112/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=109812 CPUtime=29.47 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 29216 221542 0 0 604 251 1986 106 20 0 1 0 383910212 112447488 26043 33554432000 4194304 6004724 140736840137424 140736840123272 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17214/statm: 27453 26043 200 442 0 27007 0
[pid=17231] ppid=17214 vsize=634536 CPUtime=145 cores=0,2,4,6
/proc/17231/stat : 17231 (glucosInc) D 17214 17213 16567 0 -1 4202496 95199 0 0 0 14433 67 0 0 20 0 1 0 383913249 649764864 149189 33554432000 4194304 5654031 140734459717232 140734459715256 4232772 0 0 4096 0 18446744071581355444 0 0 17 2 0 0 0 0 0
/proc/17231/statm: 158634 149189 142 357 0 158274 0
Current children cumulated CPU time (s) 174.47
Current children cumulated vsize (KiB) 753496

[startup+222.3 s]
/proc/loadavg: 3.58 2.46 2.15 3/180 17251
/proc/meminfo: memFree=27901340/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=109812 CPUtime=29.47 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 29216 221542 0 0 604 251 1986 106 20 0 1 0 383910212 112447488 26043 33554432000 4194304 6004724 140736840137424 140736840123272 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/17214/statm: 27453 26043 200 442 0 27007 0
[pid=17231] ppid=17214 vsize=634536 CPUtime=191.62 cores=0,2,4,6
/proc/17231/stat : 17231 (glucosInc) R 17214 17213 16567 0 -1 4202496 96299 0 0 0 19088 74 0 0 20 0 1 0 383913249 649764864 140152 33554432000 4194304 5654031 140734459717232 140734459715256 4232984 0 0 4096 0 0 0 0 17 6 0 0 0 0 0
/proc/17231/statm: 158634 140152 142 357 0 158274 0
Current children cumulated CPU time (s) 221.09

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

/proc/loadavg: 2.02 2.06 2.22 3/181 17305
/proc/meminfo: memFree=28072724/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=102880 CPUtime=730.23 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 71026 633294 0 0 1461 383 70775 404 20 0 1 0 383910212 105349120 24310 33554432000 4194304 6004724 140736840137424 140736840123272 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 40 0 0
/proc/17214/statm: 25720 24310 200 442 0 25274 0
[pid=17298] ppid=17214 vsize=540256 CPUtime=543.95 cores=0,2,4,6
/proc/17298/stat : 17298 (glucosInc) R 17214 17213 16567 0 -1 4202496 97767 0 0 0 54240 155 0 0 20 0 1 0 383992033 553222144 118559 33554432000 4194304 5654031 140734938102864 140734938100888 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17298/statm: 135064 118559 141 357 0 134704 0
Current children cumulated CPU time (s) 1274.18
Current children cumulated vsize (KiB) 652284

[startup+1422.3 s]
/proc/loadavg: 2.05 2.06 2.21 3/181 17305
/proc/meminfo: memFree=27984852/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=102880 CPUtime=730.23 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 71026 633294 0 0 1461 383 70775 404 20 0 1 0 383910212 105349120 24310 33554432000 4194304 6004724 140736840137424 140736840123272 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 40 0 0
/proc/17214/statm: 25720 24310 200 442 0 25274 0
[pid=17298] ppid=17214 vsize=540256 CPUtime=603.94 cores=0,2,4,6
/proc/17298/stat : 17298 (glucosInc) R 17214 17213 16567 0 -1 4202496 98073 0 0 0 60238 156 0 0 20 0 1 0 383992033 553222144 130618 33554432000 4194304 5654031 140734938102864 140734938100888 4234964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17298/statm: 135064 130618 141 357 0 134704 0
Current children cumulated CPU time (s) 1334.17
Current children cumulated vsize (KiB) 652284

[startup+1482.3 s]
/proc/loadavg: 2.02 2.05 2.19 3/181 17305
/proc/meminfo: memFree=28004688/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=102880 CPUtime=730.23 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 71026 633294 0 0 1461 383 70775 404 20 0 1 0 383910212 105349120 24310 33554432000 4194304 6004724 140736840137424 140736840123272 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 40 0 0
/proc/17214/statm: 25720 24310 200 442 0 25274 0
[pid=17298] ppid=17214 vsize=541348 CPUtime=663.93 cores=0,2,4,6
/proc/17298/stat : 17298 (glucosInc) R 17214 17213 16567 0 -1 4202496 99591 0 0 0 66232 161 0 0 20 0 1 0 383992033 554340352 115362 33554432000 4194304 5654031 140734938102864 140734938100648 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17298/statm: 135337 115362 141 357 0 134977 0
Current children cumulated CPU time (s) 1394.16
Current children cumulated vsize (KiB) 653376

[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 2.18 3/181 17305
/proc/meminfo: memFree=27803684/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=102880 CPUtime=730.23 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 71026 633294 0 0 1461 383 70775 404 20 0 1 0 383910212 105349120 24310 33554432000 4194304 6004724 140736840137424 140736840123272 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 40 0 0
/proc/17214/statm: 25720 24310 200 442 0 25274 0
[pid=17298] ppid=17214 vsize=676360 CPUtime=723.92 cores=0,2,4,6
/proc/17298/stat : 17298 (glucosInc) R 17214 17213 16567 0 -1 4202496 102074 0 0 0 72223 169 0 0 20 0 1 0 383992033 692592640 152824 33554432000 4194304 5654031 140734938102864 140734938100648 4218802 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17298/statm: 169090 152824 141 357 0 168730 0
Current children cumulated CPU time (s) 1454.15
Current children cumulated vsize (KiB) 788388

[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.16 3/181 17306
/proc/meminfo: memFree=27956604/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=102880 CPUtime=730.23 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 71026 633294 0 0 1461 383 70775 404 20 0 1 0 383910212 105349120 24310 33554432000 4194304 6004724 140736840137424 140736840123272 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 40 0 0
/proc/17214/statm: 25720 24310 200 442 0 25274 0
[pid=17298] ppid=17214 vsize=553664 CPUtime=783.91 cores=0,2,4,6
/proc/17298/stat : 17298 (glucosInc) R 17214 17213 16567 0 -1 4202496 104765 0 0 0 78216 175 0 0 20 0 1 0 383992033 566951936 129076 33554432000 4194304 5654031 140734938102864 140734938100952 4214993 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17298/statm: 138416 129076 141 357 0 138056 0
Current children cumulated CPU time (s) 1514.14
Current children cumulated vsize (KiB) 665692

[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.16 3/181 17308
/proc/meminfo: memFree=27848948/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=102880 CPUtime=730.23 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 71026 633294 0 0 1461 383 70775 404 20 0 1 0 383910212 105349120 24310 33554432000 4194304 6004724 140736840137424 140736840123272 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 40 0 0
/proc/17214/statm: 25720 24310 200 442 0 25274 0
[pid=17298] ppid=17214 vsize=900848 CPUtime=843.9 cores=0,2,4,6
/proc/17298/stat : 17298 (glucosInc) R 17214 17213 16567 0 -1 4202496 105874 0 0 0 84212 178 0 0 20 0 1 0 383992033 922468352 173620 33554432000 4194304 5654031 140734938102864 140734938100952 4215188 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17298/statm: 225212 173620 141 357 0 224852 0
Current children cumulated CPU time (s) 1574.13
Current children cumulated vsize (KiB) 1012876

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.15 3/181 17308
/proc/meminfo: memFree=27601512/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=102880 CPUtime=730.23 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 71026 633294 0 0 1461 383 70775 404 20 0 1 0 383910212 105349120 24310 33554432000 4194304 6004724 140736840137424 140736840123272 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 40 0 0
/proc/17214/statm: 25720 24310 200 442 0 25274 0
[pid=17298] ppid=17214 vsize=900848 CPUtime=903.89 cores=0,2,4,6
/proc/17298/stat : 17298 (glucosInc) R 17214 17213 16567 0 -1 4202496 106080 0 0 0 90209 180 0 0 20 0 1 0 383992033 922468352 214195 33554432000 4194304 5654031 140734938102864 140734938100952 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17298/statm: 225212 214195 141 357 0 224852 0
Current children cumulated CPU time (s) 1634.12
Current children cumulated vsize (KiB) 1012876

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.13 3/182 17311
/proc/meminfo: memFree=27839584/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=102880 CPUtime=730.23 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 71026 633294 0 0 1461 383 70775 404 20 0 1 0 383910212 105349120 24310 33554432000 4194304 6004724 140736840137424 140736840123272 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 40 0 0
/proc/17214/statm: 25720 24310 200 442 0 25274 0
[pid=17298] ppid=17214 vsize=685924 CPUtime=963.89 cores=0,2,4,6
/proc/17298/stat : 17298 (glucosInc) R 17214 17213 16567 0 -1 4202496 107445 0 0 0 96195 194 0 0 20 0 1 0 383992033 702386176 155331 33554432000 4194304 5654031 140734938102864 140734938100952 4232932 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17298/statm: 171481 155331 141 357 0 171121 0
Current children cumulated CPU time (s) 1694.12
Current children cumulated vsize (KiB) 797952

[startup+1842.3 s]
/proc/loadavg: 2.50 2.14 2.17 3/182 17353
/proc/meminfo: memFree=23542884/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=102880 CPUtime=730.23 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 71026 633294 0 0 1461 383 70775 404 20 0 1 0 383910212 105349120 24310 33554432000 4194304 6004724 140736840137424 140736840123272 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 40 0 0
/proc/17214/statm: 25720 24310 200 442 0 25274 0
[pid=17298] ppid=17214 vsize=900848 CPUtime=1023.88 cores=0,2,4,6
/proc/17298/stat : 17298 (glucosInc) R 17214 17213 16567 0 -1 4202496 107967 0 0 0 102190 198 0 0 20 0 1 0 383992033 922468352 198777 33554432000 4194304 5654031 140734938102864 140734938100952 4215200 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17298/statm: 225212 198777 141 357 0 224852 0
Current children cumulated CPU time (s) 1754.11
Current children cumulated vsize (KiB) 1012876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1888.3 s]
/proc/loadavg: 2.28 2.13 2.16 3/181 17356
/proc/meminfo: memFree=23430348/32873844 swapFree=7900/7900
[pid=17213] ppid=17211 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17213/stat : 17213 (npSolver-pbo-It) S 17211 17213 16567 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 383910212 9367552 275 33554432000 4194304 5064252 140735938496240 140735938495152 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17213/statm: 2287 275 233 213 0 72 0
[pid=17214] ppid=17213 vsize=102880 CPUtime=730.23 cores=0,2,4,6
/proc/17214/stat : 17214 (npSolver-pbo) S 17213 17213 16567 0 -1 4202496 71026 633294 0 0 1461 383 70775 404 20 0 1 0 383910212 105349120 24310 33554432000 4194304 6004724 140736840137424 140736840123272 5190736 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 40 0 0
/proc/17214/statm: 25720 24310 200 442 0 25274 0
[pid=17298] ppid=17214 vsize=1250096 CPUtime=1069.87 cores=0,2,4,6
/proc/17298/stat : 17298 (glucosInc) R 17214 17213 16567 0 -1 4202496 108555 0 0 0 106784 203 0 0 20 0 1 0 383992033 1280098304 231642 33554432000 4194304 5654031 140734938102864 140734938100952 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/17298/statm: 312524 231642 141 357 0 312164 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1362124

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17213 and gives
#  childrusage.ru_utime.tv_sec=722
#  childrusage.ru_utime.tv_usec=367183
#  childrusage.ru_stime.tv_sec=7
#  childrusage.ru_stime.tv_usec=880801
# CPU time returned by wait4() is 730.248
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1888.31
CPU time (s): 1800.1
CPU user time (s): 1790.2
CPU system time (s): 9.9
CPU usage (%): 95.3284
Max. virtual memory (cumulated for all children) (KiB): 1573740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 722.367
system time used= 7.8808
maximum resident set size= 837556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 704695
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2489008
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14946
involuntary context switches= 3125

runsolver used 2.56761 second user time and 6.592 second system time

The end

Launcher Data

Begin job on node137 at 2012-06-08 19:50:57
IDJOB=3751695
IDBENCH=92741
IDSOLVER=2335
FILE ID=node137/3751695-1339177857
RUNJOBID= node137-1339168837-16583
PBS_JOBID= 14643809
Free space on /tmp= 70632 MiB

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

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

MD5SUM BENCH= 213b2ab8f9fabc47faf8664d1026e564
RANDOM SEED=424378113

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        28873728 kB
Buffers:          457824 kB
Cached:          2550348 kB
SwapCached:         4640 kB
Active:          1447708 kB
Inactive:        1666452 kB
Active(anon):      95712 kB
Inactive(anon):     5860 kB
Active(file):    1351996 kB
Inactive(file):  1660592 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67097908 kB
Dirty:             22680 kB
Writeback:             0 kB
AnonPages:        117604 kB
Mapped:            10940 kB
Shmem:                 0 kB
Slab:             728408 kB
SReclaimable:     168944 kB
SUnreclaim:       559464 kB
KernelStack:        1488 kB
PageTables:         4380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     242920 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     40960 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= 69572 MiB
End job on node137 at 2012-06-08 20:22:25