Trace number 3697744

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? (TO) 1800.03 1800.62

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat70_4_22_6.opb
MD5SUM3d381ed93f57c88e2b6d7a913913eca6
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5298527
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 variables9940
Total number of constraints14846
Number of constraints which are clauses140
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints14700
Minimum length of a constraint2
Maximum length of a constraint2415
Number of terms in the objective function 9730
Biggest coefficient in the objective function 174676879
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 105424044698
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 174676879
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 105424044698
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.35	c run inc solver
0.00/0.35	c [INC SYSTEM] run initial solver
0.00/0.35	c [INC SYSTEM] preprocess with white file
2.58/2.66	c [INC SYSTEM] finished preprocessing in 2 s
2.58/2.66	c [INC SYSTEM] execute solver
4.16/4.21	c [INC SEARCH] formula is SAT
4.16/4.22	c [INC SYSTEM] solved the initial formula
4.16/4.25	c model valid
4.16/4.25	c current solution ok
5.05/5.29	o 325027503
5.05/5.29	c [INC SYSTEM] there exists a inc, kill it!
5.05/5.29	c write failed with 2
5.16/5.30	c [INC SEARCH] iteration: 0
5.16/5.30	c [INC BOUNDS] best value:325027573 search for 325027572
5.16/5.30	c [INC SYSTEM] create new solver instance
5.16/5.30	c [INC] encode full formula
5.16/5.30	c fallback to adder encoding
6.67/6.83	c set iterative enc to: adder
6.67/6.83	c set iterative enc to: none
6.87/7.08	c [INC SEARCH] isOptimum variable: 0
15.76/15.98	c formula is SAT
15.87/16.03	c [INC SEARCH] copied best model
15.87/16.03	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
15.87/16.06	c model valid
15.87/16.06	c current solution ok
15.87/16.06	o 221946721
15.87/16.06	c [INC SEARCH] iteration: 1
15.87/16.06	c [INC BOUNDS] best value:221946791 search for 221946790
15.87/16.06	c [INC SYSTEM] there exists a inc, kill it!
15.87/16.06	c write failed with 2
15.87/16.08	c [INC SYSTEM] create new solver instance
15.87/16.08	c [INC] encode full formula
15.87/16.08	c fallback to adder encoding
17.38/17.56	c set iterative enc to: adder
17.38/17.56	c set iterative enc to: none
17.68/17.82	c [INC SEARCH] isOptimum variable: 0
30.58/30.74	c formula is SAT
30.58/30.79	c [INC SEARCH] copied best model
30.58/30.79	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
30.68/30.82	c model valid
30.68/30.82	c current solution ok
30.68/30.82	o 105300247
30.68/30.82	c [INC SEARCH] iteration: 2
30.68/30.82	c [INC BOUNDS] best value:105300317 search for 105300316
30.68/30.82	c [INC SYSTEM] there exists a inc, kill it!
30.68/30.82	c write failed with 2
30.68/30.84	c [INC SYSTEM] create new solver instance
30.68/30.84	c [INC] encode full formula
30.68/30.84	c fallback to adder encoding
32.09/32.26	c set iterative enc to: adder
32.09/32.26	c set iterative enc to: none
32.38/32.51	c [INC SEARCH] isOptimum variable: 0
38.96/39.10	c formula is SAT
38.96/39.14	c [INC SEARCH] copied best model
38.96/39.14	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
38.96/39.18	c model valid
38.96/39.18	c current solution ok
38.96/39.18	o 30521945
38.96/39.18	c [INC SEARCH] iteration: 3
38.96/39.18	c [INC BOUNDS] best value:30522015 search for 30522014
38.96/39.18	c [INC SYSTEM] there exists a inc, kill it!
38.96/39.18	c write failed with 2
38.96/39.20	c [INC SYSTEM] create new solver instance
38.96/39.20	c [INC] encode full formula
38.96/39.20	c fallback to adder encoding
40.19/40.36	c set iterative enc to: adder
40.19/40.36	c set iterative enc to: none
40.39/40.56	c [INC SEARCH] isOptimum variable: 0
232.15/232.30	c formula is SAT
232.15/232.34	c [INC SEARCH] copied best model
232.15/232.35	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
232.15/232.38	c model valid
232.15/232.38	c current solution ok
232.15/232.38	o 24039823
232.15/232.38	c [INC SEARCH] iteration: 4
232.15/232.38	c [INC BOUNDS] best value:24039893 search for 24039892
232.15/232.38	c [INC SYSTEM] there exists a inc, kill it!
232.15/232.38	c write failed with 2
232.15/232.39	c [INC SYSTEM] create new solver instance
232.15/232.39	c [INC] encode full formula
232.15/232.39	c fallback to adder encoding
233.36/233.51	c set iterative enc to: adder
233.36/233.51	c set iterative enc to: none
233.56/233.70	c [INC SEARCH] isOptimum variable: 0
348.21/348.40	c formula is SAT
348.21/348.44	c [INC SEARCH] copied best model
348.21/348.44	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
348.21/348.48	c model valid
348.21/348.48	c current solution ok
348.21/348.48	o 20357471
348.21/348.48	c [INC SEARCH] iteration: 5
348.21/348.48	c [INC BOUNDS] best value:20357541 search for 20357540
348.21/348.48	c [INC SYSTEM] there exists a inc, kill it!
348.21/348.48	c write failed with 2
348.21/348.48	c [INC SYSTEM] create new solver instance
348.21/348.48	c [INC] encode full formula
348.21/348.48	c fallback to adder encoding
349.30/349.57	c set iterative enc to: adder
349.30/349.57	c set iterative enc to: none
349.51/349.76	c [INC SEARCH] isOptimum variable: 0
556.71/557.03	c formula is SAT
556.71/557.07	c [INC SEARCH] copied best model
556.71/557.07	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
556.82/557.10	c model valid
556.82/557.10	c current solution ok
556.82/557.10	o 18870293
556.82/557.10	c [INC SEARCH] iteration: 6
556.82/557.10	c [INC BOUNDS] best value:18870363 search for 18870362
556.82/557.10	c [INC SYSTEM] there exists a inc, kill it!
556.82/557.10	c write failed with 2
556.82/557.11	c [INC SYSTEM] create new solver instance
556.82/557.11	c [INC] encode full formula
556.82/557.11	c fallback to adder encoding
557.84/558.18	c set iterative enc to: adder
557.84/558.18	c set iterative enc to: none
558.03/558.37	c [INC SEARCH] isOptimum variable: 0
618.19/618.59	c formula is SAT
618.30/618.62	c [INC SEARCH] copied best model
618.30/618.63	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
618.30/618.66	c model valid
618.30/618.66	c current solution ok
618.30/618.66	o 18196307
618.30/618.66	c [INC SEARCH] iteration: 7
618.30/618.66	c [INC BOUNDS] best value:18196377 search for 18196376
618.30/618.66	c [INC SYSTEM] there exists a inc, kill it!
618.30/618.66	c write failed with 2
618.30/618.68	c [INC SYSTEM] create new solver instance
618.30/618.68	c [INC] encode full formula
618.30/618.68	c fallback to adder encoding
619.42/619.74	c set iterative enc to: adder
619.42/619.74	c set iterative enc to: none
619.63/619.93	c [INC SEARCH] isOptimum variable: 0
855.03/855.49	c formula is SAT
855.14/855.53	c [INC SEARCH] copied best model
855.14/855.53	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
855.14/855.56	c model valid
855.14/855.56	c current solution ok
855.14/855.56	o 17452383
855.14/855.56	c [INC SEARCH] iteration: 8
855.14/855.56	c [INC BOUNDS] best value:17452453 search for 17452452
855.14/855.56	c [INC SYSTEM] there exists a inc, kill it!
855.14/855.56	c write failed with 2
855.14/855.57	c [INC SYSTEM] create new solver instance
855.14/855.57	c [INC] encode full formula
855.14/855.57	c fallback to adder encoding
856.27/856.62	c set iterative enc to: adder
856.27/856.62	c set iterative enc to: none
856.47/856.82	c [INC SEARCH] isOptimum variable: 0
1309.45/1309.91	c formula is SAT
1309.45/1309.95	c [INC SEARCH] copied best model
1309.45/1309.95	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1309.45/1309.98	c model valid
1309.45/1309.98	c current solution ok
1309.45/1309.98	o 12301127
1309.45/1309.98	c [INC SEARCH] iteration: 9
1309.45/1309.98	c [INC BOUNDS] best value:12301197 search for 12301196
1309.45/1309.98	c [INC SYSTEM] there exists a inc, kill it!
1309.45/1309.98	c write failed with 2
1309.45/1309.99	c [INC SYSTEM] create new solver instance
1309.45/1309.99	c [INC] encode full formula
1309.45/1309.99	c fallback to adder encoding
1310.45/1310.91	c set iterative enc to: adder
1310.45/1310.91	c set iterative enc to: none
1310.55/1311.09	c [INC SEARCH] isOptimum variable: 0
1743.13/1743.72	c formula is SAT
1743.13/1743.75	c [INC SEARCH] copied best model
1743.13/1743.75	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1743.13/1743.79	c model valid
1743.13/1743.79	c current solution ok
1743.13/1743.79	o 8434445
1743.13/1743.79	c [INC SEARCH] iteration: 10
1743.13/1743.79	c [INC BOUNDS] best value:8434515 search for 8434514
1743.13/1743.79	c [INC SYSTEM] there exists a inc, kill it!
1743.13/1743.79	c write failed with 2
1743.13/1743.79	c [INC SYSTEM] create new solver instance
1743.13/1743.79	c [INC] encode full formula
1743.13/1743.79	c fallback to adder encoding
1744.05/1744.68	c set iterative enc to: adder
1744.05/1744.68	c set iterative enc to: none
1744.25/1744.84	c [INC SEARCH] isOptimum variable: 0
1800.03/1800.62	HOME/npSolver-pbo-Itd.sh: line 18: 26276 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -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-3697744-1338131510/watcher-3697744-1338131510 -o /tmp/evaluation-result-3697744-1338131510/solver-3697744-1338131510 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697744-1338131510.opb 605812652 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.00 2.00 2.00 3/178 26275
/proc/meminfo: memFree=28430564/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0

[startup+0.063747 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26275
/proc/meminfo: memFree=28430564/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100259 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26275
/proc/meminfo: memFree=28430564/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300282 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26275
/proc/meminfo: memFree=28430564/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/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.00 2.00 2.00 3/178 26275
/proc/meminfo: memFree=28430564/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50044 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26279
/proc/meminfo: memFree=28264316/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=30340 CPUtime=0.36 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 5874 0 0 0 32 4 0 0 20 0 1 0 279275916 31068160 6363 33554432000 4194304 5992684 140733846682672 140733846677120 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26276/statm: 7585 6363 172 440 0 7141 0
[pid=26278] ppid=26276 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26278/stat : 26278 (cp2_pre.sh) S 26276 26275 24682 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 279275953 9367552 277 33554432000 4194304 5064252 140735466051072 140735466049776 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26278/statm: 2287 277 234 213 0 72 0
[pid=26279] ppid=26278 vsize=153432 CPUtime=1.12 cores=1,3,5,7
/proc/26279/stat : 26279 (coprocessor) R 26278 26275 24682 0 -1 4202496 27509 0 0 0 107 5 0 0 20 0 1 0 279275953 157114368 36988 33554432000 4194304 6586260 140736587214464 140736587211224 4775705 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/26279/statm: 38358 36988 182 584 0 37770 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 202068

[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 26279
/proc/meminfo: memFree=28201288/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=30340 CPUtime=2.64 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 5890 34041 0 0 32 4 201 27 20 0 1 0 279275916 31068160 6365 33554432000 4194304 5992684 140733846682672 140733846668936 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/26276/statm: 7585 6365 174 440 0 7141 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 39488

[startup+6.30035 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26282
/proc/meminfo: memFree=28329500/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=191504 CPUtime=6.17 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) R 26275 26275 24682 0 -1 4202496 13973 50517 0 0 145 86 352 34 20 0 1 0 279275916 196100096 30868 33554432000 4194304 5992684 140733846682672 140733846675416 4523485 0 0 4096 0 0 0 0 17 3 0 0 11 0 0
/proc/26276/statm: 47876 30868 190 440 0 47432 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 200652

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26285
/proc/meminfo: memFree=27873860/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=60432 CPUtime=6.95 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 14676 51032 0 0 202 105 352 36 20 0 1 0 279275916 61882368 13878 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 11 0 0
/proc/26276/statm: 15108 13878 191 440 0 14664 0
[pid=26284] ppid=26276 vsize=352692 CPUtime=5.61 cores=1,3,5,7
/proc/26284/stat : 26284 (glucosInc) R 26276 26275 24682 0 -1 4202496 59695 0 0 0 543 18 0 0 20 0 1 0 279276624 361156608 78205 33554432000 4194304 5654031 140734442889712 140734442887496 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26284/statm: 88173 78205 141 357 0 87813 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 422272

[startup+25.5004 s]
/proc/loadavg: 2.16 2.03 2.01 3/181 26287
/proc/meminfo: memFree=28031384/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=52004 CPUtime=17.7 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 23391 111924 0 0 358 129 1222 61 20 0 1 0 279275916 53252096 11803 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 11 0 0
/proc/26276/statm: 13001 11803 191 440 0 12557 0
[pid=26287] ppid=26276 vsize=350192 CPUtime=7.66 cores=1,3,5,7
/proc/26287/stat : 26287 (glucosInc) R 26276 26275 24682 0 -1 4202496 57619 0 0 0 747 19 0 0 20 0 1 0 279277698 358596608 77020 33554432000 4194304 5654031 140734289192848 140734289180664 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26287/statm: 87548 77020 141 357 0 87188 0
Current children cumulated CPU time (s) 25.36
Current children cumulated vsize (KiB) 411344

[startup+51.1004 s]
/proc/loadavg: 2.10 2.03 2.01 3/181 26291
/proc/meminfo: memFree=28008752/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=49556 CPUtime=40.45 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 41316 228103 0 0 633 170 3133 109 20 0 1 0 279275916 50745344 11191 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/26276/statm: 12389 11191 191 440 0 11945 0
[pid=26291] ppid=26276 vsize=298868 CPUtime=10.52 cores=1,3,5,7
/proc/26291/stat : 26291 (glucosInc) R 26276 26275 24682 0 -1 4202496 49952 0 0 0 1038 14 0 0 20 0 1 0 279279972 306040832 62985 33554432000 4194304 5654031 140736828859952 140736828847768 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26291/statm: 74717 62985 140 357 0 74357 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 357572

[startup+102.307 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 26291
/proc/meminfo: memFree=27977380/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=49556 CPUtime=40.45 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 41316 228103 0 0 633 170 3133 109 20 0 1 0 279275916 50745344 11191 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/26276/statm: 12389 11191 191 440 0 11945 0
[pid=26291] ppid=26276 vsize=301596 CPUtime=61.72 cores=1,3,5,7
/proc/26291/stat : 26291 (glucosInc) R 26276 26275 24682 0 -1 4202496 50581 0 0 0 6157 15 0 0 20 0 1 0 279279972 308834304 65658 33554432000 4194304 5654031 140736828859952 140736828847768 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26291/statm: 75399 65658 141 357 0 75039 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 360300

[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 26291
/proc/meminfo: memFree=27960360/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=49556 CPUtime=40.45 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 41316 228103 0 0 633 170 3133 109 20 0 1 0 279275916 50745344 11191 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/26276/statm: 12389 11191 191 440 0 11945 0
[pid=26291] ppid=26276 vsize=303296 CPUtime=121.7 cores=1,3,5,7
/proc/26291/stat : 26291 (glucosInc) R 26276 26275 24682 0 -1 4202496 51034 0 0 0 12155 15 0 0 20 0 1 0 279279972 310575104 67644 33554432000 4194304 5654031 140736828859952 140736828847768 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26291/statm: 75824 67644 141 357 0 75464 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 362000

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 26291
/proc/meminfo: memFree=27935436/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=49556 CPUtime=40.45 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 41316 228103 0 0 633 170 3133 109 20 0 1 0 279275916 50745344 11191 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/26276/statm: 12389 11191 191 440 0 11945 0
[pid=26291] ppid=26276 vsize=309436 CPUtime=181.68 cores=1,3,5,7
/proc/26291/stat : 26291 (glucosInc) R 26276 26275 24682 0 -1 4202496 51931 0 0 0 18152 16 0 0 20 0 1 0 279279972 316862464 65984 33554432000 4194304 5654031 140736828859952 140736828847768 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26291/statm: 77359 65984 141 357 0 76999 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 368140

[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/181 26293
/proc/meminfo: memFree=27931192/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/loadavg: 2.00 2.00 2.00 3/181 26321
/proc/meminfo: memFree=28245660/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=47612 CPUtime=856.48 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 79693 500045 0 0 1209 256 83897 286 20 0 1 0 279275916 48754688 10705 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/26276/statm: 11903 10705 191 440 0 11459 0
[pid=26310] ppid=26276 vsize=303360 CPUtime=445.36 cores=1,3,5,7
/proc/26310/stat : 26310 (glucosInc) R 26276 26275 24682 0 -1 4202496 65232 0 0 0 44470 66 0 0 20 0 1 0 279361598 310640640 71818 33554432000 4194304 5654031 140736768964400 140736768952216 4214616 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/26310/statm: 75840 71818 142 357 0 75480 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 360120

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 26323
/proc/meminfo: memFree=28307068/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=47152 CPUtime=1310.64 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 87566 566419 0 0 1309 271 129126 358 20 0 1 0 279275916 48283648 10590 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/26276/statm: 11788 10590 191 440 0 11344 0
[pid=26323] ppid=26276 vsize=238320 CPUtime=51.18 cores=1,3,5,7
/proc/26323/stat : 26323 (glucosInc) R 26276 26275 24682 0 -1 4202496 44334 0 0 0 5104 14 0 0 20 0 1 0 279407025 244039680 56023 33554432000 4194304 5654031 140736581957136 140736581944952 4215112 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26323/statm: 59580 56023 142 357 0 59220 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 294620

[startup+1422.31 s]
/proc/loadavg: 2.16 2.06 2.02 3/181 26380
/proc/meminfo: memFree=28478520/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=47152 CPUtime=1310.64 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 87566 566419 0 0 1309 271 129126 358 20 0 1 0 279275916 48283648 10590 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/26276/statm: 11788 10590 191 440 0 11344 0
[pid=26323] ppid=26276 vsize=270276 CPUtime=111.17 cores=1,3,5,7
/proc/26323/stat : 26323 (glucosInc) R 26276 26275 24682 0 -1 4202496 46300 0 0 0 11099 18 0 0 20 0 1 0 279407025 276762624 61621 33554432000 4194304 5654031 140736581957136 140736581954920 4215033 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26323/statm: 67569 61621 142 357 0 67209 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 326576

[startup+1482.3 s]
/proc/loadavg: 2.17 2.07 2.02 3/181 26388
/proc/meminfo: memFree=28481852/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=47152 CPUtime=1310.64 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 87566 566419 0 0 1309 271 129126 358 20 0 1 0 279275916 48283648 10590 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/26276/statm: 11788 10590 191 440 0 11344 0
[pid=26323] ppid=26276 vsize=272728 CPUtime=171.14 cores=1,3,5,7
/proc/26323/stat : 26323 (glucosInc) R 26276 26275 24682 0 -1 4202496 48336 0 0 0 17092 22 0 0 20 0 1 0 279407025 279273472 61228 33554432000 4194304 5654031 140736581957136 140736581954920 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26323/statm: 68182 61228 142 357 0 67822 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 329028

[startup+1542.3 s]
/proc/loadavg: 2.06 2.06 2.02 3/181 26395
/proc/meminfo: memFree=28490904/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=47152 CPUtime=1310.64 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 87566 566419 0 0 1309 271 129126 358 20 0 1 0 279275916 48283648 10590 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/26276/statm: 11788 10590 191 440 0 11344 0
[pid=26323] ppid=26276 vsize=274604 CPUtime=231.13 cores=1,3,5,7
/proc/26323/stat : 26323 (glucosInc) R 26276 26275 24682 0 -1 4202496 49361 0 0 0 23088 25 0 0 20 0 1 0 279407025 281194496 62586 33554432000 4194304 5654031 140736581957136 140736581944952 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26323/statm: 68651 62586 142 357 0 68291 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 330904

[startup+1602.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/181 26397
/proc/meminfo: memFree=28465240/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=47152 CPUtime=1310.64 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 87566 566419 0 0 1309 271 129126 358 20 0 1 0 279275916 48283648 10590 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/26276/statm: 11788 10590 191 440 0 11344 0
[pid=26323] ppid=26276 vsize=280908 CPUtime=291.12 cores=1,3,5,7
/proc/26323/stat : 26323 (glucosInc) R 26276 26275 24682 0 -1 4202496 53648 0 0 0 29079 33 0 0 20 0 1 0 279407025 287649792 67324 33554432000 4194304 5654031 140736581957136 140736581944952 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26323/statm: 70227 67324 142 357 0 69867 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 337208

[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/181 26399
/proc/meminfo: memFree=28446932/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=47152 CPUtime=1310.64 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 87566 566419 0 0 1309 271 129126 358 20 0 1 0 279275916 48283648 10590 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/26276/statm: 11788 10590 191 440 0 11344 0
[pid=26323] ppid=26276 vsize=333096 CPUtime=351.11 cores=1,3,5,7
/proc/26323/stat : 26323 (glucosInc) R 26276 26275 24682 0 -1 4202496 57804 0 0 0 35069 42 0 0 20 0 1 0 279407025 341090304 71749 33554432000 4194304 5654031 140736581957136 140736581954920 4232973 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26323/statm: 83274 71749 142 357 0 82914 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 389396

[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/182 26406
/proc/meminfo: memFree=28468720/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=47152 CPUtime=1310.64 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 87566 566419 0 0 1309 271 129126 358 20 0 1 0 279275916 48283648 10590 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/26276/statm: 11788 10590 191 440 0 11344 0
[pid=26323] ppid=26276 vsize=289256 CPUtime=411.1 cores=1,3,5,7
/proc/26323/stat : 26323 (glucosInc) R 26276 26275 24682 0 -1 4202496 60646 0 0 0 41059 51 0 0 20 0 1 0 279407025 296198144 68407 33554432000 4194304 5654031 140736581957136 140736581944952 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26323/statm: 72314 68407 142 357 0 71954 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 345556

[startup+1782.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/181 26410
/proc/meminfo: memFree=28501740/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=46544 CPUtime=1744.3 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 94727 628014 0 0 1405 285 172324 416 20 0 1 0 279275916 47661056 10438 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/26276/statm: 11636 10438 191 440 0 11192 0
[pid=26408] ppid=26276 vsize=234044 CPUtime=37.42 cores=1,3,5,7
/proc/26408/stat : 26408 (glucosInc) R 26276 26275 24682 0 -1 4202496 42716 0 0 0 3731 11 0 0 20 0 1 0 279450400 239661056 54716 33554432000 4194304 5654031 140734979273536 140734979271320 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26408/statm: 58511 54716 141 357 0 58151 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 289736



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.08 2.05 2.01 3/181 26410
/proc/meminfo: memFree=28498544/32873844 swapFree=6856/6856
[pid=26275] ppid=26273 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26275/stat : 26275 (npSolver-pbo-It) S 26273 26275 24682 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279275916 9367552 275 33554432000 4194304 5064252 140734639220960 140734639219872 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/26275/statm: 2287 275 233 213 0 72 0
[pid=26276] ppid=26275 vsize=46544 CPUtime=1744.3 cores=1,3,5,7
/proc/26276/stat : 26276 (npSolver-pbo) S 26275 26275 24682 0 -1 4202496 94727 628014 0 0 1405 285 172324 416 20 0 1 0 279275916 47661056 10438 33554432000 4194304 5992684 140733846682672 140733846668504 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 11 0 0
/proc/26276/statm: 11636 10438 191 440 0 11192 0
[pid=26408] ppid=26276 vsize=265624 CPUtime=55.73 cores=1,3,5,7
/proc/26408/stat : 26408 (glucosInc) R 26276 26275 24682 0 -1 4202496 43025 0 0 0 5561 12 0 0 20 0 1 0 279450400 271998976 55511 33554432000 4194304 5654031 140734979273536 140734979271624 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26408/statm: 66406 55511 141 357 0 66046 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 321316

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 26275 and gives
#  childrusage.ru_utime.tv_sec=1737
#  childrusage.ru_utime.tv_usec=297890
#  childrusage.ru_stime.tv_sec=7
#  childrusage.ru_stime.tv_usec=20932
# CPU time returned by wait4() is 1744.32
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.62
CPU time (s): 1800.03
CPU user time (s): 1792.9
CPU system time (s): 7.13
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (KiB): 618628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1737.3
system time used= 7.02093
maximum resident set size= 476908
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 723116
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2085224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13248
involuntary context switches= 5525

runsolver used 3.63345 second user time and 9.33458 second system time

The end

Launcher Data 

Begin job on node144 at 2012-05-27 17:11:50
IDJOB=3697744
IDBENCH=92737
IDSOLVER=2275
FILE ID=node144/3697744-1338131510
RUNJOBID= node144-1338121665-24699
PBS_JOBID= 14624480
Free space on /tmp= 71376 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Base/normalized-minisat70_4_22_6.opb
COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3697744-1338131510/watcher-3697744-1338131510 -o /tmp/evaluation-result-3697744-1338131510/solver-3697744-1338131510 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itd.sh HOME/instance-3697744-1338131510.opb 605812652 HOME HOME

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

MD5SUM BENCH= 3d381ed93f57c88e2b6d7a913913eca6
RANDOM SEED=605812652

node144.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.196
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.39
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.196
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.196
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	: 5438.54
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.196
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.196
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.90
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.196
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.92
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.196
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.196
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:        28431200 kB
Buffers:          358352 kB
Cached:          2730168 kB
SwapCached:            0 kB
Active:          1423228 kB
Inactive:        2174956 kB
Active(anon):     510820 kB
Inactive(anon):        0 kB
Active(file):     912408 kB
Inactive(file):  2174956 kB
Unevictable:        6856 kB
Mlocked:            6856 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8944 kB
Writeback:             0 kB
AnonPages:        615428 kB
Mapped:            15788 kB
Shmem:               200 kB
Slab:             695984 kB
SReclaimable:     138608 kB
SUnreclaim:       557376 kB
KernelStack:        1504 kB
PageTables:         4680 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     786916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    325632 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= 71360 MiB
End job on node144 at 2012-05-27 17:41:51