Trace number 3702533

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.07 1800.62

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat70_4_22_7.opb
MD5SUMb79cf832cc8fb39cc9e05c792def1a32
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4636291
Best CPU time to get the best result obtained on this benchmark1800.13
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 134217728
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 95222180678
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 134217728
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 95222180678
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.57/2.67	c [INC SYSTEM] finished preprocessing in 2 s
2.57/2.67	c [INC SYSTEM] execute solver
4.16/4.23	c [INC SEARCH] formula is SAT
4.16/4.25	c [INC SYSTEM] solved the initial formula
4.16/4.28	c model valid
4.16/4.28	c current solution ok
5.10/5.31	o 225165407
5.10/5.31	c starting approximation
5.10/5.31	c factor = 2
5.10/5.31	c factor still to low - shrinking to 6.57258e+06
5.10/5.31	c approx number of clauses: 1e+06
5.10/5.31	c current bound: 112582736
5.66/5.93	c leaving approximation
5.66/5.93	c finished approximation
5.66/5.93	c [INC SYSTEM] there exists a inc, kill it!
5.66/5.93	c write failed with 2
5.66/5.94	c [INC SEARCH] iteration: 0
5.66/5.94	c [INC BOUNDS] best value:225165477 search for 225165476
5.66/5.94	c [INC SYSTEM] create new solver instance
5.66/5.94	c [INC] encode full formula
5.66/5.94	c fallback to adder encoding
7.19/7.43	c set iterative enc to: adder
7.19/7.43	c set iterative enc to: none
7.41/7.66	c [INC SEARCH] isOptimum variable: 0
18.42/18.66	c formula is SAT
18.52/18.70	c [INC SEARCH] copied best model
18.52/18.70	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
18.52/18.74	c model valid
18.52/18.74	c current solution ok
18.52/18.74	o 185094601
18.52/18.74	c [INC SEARCH] iteration: 1
18.52/18.74	c [INC BOUNDS] best value:185094671 search for 185094670
18.52/18.74	c [INC SYSTEM] there exists a inc, kill it!
18.52/18.74	c write failed with 2
18.52/18.76	c [INC SYSTEM] create new solver instance
18.52/18.76	c [INC] encode full formula
18.52/18.76	c fallback to adder encoding
20.04/20.26	c set iterative enc to: adder
20.04/20.26	c set iterative enc to: none
20.33/20.52	c [INC SEARCH] isOptimum variable: 0
33.05/33.21	c formula is SAT
33.05/33.26	c [INC SEARCH] copied best model
33.05/33.26	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
33.05/33.29	c model valid
33.05/33.29	c current solution ok
33.05/33.29	o 66951099
33.05/33.29	c [INC SEARCH] iteration: 2
33.05/33.29	c [INC BOUNDS] best value:66951169 search for 66951168
33.05/33.29	c [INC SYSTEM] there exists a inc, kill it!
33.05/33.29	c write failed with 2
33.15/33.32	c [INC SYSTEM] create new solver instance
33.15/33.32	c [INC] encode full formula
33.15/33.32	c fallback to adder encoding
34.45/34.68	c set iterative enc to: adder
34.45/34.68	c set iterative enc to: none
34.75/34.92	c [INC SEARCH] isOptimum variable: 0
54.56/54.72	c formula is SAT
54.56/54.76	c [INC SEARCH] copied best model
54.56/54.76	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
54.56/54.80	c model valid
54.56/54.80	c current solution ok
54.56/54.80	o 60167575
54.56/54.80	c [INC SEARCH] iteration: 3
54.56/54.80	c [INC BOUNDS] best value:60167645 search for 60167644
54.56/54.80	c [INC SYSTEM] there exists a inc, kill it!
54.56/54.80	c write failed with 2
54.65/54.82	c [INC SYSTEM] create new solver instance
54.65/54.82	c [INC] encode full formula
54.65/54.82	c fallback to adder encoding
55.97/56.17	c set iterative enc to: adder
55.97/56.17	c set iterative enc to: none
56.27/56.41	c [INC SEARCH] isOptimum variable: 0
118.14/118.39	c formula is SAT
118.24/118.43	c [INC SEARCH] copied best model
118.24/118.43	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
118.24/118.46	c model valid
118.24/118.46	c current solution ok
118.24/118.46	o 55913201
118.24/118.46	c [INC SEARCH] iteration: 4
118.24/118.46	c [INC BOUNDS] best value:55913271 search for 55913270
118.24/118.46	c [INC SYSTEM] there exists a inc, kill it!
118.24/118.46	c write failed with 2
118.24/118.48	c [INC SYSTEM] create new solver instance
118.24/118.48	c [INC] encode full formula
118.24/118.48	c fallback to adder encoding
119.66/119.82	c set iterative enc to: adder
119.66/119.82	c set iterative enc to: none
119.86/120.06	c [INC SEARCH] isOptimum variable: 0
157.13/157.31	c formula is SAT
157.13/157.35	c [INC SEARCH] copied best model
157.13/157.35	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
157.13/157.38	c model valid
157.13/157.38	c current solution ok
157.13/157.38	o 51489827
157.13/157.38	c [INC SEARCH] iteration: 5
157.13/157.38	c [INC BOUNDS] best value:51489897 search for 51489896
157.13/157.38	c [INC SYSTEM] there exists a inc, kill it!
157.13/157.38	c write failed with 2
157.24/157.41	c [INC SYSTEM] create new solver instance
157.24/157.41	c [INC] encode full formula
157.24/157.41	c fallback to adder encoding
158.54/158.74	c set iterative enc to: adder
158.54/158.74	c set iterative enc to: none
158.74/158.96	c [INC SEARCH] isOptimum variable: 0
177.32/177.58	c formula is SAT
177.43/177.63	c [INC SEARCH] copied best model
177.43/177.63	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
177.43/177.66	c model valid
177.43/177.66	c current solution ok
177.43/177.66	o 37759513
177.43/177.66	c [INC SEARCH] iteration: 6
177.43/177.66	c [INC BOUNDS] best value:37759583 search for 37759582
177.43/177.66	c [INC SYSTEM] there exists a inc, kill it!
177.43/177.66	c write failed with 2
177.43/177.68	c [INC SYSTEM] create new solver instance
177.43/177.68	c [INC] encode full formula
177.43/177.68	c fallback to adder encoding
178.75/178.96	c set iterative enc to: adder
178.75/178.96	c set iterative enc to: none
178.95/179.18	c [INC SEARCH] isOptimum variable: 0
259.63/259.90	c formula is SAT
259.72/259.94	c [INC SEARCH] copied best model
259.72/259.94	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
259.72/259.97	c model valid
259.72/259.97	c current solution ok
259.72/259.97	o 37473939
259.72/259.97	c [INC SEARCH] iteration: 7
259.72/259.97	c [INC BOUNDS] best value:37474009 search for 37474008
259.72/259.97	c [INC SYSTEM] there exists a inc, kill it!
259.72/259.97	c write failed with 2
259.72/259.99	c [INC SYSTEM] create new solver instance
259.72/259.99	c [INC] encode full formula
259.72/259.99	c fallback to adder encoding
261.03/261.26	c set iterative enc to: adder
261.03/261.26	c set iterative enc to: none
261.22/261.48	c [INC SEARCH] isOptimum variable: 0
290.71/290.91	c formula is SAT
290.71/290.95	c [INC SEARCH] copied best model
290.71/290.95	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
290.71/290.98	c model valid
290.71/290.98	c current solution ok
290.71/290.98	o 15623391
290.71/290.98	c [INC SEARCH] iteration: 8
290.71/290.98	c [INC BOUNDS] best value:15623461 search for 15623460
290.71/290.98	c [INC SYSTEM] there exists a inc, kill it!
290.71/290.98	c write failed with 2
290.81/291.00	c [INC SYSTEM] create new solver instance
290.81/291.00	c [INC] encode full formula
290.81/291.00	c fallback to adder encoding
291.83/292.04	c set iterative enc to: adder
291.83/292.04	c set iterative enc to: none
292.02/292.22	c [INC SEARCH] isOptimum variable: 0
680.02/680.34	c formula is SAT
680.02/680.37	c [INC SEARCH] copied best model
680.02/680.38	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
680.12/680.41	c model valid
680.12/680.41	c current solution ok
680.12/680.41	o 14655869
680.12/680.41	c [INC SEARCH] iteration: 9
680.12/680.41	c [INC BOUNDS] best value:14655939 search for 14655938
680.12/680.41	c [INC SYSTEM] there exists a inc, kill it!
680.12/680.41	c write failed with 2
680.12/680.42	c [INC SYSTEM] create new solver instance
680.12/680.42	c [INC] encode full formula
680.12/680.42	c fallback to adder encoding
681.14/681.44	c set iterative enc to: adder
681.14/681.44	c set iterative enc to: none
681.34/681.62	c [INC SEARCH] isOptimum variable: 0
824.38/824.75	c formula is SAT
824.38/824.78	c [INC SEARCH] copied best model
824.38/824.78	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
824.49/824.81	c model valid
824.49/824.81	c current solution ok
824.49/824.81	o 14390803
824.49/824.81	c [INC SEARCH] iteration: 10
824.49/824.81	c [INC BOUNDS] best value:14390873 search for 14390872
824.49/824.81	c [INC SYSTEM] there exists a inc, kill it!
824.49/824.81	c write failed with 2
824.49/824.82	c [INC SYSTEM] create new solver instance
824.49/824.82	c [INC] encode full formula
824.49/824.82	c fallback to adder encoding
825.49/825.84	c set iterative enc to: adder
825.49/825.84	c set iterative enc to: none
825.69/826.03	c [INC SEARCH] isOptimum variable: 0
1116.51/1116.94	c formula is SAT
1116.51/1116.98	c [INC SEARCH] copied best model
1116.51/1116.98	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1116.62/1117.01	c model valid
1116.62/1117.01	c current solution ok
1116.62/1117.01	o 13895865
1116.62/1117.01	c [INC SEARCH] iteration: 11
1116.62/1117.01	c [INC BOUNDS] best value:13895935 search for 13895934
1116.62/1117.01	c [INC SYSTEM] there exists a inc, kill it!
1116.62/1117.01	c write failed with 2
1116.62/1117.01	c [INC SYSTEM] create new solver instance
1116.62/1117.01	c [INC] encode full formula
1116.62/1117.01	c fallback to adder encoding
1117.63/1118.03	c set iterative enc to: adder
1117.63/1118.03	c set iterative enc to: none
1117.83/1118.21	c [INC SEARCH] isOptimum variable: 0
1139.91/1140.35	c formula is SAT
1139.91/1140.38	c [INC SEARCH] copied best model
1139.91/1140.39	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1140.03/1140.42	c model valid
1140.03/1140.42	c current solution ok
1140.03/1140.42	o 13416807
1140.03/1140.42	c [INC SEARCH] iteration: 12
1140.03/1140.42	c [INC BOUNDS] best value:13416877 search for 13416876
1140.03/1140.42	c [INC SYSTEM] there exists a inc, kill it!
1140.03/1140.42	c write failed with 2
1140.03/1140.43	c [INC SYSTEM] create new solver instance
1140.03/1140.43	c [INC] encode full formula
1140.03/1140.43	c fallback to adder encoding
1141.03/1141.44	c set iterative enc to: adder
1141.03/1141.44	c set iterative enc to: none
1141.22/1141.62	c [INC SEARCH] isOptimum variable: 0
1174.40/1174.90	c formula is SAT
1174.51/1174.93	c [INC SEARCH] copied best model
1174.51/1174.93	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1174.51/1174.97	c model valid
1174.51/1174.97	c current solution ok
1174.51/1174.97	o 13045945
1174.51/1174.97	c [INC SEARCH] iteration: 13
1174.51/1174.97	c [INC BOUNDS] best value:13046015 search for 13046014
1174.51/1174.97	c [INC SYSTEM] there exists a inc, kill it!
1174.51/1174.97	c write failed with 2
1174.51/1174.98	c [INC SYSTEM] create new solver instance
1174.51/1174.98	c [INC] encode full formula
1174.51/1174.98	c fallback to adder encoding
1175.53/1175.99	c set iterative enc to: adder
1175.53/1175.99	c set iterative enc to: none
1175.73/1176.17	c [INC SEARCH] isOptimum variable: 0
1349.49/1349.93	c formula is SAT
1349.49/1349.96	c [INC SEARCH] copied best model
1349.49/1349.96	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1349.49/1349.99	c model valid
1349.49/1349.99	c current solution ok
1349.49/1349.99	o 12782615
1349.49/1349.99	c [INC SEARCH] iteration: 14
1349.49/1349.99	c [INC BOUNDS] best value:12782685 search for 12782684
1349.49/1349.99	c [INC SYSTEM] there exists a inc, kill it!
1349.49/1349.99	c write failed with 2
1349.58/1350.00	c [INC SYSTEM] create new solver instance
1349.58/1350.00	c [INC] encode full formula
1349.58/1350.00	c fallback to adder encoding
1350.50/1351.00	c set iterative enc to: adder
1350.50/1351.00	c set iterative enc to: none
1350.68/1351.18	c [INC SEARCH] isOptimum variable: 0
1408.87/1409.32	c formula is SAT
1408.87/1409.35	c [INC SEARCH] copied best model
1408.87/1409.35	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1408.87/1409.38	c model valid
1408.87/1409.38	c current solution ok
1408.87/1409.38	o 11532243
1408.87/1409.38	c [INC SEARCH] iteration: 15
1408.87/1409.38	c [INC BOUNDS] best value:11532313 search for 11532312
1408.87/1409.38	c [INC SYSTEM] there exists a inc, kill it!
1408.87/1409.38	c write failed with 2
1408.87/1409.39	c [INC SYSTEM] create new solver instance
1408.87/1409.39	c [INC] encode full formula
1408.87/1409.39	c fallback to adder encoding
1409.88/1410.38	c set iterative enc to: adder
1409.88/1410.38	c set iterative enc to: none
1410.08/1410.55	c [INC SEARCH] isOptimum variable: 0
1597.22/1597.79	c formula is SAT
1597.33/1597.82	c [INC SEARCH] copied best model
1597.33/1597.83	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1597.33/1597.86	c model valid
1597.33/1597.86	c current solution ok
1597.33/1597.86	o 10250203
1597.33/1597.86	c [INC SEARCH] iteration: 16
1597.33/1597.86	c [INC BOUNDS] best value:10250273 search for 10250272
1597.33/1597.86	c [INC SYSTEM] there exists a inc, kill it!
1597.33/1597.86	c write failed with 2
1597.33/1597.86	c [INC SYSTEM] create new solver instance
1597.33/1597.86	c [INC] encode full formula
1597.33/1597.86	c fallback to adder encoding
1598.35/1598.80	c set iterative enc to: adder
1598.35/1598.80	c set iterative enc to: none
1598.44/1598.97	c [INC SEARCH] isOptimum variable: 0
1785.47/1786.00	c formula is SAT
1785.47/1786.03	c [INC SEARCH] copied best model
1785.47/1786.03	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1785.47/1786.07	c model valid
1785.47/1786.07	c current solution ok
1785.47/1786.07	o 9119247
1785.47/1786.07	c [INC SEARCH] iteration: 17
1785.47/1786.07	c [INC BOUNDS] best value:9119317 search for 9119316
1785.47/1786.07	c [INC SYSTEM] there exists a inc, kill it!
1785.47/1786.07	c write failed with 2
1785.47/1786.07	c [INC SYSTEM] create new solver instance
1785.47/1786.07	c [INC] encode full formula
1785.47/1786.07	c fallback to adder encoding
1786.38/1786.99	c set iterative enc to: adder
1786.38/1786.99	c set iterative enc to: none
1786.58/1787.16	c [INC SEARCH] isOptimum variable: 0
1800.07/1800.61	HOME/npSolver-pbo-Itdqb.sh: line 18:  5609 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=1 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data

ERROR: no interpretation found !

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3702533-1338137775/watcher-3702533-1338137775 -o /tmp/evaluation-result-3702533-1338137775/solver-3702533-1338137775 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702533-1338137775.opb 1082534699 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/180 5608
/proc/meminfo: memFree=31197332/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0

[startup+0.046391 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5608
/proc/meminfo: memFree=31197332/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.10026 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5608
/proc/meminfo: memFree=31197332/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300283 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5608
/proc/meminfo: memFree=31197332/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700357 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 5608
/proc/meminfo: memFree=31197332/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/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/184 5612
/proc/meminfo: memFree=31032320/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=30344 CPUtime=0.35 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 5989 0 0 0 31 4 0 0 20 0 1 0 279902840 31072256 6477 33554432000 4194304 5992684 140735161199632 140735161194080 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/5609/statm: 7586 6477 172 440 0 7142 0
[pid=5611] ppid=5609 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5611/stat : 5611 (cp2_pre.sh) S 5609 5608 4091 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 279902876 9367552 277 33554432000 4194304 5064252 140736735286624 140736735285328 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5611/statm: 2287 277 234 213 0 72 0
[pid=5612] ppid=5611 vsize=153432 CPUtime=1.12 cores=1,3,5,7
/proc/5612/stat : 5612 (coprocessor) R 5611 5608 4091 0 -1 4202496 28284 0 0 0 107 5 0 0 20 0 1 0 279902877 157114368 37252 33554432000 4194304 6586260 140734760441648 140734760437576 4770132 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/5612/statm: 38358 37252 182 584 0 37770 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 202072

[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 5612
/proc/meminfo: memFree=30976792/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=30344 CPUtime=2.64 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 6005 34306 0 0 31 4 201 28 20 0 1 0 279902840 31072256 6479 33554432000 4194304 5992684 140735161199632 140735161185896 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/5609/statm: 7586 6479 174 440 0 7142 0
Current children cumulated CPU time (s) 2.64
Current children cumulated vsize (KiB) 39492

[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 5615
/proc/meminfo: memFree=31056196/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=93204 CPUtime=6.1 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) R 5608 5608 4091 0 -1 4202496 13932 79287 0 0 94 78 393 45 20 0 1 0 279902840 95440896 19847 33554432000 4194304 5992684 140735161199632 140735161192696 4523488 0 0 4096 0 0 0 0 17 3 0 0 17 0 0
/proc/5609/statm: 23301 19847 205 440 0 22857 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 102352

[startup+12.7004 s]
/proc/loadavg: 2.08 2.02 2.01 3/183 5624
/proc/meminfo: memFree=30696516/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=60436 CPUtime=7.47 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 15787 79802 0 0 207 99 394 47 20 0 1 0 279902840 61886464 14007 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/5609/statm: 15109 14007 206 440 0 14665 0
[pid=5624] ppid=5609 vsize=351048 CPUtime=5.02 cores=1,3,5,7
/proc/5624/stat : 5624 (glucosInc) R 5609 5608 4091 0 -1 4202496 58042 0 0 0 484 18 0 0 20 0 1 0 279903606 359473152 77034 33554432000 4194304 5654031 140734679068256 140734679056072 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5624/statm: 87762 77034 141 357 0 87402 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 420632

[startup+25.5071 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 5626
/proc/meminfo: memFree=30731948/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=51880 CPUtime=20.36 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 23049 138721 0 0 368 122 1474 72 20 0 1 0 279902840 53125120 11900 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/5609/statm: 12970 11900 206 440 0 12526 0
[pid=5626] ppid=5609 vsize=350076 CPUtime=4.97 cores=1,3,5,7
/proc/5626/stat : 5626 (glucosInc) R 5609 5608 4091 0 -1 4202496 57683 0 0 0 480 17 0 0 20 0 1 0 279904892 358477824 77136 33554432000 4194304 5654031 140736404376592 140736404374376 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5626/statm: 87519 77136 141 357 0 87159 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 411104

[startup+51.1004 s]
/proc/loadavg: 2.16 2.04 2.01 3/183 5628
/proc/meminfo: memFree=30759340/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=51204 CPUtime=34.77 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 30616 197557 0 0 514 144 2723 96 20 0 1 0 279902840 52432896 11731 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/5609/statm: 12801 11731 206 440 0 12357 0
[pid=5628] ppid=5609 vsize=342724 CPUtime=16.16 cores=1,3,5,7
/proc/5628/stat : 5628 (glucosInc) R 5609 5608 4091 0 -1 4202496 56467 0 0 0 1602 14 0 0 20 0 1 0 279906331 350949376 70997 33554432000 4194304 5654031 140736431906208 140736431894024 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5628/statm: 85681 70997 140 357 0 85321 0
Current children cumulated CPU time (s) 50.93
Current children cumulated vsize (KiB) 403076

[startup+102.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 5630
/proc/meminfo: memFree=30716924/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=50732 CPUtime=56.28 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 38069 255227 0 0 658 165 4687 118 20 0 1 0 279902840 51949568 11613 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/5609/statm: 12683 11613 206 440 0 12239 0
[pid=5630] ppid=5609 vsize=394288 CPUtime=45.86 cores=1,3,5,7
/proc/5630/stat : 5630 (glucosInc) R 5609 5608 4091 0 -1 4202496 55431 0 0 0 4566 20 0 0 20 0 1 0 279908480 403750912 76265 33554432000 4194304 5654031 140735469293072 140735469280888 4232925 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5630/statm: 98572 76265 141 357 0 98212 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 454168

[startup+162.3 s]
/proc/loadavg: 2.14 2.07 2.02 3/183 5634
/proc/meminfo: memFree=30751660/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=50504 CPUtime=158.81 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 51905 372390 0 0 942 205 14552 182 20 0 1 0 279902840 51716096 11556 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/5609/statm: 12626 11556 206 440 0 12182 0
[pid=5634] ppid=5609 vsize=339212 CPUtime=3.31 cores=1,3,5,7
/proc/5634/stat : 5634 (glucosInc) R 5609 5608 4091 0 -1 4202496 52976 0 0 0 315 16 0 0 20 0 1 0 279918736 347353088 69389 33554432000 4194304 5654031 140736486763824 140736486761512 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5634/statm: 84803 69389 139 357 0 84443 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 398864

[startup+222.3 s]
/proc/loadavg: 2.26 2.10 2.03 3/183 5692
/proc/meminfo: memFree=30820100/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=50068 CPUtime=179.04 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 59354 426860 0 0 1078 225 16394 207 20 0 1 0 279902840 51269632 11447 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 17 0 0
/proc/5609/statm: 12517 11447 206 440 0 12073 0
[pid=5636] ppid=5609 vsize=335500 CPUtime=43.1 cores=1,3,5,7
/proc/5636/stat : 5636 (glucosInc) R 5609 5608 4091 0 -1 4202496 54596 0 0 0 4288 22 0 0 20 0 1 0 279920758 343552000 74581 33554432000 4194304 5654031 140735286574944 140735286572712 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/5636/statm: 83875 74581 141 357 0 83515 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 394716

[startup+282.3 s]
/proc/loadavg: 2.20 2.11 2.03 3/184 5702
/proc/meminfo: memFree=30856092/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7

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

/proc/loadavg: 2.02 2.02 2.00 3/183 5761
/proc/meminfo: memFree=30831724/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=47284 CPUtime=1175.79 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 111848 793691 0 0 1868 340 114959 412 20 0 1 0 279902840 48418816 10751 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 17 0 0
/proc/5609/statm: 11821 10751 206 440 0 11377 0
[pid=5761] ppid=5609 vsize=273636 CPUtime=126.1 cores=1,3,5,7
/proc/5761/stat : 5761 (glucosInc) R 5609 5608 4091 0 -1 4202496 48006 0 0 0 12592 18 0 0 20 0 1 0 280020456 280203264 60906 33554432000 4194304 5654031 140735207513712 140735207501528 4214603 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5761/statm: 68409 60906 142 357 0 68049 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 330068

[startup+1362.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 5763
/proc/meminfo: memFree=30844044/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=47220 CPUtime=1350.76 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 118634 844695 0 0 1975 356 132308 437 20 0 1 0 279902840 48353280 10735 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 17 0 0
/proc/5609/statm: 11805 10735 206 440 0 11361 0
[pid=5763] ppid=5609 vsize=238676 CPUtime=11.11 cores=1,3,5,7
/proc/5763/stat : 5763 (glucosInc) R 5609 5608 4091 0 -1 4202496 45015 0 0 0 1098 13 0 0 20 0 1 0 280037957 244404224 56656 33554432000 4194304 5654031 140733640478496 140733640466312 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5763/statm: 59669 56656 141 357 0 59309 0
Current children cumulated CPU time (s) 1361.87
Current children cumulated vsize (KiB) 295044

[startup+1422.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/183 5765
/proc/meminfo: memFree=30805544/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=80572 CPUtime=1410.13 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 125784 892885 0 0 2080 372 138103 458 20 0 1 0 279902840 82505728 19041 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 17 0 0
/proc/5609/statm: 20143 19041 206 440 0 19699 0
[pid=5765] ppid=5609 vsize=236640 CPUtime=11.73 cores=1,3,5,7
/proc/5765/stat : 5765 (glucosInc) R 5609 5608 4091 0 -1 4202496 43141 0 0 0 1161 12 0 0 20 0 1 0 280043895 242319360 55167 33554432000 4194304 5654031 140733350132096 140733350129880 4232466 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5765/statm: 59160 55167 141 357 0 58800 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 326360

[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/184 5769
/proc/meminfo: memFree=30795468/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=80572 CPUtime=1410.13 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 125784 892885 0 0 2080 372 138103 458 20 0 1 0 279902840 82505728 19041 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 17 0 0
/proc/5609/statm: 20143 19041 206 440 0 19699 0
[pid=5765] ppid=5609 vsize=241556 CPUtime=71.71 cores=1,3,5,7
/proc/5765/stat : 5765 (glucosInc) R 5609 5608 4091 0 -1 4202496 46220 0 0 0 7154 17 0 0 20 0 1 0 280043895 247353344 57365 33554432000 4194304 5654031 140733350132096 140733350129784 4216213 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5765/statm: 60389 57365 142 357 0 60029 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 331276

[startup+1542.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/183 5769
/proc/meminfo: memFree=30791160/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=80572 CPUtime=1410.13 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 125784 892885 0 0 2080 372 138103 458 20 0 1 0 279902840 82505728 19041 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 17 0 0
/proc/5609/statm: 20143 19041 206 440 0 19699 0
[pid=5765] ppid=5609 vsize=273444 CPUtime=131.7 cores=1,3,5,7
/proc/5765/stat : 5765 (glucosInc) R 5609 5608 4091 0 -1 4202496 46682 0 0 0 13152 18 0 0 20 0 1 0 280043895 280006656 59965 33554432000 4194304 5654031 140733350132096 140733350129880 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5765/statm: 68361 59965 142 357 0 68001 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 363164

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 5771
/proc/meminfo: memFree=30843468/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=46928 CPUtime=1598.52 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 133477 942444 0 0 2181 387 156799 485 20 0 1 0 279902840 48054272 10662 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 17 0 0
/proc/5609/statm: 11732 10662 206 440 0 11288 0
[pid=5771] ppid=5609 vsize=234920 CPUtime=3.31 cores=1,3,5,7
/proc/5771/stat : 5771 (glucosInc) R 5609 5608 4091 0 -1 4202496 43607 0 0 0 320 11 0 0 20 0 1 0 280062737 240558080 53949 33554432000 4194304 5654031 140736266685664 140736266673480 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5771/statm: 58730 53949 141 357 0 58370 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 290996

[startup+1662.31 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 5773
/proc/meminfo: memFree=30931184/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=46928 CPUtime=1598.52 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 133477 942444 0 0 2181 387 156799 485 20 0 1 0 279902840 48054272 10662 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 17 0 0
/proc/5609/statm: 11732 10662 206 440 0 11288 0
[pid=5771] ppid=5609 vsize=239004 CPUtime=63.3 cores=1,3,5,7
/proc/5771/stat : 5771 (glucosInc) R 5609 5608 4091 0 -1 4202496 44652 0 0 0 6318 12 0 0 20 0 1 0 280062737 244740096 55997 33554432000 4194304 5654031 140736266685664 140736266673480 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5771/statm: 59751 55997 142 357 0 59391 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 295080

[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 5773
/proc/meminfo: memFree=30869548/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=46928 CPUtime=1598.52 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 133477 942444 0 0 2181 387 156799 485 20 0 1 0 279902840 48054272 10662 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 17 0 0
/proc/5609/statm: 11732 10662 206 440 0 11288 0
[pid=5771] ppid=5609 vsize=272648 CPUtime=123.25 cores=1,3,5,7
/proc/5771/stat : 5771 (glucosInc) R 5609 5608 4091 0 -1 4202496 48307 0 0 0 12306 19 0 0 20 0 1 0 280062737 279191552 62573 33554432000 4194304 5654031 140736266685664 140736266683352 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5771/statm: 68162 62573 142 357 0 67802 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 328724

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 5774
/proc/meminfo: memFree=30880968/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=46928 CPUtime=1598.52 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 133477 942444 0 0 2181 387 156799 485 20 0 1 0 279902840 48054272 10662 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 17 0 0
/proc/5609/statm: 11732 10662 206 440 0 11288 0
[pid=5771] ppid=5609 vsize=279160 CPUtime=183.24 cores=1,3,5,7
/proc/5771/stat : 5771 (glucosInc) R 5609 5608 4091 0 -1 4202496 50910 0 0 0 18302 22 0 0 20 0 1 0 280062737 285859840 60403 33554432000 4194304 5654031 140736266685664 140736266683432 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5771/statm: 69790 60403 142 357 0 69430 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 335236



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 5776
/proc/meminfo: memFree=30869932/32873844 swapFree=7112/7112
[pid=5608] ppid=5606 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5608/stat : 5608 (npSolver-pbo-It) S 5606 5608 4091 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279902839 9367552 275 33554432000 4194304 5064252 140736488618096 140736488617008 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/5608/statm: 2287 275 233 213 0 72 0
[pid=5609] ppid=5608 vsize=46780 CPUtime=1786.65 cores=1,3,5,7
/proc/5609/stat : 5609 (npSolver-pbo) S 5608 5608 4091 0 -1 4202496 140321 994002 0 0 2281 401 175471 512 20 0 1 0 279902840 47902720 10625 33554432000 4194304 5992684 140735161199632 140735161185464 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 17 0 0
/proc/5609/statm: 11695 10625 206 440 0 11251 0
[pid=5776] ppid=5609 vsize=235780 CPUtime=13.42 cores=1,3,5,7
/proc/5776/stat : 5776 (glucosInc) R 5609 5608 4091 0 -1 4202496 44412 0 0 0 1329 13 0 0 20 0 1 0 280081556 241438720 54544 33554432000 4194304 5654031 140737146098944 140737146086760 4214522 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/5776/statm: 58945 54544 141 357 0 58585 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 291708

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 5608 and gives
#  childrusage.ru_utime.tv_sec=1777
#  childrusage.ru_utime.tv_usec=531774
#  childrusage.ru_stime.tv_sec=9
#  childrusage.ru_stime.tv_usec=138610
# CPU time returned by wait4() is 1786.67
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.62
CPU time (s): 1800.07
CPU user time (s): 1790.81
CPU system time (s): 9.26
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (KiB): 540332

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1777.53
system time used= 9.13861
maximum resident set size= 405188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1134698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3340296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21655
involuntary context switches= 4073

runsolver used 6.38403 second user time and 14.2708 second system time

The end

Launcher Data

Begin job on node132 at 2012-05-27 18:56:15
IDJOB=3702533
IDBENCH=92758
IDSOLVER=2278
FILE ID=node132/3702533-1338137775
RUNJOBID= node132-1338123012-4108
PBS_JOBID= 14624343
Free space on /tmp= 71596 MiB

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

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

MD5SUM BENCH= b79cf832cc8fb39cc9e05c792def1a32
RANDOM SEED=1082534699

node132.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.832
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.66
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.56
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.832
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	: 5332.55
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.832
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31197712 kB
Buffers:          371764 kB
Cached:           171116 kB
SwapCached:         2292 kB
Active:           758260 kB
Inactive:          38604 kB
Active(anon):     245708 kB
Inactive(anon):     9244 kB
Active(file):     512552 kB
Inactive(file):    29360 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67103732 kB
Dirty:              8932 kB
Writeback:             0 kB
AnonPages:        208956 kB
Mapped:            12548 kB
Shmem:                 8 kB
Slab:             730296 kB
SReclaimable:     172108 kB
SUnreclaim:       558188 kB
KernelStack:        1520 kB
PageTables:         4248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     407120 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    106496 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= 71504 MiB
End job on node132 at 2012-05-27 19:26:16