Trace number 3702520

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.02 1801.51

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat50_4_16_0.opb
MD5SUMd0955493ad3dd18776a949983101631a
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark2908167
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables5100
Total number of constraints7606
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints7500
Minimum length of a constraint2
Maximum length of a constraint1225
Number of terms in the objective function 4950
Biggest coefficient in the objective function 153130375
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 41352812606
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 153130375
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 41352812606
Number of bits of the biggest sum of numbers36
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.15	c run inc solver
0.00/0.15	c [INC SYSTEM] run initial solver
0.00/0.15	c [INC SYSTEM] preprocess with white file
0.97/1.09	c [INC SYSTEM] finished preprocessing in 0 s
0.97/1.09	c [INC SYSTEM] execute solver
1.05/1.24	c [INC SEARCH] formula is SAT
1.05/1.25	c [INC SYSTEM] solved the initial formula
1.05/1.26	c model valid
1.05/1.26	c current solution ok
1.41/1.63	o 504085007
1.41/1.63	c starting approximation
1.41/1.63	c factor = 2
1.41/1.63	c factor still to low - shrinking to 7.48566e+06
1.41/1.63	c approx number of clauses: 1e+06
1.41/1.63	c current bound: 252042528
2.55/2.63	c leaving approximation
2.55/2.63	c finished approximation
2.55/2.63	c [INC SYSTEM] there exists a inc, kill it!
2.55/2.63	c write failed with 2
2.55/2.63	c [INC SEARCH] iteration: 0
2.55/2.63	c [INC BOUNDS] best value:504085057 search for 504085056
2.55/2.63	c [INC SYSTEM] create new solver instance
2.55/2.63	c [INC] encode full formula
2.55/2.63	c fallback to adder encoding
3.36/3.40	c set iterative enc to: adder
3.36/3.40	c set iterative enc to: none
3.46/3.50	c [INC SEARCH] isOptimum variable: 0
5.25/5.40	c formula is SAT
5.88/5.94	c [INC SEARCH] copied best model
5.88/5.94	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
5.88/5.94	c model valid
5.88/5.94	c current solution ok
5.88/5.94	o 33866647
5.88/5.94	c [INC SEARCH] iteration: 1
5.88/5.94	c [INC BOUNDS] best value:33866697 search for 33866696
5.88/5.94	c [INC SYSTEM] there exists a inc, kill it!
5.88/5.94	c write failed with 2
5.88/5.94	c [INC SYSTEM] create new solver instance
5.88/5.94	c [INC] encode full formula
5.88/5.94	c fallback to adder encoding
5.97/6.08	c set iterative enc to: adder
5.97/6.08	c set iterative enc to: none
6.12/7.21	c [INC SEARCH] isOptimum variable: 0
33.18/34.33	c formula is SAT
33.18/34.35	c [INC SEARCH] copied best model
33.18/34.35	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
33.18/34.37	c model valid
33.18/34.37	c current solution ok
33.18/34.37	o 25823713
33.18/34.37	c [INC SEARCH] iteration: 2
33.18/34.37	c [INC BOUNDS] best value:25823763 search for 25823762
33.18/34.37	c [INC SYSTEM] there exists a inc, kill it!
33.18/34.37	c write failed with 2
33.18/34.38	c [INC SYSTEM] create new solver instance
33.18/34.38	c [INC] encode full formula
33.18/34.38	c fallback to adder encoding
33.80/34.97	c set iterative enc to: adder
33.80/34.97	c set iterative enc to: none
33.91/35.06	c [INC SEARCH] isOptimum variable: 0
65.69/66.86	c formula is SAT
65.69/66.88	c [INC SEARCH] copied best model
65.69/66.88	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
65.69/66.89	c model valid
65.69/66.89	c current solution ok
65.69/66.89	o 22827845
65.69/66.89	c [INC SEARCH] iteration: 3
65.69/66.89	c [INC BOUNDS] best value:22827895 search for 22827894
65.69/66.89	c [INC SYSTEM] there exists a inc, kill it!
65.69/66.89	c write failed with 2
65.79/66.91	c [INC SYSTEM] create new solver instance
65.79/66.91	c [INC] encode full formula
65.79/66.91	c fallback to adder encoding
66.31/67.49	c set iterative enc to: adder
66.31/67.49	c set iterative enc to: none
66.41/67.57	c [INC SEARCH] isOptimum variable: 0
76.30/77.44	c formula is SAT
76.30/77.46	c [INC SEARCH] copied best model
76.30/77.46	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
76.30/77.48	c model valid
76.30/77.48	c current solution ok
76.30/77.48	o 15878097
76.30/77.48	c [INC SEARCH] iteration: 4
76.30/77.48	c [INC BOUNDS] best value:15878147 search for 15878146
76.30/77.48	c [INC SYSTEM] there exists a inc, kill it!
76.30/77.48	c write failed with 2
76.30/77.49	c [INC SYSTEM] create new solver instance
76.30/77.49	c [INC] encode full formula
76.30/77.49	c fallback to adder encoding
76.91/78.01	c set iterative enc to: adder
76.91/78.01	c set iterative enc to: none
76.91/78.09	c [INC SEARCH] isOptimum variable: 0
121.27/122.48	c formula is SAT
121.27/122.50	c [INC SEARCH] copied best model
121.27/122.50	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
121.38/122.51	c model valid
121.38/122.51	c current solution ok
121.38/122.51	o 13748639
121.38/122.51	c [INC SEARCH] iteration: 5
121.38/122.51	c [INC BOUNDS] best value:13748689 search for 13748688
121.38/122.51	c [INC SYSTEM] there exists a inc, kill it!
121.38/122.51	c write failed with 2
121.38/122.52	c [INC SYSTEM] create new solver instance
121.38/122.52	c [INC] encode full formula
121.38/122.52	c fallback to adder encoding
121.89/123.04	c set iterative enc to: adder
121.89/123.04	c set iterative enc to: none
121.98/123.11	c [INC SEARCH] isOptimum variable: 0
146.07/147.21	c formula is SAT
146.07/147.22	c [INC SEARCH] copied best model
146.07/147.22	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
146.07/147.24	c model valid
146.07/147.24	c current solution ok
146.07/147.24	o 10534263
146.07/147.24	c [INC SEARCH] iteration: 6
146.07/147.24	c [INC BOUNDS] best value:10534313 search for 10534312
146.07/147.24	c [INC SYSTEM] there exists a inc, kill it!
146.07/147.24	c write failed with 2
146.07/147.24	c [INC SYSTEM] create new solver instance
146.07/147.24	c [INC] encode full formula
146.07/147.24	c fallback to adder encoding
146.59/147.74	c set iterative enc to: adder
146.59/147.74	c set iterative enc to: none
146.70/147.82	c [INC SEARCH] isOptimum variable: 0
172.58/173.77	c formula is SAT
172.58/173.78	c [INC SEARCH] copied best model
172.58/173.79	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
172.68/173.80	c model valid
172.68/173.80	c current solution ok
172.68/173.80	o 10155569
172.68/173.80	c [INC SEARCH] iteration: 7
172.68/173.80	c [INC BOUNDS] best value:10155619 search for 10155618
172.68/173.80	c [INC SYSTEM] there exists a inc, kill it!
172.68/173.80	c write failed with 2
172.68/173.81	c [INC SYSTEM] create new solver instance
172.68/173.81	c [INC] encode full formula
172.68/173.81	c fallback to adder encoding
173.09/174.30	c set iterative enc to: adder
173.09/174.30	c set iterative enc to: none
173.19/174.37	c [INC SEARCH] isOptimum variable: 0
184.77/185.99	c formula is SAT
184.87/186.01	c [INC SEARCH] copied best model
184.87/186.01	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
184.87/186.02	c model valid
184.87/186.02	c current solution ok
184.87/186.02	o 9000289
184.87/186.02	c [INC SEARCH] iteration: 8
184.87/186.02	c [INC BOUNDS] best value:9000339 search for 9000338
184.87/186.02	c [INC SYSTEM] there exists a inc, kill it!
184.87/186.02	c write failed with 2
184.87/186.03	c [INC SYSTEM] create new solver instance
184.87/186.03	c [INC] encode full formula
184.87/186.03	c fallback to adder encoding
185.37/186.51	c set iterative enc to: adder
185.37/186.51	c set iterative enc to: none
185.37/186.59	c [INC SEARCH] isOptimum variable: 0
329.03/330.28	c formula is SAT
329.03/330.29	c [INC SEARCH] copied best model
329.03/330.29	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
329.14/330.31	c model valid
329.14/330.31	c current solution ok
329.14/330.31	o 7856331
329.14/330.31	c [INC SEARCH] iteration: 9
329.14/330.31	c [INC BOUNDS] best value:7856381 search for 7856380
329.14/330.31	c [INC SYSTEM] there exists a inc, kill it!
329.14/330.31	c write failed with 2
329.14/330.31	c [INC SYSTEM] create new solver instance
329.14/330.31	c [INC] encode full formula
329.14/330.31	c fallback to adder encoding
329.54/330.76	c set iterative enc to: adder
329.54/330.76	c set iterative enc to: none
329.65/330.83	c [INC SEARCH] isOptimum variable: 0
374.22/375.43	c formula is SAT
374.22/375.45	c [INC SEARCH] copied best model
374.22/375.45	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
374.22/375.46	c model valid
374.22/375.46	c current solution ok
374.22/375.46	o 6797239
374.22/375.46	c [INC SEARCH] iteration: 10
374.22/375.46	c [INC BOUNDS] best value:6797289 search for 6797288
374.22/375.46	c [INC SYSTEM] there exists a inc, kill it!
374.22/375.46	c write failed with 2
374.22/375.47	c [INC SYSTEM] create new solver instance
374.22/375.47	c [INC] encode full formula
374.22/375.47	c fallback to adder encoding
374.73/375.90	c set iterative enc to: adder
374.73/375.90	c set iterative enc to: none
374.73/375.97	c [INC SEARCH] isOptimum variable: 0
410.51/411.70	c formula is SAT
410.51/411.72	c [INC SEARCH] copied best model
410.51/411.72	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
410.51/411.74	c model valid
410.51/411.74	c current solution ok
410.51/411.74	o 5657763
410.51/411.74	c [INC SEARCH] iteration: 11
410.51/411.74	c [INC BOUNDS] best value:5657813 search for 5657812
410.51/411.74	c [INC SYSTEM] there exists a inc, kill it!
410.51/411.74	c write failed with 2
410.51/411.74	c [INC SYSTEM] create new solver instance
410.51/411.74	c [INC] encode full formula
410.51/411.74	c fallback to adder encoding
410.92/412.16	c set iterative enc to: adder
410.92/412.16	c set iterative enc to: none
411.01/412.23	c [INC SEARCH] isOptimum variable: 0
751.83/753.19	c formula is SAT
751.93/753.20	c [INC SEARCH] copied best model
751.93/753.20	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
751.93/753.22	c model valid
751.93/753.22	c current solution ok
751.93/753.22	o 5054893
751.93/753.22	c [INC SEARCH] iteration: 12
751.93/753.22	c [INC BOUNDS] best value:5054943 search for 5054942
751.93/753.22	c [INC SYSTEM] there exists a inc, kill it!
751.93/753.22	c write failed with 2
751.93/753.22	c [INC SYSTEM] create new solver instance
751.93/753.22	c [INC] encode full formula
751.93/753.22	c fallback to adder encoding
752.34/753.63	c set iterative enc to: adder
752.34/753.63	c set iterative enc to: none
752.44/753.70	c [INC SEARCH] isOptimum variable: 0
1429.79/1431.24	c formula is SAT
1429.79/1431.25	c [INC SEARCH] copied best model
1429.79/1431.25	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1429.79/1431.27	c model valid
1429.79/1431.27	c current solution ok
1429.79/1431.27	o 4959217
1429.79/1431.27	c [INC SEARCH] iteration: 13
1429.79/1431.27	c [INC BOUNDS] best value:4959267 search for 4959266
1429.79/1431.27	c [INC SYSTEM] there exists a inc, kill it!
1429.79/1431.27	c write failed with 2
1429.79/1431.27	c [INC SYSTEM] create new solver instance
1429.79/1431.27	c [INC] encode full formula
1429.79/1431.27	c fallback to adder encoding
1430.21/1431.68	c set iterative enc to: adder
1430.21/1431.68	c set iterative enc to: none
1430.30/1431.74	c [INC SEARCH] isOptimum variable: 0
1800.02/1801.51	HOME/npSolver-pbo-Itdqb.sh: line 18:  5675 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-3702520-1338137980/watcher-3702520-1338137980 -o /tmp/evaluation-result-3702520-1338137980/solver-3702520-1338137980 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702520-1338137980.opb 1625460767 HOME HOME 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.07 2.06 2.01 3/180 5674
/proc/meminfo: memFree=31037980/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0

[startup+0.014527 s]
/proc/loadavg: 2.07 2.06 2.01 3/180 5674
/proc/meminfo: memFree=31037980/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100293 s]
/proc/loadavg: 2.07 2.06 2.01 3/180 5674
/proc/meminfo: memFree=31037980/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30016 s]
/proc/loadavg: 2.07 2.06 2.01 3/180 5674
/proc/meminfo: memFree=31037980/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.7002 s]
/proc/loadavg: 2.07 2.06 2.01 3/180 5674
/proc/meminfo: memFree=31037980/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50029 s]
/proc/loadavg: 2.07 2.06 2.01 3/184 5678
/proc/meminfo: memFree=30939816/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=18252 CPUtime=1.3 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) R 5674 5674 4091 0 -1 4202496 4637 18938 0 0 20 20 78 12 20 0 1 0 279923336 18690048 3816 33554432000 4194304 5992684 140733614662784 140733614656968 5179696 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 4563 3816 181 440 0 4119 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 27400

[startup+3.10031 s]
/proc/loadavg: 2.06 2.06 2.01 3/185 5683
/proc/meminfo: memFree=30887624/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=55108 CPUtime=3.06 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) R 5674 5674 4091 0 -1 4202496 10664 49128 0 0 77 32 177 20 20 0 1 0 279923336 56430592 13046 33554432000 4194304 5992684 140733614662784 140733614658848 5044375 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 13777 13047 205 440 0 13333 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 64256

[startup+6.30028 s]
/proc/loadavg: 2.06 2.06 2.01 3/183 5690
/proc/meminfo: memFree=30745704/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=91268 CPUtime=6.06 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 17408 81485 0 0 172 45 359 30 20 0 1 0 279923336 93458432 17083 33554432000 4194304 5992684 140733614662784 140733614656288 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 22817 17083 206 440 0 22373 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 100416

[startup+12.7004 s]
/proc/loadavg: 2.28 2.10 2.03 3/183 5692
/proc/meminfo: memFree=30824992/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=25732 CPUtime=6.14 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 18375 82000 0 0 173 51 359 31 20 0 1 0 279923336 26349568 5743 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 6433 5743 206 440 0 5989 0
[pid=5692] ppid=5675 vsize=153400 CPUtime=5.47 cores=0,2,4,6
/proc/5692/stat : 5692 (glucosInc) R 5675 5674 4091 0 -1 4202496 29537 0 0 0 540 7 0 0 20 0 1 0 279924058 157081600 33496 33554432000 4194304 5654031 140733502207280 140733502195096 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5692/statm: 38350 33496 140 357 0 37990 0
Current children cumulated CPU time (s) 11.61
Current children cumulated vsize (KiB) 188280

[startup+25.5003 s]
/proc/loadavg: 2.24 2.10 2.03 3/183 5695
/proc/meminfo: memFree=30835780/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=25732 CPUtime=6.14 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 18375 82000 0 0 173 51 359 31 20 0 1 0 279923336 26349568 5743 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 6433 5743 206 440 0 5989 0
[pid=5692] ppid=5675 vsize=153400 CPUtime=18.25 cores=0,2,4,6
/proc/5692/stat : 5692 (glucosInc) R 5675 5674 4091 0 -1 4202496 29997 0 0 0 1818 7 0 0 20 0 1 0 279924058 157081600 33945 33554432000 4194304 5654031 140733502207280 140733502195096 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5692/statm: 38350 33945 141 357 0 37990 0
Current children cumulated CPU time (s) 24.39
Current children cumulated vsize (KiB) 188280

[startup+51.1065 s]
/proc/loadavg: 2.23 2.11 2.03 3/184 5698
/proc/meminfo: memFree=30829324/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=24964 CPUtime=33.96 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 24210 113207 0 0 235 59 3060 42 20 0 1 0 279923336 25563136 5551 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 6241 5551 206 440 0 5797 0
[pid=5698] ppid=5675 vsize=169664 CPUtime=16.03 cores=0,2,4,6
/proc/5698/stat : 5698 (glucosInc) R 5675 5674 4091 0 -1 4202496 28344 0 0 0 1597 6 0 0 20 0 1 0 279926842 173735936 33979 33554432000 4194304 5654031 140737487550304 140737487538120 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5698/statm: 42416 33979 142 357 0 42056 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (KiB) 203776

[startup+102.3 s]
/proc/loadavg: 2.19 2.12 2.04 3/184 5729
/proc/meminfo: memFree=30892164/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=24472 CPUtime=77 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 35150 172334 0 0 351 76 7211 62 20 0 1 0 279923336 25059328 5428 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 6118 5428 206 440 0 5674 0
[pid=5704] ppid=5675 vsize=134528 CPUtime=24.18 cores=0,2,4,6
/proc/5704/stat : 5704 (glucosInc) R 5675 5674 4091 0 -1 4202496 26613 0 0 0 2411 7 0 0 20 0 1 0 279931146 137756672 29751 33554432000 4194304 5654031 140734023752528 140734023740344 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5704/statm: 33632 29751 142 357 0 33272 0
Current children cumulated CPU time (s) 101.18
Current children cumulated vsize (KiB) 168148

[startup+162.3 s]
/proc/loadavg: 2.11 2.11 2.04 3/183 5733
/proc/meminfo: memFree=30892752/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=24020 CPUtime=146.72 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 45624 228270 0 0 459 90 14039 84 20 0 1 0 279923336 24596480 5315 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 6005 5315 206 440 0 5561 0
[pid=5733] ppid=5675 vsize=129152 CPUtime=14.46 cores=0,2,4,6
/proc/5733/stat : 5733 (glucosInc) R 5675 5674 4091 0 -1 4202496 25227 0 0 0 1439 7 0 0 20 0 1 0 279938119 132251648 29024 33554432000 4194304 5654031 140735935038272 140735935026088 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5733/statm: 32288 29024 142 357 0 31928 0
Current children cumulated CPU time (s) 161.18
Current children cumulated vsize (KiB) 162320

[startup+222.3 s]
/proc/loadavg: 2.09 2.10 2.03 3/183 5737
/proc/meminfo: memFree=30886168/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=23844 CPUtime=185.47 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 57289 280205 0 0 561 104 17779 103 20 0 1 0 279923336 24416256 5271 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 5961 5271 206 440 0 5517 0
[pid=5737] ppid=5675 vsize=130452 CPUtime=35.69 cores=0,2,4,6
/proc/5737/stat : 5737 (glucosInc) R 5675 5674 4091 0 -1 4202496 25291 0 0 0 3563 6 0 0 20 0 1 0 279941995 133582848 28128 33554432000 4194304 5654031 140737010257408 140737010245224 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5737/statm: 32613 28128 141 357 0 32253 0
Current children cumulated CPU time (s) 221.16
Current children cumulated vsize (KiB) 163444

[startup+282.3 s]
/proc/loadavg: 2.03 2.08 2.03 3/183 5737
/proc/meminfo: memFree=30852212/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=23844 CPUtime=185.47 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 57289 280205 0 0 561 104 17779 103 20 0 1 0 279923336 24416256 5271 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 5961 5271 206 440 0 5517 0
[pid=5737] ppid=5675 vsize=163232 CPUtime=95.67 cores=0,2,4,6

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

/proc/loadavg: 2.10 2.04 2.00 3/183 5769
/proc/meminfo: memFree=30814888/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=56208 CPUtime=752.44 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 84551 387326 0 0 745 126 74223 150 20 0 1 0 279923336 57556992 13330 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 14052 13330 206 440 0 13608 0
[pid=5754] ppid=5675 vsize=197624 CPUtime=548.45 cores=0,2,4,6
/proc/5754/stat : 5754 (glucosInc) R 5675 5674 4091 0 -1 4202496 28595 0 0 0 54828 17 0 0 20 0 1 0 279998706 202366976 45496 33554432000 4194304 5654031 140733381400288 140733381388104 4214977 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5754/statm: 49406 45496 141 357 0 49046 0
Current children cumulated CPU time (s) 1300.89
Current children cumulated vsize (KiB) 262980

[startup+1362.31 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 5769
/proc/meminfo: memFree=30815144/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=56208 CPUtime=752.44 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 84551 387326 0 0 745 126 74223 150 20 0 1 0 279923336 57556992 13330 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 14052 13330 206 440 0 13608 0
[pid=5754] ppid=5675 vsize=197624 CPUtime=608.45 cores=0,2,4,6
/proc/5754/stat : 5754 (glucosInc) R 5675 5674 4091 0 -1 4202496 29383 0 0 0 60826 19 0 0 20 0 1 0 279998706 202366976 45496 33554432000 4194304 5654031 140733381400288 140733381388104 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5754/statm: 49406 45496 141 357 0 49046 0
Current children cumulated CPU time (s) 1360.89
Current children cumulated vsize (KiB) 262980

[startup+1422.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 5771
/proc/meminfo: memFree=30865204/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=56208 CPUtime=752.44 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 84551 387326 0 0 745 126 74223 150 20 0 1 0 279923336 57556992 13330 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 14052 13330 206 440 0 13608 0
[pid=5754] ppid=5675 vsize=197624 CPUtime=668.44 cores=0,2,4,6
/proc/5754/stat : 5754 (glucosInc) R 5675 5674 4091 0 -1 4202496 30163 0 0 0 66823 21 0 0 20 0 1 0 279998706 202366976 43960 33554432000 4194304 5654031 140733381400288 140733381388104 4233190 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5754/statm: 49406 43960 141 357 0 49046 0
Current children cumulated CPU time (s) 1420.88
Current children cumulated vsize (KiB) 262980

[startup+1482.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 5773
/proc/meminfo: memFree=30893052/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=56208 CPUtime=1430.35 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 91858 418066 0 0 790 131 141941 173 20 0 1 0 279923336 57556992 13330 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 14052 13330 206 440 0 13608 0
[pid=5773] ppid=5675 vsize=148744 CPUtime=50.53 cores=0,2,4,6
/proc/5773/stat : 5773 (glucosInc) R 5675 5674 4091 0 -1 4202496 24234 0 0 0 5047 6 0 0 20 0 1 0 280066511 152313856 33013 33554432000 4194304 5654031 140735320884160 140735320871976 4232700 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5773/statm: 37186 33013 141 357 0 36826 0
Current children cumulated CPU time (s) 1480.88
Current children cumulated vsize (KiB) 214100

[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 5773
/proc/meminfo: memFree=30888952/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=56208 CPUtime=1430.35 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 91858 418066 0 0 790 131 141941 173 20 0 1 0 279923336 57556992 13330 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 14052 13330 206 440 0 13608 0
[pid=5773] ppid=5675 vsize=148744 CPUtime=110.52 cores=0,2,4,6
/proc/5773/stat : 5773 (glucosInc) R 5675 5674 4091 0 -1 4202496 25162 0 0 0 11044 8 0 0 20 0 1 0 280066511 152313856 34810 33554432000 4194304 5654031 140735320884160 140735320871976 4232767 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5773/statm: 37186 34810 141 357 0 36826 0
Current children cumulated CPU time (s) 1540.87
Current children cumulated vsize (KiB) 214100

[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/185 5875
/proc/meminfo: memFree=31206372/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=56208 CPUtime=1430.35 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 91858 418066 0 0 790 131 141941 173 20 0 1 0 279923336 57556992 13330 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 14052 13330 206 440 0 13608 0
[pid=5773] ppid=5675 vsize=148744 CPUtime=170.49 cores=0,2,4,6
/proc/5773/stat : 5773 (glucosInc) R 5675 5674 4091 0 -1 4202496 25242 0 0 0 17040 9 0 0 20 0 1 0 280066511 152313856 34903 33554432000 4194304 5654031 140735320884160 140735320871976 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5773/statm: 37186 34903 141 357 0 36826 0
Current children cumulated CPU time (s) 1600.84
Current children cumulated vsize (KiB) 214100

[startup+1662.3 s]
/proc/loadavg: 1.84 1.97 1.98 3/185 6582
/proc/meminfo: memFree=31205552/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=56208 CPUtime=1430.35 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 91858 418066 0 0 790 131 141941 173 20 0 1 0 279923336 57556992 13330 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 14052 13330 206 440 0 13608 0
[pid=5773] ppid=5675 vsize=148744 CPUtime=230.48 cores=0,2,4,6
/proc/5773/stat : 5773 (glucosInc) R 5675 5674 4091 0 -1 4202496 25278 0 0 0 23038 10 0 0 20 0 1 0 280066511 152313856 35029 33554432000 4194304 5654031 140735320884160 140735320871976 4208659 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5773/statm: 37186 35029 141 357 0 36826 0
Current children cumulated CPU time (s) 1660.83
Current children cumulated vsize (KiB) 214100

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/185 7300
/proc/meminfo: memFree=31133508/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=56208 CPUtime=1430.35 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 91858 418066 0 0 790 131 141941 173 20 0 1 0 279923336 57556992 13330 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 14052 13330 206 440 0 13608 0
[pid=5773] ppid=5675 vsize=198064 CPUtime=290.47 cores=0,2,4,6
/proc/5773/stat : 5773 (glucosInc) R 5675 5674 4091 0 -1 4202496 25339 0 0 0 29036 11 0 0 20 0 1 0 280066511 202817536 44255 33554432000 4194304 5654031 140735320884160 140735320871976 4232788 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5773/statm: 49516 44255 141 357 0 49156 0
Current children cumulated CPU time (s) 1720.82
Current children cumulated vsize (KiB) 263420

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 8007
/proc/meminfo: memFree=31126540/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=56208 CPUtime=1430.35 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 91858 418066 0 0 790 131 141941 173 20 0 1 0 279923336 57556992 13330 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 14052 13330 206 440 0 13608 0
[pid=5773] ppid=5675 vsize=198064 CPUtime=350.46 cores=0,2,4,6
/proc/5773/stat : 5773 (glucosInc) R 5675 5674 4091 0 -1 4202496 25446 0 0 0 35034 12 0 0 20 0 1 0 280066511 202817536 45279 33554432000 4194304 5654031 140735320884160 140735320871976 4232767 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5773/statm: 49516 45279 141 357 0 49156 0
Current children cumulated CPU time (s) 1780.81
Current children cumulated vsize (KiB) 263420



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 8248
/proc/meminfo: memFree=31151968/32873844 swapFree=7112/7112
[pid=5674] ppid=5672 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5674/stat : 5674 (npSolver-pbo-It) S 5672 5674 4091 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 279923336 9367552 275 33554432000 4194304 5064252 140735727932928 140735727931840 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5674/statm: 2287 275 233 213 0 72 0
[pid=5675] ppid=5674 vsize=56208 CPUtime=1430.35 cores=0,2,4,6
/proc/5675/stat : 5675 (npSolver-pbo) S 5674 5674 4091 0 -1 4202496 91858 418066 0 0 790 131 141941 173 20 0 1 0 279923336 57556992 13330 33554432000 4194304 5992684 140733614662784 140733614648616 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5675/statm: 14052 13330 206 440 0 13608 0
[pid=5773] ppid=5675 vsize=228884 CPUtime=369.67 cores=0,2,4,6
/proc/5773/stat : 5773 (glucosInc) R 5675 5674 4091 0 -1 4202496 25518 0 0 0 36954 13 0 0 20 0 1 0 280066511 234377216 47906 33554432000 4194304 5654031 140735320884160 140735320882248 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5773/statm: 57221 47906 141 357 0 56861 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 294240

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 5674 and gives
#  childrusage.ru_utime.tv_sec=1427
#  childrusage.ru_utime.tv_usec=315015
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=53535
# CPU time returned by wait4() is 1430.37
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1801.51
CPU time (s): 1800.02
CPU user time (s): 1796.85
CPU system time (s): 3.17
CPU usage (%): 99.9171
Max. virtual memory (cumulated for all children) (KiB): 343120

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1427.32
system time used= 3.05354
maximum resident set size= 246376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510299
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1185288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7375
involuntary context switches= 2031

runsolver used 2.6456 second user time and 7.2519 second system time

The end

Launcher Data 

Begin job on node132 at 2012-05-27 18:59:40
IDJOB=3702520
IDBENCH=92760
IDSOLVER=2278
FILE ID=node132/3702520-1338137980
RUNJOBID= node132-1338123012-4107
PBS_JOBID= 14624343
Free space on /tmp= 71528 MiB

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

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

MD5SUM BENCH= d0955493ad3dd18776a949983101631a
RANDOM SEED=1625460767

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:        31038772 kB
Buffers:          372792 kB
Cached:           243896 kB
SwapCached:         2292 kB
Active:           924780 kB
Inactive:          38684 kB
Active(anon):     339308 kB
Inactive(anon):     9244 kB
Active(file):     585472 kB
Inactive(file):    29440 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67103732 kB
Dirty:              8544 kB
Writeback:             0 kB
AnonPages:        345540 kB
Mapped:            12588 kB
Shmem:                 8 kB
Slab:             730524 kB
SReclaimable:     172216 kB
SUnreclaim:       558308 kB
KernelStack:        1520 kB
PageTables:         4600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     502780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    100352 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= 71580 MiB
End job on node132 at 2012-05-27 19:29:42