Trace number 3702924

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.08 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-C499.b.opb
MD5SUM0b80319f4195f1e1329c2c4b63b416b0
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark45
Best CPU time to get the best result obtained on this benchmark1796.93
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 45
Optimality of the best value was proved NO
Number of variables5203
Total number of constraints19637
Number of constraints which are clauses19637
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint11
Maximum length of a constraint360
Number of terms in the objective function 5203
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 5203
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 5203
Number of bits of the biggest sum of numbers13
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 

2.09/2.17	c run inc solver
2.09/2.17	c [INC SYSTEM] run initial solver
2.09/2.17	c [INC SYSTEM] preprocess with white file
38.95/39.09	c [INC SYSTEM] finished preprocessing in 36 s
38.95/39.09	c [INC SYSTEM] execute solver
39.97/40.04	c [INC SEARCH] formula is SAT
40.08/40.10	c [INC SYSTEM] solved the initial formula
40.38/40.48	c model valid
40.38/40.48	c current solution ok
42.22/42.30	o 369
42.22/42.30	c starting approximation
42.22/42.30	c factor = 1
42.22/42.30	c can not find a suitable factor, leaving approximation
42.22/42.30	c finished approximation
42.22/42.30	c [INC SYSTEM] there exists a inc, kill it!
42.22/42.30	c write failed with 2
42.22/42.31	c [INC SEARCH] iteration: 0
42.22/42.31	c [INC BOUNDS] best value:369 search for 368
42.22/42.31	c [INC SYSTEM] create new solver instance
42.22/42.31	c [INC] encode full formula
42.22/42.31	c fallback to adder encoding
42.47/42.56	c set iterative enc to: cardAdder
42.47/42.56	c set iterative enc to: none
42.54/42.64	c [INC SEARCH] isOptimum variable: 0
252.20/252.36	c formula is SAT
252.30/252.43	c [INC SEARCH] copied best model
252.30/252.43	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
252.70/252.81	c model valid
252.70/252.81	c current solution ok
252.70/252.81	o 368
252.70/252.81	c [INC SEARCH] iteration: 1
252.70/252.81	c [INC BOUNDS] best value:368 search for 367
252.70/252.81	c [INC SYSTEM] there exists a inc, kill it!
252.70/252.81	c write failed with 2
252.70/252.82	c [INC SYSTEM] create new solver instance
252.70/252.82	c [INC] encode full formula
252.70/252.82	c fallback to adder encoding
252.92/253.08	c set iterative enc to: cardAdder
252.92/253.08	c set iterative enc to: none
252.99/253.16	c [INC SEARCH] isOptimum variable: 0
425.14/425.34	c formula is SAT
425.24/425.41	c [INC SEARCH] copied best model
425.24/425.41	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
425.55/425.79	c model valid
425.55/425.79	c current solution ok
425.55/425.79	o 367
425.55/425.79	c [INC SEARCH] iteration: 2
425.55/425.79	c [INC BOUNDS] best value:367 search for 366
425.55/425.79	c [INC SYSTEM] there exists a inc, kill it!
425.55/425.79	c write failed with 2
425.55/425.80	c [INC SYSTEM] create new solver instance
425.55/425.80	c [INC] encode full formula
425.55/425.80	c fallback to adder encoding
425.85/426.05	c set iterative enc to: cardAdder
425.85/426.05	c set iterative enc to: none
425.91/426.13	c [INC SEARCH] isOptimum variable: 0
590.33/590.58	c formula is SAT
590.44/590.64	c [INC SEARCH] copied best model
590.44/590.64	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
590.83/591.02	c model valid
590.83/591.02	c current solution ok
590.83/591.02	o 366
590.83/591.02	c [INC SEARCH] iteration: 3
590.83/591.02	c [INC BOUNDS] best value:366 search for 365
590.83/591.02	c [INC SYSTEM] there exists a inc, kill it!
590.83/591.02	c write failed with 2
590.83/591.04	c [INC SYSTEM] create new solver instance
590.83/591.04	c [INC] encode full formula
590.83/591.04	c fallback to adder encoding
591.03/591.29	c set iterative enc to: cardAdder
591.03/591.29	c set iterative enc to: none
591.13/591.37	c [INC SEARCH] isOptimum variable: 0
751.53/751.87	c formula is SAT
751.62/751.94	c [INC SEARCH] copied best model
751.62/751.94	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
752.02/752.31	c model valid
752.02/752.31	c current solution ok
752.02/752.31	o 365
752.02/752.31	c [INC SEARCH] iteration: 4
752.02/752.31	c [INC BOUNDS] best value:365 search for 364
752.02/752.31	c [INC SYSTEM] there exists a inc, kill it!
752.02/752.31	c write failed with 2
752.02/752.32	c [INC SYSTEM] create new solver instance
752.02/752.32	c [INC] encode full formula
752.02/752.32	c fallback to adder encoding
752.24/752.57	c set iterative enc to: cardAdder
752.24/752.57	c set iterative enc to: none
752.31/752.65	c [INC SEARCH] isOptimum variable: 0
939.04/939.48	c formula is SAT
939.14/939.54	c [INC SEARCH] copied best model
939.14/939.55	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
939.53/939.92	c model valid
939.53/939.92	c current solution ok
939.53/939.92	o 364
939.53/939.92	c [INC SEARCH] iteration: 5
939.53/939.92	c [INC BOUNDS] best value:364 search for 363
939.53/939.92	c [INC SYSTEM] there exists a inc, kill it!
939.53/939.92	c write failed with 2
939.53/939.93	c [INC SYSTEM] create new solver instance
939.53/939.93	c [INC] encode full formula
939.53/939.93	c fallback to adder encoding
939.76/940.18	c set iterative enc to: cardAdder
939.76/940.18	c set iterative enc to: none
939.85/940.26	c [INC SEARCH] isOptimum variable: 0
1131.57/1132.04	c formula is SAT
1131.67/1132.11	c [INC SEARCH] copied best model
1131.67/1132.11	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1131.97/1132.49	c model valid
1131.97/1132.49	c current solution ok
1131.97/1132.49	o 363
1131.97/1132.49	c [INC SEARCH] iteration: 6
1131.97/1132.49	c [INC BOUNDS] best value:363 search for 362
1131.97/1132.49	c [INC SYSTEM] there exists a inc, kill it!
1131.97/1132.49	c write failed with 2
1131.97/1132.49	c [INC SYSTEM] create new solver instance
1131.97/1132.49	c [INC] encode full formula
1131.97/1132.49	c fallback to adder encoding
1132.27/1132.75	c set iterative enc to: cardAdder
1132.27/1132.75	c set iterative enc to: none
1132.37/1132.82	c [INC SEARCH] isOptimum variable: 0
1293.83/1294.36	c formula is SAT
1293.92/1294.42	c [INC SEARCH] copied best model
1293.92/1294.43	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1294.33/1294.81	c model valid
1294.33/1294.81	c current solution ok
1294.33/1294.81	o 362
1294.33/1294.81	c [INC SEARCH] iteration: 7
1294.33/1294.81	c [INC BOUNDS] best value:362 search for 361
1294.33/1294.81	c [INC SYSTEM] there exists a inc, kill it!
1294.33/1294.81	c write failed with 2
1294.33/1294.82	c [INC SYSTEM] create new solver instance
1294.33/1294.82	c [INC] encode full formula
1294.33/1294.82	c fallback to adder encoding
1294.54/1295.07	c set iterative enc to: cardAdder
1294.54/1295.07	c set iterative enc to: none
1294.62/1295.15	c [INC SEARCH] isOptimum variable: 0
1497.76/1498.32	c formula is SAT
1497.76/1498.39	c [INC SEARCH] copied best model
1497.76/1498.39	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1498.15/1498.77	c model valid
1498.15/1498.77	c current solution ok
1498.15/1498.77	o 237
1498.15/1498.77	c [INC SEARCH] iteration: 8
1498.15/1498.77	c [INC BOUNDS] best value:237 search for 236
1498.15/1498.77	c [INC SYSTEM] there exists a inc, kill it!
1498.15/1498.77	c write failed with 2
1498.15/1498.77	c [INC SYSTEM] create new solver instance
1498.15/1498.77	c [INC] encode full formula
1498.15/1498.77	c (debug) using card networks
1498.25/1498.88	c set iterative enc to: card
1498.25/1498.88	c set iterative enc to: none
1498.35/1498.94	c [INC SEARCH] isOptimum variable: 0
1501.27/1501.81	c formula is SAT
1501.27/1501.89	c [INC SEARCH] copied best model
1501.37/1501.90	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1501.67/1502.28	c model valid
1501.67/1502.28	c current solution ok
1501.67/1502.28	o 91
1501.67/1502.28	c [INC SEARCH] iteration: 9
1501.67/1502.28	c [INC BOUNDS] best value:91 search for 90
1501.67/1502.28	c [INC SYSTEM] there exists a inc, kill it!
1501.67/1502.28	c write failed with 2
1501.67/1502.29	c [INC SYSTEM] create new solver instance
1501.67/1502.29	c [INC] encode full formula
1501.67/1502.29	c (debug) using card networks
1501.78/1502.38	c set iterative enc to: card
1501.78/1502.38	c set iterative enc to: none
1501.87/1502.44	c [INC SEARCH] isOptimum variable: 0
1512.18/1512.70	c formula is SAT
1512.18/1512.77	c [INC SEARCH] copied best model
1512.18/1512.78	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1512.57/1513.16	c model valid
1512.57/1513.16	c current solution ok
1512.57/1513.16	o 85
1512.57/1513.16	c [INC SEARCH] iteration: 10
1512.57/1513.16	c [INC BOUNDS] best value:85 search for 84
1512.57/1513.16	c [INC SYSTEM] there exists a inc, kill it!
1512.57/1513.16	c write failed with 2
1512.57/1513.17	c [INC SYSTEM] create new solver instance
1512.57/1513.17	c [INC] encode full formula
1512.57/1513.17	c (debug) using card networks
1512.68/1513.26	c set iterative enc to: card
1512.68/1513.26	c set iterative enc to: none
1512.75/1513.32	c [INC SEARCH] isOptimum variable: 0
1563.44/1564.09	c formula is SAT
1563.55/1564.16	c [INC SEARCH] copied best model
1563.55/1564.17	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1563.94/1564.55	c model valid
1563.94/1564.55	c current solution ok
1563.94/1564.55	o 81
1563.94/1564.55	c [INC SEARCH] iteration: 11
1563.94/1564.55	c [INC BOUNDS] best value:81 search for 80
1563.94/1564.55	c [INC SYSTEM] there exists a inc, kill it!
1563.94/1564.55	c write failed with 2
1563.94/1564.56	c [INC SYSTEM] create new solver instance
1563.94/1564.56	c [INC] encode full formula
1563.94/1564.56	c (debug) using card networks
1564.06/1564.65	c set iterative enc to: card
1564.06/1564.65	c set iterative enc to: none
1564.15/1564.70	c [INC SEARCH] isOptimum variable: 0
1588.84/1589.41	c formula is SAT
1588.84/1589.48	c [INC SEARCH] copied best model
1588.84/1589.48	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1589.25/1589.86	c model valid
1589.25/1589.86	c current solution ok
1589.25/1589.86	o 79
1589.25/1589.86	c [INC SEARCH] iteration: 12
1589.25/1589.86	c [INC BOUNDS] best value:79 search for 78
1589.25/1589.86	c [INC SYSTEM] there exists a inc, kill it!
1589.25/1589.86	c write failed with 2
1589.25/1589.88	c [INC SYSTEM] create new solver instance
1589.25/1589.88	c [INC] encode full formula
1589.25/1589.88	c (debug) using card networks
1589.37/1589.97	c set iterative enc to: card
1589.37/1589.97	c set iterative enc to: none
1589.44/1590.02	c [INC SEARCH] isOptimum variable: 0
1728.79/1729.40	c formula is SAT
1728.79/1729.48	c [INC SEARCH] copied best model
1728.79/1729.48	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1729.19/1729.86	c model valid
1729.19/1729.86	c current solution ok
1729.19/1729.86	o 75
1729.19/1729.86	c [INC SEARCH] iteration: 13
1729.19/1729.86	c [INC BOUNDS] best value:75 search for 74
1729.19/1729.86	c [INC SYSTEM] there exists a inc, kill it!
1729.19/1729.86	c write failed with 2
1729.19/1729.87	c [INC SYSTEM] create new solver instance
1729.19/1729.87	c [INC] encode full formula
1729.19/1729.87	c (debug) using card networks
1729.29/1729.96	c set iterative enc to: card
1729.29/1729.96	c set iterative enc to: none
1729.35/1730.01	c [INC SEARCH] isOptimum variable: 0

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-3702924-1338069184/watcher-3702924-1338069184 -o /tmp/evaluation-result-3702924-1338069184/solver-3702924-1338069184 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702924-1338069184.opb 316652830 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: 1.65 1.66 1.70 3/179 22415
/proc/meminfo: memFree=29912444/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (runsolver) D 22413 22415 4103 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 273044459 12095488 51 33554432000 4194304 5436572 140734629342864 140734629339160 4883175 0 0 4096 24578 18446744071579943789 0 0 17 5 0 0 0 0 0
/proc/22415/statm: 2953 51 31 304 0 2645 0

[startup+0.105861 s]
/proc/loadavg: 1.65 1.66 1.70 3/179 22415
/proc/meminfo: memFree=29912444/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200176 s]
/proc/loadavg: 1.65 1.66 1.70 3/179 22415
/proc/meminfo: memFree=29912444/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300137 s]
/proc/loadavg: 1.65 1.66 1.70 3/179 22415
/proc/meminfo: memFree=29912444/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700158 s]
/proc/loadavg: 1.65 1.66 1.70 3/179 22415
/proc/meminfo: memFree=29912444/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50021 s]
/proc/loadavg: 1.65 1.66 1.70 3/181 22417
/proc/meminfo: memFree=29829024/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=156816 CPUtime=1.49 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) R 22415 22415 4103 0 -1 4202496 25556 0 0 0 144 5 0 0 20 0 1 0 273044460 160579584 34615 33554432000 4194304 5992684 140736115725616 140736115720696 4614182 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22417/statm: 39204 34616 157 440 0 38760 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 165964

[startup+3.10035 s]
/proc/loadavg: 1.84 1.70 1.71 3/183 22421
/proc/meminfo: memFree=29621012/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=266196 CPUtime=2.16 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 37445 0 0 0 198 18 0 0 20 0 1 0 273044460 272584704 52726 33554432000 4194304 5992684 140736115725616 140736115720064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22417/statm: 66549 52726 164 440 0 66105 0
[pid=22420] ppid=22417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22420/stat : 22420 (cp2_pre.sh) S 22417 22415 4103 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273044677 9367552 276 33554432000 4194304 5064252 140736174160864 140736174159568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22420/statm: 2287 276 234 213 0 72 0
[pid=22421] ppid=22420 vsize=138220 CPUtime=0.9 cores=1,3,5,7
/proc/22421/stat : 22421 (coprocessor) R 22420 22415 4103 0 -1 4202496 12244 0 0 0 85 5 0 0 20 0 1 0 273044678 141537280 32768 33554432000 4194304 6586260 140734409806224 140734409802984 5732400 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/22421/statm: 34555 32768 137 584 0 33967 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 422712

[startup+6.30035 s]
/proc/loadavg: 1.84 1.70 1.71 3/183 22423
/proc/meminfo: memFree=29065300/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=266196 CPUtime=2.16 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 37445 0 0 0 198 18 0 0 20 0 1 0 273044460 272584704 52726 33554432000 4194304 5992684 140736115725616 140736115720064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22417/statm: 66549 52726 164 440 0 66105 0
[pid=22420] ppid=22417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22420/stat : 22420 (cp2_pre.sh) S 22417 22415 4103 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273044677 9367552 276 33554432000 4194304 5064252 140736174160864 140736174159568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22420/statm: 2287 276 234 213 0 72 0
[pid=22421] ppid=22420 vsize=578532 CPUtime=4.1 cores=1,3,5,7
/proc/22421/stat : 22421 (coprocessor) R 22420 22415 4103 0 -1 4202496 54781 0 0 0 396 14 0 0 20 0 1 0 273044678 592416768 139686 33554432000 4194304 6586260 140734409806224 140734409802248 4789372 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/22421/statm: 144633 139686 179 584 0 144045 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 863024

[startup+12.7003 s]
/proc/loadavg: 1.86 1.71 1.71 3/183 22423
/proc/meminfo: memFree=28965688/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=266196 CPUtime=2.16 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 37445 0 0 0 198 18 0 0 20 0 1 0 273044460 272584704 52726 33554432000 4194304 5992684 140736115725616 140736115720064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22417/statm: 66549 52726 164 440 0 66105 0
[pid=22420] ppid=22417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22420/stat : 22420 (cp2_pre.sh) S 22417 22415 4103 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273044677 9367552 276 33554432000 4194304 5064252 140736174160864 140736174159568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22420/statm: 2287 276 234 213 0 72 0
[pid=22421] ppid=22420 vsize=676300 CPUtime=10.5 cores=1,3,5,7
/proc/22421/stat : 22421 (coprocessor) R 22420 22415 4103 0 -1 4202496 67068 0 0 0 1033 17 0 0 20 0 1 0 273044678 692531200 165259 33554432000 4194304 6586260 140734409806224 140734409801592 5599522 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/22421/statm: 169075 165259 188 584 0 168487 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 960792

[startup+25.5002 s]
/proc/loadavg: 1.96 1.73 1.72 3/183 22428
/proc/meminfo: memFree=28961008/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=266196 CPUtime=2.16 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 37445 0 0 0 198 18 0 0 20 0 1 0 273044460 272584704 52726 33554432000 4194304 5992684 140736115725616 140736115720064 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/22417/statm: 66549 52726 164 440 0 66105 0
[pid=22420] ppid=22417 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22420/stat : 22420 (cp2_pre.sh) S 22417 22415 4103 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 273044677 9367552 276 33554432000 4194304 5064252 140736174160864 140736174159568 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22420/statm: 2287 276 234 213 0 72 0
[pid=22421] ppid=22420 vsize=680260 CPUtime=23.3 cores=1,3,5,7
/proc/22421/stat : 22421 (coprocessor) R 22420 22415 4103 0 -1 4202496 68037 0 0 0 2313 17 0 0 20 0 1 0 273044678 696586240 166228 33554432000 4194304 6586260 140734409806224 140734409801816 5599454 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/22421/statm: 170065 166228 188 584 0 169477 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 964752

[startup+51.1003 s]
/proc/loadavg: 2.05 1.77 1.73 3/182 22433
/proc/meminfo: memFree=29303524/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=315480 CPUtime=42.6 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 41957 108603 0 0 297 171 3743 49 20 0 1 0 273044460 323051520 65079 33554432000 4194304 5992684 140736115725616 140736115711448 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/22417/statm: 78870 65079 196 440 0 78426 0
[pid=22433] ppid=22417 vsize=315488 CPUtime=8.44 cores=1,3,5,7
/proc/22433/stat : 22433 (glucosInc) R 22417 22415 4103 0 -1 4202496 50470 0 0 0 836 8 0 0 20 0 1 0 273048723 323059712 67320 33554432000 4194304 5654031 140734924972288 140734924960104 4214618 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22433/statm: 78872 67320 140 357 0 78512 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 640116

[startup+102.3 s]
/proc/loadavg: 2.02 1.81 1.75 3/181 22433
/proc/meminfo: memFree=29297776/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=315480 CPUtime=42.6 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 41957 108603 0 0 297 171 3743 49 20 0 1 0 273044460 323051520 65079 33554432000 4194304 5992684 140736115725616 140736115711448 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/22417/statm: 78870 65079 196 440 0 78426 0
[pid=22433] ppid=22417 vsize=316752 CPUtime=59.64 cores=1,3,5,7
/proc/22433/stat : 22433 (glucosInc) R 22417 22415 4103 0 -1 4202496 50845 0 0 0 5956 8 0 0 20 0 1 0 273048723 324354048 67695 33554432000 4194304 5654031 140734924972288 140734924970184 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22433/statm: 79188 67695 141 357 0 78828 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 641380

[startup+162.3 s]
/proc/loadavg: 2.00 1.84 1.76 3/181 22433
/proc/meminfo: memFree=29287912/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=315480 CPUtime=42.6 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 41957 108603 0 0 297 171 3743 49 20 0 1 0 273044460 323051520 65079 33554432000 4194304 5992684 140736115725616 140736115711448 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/22417/statm: 78870 65079 196 440 0 78426 0
[pid=22433] ppid=22417 vsize=318864 CPUtime=119.63 cores=1,3,5,7
/proc/22433/stat : 22433 (glucosInc) R 22417 22415 4103 0 -1 4202496 51384 0 0 0 11954 9 0 0 20 0 1 0 273048723 326516736 68745 33554432000 4194304 5654031 140734924972288 140734924970072 4233204 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22433/statm: 79716 68745 141 357 0 79356 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 643492

[startup+222.307 s]
/proc/loadavg: 2.00 1.86 1.77 3/181 22433
/proc/meminfo: memFree=29270016/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=315480 CPUtime=42.6 cores=1,3,5,7

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

/proc/meminfo: memFree=29227860/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=317952 CPUtime=1294.69 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 83692 483864 0 0 807 203 128293 166 20 0 1 0 273044460 325582848 65712 33554432000 4194304 5992684 140736115725616 140736115711448 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/22417/statm: 79488 65712 197 440 0 79044 0
[pid=22482] ppid=22417 vsize=314956 CPUtime=7.13 cores=1,3,5,7
/proc/22482/stat : 22482 (glucosInc) R 22417 22415 4103 0 -1 4202496 49927 0 0 0 703 10 0 0 20 0 1 0 273173975 322514944 66744 33554432000 4194304 5654031 140737129118480 140737129106296 4236025 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22482/statm: 78739 66744 140 357 0 78379 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 642056

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 22482
/proc/meminfo: memFree=29221708/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=317952 CPUtime=1294.69 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 83692 483864 0 0 807 203 128293 166 20 0 1 0 273044460 325582848 65712 33554432000 4194304 5992684 140736115725616 140736115711448 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/22417/statm: 79488 65712 197 440 0 79044 0
[pid=22482] ppid=22417 vsize=316584 CPUtime=67.1 cores=1,3,5,7
/proc/22482/stat : 22482 (glucosInc) R 22417 22415 4103 0 -1 4202496 50364 0 0 0 6700 10 0 0 20 0 1 0 273173975 324182016 67679 33554432000 4194304 5654031 140737129118480 140737129116264 4214505 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22482/statm: 79146 67679 140 357 0 78786 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 643684

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 22482
/proc/meminfo: memFree=29221492/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=317952 CPUtime=1294.69 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 83692 483864 0 0 807 203 128293 166 20 0 1 0 273044460 325582848 65712 33554432000 4194304 5992684 140736115725616 140736115711448 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/22417/statm: 79488 65712 197 440 0 79044 0
[pid=22482] ppid=22417 vsize=318368 CPUtime=127.08 cores=1,3,5,7
/proc/22482/stat : 22482 (glucosInc) R 22417 22415 4103 0 -1 4202496 50823 0 0 0 12698 10 0 0 20 0 1 0 273173975 326008832 68127 33554432000 4194304 5654031 140737129118480 140737129116264 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22482/statm: 79592 68127 141 357 0 79232 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 645468

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 22482
/proc/meminfo: memFree=29207232/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=317952 CPUtime=1294.69 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 83692 483864 0 0 807 203 128293 166 20 0 1 0 273044460 325582848 65712 33554432000 4194304 5992684 140736115725616 140736115711448 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/22417/statm: 79488 65712 197 440 0 79044 0
[pid=22482] ppid=22417 vsize=329920 CPUtime=187.05 cores=1,3,5,7
/proc/22482/stat : 22482 (glucosInc) R 22417 22415 4103 0 -1 4202496 52607 0 0 0 18694 11 0 0 20 0 1 0 273173975 337838080 71810 33554432000 4194304 5654031 140737129118480 140737129106296 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22482/statm: 82480 71810 141 357 0 82120 0
Current children cumulated CPU time (s) 1481.74
Current children cumulated vsize (KiB) 657020

[startup+1542.31 s]
/proc/loadavg: 2.07 2.02 1.91 3/181 22489
/proc/meminfo: memFree=29235048/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=327732 CPUtime=1512.81 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 109578 641378 0 0 982 212 149875 212 20 0 1 0 273044460 335597568 66552 33554432000 4194304 5992684 140736115725616 140736115711448 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/22417/statm: 81933 66552 201 440 0 81489 0
[pid=22488] ppid=22417 vsize=296368 CPUtime=28.95 cores=1,3,5,7
/proc/22488/stat : 22488 (glucosInc) R 22417 22415 4103 0 -1 4202496 50597 0 0 0 2885 10 0 0 20 0 1 0 273195791 303480832 66963 33554432000 4194304 5654031 140733499856896 140733499854664 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22488/statm: 74092 66963 140 357 0 73732 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 633248

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.91 3/181 22493
/proc/meminfo: memFree=29234604/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=327732 CPUtime=1589.49 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 125060 744530 0 0 1096 217 157391 245 20 0 1 0 273044460 335597568 66552 33554432000 4194304 5992684 140736115725616 140736115711448 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/22417/statm: 81933 66552 201 440 0 81489 0
[pid=22493] ppid=22417 vsize=296360 CPUtime=12.24 cores=1,3,5,7
/proc/22493/stat : 22493 (glucosInc) R 22417 22415 4103 0 -1 4202496 49165 0 0 0 1215 9 0 0 20 0 1 0 273203461 303472640 67164 33554432000 4194304 5654031 140736064198416 140736064196184 4216337 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/22493/statm: 74090 67164 140 357 0 73730 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 633240

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/182 22496
/proc/meminfo: memFree=29230140/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=327732 CPUtime=1589.49 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 125060 744530 0 0 1096 217 157391 245 20 0 1 0 273044460 335597568 66552 33554432000 4194304 5992684 140736115725616 140736115711448 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/22417/statm: 81933 66552 201 440 0 81489 0
[pid=22493] ppid=22417 vsize=319628 CPUtime=72.21 cores=1,3,5,7
/proc/22493/stat : 22493 (glucosInc) R 22417 22415 4103 0 -1 4202496 50079 0 0 0 7211 10 0 0 20 0 1 0 273203461 327299072 69077 33554432000 4194304 5654031 140736064198416 140736064196184 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22493/statm: 79907 69077 140 357 0 79547 0
Current children cumulated CPU time (s) 1661.7
Current children cumulated vsize (KiB) 656508

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 22496
/proc/meminfo: memFree=29224648/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=327732 CPUtime=1589.49 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 125060 744530 0 0 1096 217 157391 245 20 0 1 0 273044460 335597568 66552 33554432000 4194304 5992684 140736115725616 140736115711448 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/22417/statm: 81933 66552 201 440 0 81489 0
[pid=22493] ppid=22417 vsize=319628 CPUtime=132.2 cores=1,3,5,7
/proc/22493/stat : 22493 (glucosInc) R 22417 22415 4103 0 -1 4202496 50150 0 0 0 13210 10 0 0 20 0 1 0 273203461 327299072 70428 33554432000 4194304 5654031 140736064198416 140736064186232 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22493/statm: 79907 70428 141 357 0 79547 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 656508

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 22498
/proc/meminfo: memFree=29234032/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=327732 CPUtime=1729.41 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 132767 795318 0 0 1154 219 171308 260 20 0 1 0 273044460 335597568 66552 33554432000 4194304 5992684 140736115725616 140736115711448 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/22417/statm: 81933 66552 201 440 0 81489 0
[pid=22498] ppid=22417 vsize=300256 CPUtime=52.26 cores=1,3,5,7
/proc/22498/stat : 22498 (glucosInc) R 22417 22415 4103 0 -1 4202496 51080 0 0 0 5216 10 0 0 20 0 1 0 273217461 307462144 67468 33554432000 4194304 5654031 140734908816688 140734908804504 4215372 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22498/statm: 75064 67468 140 357 0 74704 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 637136



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 22542
/proc/meminfo: memFree=29150368/32873648 swapFree=6860/6860
[pid=22415] ppid=22413 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22415/stat : 22415 (npSolver-pbo-It) S 22413 22415 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273044459 9367552 275 33554432000 4194304 5064252 140735439037536 140735439036448 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22415/statm: 2287 275 233 213 0 72 0
[pid=22417] ppid=22415 vsize=327732 CPUtime=1729.41 cores=1,3,5,7
/proc/22417/stat : 22417 (npSolver-pbo) S 22415 22415 4103 0 -1 4202496 132767 795318 0 0 1154 219 171308 260 20 0 1 0 273044460 335597568 66552 33554432000 4194304 5992684 140736115725616 140736115711448 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 1 0 0
/proc/22417/statm: 81933 66552 201 440 0 81489 0
[pid=22498] ppid=22417 vsize=319224 CPUtime=70.67 cores=1,3,5,7
/proc/22498/stat : 22498 (glucosInc) R 22417 22415 4103 0 -1 4202496 51370 0 0 0 7056 11 0 0 20 0 1 0 273217461 326885376 68267 33554432000 4194304 5654031 140734908816688 140734908814776 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22498/statm: 79806 68267 140 357 0 79446 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 656104

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 1800.73
CPU time (s): 1800.08
CPU user time (s): 1795.18
CPU system time (s): 4.9
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (KiB): 965152

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 359
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 2

runsolver used 3.87141 second user time and 10.1445 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-26 23:53:04
IDJOB=3702924
IDBENCH=2889
IDSOLVER=2278
FILE ID=node116/3702924-1338069184
RUNJOBID= node116-1338052956-4120
PBS_JOBID= 14624409
Free space on /tmp= 71448 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-C499.b.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3702924-1338069184/watcher-3702924-1338069184 -o /tmp/evaluation-result-3702924-1338069184/solver-3702924-1338069184 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702924-1338069184.opb 316652830 HOME HOME

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

MD5SUM BENCH= 0b80319f4195f1e1329c2c4b63b416b0
RANDOM SEED=316652830

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        29912716 kB
Buffers:          246032 kB
Cached:          1887284 kB
SwapCached:         3388 kB
Active:           885988 kB
Inactive:        1284220 kB
Active(anon):      31040 kB
Inactive(anon):     7956 kB
Active(file):     854948 kB
Inactive(file):  1276264 kB
Unevictable:        6860 kB
Mlocked:            6860 kB
SwapTotal:      67108856 kB
SwapFree:       67103324 kB
Dirty:             29324 kB
Writeback:             0 kB
AnonPages:         30932 kB
Mapped:            15632 kB
Shmem:                96 kB
Slab:             648920 kB
SReclaimable:      90476 kB
SUnreclaim:       558444 kB
KernelStack:        1496 kB
PageTables:         3840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     157300 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71368 MiB
End job on node116 at 2012-05-27 00:23:05