Trace number 3746910

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 (fixed)? (TO) 1800.05 1800.42

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Base/
normalized-minisat85_4_27_8.opb
MD5SUMf1796031dd2222ba84ddb055b00dac83
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark4276357
Best CPU time to get the best result obtained on this benchmark1800.57
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables14620
Total number of constraints21851
Number of constraints which are clauses170
Number of constraints which are cardinality constraints (but not clauses)6
Number of constraints which are nor clauses,nor cardinality constraints21675
Minimum length of a constraint2
Maximum length of a constraint3570
Number of terms in the objective function 14365
Biggest coefficient in the objective function 137388096
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 102095438945
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 137388096
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 102095438945
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.09	c old isEQ: 0, new EQ is 1
1.19/1.26	c run inc solver
1.19/1.26	c [INC SYSTEM] run initial solver
1.19/1.26	c [INC SYSTEM] preprocess with white file
7.27/7.38	c [INC SYSTEM] finished preprocessing in 6 s
7.27/7.38	c [INC SYSTEM] execute solver
11.27/11.35	c [INC SEARCH] formula is SAT
11.27/11.38	c [INC SYSTEM] solved the initial formula
11.37/11.43	c model valid
11.37/11.43	c current solution ok
13.57/13.68	o 191539865
13.57/13.68	c [INC SYSTEM] there exists a inc, kill it!
13.57/13.68	c write failed with 2
13.67/13.70	c [INC SEARCH] iteration: 0
13.67/13.70	c [INC BOUNDS] best value:191539950 search for 191539949
13.67/13.70	c [INC SYSTEM] create new solver instance
13.67/13.70	c [INC] encode full formula
13.67/13.70	c fallback to adder encoding
15.87/15.99	c set iterative enc to: adder
15.87/15.99	c set iterative enc to: none
16.27/16.37	c [INC SEARCH] isOptimum variable: 0
20.77/20.88	c formula is SAT
20.87/20.96	c [INC SEARCH] copied best model
20.87/20.97	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
20.96/21.02	c model valid
20.96/21.02	c current solution ok
20.96/21.02	o 142920875
20.96/21.02	c [INC SEARCH] iteration: 1
20.96/21.02	c [INC BOUNDS] best value:142920960 search for 142920959
20.96/21.02	c [INC SYSTEM] there exists a inc, kill it!
20.96/21.02	c write failed with 2
20.96/21.05	c [INC SYSTEM] create new solver instance
20.96/21.05	c [INC] encode full formula
20.96/21.05	c fallback to adder encoding
23.27/23.37	c set iterative enc to: adder
23.27/23.37	c set iterative enc to: none
23.68/23.78	c [INC SEARCH] isOptimum variable: 0
78.37/78.46	c formula is SAT
78.47/78.55	c [INC SEARCH] copied best model
78.47/78.55	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
78.56/78.60	c model valid
78.56/78.60	c current solution ok
78.56/78.60	o 98330359
78.56/78.60	c [INC SEARCH] iteration: 2
78.56/78.60	c [INC BOUNDS] best value:98330444 search for 98330443
78.56/78.60	c [INC SYSTEM] there exists a inc, kill it!
78.56/78.60	c write failed with 2
78.56/78.63	c [INC SYSTEM] create new solver instance
78.56/78.63	c [INC] encode full formula
78.56/78.63	c fallback to adder encoding
80.78/80.84	c set iterative enc to: adder
80.78/80.84	c set iterative enc to: none
81.17/81.22	c [INC SEARCH] isOptimum variable: 0
122.15/122.29	c formula is SAT
122.25/122.37	c [INC SEARCH] copied best model
122.25/122.38	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
122.35/122.43	c model valid
122.35/122.43	c current solution ok
122.35/122.43	o 44183887
122.35/122.43	c [INC SEARCH] iteration: 3
122.35/122.43	c [INC BOUNDS] best value:44183972 search for 44183971
122.35/122.43	c [INC SYSTEM] there exists a inc, kill it!
122.35/122.43	c write failed with 2
122.35/122.45	c [INC SYSTEM] create new solver instance
122.35/122.45	c [INC] encode full formula
122.35/122.45	c fallback to adder encoding
124.48/124.53	c set iterative enc to: adder
124.48/124.53	c set iterative enc to: none
124.87/124.90	c [INC SEARCH] isOptimum variable: 0
168.66/168.76	c formula is SAT
168.76/168.84	c [INC SEARCH] copied best model
168.76/168.84	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
168.76/168.89	c model valid
168.76/168.89	c current solution ok
168.76/168.89	o 32840315
168.76/168.89	c [INC SEARCH] iteration: 4
168.76/168.89	c [INC BOUNDS] best value:32840400 search for 32840399
168.76/168.89	c [INC SYSTEM] there exists a inc, kill it!
168.76/168.89	c write failed with 2
168.86/168.92	c [INC SYSTEM] create new solver instance
168.86/168.92	c [INC] encode full formula
168.86/168.92	c fallback to adder encoding
170.67/170.77	c set iterative enc to: adder
170.67/170.77	c set iterative enc to: none
171.07/171.11	c [INC SEARCH] isOptimum variable: 0
254.75/254.87	c formula is SAT
254.85/254.94	c [INC SEARCH] copied best model
254.85/254.95	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
254.85/254.99	c model valid
254.85/254.99	c current solution ok
254.85/254.99	o 22569101
254.85/254.99	c [INC SEARCH] iteration: 5
254.85/254.99	c [INC BOUNDS] best value:22569186 search for 22569185
254.85/254.99	c [INC SYSTEM] there exists a inc, kill it!
254.85/254.99	c write failed with 2
254.95/255.02	c [INC SYSTEM] create new solver instance
254.95/255.02	c [INC] encode full formula
254.95/255.02	c fallback to adder encoding
256.75/256.80	c set iterative enc to: adder
256.75/256.80	c set iterative enc to: none
257.05/257.13	c [INC SEARCH] isOptimum variable: 0
526.79/526.95	c formula is SAT
526.88/527.02	c [INC SEARCH] copied best model
526.88/527.02	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
526.88/527.07	c model valid
526.88/527.07	c current solution ok
526.88/527.07	o 21822575
526.88/527.07	c [INC SEARCH] iteration: 6
526.88/527.07	c [INC BOUNDS] best value:21822660 search for 21822659
526.88/527.07	c [INC SYSTEM] there exists a inc, kill it!
526.88/527.07	c write failed with 2
526.88/527.08	c [INC SYSTEM] create new solver instance
526.88/527.08	c [INC] encode full formula
526.88/527.08	c fallback to adder encoding
528.70/528.83	c set iterative enc to: adder
528.70/528.83	c set iterative enc to: none
529.00/529.15	c [INC SEARCH] isOptimum variable: 0
1800.05/1800.41	HOME/npSolver-pbo-Itd.sh: line 18:  2360 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=0 -useCP2=1 -useInc=1

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3746910-1339109284/watcher-3746910-1339109284 -o /tmp/evaluation-result-3746910-1339109284/solver-3746910-1339109284 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746910-1339109284.opb 454947374 HOME HOME 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2359
/proc/meminfo: memFree=24943564/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0

[startup+0.00714991 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2359
/proc/meminfo: memFree=24943564/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100261 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2359
/proc/meminfo: memFree=24943564/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300293 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2359
/proc/meminfo: memFree=24943564/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700326 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 2359
/proc/meminfo: memFree=24943564/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50037 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 2361
/proc/meminfo: memFree=24847392/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=85480 CPUtime=1.27 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 9055 0 0 0 111 16 0 0 20 0 1 0 377053265 87531520 19889 33554432000 4194304 6004724 140736285916768 140736285911232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2360/statm: 21370 19889 171 442 0 20924 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 94628

[startup+3.10045 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 2363
/proc/meminfo: memFree=24659672/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=85480 CPUtime=1.27 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 9055 0 0 0 111 16 0 0 20 0 1 0 377053265 87531520 19889 33554432000 4194304 6004724 140736285916768 140736285911232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2360/statm: 21370 19889 171 442 0 20924 0
[pid=2362] ppid=2360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2362/stat : 2362 (cp2_pre.sh) S 2360 2359 638 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 377053393 9367552 276 33554432000 4194304 5064252 140733579428560 140733579427264 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2362/statm: 2287 276 234 213 0 72 0
[pid=2363] ppid=2362 vsize=355284 CPUtime=1.8 cores=1,3,5,7
/proc/2363/stat : 2363 (coprocessor) R 2362 2359 638 0 -1 4202496 40475 0 0 0 169 11 0 0 20 0 1 0 377053393 363810816 79398 33554432000 4194304 6586260 140736517067968 140736517064232 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/2363/statm: 88821 79398 166 584 0 88233 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 459060

[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 2363
/proc/meminfo: memFree=24365304/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=85480 CPUtime=1.27 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 9055 0 0 0 111 16 0 0 20 0 1 0 377053265 87531520 19889 33554432000 4194304 6004724 140736285916768 140736285911232 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/2360/statm: 21370 19889 171 442 0 20924 0
[pid=2362] ppid=2360 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2362/stat : 2362 (cp2_pre.sh) S 2360 2359 638 0 -1 4202496 606 0 0 0 0 0 0 0 20 0 1 0 377053393 9367552 276 33554432000 4194304 5064252 140733579428560 140733579427264 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/2362/statm: 2287 276 234 213 0 72 0
[pid=2363] ppid=2362 vsize=451108 CPUtime=5 cores=1,3,5,7
/proc/2363/stat : 2363 (coprocessor) R 2362 2359 638 0 -1 4202496 58099 0 0 0 469 31 0 0 20 0 1 0 377053393 461934592 109649 33554432000 4194304 6586260 140736517067968 140736517063720 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/2363/statm: 112777 109649 204 584 0 112189 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 554884

[startup+12.7003 s]
/proc/loadavg: 2.15 2.03 2.01 3/181 2365
/proc/meminfo: memFree=24662592/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=89540 CPUtime=8.71 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) R 2359 2359 638 0 -1 4202496 11399 59001 0 0 141 121 570 39 20 0 1 0 377053265 91688960 20913 33554432000 4194304 6004724 140736285916768 140736285910968 5190832 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2360/statm: 22385 20913 180 442 0 21939 0
[pid=2365] ppid=2360 vsize=169964 CPUtime=3.95 cores=1,3,5,7
/proc/2365/stat : 2365 (glucosInc) S 2360 2359 638 0 -1 4202496 32934 0 0 0 388 7 0 0 20 0 1 0 377054003 174043136 39385 33554432000 4194304 5654031 140735802211184 140735802209496 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2365/statm: 42491 39385 146 357 0 42131 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 268652

[startup+25.5004 s]
/proc/loadavg: 2.13 2.03 2.01 3/181 2370
/proc/meminfo: memFree=24288032/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=110768 CPUtime=23.76 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 29098 177048 0 0 633 267 1382 94 20 0 1 0 377053265 113426432 26255 33554432000 4194304 6004724 140736285916768 140736285902616 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2360/statm: 27692 26255 183 442 0 27246 0
[pid=2370] ppid=2360 vsize=471500 CPUtime=1.7 cores=1,3,5,7
/proc/2370/stat : 2370 (glucosInc) R 2360 2359 638 0 -1 4202496 64983 0 0 0 153 17 0 0 20 0 1 0 377055643 482816000 103552 33554432000 4194304 5654031 140736523520096 140736522469688 4206223 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2370/statm: 117875 103552 109 357 0 117515 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 591416

[startup+51.1004 s]
/proc/loadavg: 2.08 2.03 2.01 3/181 2370
/proc/meminfo: memFree=24130908/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=110768 CPUtime=23.76 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 29098 177048 0 0 633 267 1382 94 20 0 1 0 377053265 113426432 26255 33554432000 4194304 6004724 140736285916768 140736285902616 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2360/statm: 27692 26255 183 442 0 27246 0
[pid=2370] ppid=2360 vsize=550860 CPUtime=27.31 cores=1,3,5,7
/proc/2370/stat : 2370 (glucosInc) R 2360 2359 638 0 -1 4202496 87252 0 0 0 2707 24 0 0 20 0 1 0 377055643 564080640 127965 33554432000 4194304 5654031 140736523520096 140736523517880 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2370/statm: 137715 127965 140 357 0 137355 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 670776

[startup+102.307 s]
/proc/loadavg: 2.09 2.04 2.01 3/181 2372
/proc/meminfo: memFree=24135560/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=109872 CPUtime=81.2 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 40825 266559 0 0 868 301 6820 131 20 0 1 0 377053265 112508928 26031 33554432000 4194304 6004724 140736285916768 140736285902616 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2360/statm: 27468 26031 183 442 0 27022 0
[pid=2372] ppid=2360 vsize=548604 CPUtime=21.07 cores=1,3,5,7
/proc/2372/stat : 2372 (glucosInc) R 2360 2359 638 0 -1 4202496 83098 0 0 0 2080 27 0 0 20 0 1 0 377061388 561770496 123565 33554432000 4194304 5654031 140734973096992 140734973094600 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/2372/statm: 137151 123565 141 357 0 136791 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 667624

[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/182 2377
/proc/meminfo: memFree=24129796/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=109152 CPUtime=124.87 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 51607 350810 0 0 1090 333 10894 170 20 0 1 0 377053265 111771648 25851 33554432000 4194304 6004724 140736285916768 140736285902616 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2360/statm: 27288 25851 183 442 0 26842 0
[pid=2377] ppid=2360 vsize=543540 CPUtime=37.38 cores=1,3,5,7
/proc/2377/stat : 2377 (glucosInc) R 2360 2359 638 0 -1 4202496 83038 0 0 0 3715 23 0 0 20 0 1 0 377065755 556584960 123408 33554432000 4194304 5654031 140734753713056 140734753710824 4215307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2377/statm: 135885 123408 142 357 0 135525 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 661840

[startup+222.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/181 2379
/proc/meminfo: memFree=24209312/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=107436 CPUtime=171.08 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 61174 435228 0 0 1289 360 15252 207 20 0 1 0 377053265 110014464 25422 33554432000 4194304 6004724 140736285916768 140736285902616 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2360/statm: 26859 25422 183 442 0 26413 0
[pid=2379] ppid=2360 vsize=527540 CPUtime=51.16 cores=1,3,5,7
/proc/2379/stat : 2379 (glucosInc) R 2360 2359 638 0 -1 4202496 79538 0 0 0 5091 25 0 0 20 0 1 0 377070376 540200960 113976 33554432000 4194304 5654031 140735555170400 140735555158216 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2379/statm: 131885 113976 142 357 0 131525 0
Current children cumulated CPU time (s) 222.24

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

/proc/loadavg: 2.00 2.00 2.00 3/181 2412
/proc/meminfo: memFree=24024440/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=106020 CPUtime=529.05 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 79348 599526 0 0 1670 411 50523 301 20 0 1 0 377053265 108564480 25068 33554432000 4194304 6004724 140736285916768 140736285902616 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2360/statm: 26505 25068 183 442 0 26059 0
[pid=2384] ppid=2360 vsize=729052 CPUtime=772.98 cores=1,3,5,7
/proc/2384/stat : 2384 (glucosInc) R 2360 2359 638 0 -1 4202496 85085 0 0 0 77227 71 0 0 20 0 1 0 377106181 746549248 155540 33554432000 4194304 5654031 140737158994736 140737158992824 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2384/statm: 182263 155540 142 357 0 181903 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 844220

[startup+1362.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/182 2417
/proc/meminfo: memFree=24207388/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=106020 CPUtime=529.05 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 79348 599526 0 0 1670 411 50523 301 20 0 1 0 377053265 108564480 25068 33554432000 4194304 6004724 140736285916768 140736285902616 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2360/statm: 26505 25068 183 442 0 26059 0
[pid=2384] ppid=2360 vsize=599836 CPUtime=832.96 cores=1,3,5,7
/proc/2384/stat : 2384 (glucosInc) R 2360 2359 638 0 -1 4202496 86363 0 0 0 83221 75 0 0 20 0 1 0 377106181 614232064 122060 33554432000 4194304 5654031 140737158994736 140737158992424 4215014 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2384/statm: 149959 122060 142 357 0 149599 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 715004

[startup+1422.31 s]
/proc/loadavg: 2.02 2.02 2.00 3/181 2417
/proc/meminfo: memFree=24052640/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=106020 CPUtime=529.05 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 79348 599526 0 0 1670 411 50523 301 20 0 1 0 377053265 108564480 25068 33554432000 4194304 6004724 140736285916768 140736285902616 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2360/statm: 26505 25068 183 442 0 26059 0
[pid=2384] ppid=2360 vsize=740996 CPUtime=892.95 cores=1,3,5,7
/proc/2384/stat : 2384 (glucosInc) R 2360 2359 638 0 -1 4202496 88969 0 0 0 89209 86 0 0 20 0 1 0 377106181 758779904 157333 33554432000 4194304 5654031 140737158994736 140737158992824 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2384/statm: 185249 157333 142 357 0 184889 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 856164

[startup+1482.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 2417
/proc/meminfo: memFree=24008600/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=106020 CPUtime=529.05 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 79348 599526 0 0 1670 411 50523 301 20 0 1 0 377053265 108564480 25068 33554432000 4194304 6004724 140736285916768 140736285902616 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2360/statm: 26505 25068 183 442 0 26059 0
[pid=2384] ppid=2360 vsize=740996 CPUtime=952.94 cores=1,3,5,7
/proc/2384/stat : 2384 (glucosInc) R 2360 2359 638 0 -1 4202496 90099 0 0 0 95198 96 0 0 20 0 1 0 377106181 758779904 165048 33554432000 4194304 5654031 140737158994736 140737158992824 4214944 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2384/statm: 185249 165048 142 357 0 184889 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 856164

[startup+1542.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/176 2447
/proc/meminfo: memFree=24708672/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=106020 CPUtime=529.05 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 79348 599526 0 0 1670 411 50523 301 20 0 1 0 377053265 108564480 25068 33554432000 4194304 6004724 140736285916768 140736285902616 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2360/statm: 26505 25068 183 442 0 26059 0
[pid=2384] ppid=2360 vsize=955920 CPUtime=1012.93 cores=1,3,5,7
/proc/2384/stat : 2384 (glucosInc) R 2360 2359 638 0 -1 4202496 92112 0 0 0 101183 110 0 0 20 0 1 0 377106181 978862080 184428 33554432000 4194304 5654031 140737158994736 140737158992824 4215091 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2384/statm: 238980 184428 142 357 0 238620 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1071088

[startup+1602.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/180 2458
/proc/meminfo: memFree=18632456/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=106020 CPUtime=529.05 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 79348 599526 0 0 1670 411 50523 301 20 0 1 0 377053265 108564480 25068 33554432000 4194304 6004724 140736285916768 140736285902616 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2360/statm: 26505 25068 183 442 0 26059 0
[pid=2384] ppid=2360 vsize=955920 CPUtime=1072.92 cores=1,3,5,7
/proc/2384/stat : 2384 (glucosInc) R 2360 2359 638 0 -1 4202496 93741 0 0 0 107169 123 0 0 20 0 1 0 377106181 978862080 186529 33554432000 4194304 5654031 140737158994736 140737158992824 4215091 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2384/statm: 238980 186529 142 357 0 238620 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1071088

[startup+1662.3 s]
/proc/loadavg: 2.58 2.20 2.06 3/182 2460
/proc/meminfo: memFree=11068060/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=106020 CPUtime=529.05 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 79348 599526 0 0 1670 411 50523 301 20 0 1 0 377053265 108564480 25068 33554432000 4194304 6004724 140736285916768 140736285902616 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2360/statm: 26505 25068 183 442 0 26059 0
[pid=2384] ppid=2360 vsize=741132 CPUtime=1132.91 cores=1,3,5,7
/proc/2384/stat : 2384 (glucosInc) R 2360 2359 638 0 -1 4202496 94944 0 0 0 113159 132 0 0 20 0 1 0 377106181 758919168 173874 33554432000 4194304 5654031 140737158994736 140737158992824 4232960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2384/statm: 185283 173874 142 357 0 184923 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 856300

[startup+1722.3 s]
/proc/loadavg: 2.43 2.23 2.08 3/182 2460
/proc/meminfo: memFree=9721196/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=106020 CPUtime=529.05 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 79348 599526 0 0 1670 411 50523 301 20 0 1 0 377053265 108564480 25068 33554432000 4194304 6004724 140736285916768 140736285902616 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2360/statm: 26505 25068 183 442 0 26059 0
[pid=2384] ppid=2360 vsize=741700 CPUtime=1192.9 cores=1,3,5,7
/proc/2384/stat : 2384 (glucosInc) R 2360 2359 638 0 -1 4202496 96653 0 0 0 119148 142 0 0 20 0 1 0 377106181 759500800 153525 33554432000 4194304 5654031 140737158994736 140737158992824 4232988 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2384/statm: 185425 153525 142 357 0 185065 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 856868

[startup+1782.3 s]
/proc/loadavg: 2.14 2.18 2.07 3/181 2462
/proc/meminfo: memFree=11100660/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=106020 CPUtime=529.05 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 79348 599526 0 0 1670 411 50523 301 20 0 1 0 377053265 108564480 25068 33554432000 4194304 6004724 140736285916768 140736285902616 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2360/statm: 26505 25068 183 442 0 26059 0
[pid=2384] ppid=2360 vsize=957192 CPUtime=1252.89 cores=1,3,5,7
/proc/2384/stat : 2384 (glucosInc) R 2360 2359 638 0 -1 4202496 97279 0 0 0 125142 147 0 0 20 0 1 0 377106181 980164608 196052 33554432000 4194304 5654031 140737158994736 140737158992520 4232968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2384/statm: 239298 196052 142 357 0 238938 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1072360



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.11 2.17 2.07 3/181 2462
/proc/meminfo: memFree=11031880/32873844 swapFree=7628/7628
[pid=2359] ppid=2357 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/2359/stat : 2359 (npSolver-pbo-It) S 2357 2359 638 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377053265 9367552 274 33554432000 4194304 5064252 140734771552512 140734771551424 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/2359/statm: 2287 274 233 213 0 72 0
[pid=2360] ppid=2359 vsize=106020 CPUtime=529.05 cores=1,3,5,7
/proc/2360/stat : 2360 (npSolver-pbo) S 2359 2359 638 0 -1 4202496 79348 599526 0 0 1670 411 50523 301 20 0 1 0 377053265 108564480 25068 33554432000 4194304 6004724 140736285916768 140736285902616 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/2360/statm: 26505 25068 183 442 0 26059 0
[pid=2384] ppid=2360 vsize=957904 CPUtime=1271 cores=1,3,5,7
/proc/2384/stat : 2384 (glucosInc) R 2360 2359 638 0 -1 4202496 97444 0 0 0 126952 148 0 0 20 0 1 0 377106181 980893696 210014 33554432000 4194304 5654031 140737158994736 140737158992520 4233440 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/2384/statm: 239476 210014 142 357 0 239116 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1073072

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 2359 and gives
#  childrusage.ru_utime.tv_sec=521
#  childrusage.ru_utime.tv_usec=944652
#  childrusage.ru_stime.tv_sec=7
#  childrusage.ru_stime.tv_usec=130915
# CPU time returned by wait4() is 529.076
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.42
CPU time (s): 1800.05
CPU user time (s): 1791.45
CPU system time (s): 8.6
CPU usage (%): 99.9797
Max. virtual memory (cumulated for all children) (KiB): 1283408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 521.945
system time used= 7.13091
maximum resident set size= 683896
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 679248
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2648608
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15634
involuntary context switches= 4952

runsolver used 3.3065 second user time and 8.18576 second system time

The end

Launcher Data 

Begin job on node144 at 2012-06-08 00:48:04
IDJOB=3746910
IDBENCH=92752
IDSOLVER=2332
FILE ID=node144/3746910-1339109284
RUNJOBID= node144-1339098177-655
PBS_JOBID= 14643709
Free space on /tmp= 70720 MiB

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

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

MD5SUM BENCH= f1796031dd2222ba84ddb055b00dac83
RANDOM SEED=454947374

node144.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24944472 kB
Buffers:         1739040 kB
Cached:          4656028 kB
SwapCached:          452 kB
Active:          4415564 kB
Inactive:        2617756 kB
Active(anon):     618172 kB
Inactive(anon):    11188 kB
Active(file):    3797392 kB
Inactive(file):  2606568 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108396 kB
Dirty:              9332 kB
Writeback:             0 kB
AnonPages:        678960 kB
Mapped:            15652 kB
Shmem:               172 kB
Slab:             754268 kB
SReclaimable:     196396 kB
SUnreclaim:       557872 kB
KernelStack:        1504 kB
PageTables:         5688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     849680 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    301056 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= 68520 MiB
End job on node144 at 2012-06-08 01:18:05