Trace number 3697837

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topDown? (TO) 1800.08 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Multihop/
normalized-minisat15_5_3_2_mh.opb
MD5SUMebd57823bd571ff5d4e153dfd450b6f7
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5950590
Best CPU time to get the best result obtained on this benchmark113.64
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6810
Total number of constraints15202
Number of constraints which are clauses11580
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints3600
Minimum length of a constraint2
Maximum length of a constraint330
Number of terms in the objective function 3795
Biggest coefficient in the objective function 74088000
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 3666159515
Number of bits of the sum of numbers in the objective function 32
Biggest number in a constraint 74088000
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 3666159515
Number of bits of the biggest sum of numbers32
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.11	c run inc solver
0.00/0.11	c [INC SYSTEM] run initial solver
0.00/0.11	c [INC SYSTEM] preprocess with white file
0.00/0.70	c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.70	c [INC SYSTEM] execute solver
1.16/1.23	c [INC SEARCH] formula is SAT
1.16/1.23	c [INC SYSTEM] solved the initial formula
1.16/1.25	c model valid
1.16/1.25	c current solution ok
1.37/1.47	o 286482590
1.37/1.47	c [INC SYSTEM] there exists a inc, kill it!
1.37/1.47	c write failed with 2
1.37/1.47	c [INC SEARCH] iteration: 0
1.37/1.47	c [INC BOUNDS] best value:286482605 search for 286482604
1.37/1.47	c [INC SYSTEM] create new solver instance
1.37/1.47	c [INC] encode full formula
1.37/1.47	c fallback to adder encoding
1.98/2.08	c set iterative enc to: adder
1.98/2.08	c set iterative enc to: none
2.08/2.17	c [INC SEARCH] isOptimum variable: 0
14.28/14.33	c formula is SAT
14.28/14.34	c [INC SEARCH] copied best model
14.28/14.34	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
14.28/14.36	c model valid
14.28/14.36	c current solution ok
14.28/14.36	o 235235503
14.28/14.36	c [INC SEARCH] iteration: 1
14.28/14.36	c [INC BOUNDS] best value:235235518 search for 235235517
14.28/14.36	c [INC SYSTEM] there exists a inc, kill it!
14.28/14.36	c write failed with 2
14.28/14.37	c [INC SYSTEM] create new solver instance
14.28/14.37	c [INC] encode full formula
14.28/14.37	c fallback to adder encoding
14.89/14.96	c set iterative enc to: adder
14.89/14.96	c set iterative enc to: none
14.98/15.05	c [INC SEARCH] isOptimum variable: 0
155.06/155.11	c formula is SAT
155.06/155.12	c [INC SEARCH] copied best model
155.06/155.12	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
155.06/155.15	c model valid
155.06/155.15	c current solution ok
155.06/155.15	o 186489699
155.06/155.15	c [INC SEARCH] iteration: 2
155.06/155.15	c [INC BOUNDS] best value:186489714 search for 186489713
155.06/155.15	c [INC SYSTEM] there exists a inc, kill it!
155.06/155.15	c write failed with 2
155.06/155.16	c [INC SYSTEM] create new solver instance
155.06/155.16	c [INC] encode full formula
155.06/155.16	c fallback to adder encoding
155.66/155.75	c set iterative enc to: adder
155.66/155.75	c set iterative enc to: none
155.76/155.85	c [INC SEARCH] isOptimum variable: 0
255.74/255.87	c formula is SAT
255.74/255.89	c [INC SEARCH] copied best model
255.74/255.89	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
255.85/255.91	c model valid
255.85/255.91	c current solution ok
255.85/255.91	o 109267907
255.85/255.91	c [INC SEARCH] iteration: 3
255.85/255.91	c [INC BOUNDS] best value:109267922 search for 109267921
255.85/255.91	c [INC SYSTEM] there exists a inc, kill it!
255.85/255.91	c write failed with 2
255.85/255.92	c [INC SYSTEM] create new solver instance
255.85/255.92	c [INC] encode full formula
255.85/255.92	c fallback to adder encoding
256.45/256.50	c set iterative enc to: adder
256.45/256.50	c set iterative enc to: none
256.45/256.59	c [INC SEARCH] isOptimum variable: 0
321.33/321.49	c formula is SAT
321.44/321.51	c [INC SEARCH] copied best model
321.44/321.51	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
321.44/321.53	c model valid
321.44/321.53	c current solution ok
321.44/321.53	o 66266918
321.44/321.53	c [INC SEARCH] iteration: 4
321.44/321.53	c [INC BOUNDS] best value:66266933 search for 66266932
321.44/321.53	c [INC SYSTEM] there exists a inc, kill it!
321.44/321.53	c write failed with 2
321.44/321.54	c [INC SYSTEM] create new solver instance
321.44/321.54	c [INC] encode full formula
321.44/321.54	c fallback to adder encoding
321.94/322.09	c set iterative enc to: adder
321.94/322.09	c set iterative enc to: none
322.03/322.18	c [INC SEARCH] isOptimum variable: 0
1533.60/1533.92	c formula is SAT
1533.60/1533.94	c [INC SEARCH] copied best model
1533.60/1533.94	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1533.60/1533.96	c model valid
1533.60/1533.96	c current solution ok
1533.60/1533.96	o 37836173
1533.60/1533.96	c [INC SEARCH] iteration: 5
1533.60/1533.96	c [INC BOUNDS] best value:37836188 search for 37836187
1533.60/1533.96	c [INC SYSTEM] there exists a inc, kill it!
1533.60/1533.96	c write failed with 2
1533.60/1533.96	c [INC SYSTEM] create new solver instance
1533.60/1533.96	c [INC] encode full formula
1533.60/1533.96	c fallback to adder encoding
1534.23/1534.51	c set iterative enc to: adder
1534.23/1534.51	c set iterative enc to: none
1534.23/1534.59	c [INC SEARCH] isOptimum variable: 0
1800.04/1800.41	c [INC SYSTEM] an unexpexted return value has been received, exit
1800.04/1800.41	s UNKNOWN
1800.04/1800.41	c [INC SYSTEM] there exists a inc, kill it!
1800.04/1800.41	c write failed with -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-3697837-1338127731/watcher-3697837-1338127731 -o /tmp/evaluation-result-3697837-1338127731/solver-3697837-1338127731 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697837-1338127731.opb 1308080476 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.04 2.01 2.08 3/176 27476
/proc/meminfo: memFree=27686216/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0

[startup+0.0388941 s]
/proc/loadavg: 2.04 2.01 2.08 3/176 27476
/proc/meminfo: memFree=27686216/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100219 s]
/proc/loadavg: 2.04 2.01 2.08 3/176 27476
/proc/meminfo: memFree=27686216/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300263 s]
/proc/loadavg: 2.04 2.01 2.08 3/176 27476
/proc/meminfo: memFree=27686216/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700135 s]
/proc/loadavg: 2.04 2.01 2.08 3/176 27476
/proc/meminfo: memFree=27686216/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50026 s]
/proc/loadavg: 2.04 2.01 2.08 3/179 27482
/proc/meminfo: memFree=27661372/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=15884 CPUtime=1.48 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) R 27476 27476 26585 0 -1 4202496 4706 14913 0 0 16 21 105 6 20 0 1 0 278898589 16265216 3230 33554432000 4194304 5992684 140734939535664 140734939529464 5044337 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27477/statm: 3971 3230 189 440 0 3527 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 25032

[startup+3.10032 s]
/proc/loadavg: 2.04 2.01 2.08 3/178 27484
/proc/meminfo: memFree=27608232/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=17932 CPUtime=2.15 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 8406 15428 0 0 74 30 105 6 20 0 1 0 278898589 18362368 3862 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27477/statm: 4483 3862 190 440 0 4039 0
Current children cumulated CPU time (s) 2.15
Current children cumulated vsize (KiB) 27080
heavy processes:

[startup+6.30036 s]
/proc/loadavg: 2.04 2.01 2.08 3/179 27485
/proc/meminfo: memFree=27513464/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=17932 CPUtime=2.15 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 8406 15428 0 0 74 30 105 6 20 0 1 0 278898589 18362368 3862 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27477/statm: 4483 3862 190 440 0 4039 0
[pid=27485] ppid=27477 vsize=125944 CPUtime=4.12 cores=1,3,5,7
/proc/27485/stat : 27485 (glucosInc) R 27477 27476 26585 0 -1 4202496 25847 0 0 0 407 5 0 0 20 0 1 0 278898806 128966656 28038 33554432000 4194304 5654031 140737177526416 140737177514232 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27485/statm: 31486 28038 141 357 0 31126 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 153024

[startup+12.7005 s]
/proc/loadavg: 2.03 2.01 2.08 3/179 27485
/proc/meminfo: memFree=27509680/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=17932 CPUtime=2.15 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 8406 15428 0 0 74 30 105 6 20 0 1 0 278898589 18362368 3862 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27477/statm: 4483 3862 190 440 0 4039 0
[pid=27485] ppid=27477 vsize=126612 CPUtime=10.52 cores=1,3,5,7
/proc/27485/stat : 27485 (glucosInc) R 27477 27476 26585 0 -1 4202496 25988 0 0 0 1047 5 0 0 20 0 1 0 278898806 129650688 28690 33554432000 4194304 5654031 140737177526416 140737177514232 4233306 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27485/statm: 31653 28690 141 357 0 31293 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 153692

[startup+25.5005 s]
/proc/loadavg: 2.10 2.03 2.09 3/179 27487
/proc/meminfo: memFree=27515736/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16384 CPUtime=15.04 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 13999 42064 0 0 137 38 1315 14 20 0 1 0 278898589 16777216 3507 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27477/statm: 4096 3507 190 440 0 3652 0
[pid=27487] ppid=27477 vsize=124540 CPUtime=10.43 cores=1,3,5,7
/proc/27487/stat : 27487 (glucosInc) R 27477 27476 26585 0 -1 4202496 24252 0 0 0 1036 7 0 0 20 0 1 0 278900095 127528960 27984 33554432000 4194304 5654031 140737327385808 140737327383592 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27487/statm: 31135 27984 141 357 0 30775 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 150072

[startup+51.1005 s]
/proc/loadavg: 2.06 2.02 2.09 3/179 27487
/proc/meminfo: memFree=27511236/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16384 CPUtime=15.04 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 13999 42064 0 0 137 38 1315 14 20 0 1 0 278898589 16777216 3507 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27477/statm: 4096 3507 190 440 0 3652 0
[pid=27487] ppid=27477 vsize=124940 CPUtime=36.03 cores=1,3,5,7
/proc/27487/stat : 27487 (glucosInc) R 27477 27476 26585 0 -1 4202496 24337 0 0 0 3596 7 0 0 20 0 1 0 278900095 127938560 28580 33554432000 4194304 5654031 140737327385808 140737327383592 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27487/statm: 31235 28580 141 357 0 30875 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 150472

[startup+102.3 s]
/proc/loadavg: 2.19 2.06 2.09 3/180 27490
/proc/meminfo: memFree=27501800/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16384 CPUtime=15.04 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 13999 42064 0 0 137 38 1315 14 20 0 1 0 278898589 16777216 3507 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/27477/statm: 4096 3507 190 440 0 3652 0
[pid=27487] ppid=27477 vsize=125352 CPUtime=87.22 cores=1,3,5,7
/proc/27487/stat : 27487 (glucosInc) R 27477 27476 26585 0 -1 4202496 25016 0 0 0 8714 8 0 0 20 0 1 0 278900095 128360448 28673 33554432000 4194304 5654031 140737327385808 140737327383592 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27487/statm: 31338 28673 141 357 0 30978 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 150884

[startup+162.3 s]
/proc/loadavg: 2.22 2.10 2.10 3/179 27493
/proc/meminfo: memFree=27500160/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16324 CPUtime=155.82 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 19579 68974 0 0 200 47 15308 27 20 0 1 0 278898589 16715776 3492 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27477/statm: 4081 3492 190 440 0 3637 0
[pid=27493] ppid=27477 vsize=124972 CPUtime=6.43 cores=1,3,5,7
/proc/27493/stat : 27493 (glucosInc) R 27477 27476 26585 0 -1 4202496 25463 0 0 0 634 9 0 0 20 0 1 0 278914174 127971328 28390 33554432000 4194304 5654031 140734466230096 140734466227880 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27493/statm: 31243 28390 141 357 0 30883 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 150444

[startup+222.307 s]
/proc/loadavg: 2.07 2.07 2.09 3/179 27493
/proc/meminfo: memFree=27493004/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16324 CPUtime=155.82 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 19579 68974 0 0 200 47 15308 27 20 0 1 0 278898589 16715776 3492 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27477/statm: 4081 3492 190 440 0 3637 0
[pid=27493] ppid=27477 vsize=128520 CPUtime=66.43 cores=1,3,5,7
/proc/27493/stat : 27493 (glucosInc) R 27477 27476 26585 0 -1 4202496 26823 0 0 0 6632 11 0 0 20 0 1 0 278914174 131604480 29267 33554432000 4194304 5654031 140734466230096 140734466228120 4232720 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27493/statm: 32130 29267 141 357 0 31770 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 153992

[startup+282.3 s]
/proc/loadavg: 2.09 2.07 2.09 3/179 27495
/proc/meminfo: memFree=27492272/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0

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

/proc/meminfo: memFree=27519880/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16084 CPUtime=322.12 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 31071 123611 0 0 319 64 31775 54 20 0 1 0 278898589 16470016 3432 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27477/statm: 4021 3432 190 440 0 3577 0
[pid=27497] ppid=27477 vsize=130724 CPUtime=979.93 cores=1,3,5,7
/proc/27497/stat : 27497 (glucosInc) R 27477 27476 26585 0 -1 4202496 31014 0 0 0 97975 18 0 0 20 0 1 0 278930807 133861376 31201 33554432000 4194304 5654031 140733905908384 140733905896200 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27497/statm: 32681 31201 141 357 0 32321 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 155956

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/179 27511
/proc/meminfo: memFree=27513300/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16084 CPUtime=322.12 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 31071 123611 0 0 319 64 31775 54 20 0 1 0 278898589 16470016 3432 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27477/statm: 4021 3432 190 440 0 3577 0
[pid=27497] ppid=27477 vsize=131428 CPUtime=1039.91 cores=1,3,5,7
/proc/27497/stat : 27497 (glucosInc) R 27477 27476 26585 0 -1 4202496 31892 0 0 0 103972 19 0 0 20 0 1 0 278930807 134582272 31385 33554432000 4194304 5654031 140733905908384 140733905896200 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27497/statm: 32857 31385 141 357 0 32497 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 156660

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/179 27511
/proc/meminfo: memFree=27495240/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16084 CPUtime=322.12 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 31071 123611 0 0 319 64 31775 54 20 0 1 0 278898589 16470016 3432 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27477/statm: 4021 3432 190 440 0 3577 0
[pid=27497] ppid=27477 vsize=150932 CPUtime=1099.91 cores=1,3,5,7
/proc/27497/stat : 27497 (glucosInc) R 27477 27476 26585 0 -1 4202496 32596 0 0 0 109971 20 0 0 20 0 1 0 278930807 154554368 33105 33554432000 4194304 5654031 140733905908384 140733905906168 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27497/statm: 37733 33105 141 357 0 37373 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 176164

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/179 27511
/proc/meminfo: memFree=27500024/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16084 CPUtime=322.12 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 31071 123611 0 0 319 64 31775 54 20 0 1 0 278898589 16470016 3432 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27477/statm: 4021 3432 190 440 0 3577 0
[pid=27497] ppid=27477 vsize=132228 CPUtime=1159.9 cores=1,3,5,7
/proc/27497/stat : 27497 (glucosInc) R 27477 27476 26585 0 -1 4202496 32820 0 0 0 115969 21 0 0 20 0 1 0 278930807 135401472 31611 33554432000 4194304 5654031 140733905908384 140733905896200 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27497/statm: 33057 31611 141 357 0 32697 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 157460

[startup+1542.31 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 27559
/proc/meminfo: memFree=28142768/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16004 CPUtime=1534.32 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 36816 157672 0 0 377 72 152905 78 20 0 1 0 278898589 16388096 3412 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27477/statm: 4001 3412 190 440 0 3557 0
[pid=27558] ppid=27477 vsize=119500 CPUtime=7.69 cores=1,3,5,7
/proc/27558/stat : 27558 (glucosInc) R 27477 27476 26585 0 -1 4202496 24130 0 0 0 763 6 0 0 20 0 1 0 279052049 122368000 25956 33554432000 4194304 5654031 140735405552560 140735405550344 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/27558/statm: 29875 25956 141 357 0 29515 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 144652

[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 27561
/proc/meminfo: memFree=27558368/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16004 CPUtime=1534.32 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 36816 157672 0 0 377 72 152905 78 20 0 1 0 278898589 16388096 3412 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27477/statm: 4001 3412 190 440 0 3557 0
[pid=27558] ppid=27477 vsize=123700 CPUtime=67.65 cores=1,3,5,7
/proc/27558/stat : 27558 (glucosInc) R 27477 27476 26585 0 -1 4202496 25100 0 0 0 6748 17 0 0 20 0 1 0 279052049 126668800 28449 33554432000 4194304 5654031 140735405552560 140735405540376 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27558/statm: 30925 28449 141 357 0 30565 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 148852

[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 27562
/proc/meminfo: memFree=27556688/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16004 CPUtime=1534.32 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 36816 157672 0 0 377 72 152905 78 20 0 1 0 278898589 16388096 3412 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27477/statm: 4001 3412 190 440 0 3557 0
[pid=27558] ppid=27477 vsize=124824 CPUtime=127.64 cores=1,3,5,7
/proc/27558/stat : 27558 (glucosInc) R 27477 27476 26585 0 -1 4202496 25653 0 0 0 12746 18 0 0 20 0 1 0 279052049 127819776 28402 33554432000 4194304 5654031 140735405552560 140735405540376 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27558/statm: 31206 28402 141 357 0 30846 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 149976

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27562
/proc/meminfo: memFree=27550884/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16004 CPUtime=1534.32 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 36816 157672 0 0 377 72 152905 78 20 0 1 0 278898589 16388096 3412 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27477/statm: 4001 3412 190 440 0 3557 0
[pid=27558] ppid=27477 vsize=124908 CPUtime=187.63 cores=1,3,5,7
/proc/27558/stat : 27558 (glucosInc) R 27477 27476 26585 0 -1 4202496 26699 0 0 0 18744 19 0 0 20 0 1 0 279052049 127905792 28765 33554432000 4194304 5654031 140735405552560 140735405550344 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27558/statm: 31227 28765 141 357 0 30867 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 150060

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27562
/proc/meminfo: memFree=27512600/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16004 CPUtime=1534.32 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 36816 157672 0 0 377 72 152905 78 20 0 1 0 278898589 16388096 3412 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27477/statm: 4001 3412 190 440 0 3557 0
[pid=27558] ppid=27477 vsize=155876 CPUtime=247.62 cores=1,3,5,7
/proc/27558/stat : 27558 (glucosInc) R 27477 27476 26585 0 -1 4202496 27676 0 0 0 24742 20 0 0 20 0 1 0 279052049 159617024 36850 33554432000 4194304 5654031 140735405552560 140735405540376 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27558/statm: 38969 36850 141 357 0 38609 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 181028



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27562
/proc/meminfo: memFree=27510056/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16004 CPUtime=1534.32 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 36816 157672 0 0 377 72 152905 78 20 0 1 0 278898589 16388096 3412 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27477/statm: 4001 3412 190 440 0 3557 0
[pid=27558] ppid=27477 vsize=155876 CPUtime=265.72 cores=1,3,5,7
/proc/27558/stat : 27558 (glucosInc) R 27477 27476 26585 0 -1 4202496 27704 0 0 0 26552 20 0 0 20 0 1 0 279052049 159617024 36878 33554432000 4194304 5654031 140735405552560 140735405540376 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27558/statm: 38969 36878 141 357 0 38609 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 181028

Sending SIGTERM to process tree (bottom up)

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27562
/proc/meminfo: memFree=27510056/32873852 swapFree=6848/6848
[pid=27476] ppid=27474 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27476/stat : 27476 (npSolver-pbo-It) S 27474 27476 26585 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 278898589 9367552 275 33554432000 4194304 5064252 140733357177296 140733357176208 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/27476/statm: 2287 275 233 213 0 72 0
[pid=27477] ppid=27476 vsize=16004 CPUtime=1534.32 cores=1,3,5,7
/proc/27477/stat : 27477 (npSolver-pbo) S 27476 27476 26585 0 -1 4202496 36816 157672 0 0 377 72 152905 78 20 0 1 0 278898589 16388096 3412 33554432000 4194304 5992684 140734939535664 140734939521496 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/27477/statm: 4001 3412 190 440 0 3557 0
[pid=27558] ppid=27477 vsize=155876 CPUtime=265.72 cores=1,3,5,7
/proc/27558/stat : 27558 (glucosInc) R 27477 27476 26585 0 -1 4202496 27704 0 0 0 26552 20 0 0 20 0 1 0 279052049 159617024 36878 33554432000 4194304 5654031 140735405552560 140735405540376 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/27558/statm: 38969 36878 141 357 0 38609 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 181028

Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1798.36
CPU system time (s): 1.72374
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 230348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.36
system time used= 1.72374
maximum resident set size= 176004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 222572
page faults= 0
swaps= 0
block input operations= 0
block output operations= 496624
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2623
involuntary context switches= 2374

runsolver used 3.91341 second user time and 8.76967 second system time

The end

Launcher Data 

Begin job on node129 at 2012-05-27 16:08:51
IDJOB=3697837
IDBENCH=92697
IDSOLVER=2275
FILE ID=node129/3697837-1338127731
RUNJOBID= node129-1338122640-26602
PBS_JOBID= 14624488
Free space on /tmp= 70968 MiB

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

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

MD5SUM BENCH= ebd57823bd571ff5d4e153dfd450b6f7
RANDOM SEED=1308080476

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.957
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873852 kB
MemFree:        27686596 kB
Buffers:          368368 kB
Cached:          3340492 kB
SwapCached:            0 kB
Active:          2069460 kB
Inactive:        2256296 kB
Active(anon):     619716 kB
Inactive(anon):        0 kB
Active(file):    1449744 kB
Inactive(file):  2256296 kB
Unevictable:        6848 kB
Mlocked:            6848 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              8548 kB
Writeback:             0 kB
AnonPages:        625712 kB
Mapped:            15644 kB
Shmem:               204 kB
Slab:             719012 kB
SReclaimable:     161552 kB
SUnreclaim:       557460 kB
KernelStack:        1496 kB
PageTables:         5096 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545780 kB
Committed_AS:     779584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346360 kB
VmallocChunk:   34341988004 kB
HardwareCorrupted:     0 kB
AnonHugePages:    225280 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= 70928 MiB
End job on node129 at 2012-05-27 16:38:52