Trace number 3447375

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
SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1800.08 1800.04

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557362--soft-0-100-0.wbo
MD5SUM72eb8aad8ccea22a443211b3b107df93
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark79.7219
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 136843
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136842
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 709
Number of bits of the biggest sum of numbers10
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.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.00	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3447375-1307901464.wbo>
0.00/0.02	c original problem has 2938 variables (2938 bin, 0 int, 0 impl, 0 cont) and 2708 constraints
0.00/0.02	c problem read
0.00/0.02	c presolving settings loaded
0.00/0.05	o 136842
0.00/0.05	c feasible solution found by trivial heuristic, objective value  1.368420e+05
0.00/0.05	c presolving:
0.05/0.06	c (round 1) 0 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.05/0.06	c (round 2) 0 del vars, 1 del conss, 0 add conss, 2707 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 0 clqs
0.09/0.11	c    (0.1s) probing: 101/2938 (3.4%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.09/0.11	c    (0.1s) probing aborted: 100/100 successive totally useless probings
0.09/0.11	c presolving (3 rounds):
0.09/0.11	c  0 deleted vars, 1 deleted constraints, 0 added constraints, 2707 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.09/0.11	c  2707 implications, 0 cliques
0.09/0.11	c presolved problem has 5645 variables (2938 bin, 0 int, 2707 impl, 0 cont) and 5414 constraints
0.09/0.11	c    2707 constraints of type <linear>
0.09/0.11	c    2707 constraints of type <indicator>
0.09/0.11	c transformed objective value is always integral (scale: 1)
0.09/0.11	c Presolving Time: 0.09
0.09/0.11	c - non default parameters ----------------------------------------------------------------------
0.09/0.11	c # SCIP version 2.0.1.4
0.09/0.11	c 
0.09/0.11	c # frequency for displaying node information lines
0.09/0.11	c # [type: int, range: [-1,2147483647], default: 100]
0.09/0.11	c display/freq = 10000
0.09/0.11	c 
0.09/0.11	c # maximal time in seconds to run
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/time = 1800
0.09/0.11	c 
0.09/0.11	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.09/0.11	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.09/0.11	c limits/memory = 13950
0.09/0.11	c 
0.09/0.11	c # default clock type (1: CPU user seconds, 2: wall clock time)
0.09/0.11	c # [type: int, range: [1,2], default: 1]
0.09/0.11	c timing/clocktype = 2
0.09/0.11	c 
0.09/0.11	c # belongs reading time to solving time?
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c timing/reading = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify inequalities
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/linear/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/indicator/addCouplingCons = TRUE
0.09/0.11	c 
0.09/0.11	c # should presolving try to simplify knapsacks
0.09/0.11	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.09/0.11	c constraints/knapsack/simplifyinequalities = TRUE
0.09/0.11	c 
0.09/0.11	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.09/0.11	c # [type: int, range: [-1,2147483647], default: -1]
0.09/0.11	c separating/rapidlearning/freq = 0
0.09/0.11	c 
0.09/0.11	c -----------------------------------------------------------------------------------------------
0.09/0.11	c start solving
0.09/0.12	c 
0.09/0.15	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
0.09/0.15	c t 0.2s|     1 |     0 |   245 |     - |  17M|   0 |  43 |5645 |8121 |5645 |2707 |   0 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.49/0.50	c   0.5s|     1 |     0 |   516 |     - |  18M|   0 |  15 |5645 |8121 |5645 |2729 |  22 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.59/0.62	c   0.6s|     1 |     0 |   641 |     - |  18M|   0 |  42 |5645 |8121 |5645 |2770 |  63 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
0.79/0.87	c   0.9s|     1 |     0 |   672 |     - |  19M|   0 |  47 |5645 |8121 |5645 |2781 |  74 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
1.09/1.17	c   1.2s|     1 |     0 |   683 |     - |  19M|   0 |  51 |5645 |8121 |5645 |2785 |  78 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
1.49/1.50	c   1.5s|     1 |     0 |   700 |     - |  19M|   0 |  51 |5645 |8121 |5645 |2786 |  79 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
1.79/1.84	c   1.8s|     1 |     0 |   707 |     - |  19M|   0 |  50 |5645 |8121 |5645 |2788 |  81 |   0 |   0 | 0.000000e+00 | 1.368420e+05 |    Inf 
2.69/2.74	c   2.7s|     1 |     2 |   707 |     - |  19M|   0 |  50 |5645 |8121 |5645 |2788 |  81 |   0 |  33 | 0.000000e+00 | 1.368420e+05 |    Inf 
28.79/28.82	o 870
28.79/28.82	c *28.8s|   383 |   380 | 85308 | 221.5 |  29M|  35 |   - |5645 |8121 |5645 |2844 | 790 |   0 |1279 | 0.000000e+00 | 8.700000e+02 |    Inf 
309.20/309.23	c   309s| 10000 |  9956 |  1889k| 188.9 |  59M|  64 |   5 |5645 |8254 |5645 |2775 |  26k| 133 |3080 | 0.000000e+00 | 8.700000e+02 |    Inf 
484.61/484.69	o 212
484.61/484.69	c * 485s| 14978 |  9543 |  3051k| 203.7 |  58M|  67 |   - |5645 |8385 |5645 |2831 |  42k| 280 |3926 | 0.000000e+00 | 2.120000e+02 |    Inf 
504.60/504.67	o 201
504.60/504.67	c * 505s| 15722 |  9319 |  3170k| 201.7 |  61M|  67 |   - |5645 |8739 |5645 |2788 |  44k| 665 |3992 | 0.000000e+00 | 2.010000e+02 |    Inf 
509.91/509.97	o 195
509.91/509.97	c * 510s| 15982 |  9141 |  3194k| 199.9 |  61M|  69 |   - |5645 |8900 |5645 |2766 |  44k| 842 |3992 | 0.000000e+00 | 1.950000e+02 |    Inf 
510.01/510.07	o 175
510.01/510.07	c * 510s| 15984 |  7691 |  3194k| 199.8 |  57M|  69 |   - |5645 |8900 |5645 |2788 |  44k| 842 |3992 | 0.000000e+00 | 1.750000e+02 |    Inf 
524.91/524.98	o 173
524.91/524.98	c * 525s| 16734 |  7194 |  3267k| 195.2 |  63M|  69 |   - |5645 |9225 |5645 |2759 |  45k|1295 |4072 | 0.000000e+00 | 1.730000e+02 |    Inf 
525.20/525.24	o 166
525.20/525.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
525.20/525.24	c * 525s| 16745 |  6860 |  3269k| 195.2 |  62M|  69 |   - |5645 |9231 |5645 |2774 |  45k|1301 |4072 | 0.000000e+00 | 1.660000e+02 |    Inf 
525.50/525.55	o 134
525.50/525.55	c * 526s| 16755 |  5183 |  3270k| 195.1 |  54M|  69 |   - |5645 |9235 |5645 |2802 |  45k|1306 |4073 | 0.000000e+00 | 1.340000e+02 |    Inf 
525.60/525.70	o 117
525.60/525.70	c * 526s| 16759 |  4714 |  3270k| 195.1 |  51M|  69 |   - |5645 |9236 |5645 |2770 |  45k|1307 |4073 | 0.000000e+00 | 1.170000e+02 |    Inf 
525.81/525.83	o 116
525.81/525.83	c * 526s| 16765 |  4714 |  3270k| 195.1 |  51M|  69 |   - |5645 |9236 |5645 |2757 |  45k|1309 |4073 | 0.000000e+00 | 1.160000e+02 |    Inf 
526.21/526.28	o 113
526.21/526.28	c * 526s| 16817 |  4670 |  3271k| 194.5 |  51M|  69 |   - |5645 |9263 |5645 |2758 |  45k|1344 |4074 | 0.000000e+00 | 1.130000e+02 |    Inf 
527.81/527.88	o 95
527.81/527.88	c * 528s| 16969 |  2375 |  3275k| 193.0 |  40M|  69 |   - |5645 |9345 |5645 |2766 |  45k|1459 |4083 | 0.000000e+00 | 9.500000e+01 |    Inf 
552.90/552.98	c   553s| 20000 |  2775 |  3327k| 166.4 |  54M|  81 |   7 |5645 |9185 |5645 |2757 |  46k|3926 |4094 | 0.000000e+00 | 9.500000e+01 |    Inf 
640.11/640.18	c   640s| 30000 |  3806 |  3474k| 115.8 |  85M|  96 |   1 |5645 |9942 |5645 |2757 |  52k|  14k|4231 | 0.000000e+00 | 9.500000e+01 |    Inf 
726.31/726.33	c   726s| 40000 |  4415 |  3592k|  89.8 | 109M|  96 |  10 |5645 |9958 |5645 |2777 |  57k|  25k|4386 | 0.000000e+00 | 9.500000e+01 |    Inf 
801.82/801.87	c   802s| 50000 |  4872 |  3706k|  74.1 | 128M|  96 |   - |5645 |  10k|   0 |   0 |  62k|  36k|4458 | 0.000000e+00 | 9.500000e+01 |    Inf 
880.21/880.27	c   880s| 60000 |  5224 |  3799k|  63.3 | 142M| 105 |   - |5645 |  11k|   0 |   0 |  68k|  48k|4572 | 0.000000e+00 | 9.500000e+01 |    Inf 
946.21/946.22	c   946s| 70000 |  5477 |  3883k|  55.5 | 156M| 114 |   - |5645 |  11k|   0 |   0 |  72k|  59k|4649 | 0.000000e+00 | 9.500000e+01 |    Inf 
1018.42/1018.48	c  1018s| 80000 |  5749 |  3975k|  49.7 | 166M| 114 |   - |5645 |9834 |   0 |   0 |  76k|  70k|4724 | 0.000000e+00 | 9.500000e+01 |    Inf 
1086.21/1086.29	c  1086s| 90000 |  6117 |  4072k|  45.2 | 181M| 114 |   - |5645 |  10k|   0 |   0 |  80k|  79k|4792 | 0.000000e+00 | 9.500000e+01 |    Inf 
1162.42/1162.42	c  1162s|100000 |  6605 |  4180k|  41.8 | 195M| 114 |   - |5645 |  10k|   0 |   0 |  85k|  89k|4865 | 0.000000e+00 | 9.500000e+01 |    Inf 
1229.22/1229.24	c  time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
1229.22/1229.24	c  1229s|110000 |  7064 |  4272k|  38.8 | 212M| 116 |   5 |5645 |  10k|5645 |2779 |  88k|  99k|4927 | 0.000000e+00 | 9.500000e+01 |    Inf 
1298.72/1298.70	c  1299s|120000 |  7375 |  4385k|  36.5 | 222M| 118 |   3 |5645 |  11k|5645 |2765 |  94k| 108k|5013 | 0.000000e+00 | 9.500000e+01 |    Inf 
1370.32/1370.35	c  1370s|130000 |  7681 |  4492k|  34.6 | 234M| 118 |   - |5645 |  10k|   0 |   0 |  98k| 119k|5141 | 0.000000e+00 | 9.500000e+01 |    Inf 
1448.33/1448.34	c  1448s|140000 |  8250 |  4605k|  32.9 | 252M| 119 |   - |5645 |  10k|   0 |   0 | 103k| 131k|5271 | 0.000000e+00 | 9.500000e+01 |    Inf 
1514.93/1514.90	c  1515s|150000 |  8542 |  4694k|  31.3 | 265M| 120 |   - |5645 |  11k|   0 |   0 | 106k| 142k|5332 | 0.000000e+00 | 9.500000e+01 |    Inf 
1582.74/1582.77	c  1583s|160000 |  8984 |  4782k|  29.9 | 281M| 129 |   1 |5645 |  12k|5645 |2785 | 110k| 155k|5391 | 0.000000e+00 | 9.500000e+01 |    Inf 
1657.53/1657.57	c  1658s|170000 |  9244 |  4864k|  28.6 | 294M| 129 |   - |5645 |  12k|   0 |   0 | 114k| 169k|5473 | 0.000000e+00 | 9.500000e+01 |    Inf 
1717.14/1717.13	c  1717s|180000 |  9439 |  4936k|  27.4 | 301M| 129 |   - |5645 |  12k|   0 |   0 | 117k| 181k|5494 | 0.000000e+00 | 9.500000e+01 |    Inf 
1784.84/1784.85	c  1785s|190000 |  9753 |  5024k|  26.4 | 313M| 129 |   - |5645 |  13k|   0 |   0 | 120k| 196k|5551 | 0.000000e+00 | 9.500000e+01 |    Inf 
1800.04/1800.00	c 
1800.04/1800.00	c SCIP Status        : solving was interrupted [time limit reached]
1800.04/1800.00	c Solving Time (sec) : 1800.00
1800.04/1800.00	c Solving Nodes      : 192392
1800.04/1800.00	c Primal Bound       : +9.50000000000000e+01 (199 solutions)
1800.04/1800.00	c Dual Bound         : +0.00000000000000e+00
1800.04/1800.00	c Gap                : infinite

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 /var/tmp/evaluation-result-3447375-1307901464/watcher-3447375-1307901464 -o /var/tmp/evaluation-result-3447375-1307901464/solver-3447375-1307901464 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447375-1307901464.wbo -t 1800 -m 15500 

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: 1.92 1.98 1.94 2/177 10079
/proc/meminfo: memFree=1100488/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=10296 CPUtime=0 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 1569 0 0 0 0 0 0 0 25 0 1 0 901746199 10543104 1523 33554432000 4194304 9128323 140737029030976 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10079/statm: 2574 1523 399 1205 0 1365 0

[startup+0.0574321 s]
/proc/loadavg: 1.92 1.98 1.94 2/177 10079
/proc/meminfo: memFree=1100488/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=34704 CPUtime=0.05 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 7347 0 0 0 5 0 0 0 25 0 1 0 901746199 35536896 7299 33554432000 4194304 9128323 140737029030976 18446744073709551615 18446744073699065971 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 8676 7299 508 1205 0 7467 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 34704

[startup+0.100423 s]
/proc/loadavg: 1.92 1.98 1.94 2/177 10079
/proc/meminfo: memFree=1100488/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=35728 CPUtime=0.09 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 7949 0 0 0 9 0 0 0 25 0 1 0 901746199 36585472 7644 33554432000 4194304 9128323 140737029030976 18446744073709551615 5977232 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 8932 7644 531 1205 0 7723 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 35728

[startup+0.300394 s]
/proc/loadavg: 1.92 1.98 1.94 2/177 10079
/proc/meminfo: memFree=1100488/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=71824 CPUtime=0.29 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 17269 0 0 0 27 2 0 0 25 0 1 0 901746199 73547776 16865 33554432000 4194304 9128323 140737029030976 18446744073709551615 5192074 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 17956 16865 699 1205 0 16747 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 71824

[startup+0.700318 s]
/proc/loadavg: 1.92 1.98 1.94 2/177 10079
/proc/meminfo: memFree=1100488/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=50836 CPUtime=0.69 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 20795 0 0 0 67 2 0 0 25 0 1 0 901746199 52056064 11670 33554432000 4194304 9128323 140737029030976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 12709 11670 717 1205 0 11500 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50836

[startup+1.50018 s]
/proc/loadavg: 1.92 1.98 1.94 3/178 10080
/proc/meminfo: memFree=1054764/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=57292 CPUtime=1.49 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 22213 0 0 0 145 4 0 0 25 0 1 0 901746199 58667008 13082 33554432000 4194304 9128323 140737029030976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 14323 13082 711 1205 0 13114 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 57292

[startup+3.10083 s]
/proc/loadavg: 1.92 1.98 1.94 3/178 10080
/proc/meminfo: memFree=1050176/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=60628 CPUtime=3.09 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 29185 0 0 0 301 8 0 0 25 0 1 0 901746199 62083072 13849 33554432000 4194304 9128323 140737029030976 18446744073709551615 7315441 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 15157 13849 721 1205 0 13948 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 60628

[startup+6.30027 s]
/proc/loadavg: 1.93 1.98 1.94 3/178 10080
/proc/meminfo: memFree=1047580/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=60808 CPUtime=6.29 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 29268 0 0 0 612 17 0 0 25 0 1 0 901746199 62267392 13932 33554432000 4194304 9128323 140737029030976 18446744073709551615 7216720 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 15202 13932 721 1205 0 13993 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 60808

[startup+12.7001 s]
/proc/loadavg: 1.93 1.98 1.94 3/178 10080
/proc/meminfo: memFree=1046100/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=62064 CPUtime=12.69 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 29578 0 0 0 1238 31 0 0 25 0 1 0 901746199 63553536 14242 33554432000 4194304 9128323 140737029030976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 15516 14242 721 1205 0 14307 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 62064

[startup+25.5009 s]
/proc/loadavg: 1.95 1.98 1.94 3/178 10081
/proc/meminfo: memFree=1041392/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=67932 CPUtime=25.49 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 36793 0 0 0 2485 64 0 0 25 0 1 0 901746199 69562368 15630 33554432000 4194304 9128323 140737029030976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 16983 15630 725 1205 0 15774 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 67932

[startup+51.1004 s]
/proc/loadavg: 1.96 1.98 1.94 3/178 10081
/proc/meminfo: memFree=1010856/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=99032 CPUtime=51.09 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 46286 0 0 0 4992 117 0 0 25 0 1 0 901746199 101408768 23024 33554432000 4194304 9128323 140737029030976 18446744073709551615 7346424 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 24758 23024 734 1205 0 23549 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99032

[startup+102.306 s]
/proc/loadavg: 2.02 2.00 1.94 3/178 10083
/proc/meminfo: memFree=1009984/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=96488 CPUtime=102.3 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 47268 0 0 0 10001 229 0 0 25 0 1 0 901746199 98803712 22780 33554432000 4194304 9128323 140737029030976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 24122 22780 737 1205 0 22913 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 96488

[startup+162.301 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 10084
/proc/meminfo: memFree=1009920/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=96488 CPUtime=162.29 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 49439 0 0 0 15880 349 0 0 25 0 1 0 901746199 98803712 22791 33554432000 4194304 9128323 140737029030976 18446744073709551615 8012643 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 24122 22791 737 1205 0 22913 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 96488

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 10095
/proc/meminfo: memFree=1011044/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=96488 CPUtime=222.3 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 54331 0 0 0 21753 477 0 0 25 0 1 0 901746199 98803712 22799 33554432000 4194304 9128323 140737029030976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 24122 22799 737 1205 0 22913 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 96488

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 10097
/proc/meminfo: memFree=1004660/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=102588 CPUtime=282.3 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 55758 0 0 0 27623 607 0 0 25 0 1 0 901746199 105050112 24211 33554432000 4194304 9128323 140737029030976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 25693 24221 737 1205 0 24484 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 102588

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 10098
/proc/meminfo: memFree=992944/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=107684 CPUtime=342.3 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 57065 0 0 0 33499 731 0 0 25 0 1 0 901746199 110268416 25516 33554432000 4194304 9128323 140737029030976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 26921 25516 737 1205 0 25712 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 107684

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 10103
/proc/meminfo: memFree=985052/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=115216 CPUtime=402.3 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 58887 0 0 0 39367 863 0 0 25 0 1 0 901746199 117981184 27335 33554432000 4194304 9128323 140737029030976 18446744073709551615 7163281 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 28804 27335 737 1205 0 27595 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 115216

[startup+462.301 s]
/proc/loadavg: 2.03 2.01 1.95 3/178 10143
/proc/meminfo: memFree=910556/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=117640 CPUtime=462.3 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 65528 0 0 0 45232 998 0 0 25 0 1 0 901746199 120463360 28022 33554432000 4194304 9128323 140737029030976 18446744073709551615 7366216 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 29410 28022 737 1205 0 28201 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 117640

[startup+522.3 s]
/proc/loadavg: 2.01 2.01 1.95 3/178 10145
/proc/meminfo: memFree=890212/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=137440 CPUtime=522.3 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 100602 0 0 0 51111 1119 0 0 25 0 1 0 901746199 140738560 32991 33554432000 4194304 9128323 140737029030976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 34360 32991 737 1205 0 33151 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 137440

[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10147
/proc/meminfo: memFree=839816/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=186884 CPUtime=582.3 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 134211 0 0 0 57046 1184 0 0 25 0 1 0 901746199 191369216 45155 33554432000 4194304 9128323 140737029030976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 46721 45155 737 1205 0 45512 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 186884

[startup+642.301 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10153
/proc/meminfo: memFree=669804/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=350044 CPUtime=822.31 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 184674 0 0 0 80875 1356 0 0 25 0 1 0 901746199 358445056 84958 33554432000 4194304 9128323 140737029030976 18446744073709551615 6505877 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 87511 84958 743 1205 0 86302 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 350044

[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10155
/proc/meminfo: memFree=642968/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=371648 CPUtime=882.31 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 190148 0 0 0 86834 1397 0 0 25 0 1 0 901746199 380567552 90419 33554432000 4194304 9128323 140737029030976 18446744073709551615 5992491 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 92912 90419 743 1205 0 91703 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 371648

[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 10156
/proc/meminfo: memFree=614508/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=398848 CPUtime=942.32 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 202743 0 0 0 92795 1437 0 0 25 0 1 0 901746199 408420352 97148 33554432000 4194304 9128323 140737029030976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 99712 97148 743 1205 0 98503 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 398848

[startup+1002.3 s]
/proc/loadavg: 2.05 2.01 1.95 3/178 10158
/proc/meminfo: memFree=590260/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=423900 CPUtime=1002.32 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 208769 0 0 0 98759 1473 0 0 25 0 1 0 901746199 434073600 103158 33554432000 4194304 9128323 140737029030976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 105975 103158 744 1205 0 104766 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 423900

[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 10159
/proc/meminfo: memFree=561424/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=445104 CPUtime=1062.31 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 213996 0 0 0 104713 1518 0 0 25 0 1 0 901746199 455786496 108356 33554432000 4194304 9128323 140737029030976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 111276 108356 744 1205 0 110067 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 445104

[startup+1122.3 s]
/proc/loadavg: 2.08 2.02 1.96 3/178 10161
/proc/meminfo: memFree=534944/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=467900 CPUtime=1122.32 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 219740 0 0 0 110676 1556 0 0 25 0 1 0 901746199 479129600 114086 33554432000 4194304 9128323 140737029030976 18446744073709551615 5200908 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 116975 114086 744 1205 0 115766 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 467900

[startup+1182.3 s]
/proc/loadavg: 2.03 2.01 1.96 3/178 10163
/proc/meminfo: memFree=512820/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=485232 CPUtime=1182.32 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 224217 0 0 0 116635 1597 0 0 25 0 1 0 901746199 496877568 118546 33554432000 4194304 9128323 140737029030976 18446744073709551615 5207323 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 121308 118546 742 1205 0 120099 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 485232

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 10164
/proc/meminfo: memFree=491188/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=508256 CPUtime=1242.33 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 229581 0 0 0 122595 1638 0 0 25 0 1 0 901746199 520454144 123886 33554432000 4194304 9128323 140737029030976 18446744073709551615 5992478 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 127064 123886 742 1205 0 125855 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 508256

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 10166
/proc/meminfo: memFree=473644/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=520060 CPUtime=1302.32 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 234835 0 0 0 128547 1685 0 0 25 0 1 0 901746199 532541440 126942 33554432000 4194304 9128323 140737029030976 18446744073709551615 4529136 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 130015 126942 745 1205 0 128806 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 520060

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 10167
/proc/meminfo: memFree=451636/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=540444 CPUtime=1362.33 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 239943 0 0 0 134507 1726 0 0 25 0 1 0 901746199 553414656 132019 33554432000 4194304 9128323 140737029030976 18446744073709551615 5992987 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 135111 132019 745 1205 0 133902 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 540444

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 10169
/proc/meminfo: memFree=428508/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=562760 CPUtime=1422.33 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 245451 0 0 0 140466 1767 0 0 25 0 1 0 901746199 576266240 137508 33554432000 4194304 9128323 140737029030976 18446744073709551615 7311906 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 140690 137508 746 1205 0 139481 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 562760

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 10171
/proc/meminfo: memFree=407120/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=587024 CPUtime=1482.33 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 250868 0 0 0 146425 1808 0 0 25 0 1 0 901746199 601112576 142907 33554432000 4194304 9128323 140737029030976 18446744073709551615 4525829 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 146756 142907 753 1205 0 145547 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 587024

[startup+1542.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 10172
/proc/meminfo: memFree=379892/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=606956 CPUtime=1542.33 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 255805 0 0 0 152388 1845 0 0 25 0 1 0 901746199 621522944 147842 33554432000 4194304 9128323 140737029030976 18446744073709551615 6712802 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 151739 147842 753 1205 0 150530 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 606956

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 10174
/proc/meminfo: memFree=354664/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=630332 CPUtime=1602.33 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 261385 0 0 0 158352 1881 0 0 25 0 1 0 901746199 645459968 153403 33554432000 4194304 9128323 140737029030976 18446744073709551615 7414868 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 157583 153403 752 1205 0 156374 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 630332

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 10175
/proc/meminfo: memFree=330900/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=649000 CPUtime=1662.34 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 265853 0 0 0 164318 1916 0 0 25 0 1 0 901746199 664576000 157851 33554432000 4194304 9128323 140737029030976 18446744073709551615 5992487 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 162250 157851 752 1205 0 161041 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 649000

[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 1.97 3/178 10177
/proc/meminfo: memFree=315092/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=660072 CPUtime=1722.33 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 268695 0 0 0 170284 1949 0 0 25 0 1 0 901746199 675913728 160693 33554432000 4194304 9128323 140737029030976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 165018 160693 752 1205 0 163809 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 660072

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 10179
/proc/meminfo: memFree=290600/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=677740 CPUtime=1782.34 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 273017 0 0 0 176247 1987 0 0 25 0 1 0 901746199 694005760 165013 33554432000 4194304 9128323 140737029030976 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/10079/statm: 169435 165013 750 1205 0 168226 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 677740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.01 2.01 1.97 3/178 10179
/proc/meminfo: memFree=284140/32950928 swapFree=67055156/67111528
[pid=10079] ppid=10077 vsize=683824 CPUtime=1800.04 cores=1,3,5,7
/proc/10079/stat : 10079 (scip-2.0.1.4.li) R 10077 10079 9537 0 -1 4202496 274472 0 0 0 178006 1998 0 0 25 0 1 0 901746199 700235776 166457 33554432000 4194304 9128323 140737029030976 18446744073709551615 8003998 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/10079/statm: 170956 166457 750 1205 0 169747 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 683824

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.08
CPU user time (s): 1780.07
CPU system time (s): 20.012
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 683824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1780.07
system time used= 20.012
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 274472
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 1425

runsolver used 2.86256 second user time and 6.82296 second system time

The end

Launcher Data 

Begin job on node123 at 2011-06-12 19:57:44
IDJOB=3447375
IDBENCH=79307
IDSOLVER=1944
FILE ID=node123/3447375-1307901464
RUNJOBID= node123-1307898651-9824
PBS_JOBID= 13559583
Free space on /var/tmp= 2880 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557362--soft-0-100-0.wbo
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3447375-1307901464/watcher-3447375-1307901464 -o /var/tmp/evaluation-result-3447375-1307901464/solver-3447375-1307901464 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3447375-1307901464.wbo -t 1800 -m 15500

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

MD5SUM BENCH= 72eb8aad8ccea22a443211b3b107df93
RANDOM SEED=1831114952

node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.838
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:       1101164 kB
Buffers:         54328 kB
Cached:       30609832 kB
SwapCached:      10036 kB
Active:       15224680 kB
Inactive:     15669656 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1101164 kB
SwapTotal:    67111528 kB
SwapFree:     67055156 kB
Dirty:           12060 kB
Writeback:           0 kB
AnonPages:      227472 kB
Mapped:          15904 kB
Slab:           891916 kB
PageTables:       4696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   426684 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2868 MiB
End job on node123 at 2011-06-12 20:27:46