Trace number 3748318

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
npSolver inc (fixed)? (TO) 1800.05 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_20_2__17_12__512.opb
MD5SUM609453b50c3d7bac05dbde2a1c3eefb6
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark46877
Best CPU time to get the best result obtained on this benchmark3.72243
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables20498
Total number of constraints60
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)42
Number of constraints which are nor clauses,nor cardinality constraints18
Minimum length of a constraint512
Maximum length of a constraint4097
Number of terms in the objective function 20480
Biggest coefficient in the objective function 94409
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 893215744
Number of bits of the sum of numbers in the objective function 30
Biggest number in a constraint 94409
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 893215744
Number of bits of the biggest sum of numbers30
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.29	c run inc solver
0.00/0.29	c [INC SYSTEM] run initial solver
0.00/0.29	c [INC SYSTEM] preprocess with white file
1.98/2.04	c [INC SYSTEM] finished preprocessing in 1 s
1.98/2.04	c [INC SYSTEM] execute solver
2.18/2.26	c [INC SEARCH] formula is SAT
2.18/2.27	c [INC SYSTEM] solved the initial formula
2.27/2.30	c model valid
2.27/2.30	c current solution ok
2.97/3.01	o 78430
2.97/3.01	c execute binary inc search
2.97/3.01	c [INC SEARCH] current bound: 39215
2.97/3.01	c [INC SEARCH] iteration: 0
2.97/3.01	c [INC SEARCH] lower bound: 0 upperbound 78430 current bound: 39215 best value:78430
2.97/3.01	c [INC SYSTEM] there exists a inc, kill it!
2.97/3.01	c write failed with 2
2.97/3.02	c [INC SYSTEM] create new solver instance
2.97/3.02	c [INC] encode full formula
2.97/3.02	c fallback to adder encoding
3.68/3.77	c set iterative enc to: adder
3.68/3.77	c set iterative enc to: none
3.88/3.90	c [INC SEARCH] isOptimum variable: 0
169.34/169.41	c [INC SEARCH] formula is UNSAT
169.34/169.41	c [INC SYSTEM] there exists a inc, kill it!
169.34/169.41	c write failed with 2
169.34/169.42	c sat variable: 0 optimum/unsat variable: 1
169.34/169.42	c [INC SEARCH] set lower bound to 39216 upperbound 78430
169.34/169.42	c [INC SEARCH] current bound: 58823
169.34/169.42	c [INC SEARCH] iteration: 1
169.34/169.42	c [INC SEARCH] lower bound: 39216 upperbound 78430 current bound: 58823 best value:78430
169.34/169.42	c [INC SYSTEM] create new solver instance
169.34/169.42	c [INC] encode full formula
169.34/169.42	c fallback to adder encoding
170.55/170.63	c set iterative enc to: adder
170.55/170.63	c set iterative enc to: none
170.75/170.83	c [INC SEARCH] isOptimum variable: 0
1246.57/1246.85	c [INC SEARCH] formula is SAT
1246.57/1246.89	c [INC SEARCH] copied best model
1246.57/1246.89	c sat variable: 1 optimum/unsat variable: 0
1246.66/1246.92	c model valid
1246.66/1246.92	c current solution ok
1246.66/1246.92	o 46877
1246.66/1246.92	c [INC SEARCH] current bound: 43046
1246.66/1246.92	c [INC SEARCH] iteration: 2
1246.66/1246.92	c [INC SEARCH] lower bound: 39216 upperbound 46877 current bound: 43046 best value:46877
1246.66/1246.92	c [INC SYSTEM] there exists a inc, kill it!
1246.66/1246.92	c write failed with 2
1246.66/1246.93	c [INC SYSTEM] create new solver instance
1246.66/1246.93	c [INC] encode full formula
1246.66/1246.93	c fallback to adder encoding
1247.48/1247.72	c set iterative enc to: adder
1247.48/1247.72	c set iterative enc to: none
1247.57/1247.87	c [INC SEARCH] isOptimum variable: 0
1508.00/1508.31	c [INC SEARCH] formula is UNSAT
1508.00/1508.31	c [INC SYSTEM] there exists a inc, kill it!
1508.00/1508.31	c write failed with 2
1508.00/1508.33	c sat variable: 0 optimum/unsat variable: 1
1508.00/1508.33	c [INC SEARCH] set lower bound to 43047 upperbound 46877
1508.00/1508.33	c [INC SEARCH] current bound: 44962
1508.00/1508.33	c [INC SEARCH] iteration: 3
1508.00/1508.33	c [INC SEARCH] lower bound: 43047 upperbound 46877 current bound: 44962 best value:46877
1508.00/1508.33	c [INC SYSTEM] create new solver instance
1508.00/1508.33	c [INC] encode full formula
1508.00/1508.33	c fallback to adder encoding
1508.81/1509.12	c set iterative enc to: adder
1508.81/1509.12	c set iterative enc to: none
1508.91/1509.26	c [INC SEARCH] isOptimum variable: 0
1690.06/1690.45	c [INC SEARCH] formula is UNSAT
1690.06/1690.45	c [INC SYSTEM] there exists a inc, kill it!
1690.06/1690.45	c write failed with 2
1690.06/1690.46	c sat variable: 0 optimum/unsat variable: 1
1690.06/1690.46	c [INC SEARCH] set lower bound to 44963 upperbound 46877
1690.06/1690.46	c [INC SEARCH] current bound: 45920
1690.06/1690.46	c [INC SEARCH] iteration: 4
1690.06/1690.46	c [INC SEARCH] lower bound: 44963 upperbound 46877 current bound: 45920 best value:46877
1690.06/1690.46	c [INC SYSTEM] create new solver instance
1690.06/1690.46	c [INC] encode full formula
1690.06/1690.46	c fallback to adder encoding
1690.98/1691.30	c set iterative enc to: adder
1690.98/1691.30	c set iterative enc to: none
1691.08/1691.45	c [INC SEARCH] isOptimum variable: 0
1800.05/1800.41	HOME/npSolver-pbo-I.sh: line 18: 20337 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=1 -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-3748318-1339218925/watcher-3748318-1339218925 -o /tmp/evaluation-result-3748318-1339218925/solver-3748318-1339218925 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748318-1339218925.opb 388095582 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: 0.00 0.00 0.00 2/179 20336
/proc/meminfo: memFree=31322176/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0

[startup+0.0880889 s]
/proc/loadavg: 0.00 0.00 0.00 2/179 20336
/proc/meminfo: memFree=31322176/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100346 s]
/proc/loadavg: 0.00 0.00 0.00 2/179 20336
/proc/meminfo: memFree=31322176/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300247 s]
/proc/loadavg: 0.00 0.00 0.00 2/179 20336
/proc/meminfo: memFree=31322176/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700279 s]
/proc/loadavg: 0.00 0.00 0.00 2/179 20336
/proc/meminfo: memFree=31322176/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50041 s]
/proc/loadavg: 0.00 0.00 0.00 3/183 20340
/proc/meminfo: memFree=31084052/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=23172 CPUtime=0.31 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 4535 0 0 0 26 5 0 0 20 0 1 0 31859152 23728128 5266 33554432000 4194304 6004724 140734519032304 140734519026768 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 5793 5266 148 442 0 5347 0
[pid=20339] ppid=20337 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20339/stat : 20339 (cp2_pre.sh) S 20337 20336 20291 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 31859184 9367552 277 33554432000 4194304 5064252 140734695725232 140734695723936 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/20339/statm: 2287 277 234 213 0 72 0
[pid=20340] ppid=20339 vsize=145764 CPUtime=1.17 cores=1,3,5,7
/proc/20340/stat : 20340 (coprocessor) R 20339 20336 20291 0 -1 4202496 26242 0 0 0 112 5 0 0 20 0 1 0 31859184 149262336 35455 33554432000 4194304 6586260 140736224316976 140736224313000 4676454 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/20340/statm: 36441 35455 191 584 0 35853 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 187232

[startup+3.1003 s]
/proc/loadavg: 0.00 0.00 0.00 3/182 20342
/proc/meminfo: memFree=31027024/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=39272 CPUtime=3.08 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) R 20336 20336 20291 0 -1 4202496 7585 40755 0 0 49 64 178 17 20 0 1 0 31859152 40214528 8795 33554432000 4194304 6004724 140734519032304 140734519026864 4581424 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 9818 8795 178 442 0 9372 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 48420

[startup+6.30033 s]
/proc/loadavg: 0.16 0.03 0.01 3/184 20347
/proc/meminfo: memFree=30362944/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=39272 CPUtime=3.88 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 9254 41270 0 0 117 74 178 19 20 0 1 0 31859152 40214528 9324 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 9818 9324 179 442 0 9372 0
[pid=20345] ppid=20337 vsize=215208 CPUtime=2.38 cores=1,3,5,7
/proc/20345/stat : 20345 (glucosInc) R 20337 20336 20291 0 -1 4202496 36286 0 0 0 229 9 0 0 20 0 1 0 31859542 220372992 44842 33554432000 4194304 5654031 140734326083408 140734326071224 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20345/statm: 53802 44842 141 357 0 53442 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 263628

[startup+12.7003 s]
/proc/loadavg: 0.31 0.07 0.02 3/184 20347
/proc/meminfo: memFree=29299432/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=39272 CPUtime=3.88 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 9254 41270 0 0 117 74 178 19 20 0 1 0 31859152 40214528 9324 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 9818 9324 179 442 0 9372 0
[pid=20345] ppid=20337 vsize=215208 CPUtime=8.78 cores=1,3,5,7
/proc/20345/stat : 20345 (glucosInc) R 20337 20336 20291 0 -1 4202496 36286 0 0 0 869 9 0 0 20 0 1 0 31859542 220372992 44842 33554432000 4194304 5654031 140734326083408 140734326071224 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20345/statm: 53802 44842 141 357 0 53442 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 263628

[startup+25.5004 s]
/proc/loadavg: 0.75 0.18 0.06 3/184 20347
/proc/meminfo: memFree=28879760/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=39272 CPUtime=3.88 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 9254 41270 0 0 117 74 178 19 20 0 1 0 31859152 40214528 9324 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 9818 9324 179 442 0 9372 0
[pid=20345] ppid=20337 vsize=215208 CPUtime=21.58 cores=1,3,5,7
/proc/20345/stat : 20345 (glucosInc) R 20337 20336 20291 0 -1 4202496 36286 0 0 0 2149 9 0 0 20 0 1 0 31859542 220372992 44842 33554432000 4194304 5654031 140734326083408 140734326071224 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20345/statm: 53802 44842 141 357 0 53442 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 263628

[startup+51.1071 s]
/proc/loadavg: 1.29 0.35 0.12 3/183 20349
/proc/meminfo: memFree=30032804/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=39272 CPUtime=3.88 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 9254 41270 0 0 117 74 178 19 20 0 1 0 31859152 40214528 9324 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 9818 9324 179 442 0 9372 0
[pid=20345] ppid=20337 vsize=215208 CPUtime=47.18 cores=1,3,5,7
/proc/20345/stat : 20345 (glucosInc) R 20337 20336 20291 0 -1 4202496 36286 0 0 0 4709 9 0 0 20 0 1 0 31859542 220372992 44842 33554432000 4194304 5654031 140734326083408 140734326071224 4208694 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20345/statm: 53802 44842 141 357 0 53442 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 263628

[startup+102.3 s]
/proc/loadavg: 1.69 0.60 0.21 3/183 20349
/proc/meminfo: memFree=30006496/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=39272 CPUtime=3.88 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 9254 41270 0 0 117 74 178 19 20 0 1 0 31859152 40214528 9324 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 9818 9324 179 442 0 9372 0
[pid=20345] ppid=20337 vsize=215208 CPUtime=98.37 cores=1,3,5,7
/proc/20345/stat : 20345 (glucosInc) R 20337 20336 20291 0 -1 4202496 36286 0 0 0 9828 9 0 0 20 0 1 0 31859542 220372992 44842 33554432000 4194304 5654031 140734326083408 140734326071224 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20345/statm: 53802 44842 141 357 0 53442 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 263628

[startup+162.3 s]
/proc/loadavg: 1.89 0.86 0.32 3/183 20350
/proc/meminfo: memFree=29969336/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=39272 CPUtime=3.88 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 9254 41270 0 0 117 74 178 19 20 0 1 0 31859152 40214528 9324 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 9818 9324 179 442 0 9372 0
[pid=20345] ppid=20337 vsize=224916 CPUtime=158.36 cores=1,3,5,7
/proc/20345/stat : 20345 (glucosInc) R 20337 20336 20291 0 -1 4202496 38698 0 0 0 15826 10 0 0 20 0 1 0 31859542 230313984 49809 33554432000 4194304 5654031 140734326083408 140734326071224 4215088 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20345/statm: 56229 49809 142 357 0 55869 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 273336

[startup+222.3 s]
/proc/loadavg: 1.96 1.06 0.43 3/183 20352
/proc/meminfo: memFree=29869604/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=24640 CPUtime=170.78 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 14804 81828 0 0 237 92 16715 34 20 0 1 0 31859152 25231360 5698 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 6160 5698 179 442 0 5714 0
[pid=20352] ppid=20337 vsize=299720 CPUtime=51.45 cores=1,3,5,7
/proc/20352/stat : 20352 (glucosInc) R 20337 20336 20291 0 -1 4202496 48313 0 0 0 5132 13 0 0 20 0 1 0 31876235 306913280 66495 33554432000 4194304 5654031 140733682101968 140733682099752 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20352/statm: 74930 66495 141 357 0 74570 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 333508

[startup+282.3 s]

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

/proc/loadavg: 2.00 1.97 1.51 3/183 20364
/proc/meminfo: memFree=29865564/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=64020 CPUtime=1247.64 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 19593 140743 0 0 324 104 124276 60 20 0 1 0 31859152 65556480 15512 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 16005 15512 180 442 0 15559 0
[pid=20363] ppid=20337 vsize=238768 CPUtime=114.39 cores=1,3,5,7
/proc/20363/stat : 20363 (glucosInc) R 20337 20336 20291 0 -1 4202496 43492 0 0 0 11423 16 0 0 20 0 1 0 31983940 244498432 52324 33554432000 4194304 5654031 140736365021760 140736365009576 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20363/statm: 59692 52324 141 357 0 59332 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 311936

[startup+1422.3 s]
/proc/loadavg: 2.00 1.97 1.54 3/183 20364
/proc/meminfo: memFree=29857372/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=64020 CPUtime=1247.64 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 19593 140743 0 0 324 104 124276 60 20 0 1 0 31859152 65556480 15512 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 16005 15512 180 442 0 15559 0
[pid=20363] ppid=20337 vsize=240556 CPUtime=174.37 cores=1,3,5,7
/proc/20363/stat : 20363 (glucosInc) R 20337 20336 20291 0 -1 4202496 43597 0 0 0 17420 17 0 0 20 0 1 0 31983940 246329344 53962 33554432000 4194304 5654031 140736365021760 140736365009576 4215061 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20363/statm: 60139 53962 141 357 0 59779 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 313724

[startup+1482.3 s]
/proc/loadavg: 2.00 1.97 1.57 3/184 20367
/proc/meminfo: memFree=29840732/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=64020 CPUtime=1247.64 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 19593 140743 0 0 324 104 124276 60 20 0 1 0 31859152 65556480 15512 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 16005 15512 180 442 0 15559 0
[pid=20363] ppid=20337 vsize=272832 CPUtime=234.35 cores=1,3,5,7
/proc/20363/stat : 20363 (glucosInc) R 20337 20336 20291 0 -1 4202496 44757 0 0 0 23418 17 0 0 20 0 1 0 31983940 279379968 57673 33554432000 4194304 5654031 140736365021760 140736365009576 4215121 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20363/statm: 68208 57673 141 357 0 67848 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 346000

[startup+1542.3 s]
/proc/loadavg: 2.00 1.97 1.59 3/183 20369
/proc/meminfo: memFree=29883092/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=64020 CPUtime=1508.97 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 23734 186548 0 0 403 115 150295 84 20 0 1 0 31859152 65556480 15512 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 16005 15512 180 442 0 15559 0
[pid=20369] ppid=20337 vsize=221120 CPUtime=33.01 cores=1,3,5,7
/proc/20369/stat : 20369 (glucosInc) R 20337 20336 20291 0 -1 4202496 38175 0 0 0 3291 10 0 0 20 0 1 0 32010078 226426880 46918 33554432000 4194304 5654031 140733337247424 140733337235240 4214944 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20369/statm: 55280 46918 141 357 0 54920 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 294288

[startup+1602.3 s]
/proc/loadavg: 2.04 1.99 1.62 3/183 20369
/proc/meminfo: memFree=29869276/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=64020 CPUtime=1508.97 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 23734 186548 0 0 403 115 150295 84 20 0 1 0 31859152 65556480 15512 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 16005 15512 180 442 0 15559 0
[pid=20369] ppid=20337 vsize=225692 CPUtime=93 cores=1,3,5,7
/proc/20369/stat : 20369 (glucosInc) R 20337 20336 20291 0 -1 4202496 39316 0 0 0 9290 10 0 0 20 0 1 0 32010078 231108608 49081 33554432000 4194304 5654031 140733337247424 140733337235240 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20369/statm: 56423 49081 141 357 0 56063 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 298860

[startup+1662.3 s]
/proc/loadavg: 2.01 1.99 1.64 3/183 20370
/proc/meminfo: memFree=29859120/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=64020 CPUtime=1508.97 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 23734 186548 0 0 403 115 150295 84 20 0 1 0 31859152 65556480 15512 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 16005 15512 180 442 0 15559 0
[pid=20369] ppid=20337 vsize=232684 CPUtime=153 cores=1,3,5,7
/proc/20369/stat : 20369 (glucosInc) R 20337 20336 20291 0 -1 4202496 41798 0 0 0 15287 13 0 0 20 0 1 0 32010078 238268416 51019 33554432000 4194304 5654031 140733337247424 140733337235240 4215112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20369/statm: 58171 51019 141 357 0 57811 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 305852

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.66 3/183 20372
/proc/meminfo: memFree=29866944/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=64020 CPUtime=1691.13 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 28113 231947 0 0 487 127 168396 103 20 0 1 0 31859152 65556480 15512 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 16005 15512 180 442 0 15559 0
[pid=20372] ppid=20337 vsize=220652 CPUtime=30.83 cores=1,3,5,7
/proc/20372/stat : 20372 (glucosInc) R 20337 20336 20291 0 -1 4202496 39357 0 0 0 3072 11 0 0 20 0 1 0 32028297 225947648 47753 33554432000 4194304 5654031 140735779943376 140735779941160 4214638 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20372/statm: 55163 47753 141 357 0 54803 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 293820

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.68 3/183 20372
/proc/meminfo: memFree=29839064/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=64020 CPUtime=1691.13 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 28113 231947 0 0 487 127 168396 103 20 0 1 0 31859152 65556480 15512 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 16005 15512 180 442 0 15559 0
[pid=20372] ppid=20337 vsize=267080 CPUtime=90.82 cores=1,3,5,7
/proc/20372/stat : 20372 (glucosInc) R 20337 20336 20291 0 -1 4202496 43772 0 0 0 9069 13 0 0 20 0 1 0 32028297 273489920 54207 33554432000 4194304 5654031 140735779943376 140735779941160 4215290 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20372/statm: 66770 54207 141 357 0 66410 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 340248



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 1.99 1.68 3/183 20372
/proc/meminfo: memFree=29844324/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=64020 CPUtime=1691.13 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 28113 231947 0 0 487 127 168396 103 20 0 1 0 31859152 65556480 15512 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 16005 15512 180 442 0 15559 0
[pid=20372] ppid=20337 vsize=240576 CPUtime=108.92 cores=1,3,5,7
/proc/20372/stat : 20372 (glucosInc) R 20337 20336 20291 0 -1 4202496 44995 0 0 0 10877 15 0 0 20 0 1 0 32028297 246349824 52709 33554432000 4194304 5654031 140735779943376 140735779931192 4232830 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20372/statm: 60144 52709 141 357 0 59784 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 313744

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 1.99 1.68 3/183 20372
/proc/meminfo: memFree=29844324/32873844 swapFree=7632/7632
[pid=20336] ppid=20334 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20336/stat : 20336 (npSolver-pbo-I.) S 20334 20336 20291 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 31859152 9367552 275 33554432000 4194304 5064252 140736256235904 140736256234816 215124436558 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20336/statm: 2287 275 233 213 0 72 0
[pid=20337] ppid=20336 vsize=64020 CPUtime=1691.13 cores=1,3,5,7
/proc/20337/stat : 20337 (npSolver-pbo) S 20336 20336 20291 0 -1 4202496 28113 231947 0 0 487 127 168396 103 20 0 1 0 31859152 65556480 15512 33554432000 4194304 6004724 140734519032304 140734519017224 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20337/statm: 16005 15512 180 442 0 15559 0
[pid=20372] ppid=20337 vsize=240576 CPUtime=108.92 cores=1,3,5,7
/proc/20372/stat : 20372 (glucosInc) R 20337 20336 20291 0 -1 4202496 44995 0 0 0 10877 15 0 0 20 0 1 0 32028297 246349824 52709 33554432000 4194304 5654031 140735779943376 140735779931192 4232830 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20372/statm: 60144 52709 141 357 0 59784 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 313744

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20336 and gives
#  childrusage.ru_utime.tv_sec=1688
#  childrusage.ru_utime.tv_usec=845256
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=309648
# CPU time returned by wait4() is 1691.15
# 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.41
CPU time (s): 1800.05
CPU user time (s): 1797.6
CPU system time (s): 2.45
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 490052

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1688.85
system time used= 2.30965
maximum resident set size= 391108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 260434
page faults= 0
swaps= 0
block input operations= 0
block output operations= 728152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1679
involuntary context switches= 3354

runsolver used 3.22651 second user time and 8.60469 second system time

The end

Launcher Data 

Begin job on node135 at 2012-06-09 07:15:25
IDJOB=3748318
IDBENCH=71863
IDSOLVER=2333
FILE ID=node135/3748318-1339218925
RUNJOBID= node135-1339218924-20308
PBS_JOBID= 14644290
Free space on /tmp= 70880 MiB

SOLVER NAME= npSolver inc
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_20_2__17_12__512.opb
COMMAND LINE= DIR/npSolver-pbo-I.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3748318-1339218925/watcher-3748318-1339218925 -o /tmp/evaluation-result-3748318-1339218925/solver-3748318-1339218925 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-I.sh HOME/instance-3748318-1339218925.opb 388095582 HOME HOME

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

MD5SUM BENCH= 609453b50c3d7bac05dbde2a1c3eefb6
RANDOM SEED=388095582

node135.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.905
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.81
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.905
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	: 5274.12
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.905
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.90
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.905
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.905
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.93
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.905
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.91
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.905
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.905
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.93
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31323556 kB
Buffers:          278808 kB
Cached:           397000 kB
SwapCached:         2476 kB
Active:           446708 kB
Inactive:         240340 kB
Active(anon):      12188 kB
Inactive(anon):     1460 kB
Active(file):     434520 kB
Inactive(file):   238880 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67098956 kB
Dirty:             21440 kB
Writeback:             0 kB
AnonPages:         18112 kB
Mapped:             8756 kB
Shmem:                 0 kB
Slab:             723020 kB
SReclaimable:     164796 kB
SUnreclaim:       558224 kB
KernelStack:        1408 kB
PageTables:         3764 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     135704 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 70680 MiB
End job on node135 at 2012-06-09 07:45:26