Trace number 4100161

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
toysat 2016-05-02? (TO) 1800.11 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-qap10.opb
MD5SUMcba28129e4f6f6eef01b4dc927adb1b9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark29
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 29
Optimality of the best value was proved NO
Number of variables83000
Total number of constraints1820
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1820
Minimum length of a constraint200
Maximum length of a constraint200
Number of terms in the objective function 52200
Biggest coefficient in the objective function 570
Number of bits for the biggest coefficient in the objective function 10
Sum of the numbers in the objective function 564062
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 26215
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 564062
Number of bits of the biggest sum of numbers20
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.00	c 2016-06-18T02:59:12+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4100161-1466211551.opb"]
0.00/0.01	c use --random-gen="1303232960 289778816 4020332759 1511121227 179827666 3011257599 1641410141 2515268314 2840456195 2432789595 3441500785 2422152892 4170303350 2202906334 3404599864 3487498808 2525227285 2421075301 1883293307 3766337667 1455587871 1990057205 1768184594 3794679315 3930761258 338254871 1292003945 3923974885 241582372 2858728667 627640145 1739266778 3969046136 3943474716 3862090755 971934914 1749816095 831697789 1399020472 2483597328 1441473833 3226829047 3758749805 884661890 4052464158 1513929116 2799292239 2043494864 3264732853 102826731 1124152210 2428381188 3720979397 1868578990 3257341385 2375051134 3694508338 1253730923 1528827717 3360217576 571946641 2652027073 1947189970 899376439 2049996346 4195426893 2141145193 2022487854 2833959608 3193114703 2601054185 706173818 3867011182 129646517 1899137014 344669041 3534506323 1042580669 1410241138 2648545445 851145403 473933253 1871990880 3846279410 1202161890 790076653 4074391226 2420116801 689104170 1240383233 1912576050 1807362425 2313240950 1943899665 2804750834 1620248459 1027528046 669203949 3593379042 2855034160 269826186 3686512345 183988924 1028138359 2584697908 350102590 2581335496 3266368744 3847518855 906700324 2320309978 4059644387 441481417 1731351571 2965349917 3688631729 3989468636 706926151 3649028139 1043920689 595302278 3113223240 1944150998 3711849937 3160934670 2123209902 1946636144 1909894482 355055619 1208012304 88126756 2999710878 1942818979 2563751998 1235751031 2718800840 3696214115 3855276092 625243686 43044239 2409716473 873925938 2071160330 3429332737 1470558803 776115870 96447739 3465821085 795442494 2275562926 2119589559 3696357354 424600657 132250337 1316158429 4121400060 3464180360 1179426236 820483105 1663356810 1417075319 1897088347 3613155624 334782293 1182874534 295527667 1238741595 3146966944 1348818001 4275013595 3960712259 1438437297 3170966295 3590890577 1581222084 1931468774 443893479 2112697458 2362358176 741478346 927434650 240886622 242065710 3808666144 439652831 3263104036 1202872265 2754680333 440742259 2789196026 1418522473 3526168154 3145812498 669897212 3216147213 2062979910 1010651918 2447683353 3692312626 2171704260 4158624405 26358150 3323843555 829710230 3444430950 89547037 4083999644 3894769803 212157406 4019712275 2044976641 572060546 894056670 3032317318 2062758353 4163495950 4141647238 975412613 3195354660 1202300197 1864335679 3631958166 239303769 3106887741 2566017718 444246276 3345845259 2964471897 648878310 3096903775 2837867597 2827674358 52799632 2926374937 2048666923 2784677677 3640149492 1500834120 3829482061 90579188 3012750366 3101178893 786043192 2680454640 2858183981 607064563 1153113325 711513456 1015243313 3172693535 2962000299 1777286168 4268890781 789132065 3628517837 2827874892 255 362436" option to reproduce the execution
0.69/0.70	c #vars 83000
0.69/0.70	c #constraints 1820
4.08/4.18	c BCD2: Hardening is enabled.
4.08/4.18	c BCD2: BiasedSearch is enabled.
4.08/4.18	c Solving starts ...
4.18/4.27	c ============================[ Search Statistics ]============================
4.18/4.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
4.18/4.27	c       |         |          |          |    Limit     GC | Var      | Constra 
4.18/4.27	c =============================================================================
4.18/4.27	c  0.0s |       0 |        0 |        0 |    28880      0 |    54150 |        0
6.08/6.11	c  1.9s |       0 |      475 |       12 |    28880      0 |    54152 |        0
6.08/6.11	c #cpu_time = 1.845s
6.08/6.11	c #wall_clock_time = 1.850s
6.08/6.11	c #decision = 475
6.08/6.11	c #random_decision = 0
6.08/6.11	c #conflict = 12
6.08/6.11	c #restart = 0
6.08/6.11	o 29
6.48/6.58	c BCD2: hardening fixes 5188 literals
6.48/6.59	c BCD2: updating upper bound: 564062 -> 28
6.59/6.66	c BCD2: 0 <= obj <= 28
6.59/6.67	c BCD2: #cores=0, #unrelaxed=47012, #relaxed=0, #hardened=5188
6.59/6.67	c BCD2: #sat=1 #unsat=1 bias=1/2
6.59/6.67	c Solving starts ...
6.59/6.67	c ============================[ Search Statistics ]============================
6.59/6.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.59/6.67	c       |         |          |          |    Limit     GC | Var      | Constra 
6.59/6.67	c =============================================================================
6.59/6.67	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
6.98/7.01	c  0.3s |       0 |     1883 |        1 |    28880      0 |    54152 |        0
6.98/7.01	c #cpu_time = 0.323s
6.98/7.01	c #wall_clock_time = 0.324s
6.98/7.01	c #decision = 1883
6.98/7.01	c #random_decision = 0
6.98/7.01	c #conflict = 1
6.98/7.01	c #restart = 0
6.98/7.01	c BCD2: found a new core of size 875: cost of the new core is >=1
6.98/7.01	c lower bound updated to 1
6.98/7.04	c BCD2: 1 <= obj <= 28
6.98/7.04	c BCD2: #cores=1, #unrelaxed=46137, #relaxed=875, #hardened=5188
6.98/7.04	c BCD2: #sat=1 #unsat=2 bias=2/3
6.98/7.05	c Solving starts ...
6.98/7.05	c ============================[ Search Statistics ]============================
6.98/7.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.98/7.05	c       |         |          |          |    Limit     GC | Var      | Constra 
6.98/7.05	c =============================================================================
6.98/7.05	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
7.28/7.37	c  0.3s |       0 |     1387 |        1 |    28880      0 |    54152 |        0
7.28/7.37	c #cpu_time = 0.300s
7.28/7.37	c #wall_clock_time = 0.301s
7.28/7.37	c #decision = 1387
7.28/7.37	c #random_decision = 0
7.28/7.37	c #conflict = 1
7.28/7.37	c #restart = 0
7.28/7.37	c BCD2: found a new core of size 875: cost of the new core is >=1
7.28/7.37	c lower bound updated to 2
7.38/7.40	c BCD2: 2 <= obj <= 28
7.38/7.40	c BCD2: #cores=2, #unrelaxed=45262, #relaxed=1750, #hardened=5188
7.38/7.40	c BCD2: #sat=1 #unsat=3 bias=3/4
7.38/7.40	c Solving starts ...
7.38/7.40	c ============================[ Search Statistics ]============================
7.38/7.40	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.38/7.40	c       |         |          |          |    Limit     GC | Var      | Constra 
7.38/7.40	c =============================================================================
7.38/7.40	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
7.69/7.73	c  0.3s |       0 |      891 |        1 |    28880      0 |    54152 |        0
7.69/7.73	c #cpu_time = 0.305s
7.69/7.73	c #wall_clock_time = 0.306s
7.69/7.73	c #decision = 891
7.69/7.73	c #random_decision = 0
7.69/7.73	c #conflict = 1
7.69/7.73	c #restart = 0
7.69/7.73	c BCD2: found a new core of size 875: cost of the new core is >=1
7.69/7.73	c lower bound updated to 3
7.69/7.76	c BCD2: hardening fixes 44 literals
7.69/7.76	c BCD2: 3 <= obj <= 28
7.69/7.76	c BCD2: #cores=3, #unrelaxed=44343, #relaxed=2625, #hardened=5232
7.69/7.76	c BCD2: #sat=1 #unsat=4 bias=4/5
7.69/7.76	c Solving starts ...
7.69/7.76	c ============================[ Search Statistics ]============================
7.69/7.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.69/7.76	c       |         |          |          |    Limit     GC | Var      | Constra 
7.69/7.76	c =============================================================================
7.69/7.76	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
8.19/8.24	c  0.5s |       0 |     2313 |        1 |    28880      0 |    54152 |        0
8.19/8.24	c #cpu_time = 0.446s
8.19/8.24	c #wall_clock_time = 0.447s
8.19/8.24	c #decision = 2313
8.19/8.24	c #random_decision = 0
8.19/8.24	c #conflict = 1
8.19/8.24	c #restart = 0
8.19/8.24	c BCD2: found a new core of size 735: cost of the new core is >=1
8.19/8.24	c lower bound updated to 4
8.19/8.27	c BCD2: 4 <= obj <= 28
8.19/8.27	c BCD2: #cores=4, #unrelaxed=43608, #relaxed=3360, #hardened=5232
8.19/8.27	c BCD2: #sat=1 #unsat=5 bias=5/6
8.19/8.27	c Solving starts ...
8.19/8.27	c ============================[ Search Statistics ]============================
8.19/8.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.19/8.27	c       |         |          |          |    Limit     GC | Var      | Constra 
8.19/8.27	c =============================================================================
8.19/8.27	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
8.69/8.73	c  0.5s |       0 |     2167 |        1 |    28880      0 |    54152 |        0
8.69/8.73	c #cpu_time = 0.424s
8.69/8.73	c #wall_clock_time = 0.425s
8.69/8.73	c #decision = 2167
8.69/8.73	c #random_decision = 0
8.69/8.73	c #conflict = 1
8.69/8.73	c #restart = 0
8.69/8.73	c BCD2: found a new core of size 1043: cost of the new core is >=1
8.69/8.73	c lower bound updated to 5
8.69/8.77	c BCD2: 5 <= obj <= 28
8.69/8.77	c BCD2: #cores=5, #unrelaxed=42565, #relaxed=4403, #hardened=5232
8.69/8.77	c BCD2: #sat=1 #unsat=6 bias=6/7
8.69/8.77	c Solving starts ...
8.69/8.77	c ============================[ Search Statistics ]============================
8.69/8.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.69/8.77	c       |         |          |          |    Limit     GC | Var      | Constra 
8.69/8.77	c =============================================================================
8.69/8.77	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
9.19/9.22	c  0.4s |       0 |     1733 |        0 |    28880      0 |    54152 |        0
9.19/9.22	c #cpu_time = 0.418s
9.19/9.22	c #wall_clock_time = 0.419s
9.19/9.22	c #decision = 1733
9.19/9.22	c #random_decision = 0
9.19/9.22	c #conflict = 0
9.19/9.22	c #restart = 0
9.19/9.22	c BCD2: found a new core of size 679: cost of the new core is >=1
9.19/9.22	c lower bound updated to 6
9.19/9.26	c BCD2: hardening fixes 886 literals
9.19/9.26	c BCD2: 6 <= obj <= 28
9.19/9.26	c BCD2: #cores=6, #unrelaxed=41000, #relaxed=5082, #hardened=6118
9.19/9.26	c BCD2: #sat=1 #unsat=7 bias=7/8
9.19/9.26	c Solving starts ...
9.19/9.26	c ============================[ Search Statistics ]============================
9.19/9.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
9.19/9.26	c       |         |          |          |    Limit     GC | Var      | Constra 
9.19/9.26	c =============================================================================
9.19/9.26	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
9.69/9.71	c  0.4s |       0 |     1490 |        1 |    28880      0 |    54152 |        0
9.69/9.71	c #cpu_time = 0.420s
9.69/9.71	c #wall_clock_time = 0.421s
9.69/9.71	c #decision = 1490
9.69/9.71	c #random_decision = 0
9.69/9.71	c #conflict = 1
9.69/9.71	c #restart = 0
9.69/9.71	c BCD2: found a new core of size 854: cost of the new core is >=1
9.69/9.71	c lower bound updated to 7
9.69/9.75	c BCD2: hardening fixes 268 literals
9.69/9.75	c BCD2: 7 <= obj <= 28
9.69/9.75	c BCD2: #cores=7, #unrelaxed=39878, #relaxed=5936, #hardened=6386
9.69/9.75	c BCD2: #sat=1 #unsat=8 bias=8/9
9.69/9.75	c Solving starts ...
9.69/9.75	c ============================[ Search Statistics ]============================
9.69/9.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
9.69/9.75	c       |         |          |          |    Limit     GC | Var      | Constra 
9.69/9.75	c =============================================================================
9.69/9.75	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
10.09/10.11	c  0.4s |       0 |     2632 |        1 |    28880      0 |    54152 |        0
10.09/10.11	c #cpu_time = 0.341s
10.09/10.11	c #wall_clock_time = 0.342s
10.09/10.11	c #decision = 2632
10.09/10.11	c #random_decision = 0
10.09/10.11	c #conflict = 1
10.09/10.11	c #restart = 0
10.09/10.11	c BCD2: found a new core of size 875: cost of the new core is >=1
10.09/10.11	c lower bound updated to 8
10.09/10.14	c BCD2: 8 <= obj <= 28
10.09/10.14	c BCD2: #cores=8, #unrelaxed=39003, #relaxed=6811, #hardened=6386
10.09/10.14	c BCD2: #sat=1 #unsat=9 bias=9/10
10.09/10.15	c Solving starts ...
10.09/10.15	c ============================[ Search Statistics ]============================
10.09/10.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.09/10.15	c       |         |          |          |    Limit     GC | Var      | Constra 
10.09/10.15	c =============================================================================
10.09/10.15	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
10.49/10.53	c  0.4s |       0 |     2136 |        1 |    28880      0 |    54152 |        0
10.49/10.53	c #cpu_time = 0.356s
10.49/10.53	c #wall_clock_time = 0.357s
10.49/10.53	c #decision = 2136
10.49/10.53	c #random_decision = 0
10.49/10.53	c #conflict = 1
10.49/10.53	c #restart = 0
10.49/10.53	c BCD2: found a new core of size 875: cost of the new core is >=1
10.49/10.53	c lower bound updated to 9
10.49/10.56	c BCD2: 9 <= obj <= 28
10.49/10.56	c BCD2: #cores=9, #unrelaxed=38128, #relaxed=7686, #hardened=6386
10.49/10.56	c BCD2: #sat=1 #unsat=10 bias=10/11
10.49/10.57	c Solving starts ...
10.49/10.57	c ============================[ Search Statistics ]============================
10.49/10.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
10.49/10.57	c       |         |          |          |    Limit     GC | Var      | Constra 
10.49/10.57	c =============================================================================
10.49/10.57	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
11.00/11.10	c  0.5s |       0 |     2137 |        1 |    28880      0 |    54152 |        0
11.00/11.10	c #cpu_time = 0.498s
11.00/11.10	c #wall_clock_time = 0.500s
11.00/11.10	c #decision = 2137
11.00/11.10	c #random_decision = 0
11.00/11.10	c #conflict = 1
11.00/11.10	c #restart = 0
11.10/11.10	c BCD2: found a new core of size 805: cost of the new core is >=1
11.10/11.10	c lower bound updated to 10
11.10/11.14	c BCD2: 10 <= obj <= 28
11.10/11.14	c BCD2: #cores=10, #unrelaxed=37323, #relaxed=8491, #hardened=6386
11.10/11.14	c BCD2: #sat=1 #unsat=11 bias=11/12
11.10/11.15	c Solving starts ...
11.10/11.15	c ============================[ Search Statistics ]============================
11.10/11.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.10/11.15	c       |         |          |          |    Limit     GC | Var      | Constra 
11.10/11.15	c =============================================================================
11.10/11.15	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
11.59/11.64	c  0.5s |       0 |     2543 |        1 |    28880      0 |    54152 |        0
11.59/11.64	c #cpu_time = 0.460s
11.59/11.64	c #wall_clock_time = 0.461s
11.59/11.64	c #decision = 2543
11.59/11.64	c #random_decision = 0
11.59/11.64	c #conflict = 1
11.59/11.64	c #restart = 0
11.59/11.64	c BCD2: found a new core of size 993: cost of the new core is >=1
11.59/11.64	c lower bound updated to 11
11.59/11.68	c BCD2: hardening fixes 486 literals
11.59/11.68	c BCD2: 11 <= obj <= 28
11.59/11.68	c BCD2: #cores=11, #unrelaxed=35844, #relaxed=9484, #hardened=6872
11.59/11.68	c BCD2: #sat=1 #unsat=12 bias=12/13
11.59/11.69	c Solving starts ...
11.59/11.69	c ============================[ Search Statistics ]============================
11.59/11.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
11.59/11.69	c       |         |          |          |    Limit     GC | Var      | Constra 
11.59/11.69	c =============================================================================
11.59/11.69	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
12.10/12.18	c  0.5s |       0 |     2118 |        1 |    28880      0 |    54152 |        0
12.10/12.18	c #cpu_time = 0.453s
12.10/12.18	c #wall_clock_time = 0.454s
12.10/12.18	c #decision = 2118
12.10/12.18	c #random_decision = 0
12.10/12.18	c #conflict = 1
12.10/12.18	c #restart = 0
12.10/12.18	c BCD2: found a new core of size 637: cost of the new core is >=1
12.10/12.18	c lower bound updated to 12
12.20/12.22	c BCD2: 12 <= obj <= 28
12.20/12.22	c BCD2: #cores=12, #unrelaxed=35207, #relaxed=10121, #hardened=6872
12.20/12.22	c BCD2: #sat=1 #unsat=13 bias=13/14
12.20/12.22	c Solving starts ...
12.20/12.22	c ============================[ Search Statistics ]============================
12.20/12.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.20/12.22	c       |         |          |          |    Limit     GC | Var      | Constra 
12.20/12.22	c =============================================================================
12.20/12.22	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
12.69/12.78	c  0.6s |       0 |     2588 |        1 |    28880      0 |    54152 |        0
12.69/12.78	c #cpu_time = 0.519s
12.69/12.78	c #wall_clock_time = 0.520s
12.69/12.78	c #decision = 2588
12.69/12.78	c #random_decision = 0
12.69/12.78	c #conflict = 1
12.69/12.78	c #restart = 0
12.69/12.78	c BCD2: found a new core of size 1295: cost of the new core is >=1
12.69/12.78	c lower bound updated to 13
12.79/12.82	c BCD2: 13 <= obj <= 28
12.79/12.82	c BCD2: #cores=13, #unrelaxed=33912, #relaxed=11416, #hardened=6872
12.79/12.82	c BCD2: #sat=1 #unsat=14 bias=14/15
12.79/12.83	c Solving starts ...
12.79/12.83	c ============================[ Search Statistics ]============================
12.79/12.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
12.79/12.83	c       |         |          |          |    Limit     GC | Var      | Constra 
12.79/12.83	c =============================================================================
12.79/12.83	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
13.20/13.30	c  0.5s |       0 |     2043 |        1 |    28880      0 |    54152 |        0
13.20/13.30	c #cpu_time = 0.438s
13.20/13.30	c #wall_clock_time = 0.439s
13.20/13.30	c #decision = 2043
13.20/13.30	c #random_decision = 0
13.20/13.30	c #conflict = 1
13.20/13.30	c #restart = 0
13.20/13.30	c BCD2: found a new core of size 700: cost of the new core is >=1
13.20/13.30	c lower bound updated to 14
13.30/13.34	c BCD2: hardening fixes 822 literals
13.30/13.34	c BCD2: 14 <= obj <= 28
13.30/13.34	c BCD2: #cores=14, #unrelaxed=32390, #relaxed=12116, #hardened=7694
13.30/13.34	c BCD2: #sat=1 #unsat=15 bias=15/16
13.30/13.35	c Solving starts ...
13.30/13.35	c ============================[ Search Statistics ]============================
13.30/13.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.30/13.35	c       |         |          |          |    Limit     GC | Var      | Constra 
13.30/13.35	c =============================================================================
13.30/13.35	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
13.89/13.92	c  0.6s |       0 |     2331 |        1 |    28880      0 |    54152 |        0
13.89/13.92	c #cpu_time = 0.535s
13.89/13.92	c #wall_clock_time = 0.537s
13.89/13.92	c #decision = 2331
13.89/13.92	c #random_decision = 0
13.89/13.92	c #conflict = 1
13.89/13.92	c #restart = 0
13.89/13.92	c BCD2: found a new core of size 945: cost of the new core is >=1
13.89/13.92	c lower bound updated to 15
13.89/13.96	c BCD2: 15 <= obj <= 28
13.89/13.96	c BCD2: #cores=15, #unrelaxed=31445, #relaxed=13061, #hardened=7694
13.89/13.96	c BCD2: #sat=1 #unsat=16 bias=16/17
13.89/13.97	c Solving starts ...
13.89/13.97	c ============================[ Search Statistics ]============================
13.89/13.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
13.89/13.97	c       |         |          |          |    Limit     GC | Var      | Constra 
13.89/13.97	c =============================================================================
13.89/13.97	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
14.40/14.46	c  0.5s |       0 |     2234 |        1 |    28880      0 |    54152 |        0
14.40/14.46	c #cpu_time = 0.455s
14.40/14.46	c #wall_clock_time = 0.456s
14.40/14.46	c #decision = 2234
14.40/14.46	c #random_decision = 0
14.40/14.46	c #conflict = 1
14.40/14.46	c #restart = 0
14.40/14.46	c BCD2: found a new core of size 791: cost of the new core is >=1
14.40/14.46	c lower bound updated to 16
14.49/14.50	c BCD2: hardening fixes 44 literals
14.49/14.50	c BCD2: 16 <= obj <= 28
14.49/14.50	c BCD2: #cores=16, #unrelaxed=30610, #relaxed=13852, #hardened=7738
14.49/14.50	c BCD2: #sat=1 #unsat=17 bias=17/18
14.49/14.51	c Solving starts ...
14.49/14.51	c ============================[ Search Statistics ]============================
14.49/14.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
14.49/14.51	c       |         |          |          |    Limit     GC | Var      | Constra 
14.49/14.51	c =============================================================================
14.49/14.51	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
14.99/15.07	c  0.6s |       0 |     1850 |        1 |    28880      0 |    54152 |        0
14.99/15.07	c #cpu_time = 0.527s
14.99/15.07	c #wall_clock_time = 0.528s
14.99/15.07	c #decision = 1850
14.99/15.07	c #random_decision = 0
14.99/15.07	c #conflict = 1
14.99/15.07	c #restart = 0
14.99/15.07	c BCD2: found a new core of size 693: cost of the new core is >=1
14.99/15.07	c lower bound updated to 17
15.09/15.11	c BCD2: hardening fixes 990 literals
15.09/15.11	c BCD2: 17 <= obj <= 28
15.09/15.11	c BCD2: #cores=17, #unrelaxed=28927, #relaxed=14545, #hardened=8728
15.09/15.11	c BCD2: #sat=1 #unsat=18 bias=18/19
15.09/15.12	c Solving starts ...
15.09/15.12	c ============================[ Search Statistics ]============================
15.09/15.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.09/15.12	c       |         |          |          |    Limit     GC | Var      | Constra 
15.09/15.12	c =============================================================================
15.09/15.12	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
15.59/15.68	c  0.6s |       0 |     1851 |        1 |    28880      0 |    54152 |        0
15.59/15.68	c #cpu_time = 0.517s
15.59/15.68	c #wall_clock_time = 0.519s
15.59/15.68	c #decision = 1851
15.59/15.68	c #random_decision = 0
15.59/15.68	c #conflict = 1
15.59/15.68	c #restart = 0
15.59/15.68	c BCD2: found a new core of size 651: cost of the new core is >=1
15.59/15.68	c lower bound updated to 18
15.69/15.72	c BCD2: hardening fixes 268 literals
15.69/15.72	c BCD2: 18 <= obj <= 28
15.69/15.72	c BCD2: #cores=18, #unrelaxed=28008, #relaxed=15196, #hardened=8996
15.69/15.72	c BCD2: #sat=1 #unsat=19 bias=19/20
15.69/15.72	c Solving starts ...
15.69/15.72	c ============================[ Search Statistics ]============================
15.69/15.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.69/15.72	c       |         |          |          |    Limit     GC | Var      | Constra 
15.69/15.72	c =============================================================================
15.69/15.73	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
15.99/16.08	c  0.4s |       0 |     2076 |        1 |    28880      0 |    54152 |        0
15.99/16.08	c #cpu_time = 0.335s
15.99/16.08	c #wall_clock_time = 0.336s
15.99/16.08	c #decision = 2076
15.99/16.08	c #random_decision = 0
15.99/16.08	c #conflict = 1
15.99/16.08	c #restart = 0
15.99/16.08	c BCD2: found a new core of size 875: cost of the new core is >=1
15.99/16.08	c lower bound updated to 19
16.09/16.12	c BCD2: 19 <= obj <= 28
16.09/16.12	c BCD2: #cores=19, #unrelaxed=27133, #relaxed=16071, #hardened=8996
16.09/16.12	c BCD2: #sat=1 #unsat=20 bias=20/21
16.09/16.12	c Solving starts ...
16.09/16.12	c ============================[ Search Statistics ]============================
16.09/16.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
16.09/16.12	c       |         |          |          |    Limit     GC | Var      | Constra 
16.09/16.12	c =============================================================================
16.09/16.12	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
16.69/16.70	c  0.6s |       0 |     2070 |        1 |    28880      0 |    54152 |        0
16.69/16.70	c #cpu_time = 0.542s
16.69/16.70	c #wall_clock_time = 0.544s
16.69/16.70	c #decision = 2070
16.69/16.70	c #random_decision = 0
16.69/16.70	c #conflict = 1
16.69/16.70	c #restart = 0
16.69/16.70	c BCD2: found a new core of size 1330: cost of the new core is >=1
16.69/16.70	c lower bound updated to 20
16.69/16.75	c BCD2: hardening fixes 486 literals
16.69/16.75	c BCD2: 20 <= obj <= 28
16.69/16.75	c BCD2: #cores=20, #unrelaxed=25317, #relaxed=17401, #hardened=9482
16.69/16.75	c BCD2: #sat=1 #unsat=21 bias=21/22
16.69/16.76	c Solving starts ...
16.69/16.76	c ============================[ Search Statistics ]============================
16.69/16.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
16.69/16.76	c       |         |          |          |    Limit     GC | Var      | Constra 
16.69/16.76	c =============================================================================
16.69/16.76	c  0.0s |       0 |        0 |        0 |    28880      0 |    54152 |        0
20.29/20.33	c  3.6s |       0 |     1924 |      100 |    31769      0 |    54152 |        0
20.29/20.37	c  3.6s |       1 |     1924 |      100 |    31769      0 |    54152 |        0
23.69/23.73	c  7.0s |       1 |     3691 |      200 |    31769      0 |    54152 |        0
24.79/24.81	c  8.1s |       2 |     4055 |      250 |    34946      0 |    54152 |        0
28.29/28.32	c 11.6s |       2 |     5431 |      350 |    34946      0 |    54152 |        0
31.99/32.00	c 15.2s |       2 |     5749 |      450 |    38441      0 |    54152 |        0
32.99/33.05	c 16.3s |       3 |     5787 |      475 |    38441      0 |    54152 |        0
36.79/36.87	c 20.1s |       3 |     7261 |      575 |    38441      0 |    54152 |        0
40.58/40.68	c 23.9s |       3 |     7623 |      675 |    38441      0 |    54152 |        0
42.08/42.15	c 25.4s |       4 |     7990 |      813 |    42286      0 |    54152 |        0
45.58/45.63	c 28.9s |       4 |    10093 |      913 |    42286      0 |    54152 |        0
52.38/52.46	c 35.7s |       4 |    11145 |     1013 |    42286      0 |    54152 |        0
70.28/70.35	c 53.6s |       4 |    11342 |     1113 |    42286      0 |    54152 |        0
79.78/79.87	c 63.1s |       4 |    11684 |     1213 |    42286      0 |    54152 |        0
91.77/91.88	c 75.1s |       4 |    12010 |     1313 |    46515      0 |    54152 |        0
92.07/92.13	c 75.4s |       5 |    12019 |     1320 |    46515      0 |    54152 |        0
101.77/101.86	c 85.1s |       5 |    13277 |     1420 |    46515      0 |    54152 |        0
109.47/109.51	c 92.8s |       5 |    13573 |     1520 |    46515      0 |    54152 |        0
114.48/114.56	c 97.8s |       5 |    14159 |     1620 |    46515      0 |    54152 |        0
116.97/117.09	c  100s |       5 |    14418 |     1720 |    46515      0 |    54152 |        0
121.67/121.78	c  105s |       5 |    14593 |     1820 |    46515      0 |    54152 |        0
128.47/128.52	c  111s |       5 |    14814 |     1920 |    46515      0 |    54152 |        0
134.87/134.97	c  118s |       5 |    15189 |     2020 |    46515      0 |    54152 |        0
136.07/136.11	c  119s |       6 |    15448 |     2081 |    51167      0 |    54152 |        0
138.86/138.99	c  122s |       6 |    16787 |     2181 |    51167      0 |    54152 |        0
143.36/143.41	c  126s |       6 |    16939 |     2281 |    51167      0 |    54152 |        0
146.76/146.85	c  130s |       6 |    17437 |     2381 |    51167      0 |    54152 |        0
151.87/151.96	c  135s |       6 |    18297 |     2581 |    51167      0 |    54152 |        0
156.06/156.11	c  139s |       6 |    18607 |     2681 |    51167      0 |    54152 |        0
160.96/161.04	c  144s |       6 |    18875 |     2781 |    51167      0 |    54152 |        0
178.96/179.08	c  162s |       6 |    23157 |     2881 |    51167      0 |    54154 |        0
182.46/182.51	c  165s |       6 |    25847 |     2981 |    51167      0 |    54156 |        0
185.16/185.26	c  168s |       6 |    27614 |     3081 |    51167      0 |    54157 |        0
187.46/187.55	c  170s |       6 |    28355 |     3181 |    51167      0 |    54157 |        0
187.96/188.02	c  171s |       7 |    28540 |     3223 |    56284      0 |    54157 |        0
191.26/191.38	c  174s |       7 |    29795 |     3323 |    56284      0 |    54157 |        0
195.36/195.42	c  178s |       7 |    30061 |     3423 |    56284      0 |    54157 |        0
197.56/197.61	c  180s |       7 |    30692 |     3523 |    56284      0 |    54157 |        0
201.95/202.08	c  185s |       7 |    31367 |     3723 |    56284      0 |    54157 |        0
205.36/205.47	c  188s |       7 |    31650 |     3823 |    56284      0 |    54157 |        0
208.76/208.84	c  192s |       7 |    32071 |     3923 |    56284      0 |    54157 |        0
212.06/212.12	c  195s |       7 |    33210 |     4023 |    56284      0 |    54157 |        0
217.96/218.05	c  201s |       7 |    33631 |     4123 |    56284      0 |    54157 |        0
220.76/220.85	c  204s |       7 |    34072 |     4223 |    56284      0 |    54157 |        0
223.86/223.95	c  207s |       7 |    35868 |     4323 |    56284      0 |    54158 |        0
226.36/226.42	c  209s |       7 |    36537 |     4423 |    56284      0 |    54158 |        0
230.56/230.67	c  213s |       7 |    37120 |     4523 |    56284      0 |    54158 |        0
235.56/235.69	c  218s |       7 |    38187 |     4623 |    56284      0 |    54158 |        0
241.76/241.80	c  225s |       7 |    38755 |     4723 |    56284      0 |    54158 |        0
247.06/247.10	c  230s |       7 |    39136 |     4823 |    56284      0 |    54158 |        0
253.65/253.72	c  236s |       7 |    39352 |     4923 |    61913      0 |    54158 |        0
255.45/255.51	c  238s |       8 |    40370 |     4936 |    61913      0 |    54159 |        0
257.95/258.09	c  241s |       8 |    41944 |     5036 |    61913      0 |    54159 |        0
260.15/260.20	c  243s |       8 |    42322 |     5136 |    61913      0 |    54159 |        0
263.85/263.97	c  247s |       8 |    42788 |     5236 |    61913      0 |    54159 |        0
267.26/267.35	c  250s |       8 |    43078 |     5336 |    61913      0 |    54159 |        0
271.85/271.94	c  255s |       8 |    44445 |     5436 |    61913      0 |    54159 |        0
276.95/277.02	c  260s |       8 |    44990 |     5536 |    61913      0 |    54159 |        0
279.85/279.98	c  263s |       8 |    46643 |     5636 |    61913      0 |    54160 |        0
283.85/283.92	c  267s |       8 |    47158 |     5836 |    61913      0 |    54160 |        0
286.35/286.44	c  269s |       8 |    48076 |     5936 |    61913      0 |    54160 |        0
289.35/289.47	c  272s |       8 |    48666 |     6036 |    61913      0 |    54160 |        0
292.05/292.18	c  275s |       8 |    48895 |     6136 |    61913      0 |    54160 |        0
296.54/296.61	c  279s |       8 |    50475 |     6236 |    61913      0 |    54161 |        0
299.94/300.07	c  283s |       8 |    51104 |     6336 |    61913      0 |    54161 |        0
304.34/304.44	c  287s |       8 |    51418 |     6436 |    61913      0 |    54161 |        0
307.04/307.16	c  290s |       8 |    51701 |     6536 |    61913      0 |    54161 |        0
309.34/309.43	c  292s |       8 |    51966 |     6636 |    61913      0 |    54161 |        0
313.45/313.52	c  296s |       8 |    52304 |     6736 |    61913      0 |    54161 |        0
321.25/321.35	c  304s |       8 |    52706 |     6836 |    61913      0 |    54161 |        0
324.84/324.94	c  308s |       8 |    52930 |     6936 |    61913      0 |    54161 |        0
329.95/330.03	c  313s |       8 |    53221 |     7036 |    61913      0 |    54161 |        0
332.94/333.09	c  316s |       8 |    53501 |     7136 |    61913      0 |    54161 |        0
337.34/337.49	c  320s |       8 |    53839 |     7236 |    61913      0 |    54161 |        0
341.14/341.27	c  324s |       8 |    54045 |     7336 |    61913      0 |    54161 |        0
345.34/345.41	c  328s |       8 |    54243 |     7436 |    61913      0 |    54161 |        0
349.53/349.69	c  332s |       9 |    54357 |     7506 |    68105      0 |    54161 |        0
359.64/359.80	c  343s |       9 |    56144 |     7606 |    68105      0 |    54161 |        0
368.44/368.53	c  351s |       9 |    57238 |     7706 |    68105      0 |    54161 |        0
392.13/392.20	c  375s |       9 |    57520 |     7806 |    68105      0 |    54161 |        0
426.22/426.33	c  409s |       9 |    57738 |     7906 |    68105      0 |    54161 |        0
447.72/447.87	c  431s |       9 |    57979 |     8006 |    68105      0 |    54161 |        0
453.62/453.76	c  437s |       9 |    58163 |     8106 |    68105      0 |    54161 |        0
462.12/462.22	c  445s |       9 |    58366 |     8206 |    68105      0 |    54161 |        0
470.73/470.85	c  454s |       9 |    58750 |     8306 |    68105      0 |    54161 |        0
476.33/476.49	c  459s |       9 |    58944 |     8406 |    68105      0 |    54161 |        0
484.42/484.57	c  467s |       9 |    59124 |     8506 |    68105      0 |    54161 |        0
489.52/489.62	c  472s |       9 |    59347 |     8606 |    68105      0 |    54161 |        0
499.42/499.53	c  482s |       9 |    59541 |     8706 |    68105      0 |    54161 |        0
504.31/504.44	c  487s |       9 |    59881 |     8806 |    68105      0 |    54161 |        0
511.01/511.11	c  494s |       9 |    60551 |     8906 |    68105      0 |    54161 |        0
514.11/514.22	c  497s |       9 |    61108 |     9006 |    68105      0 |    54161 |        0
519.41/519.52	c  502s |       9 |    61712 |     9106 |    68105      0 |    54161 |        0
521.91/522.04	c  505s |       9 |    62249 |     9206 |    68105      0 |    54161 |        0
524.21/524.31	c  507s |       9 |    62552 |     9306 |    68105      0 |    54161 |        0
527.51/527.64	c  510s |       9 |    62765 |     9406 |    68105      0 |    54161 |        0
530.22/530.37	c  513s |       9 |    63093 |     9506 |    68105      0 |    54161 |        0
533.31/533.43	c  516s |       9 |    63539 |     9606 |    68105      0 |    54161 |        0
538.31/538.46	c  521s |       9 |    63697 |     9706 |    68105      0 |    54161 |        0
544.61/544.76	c  527s |       9 |    63996 |     9806 |    68105      0 |    54161 |        0
549.71/549.89	c  533s |       9 |    64289 |     9906 |    68105      0 |    54161 |        0
557.00/557.16	c  540s |       9 |    64501 |    10006 |    68105      0 |    54161 |        0
562.60/562.74	c  545s |       9 |    64754 |    10106 |    68105      0 |    54161 |        0
566.80/566.97	c  550s |       9 |    64974 |    10206 |    68105      0 |    54161 |        0
570.90/571.08	c  554s |       9 |    65118 |    10306 |    68105      0 |    54161 |        0
574.11/574.25	c  557s |       9 |    65558 |    10406 |    68105      0 |    54161 |        0
577.60/577.77	c  561s |       9 |    65846 |    10506 |    68105      0 |    54161 |        0
582.10/582.23	c  565s |       9 |    66105 |    10606 |    68105      0 |    54161 |        0
585.70/585.82	c  569s |       9 |    66538 |    10706 |    68105      0 |    54161 |        0
590.00/590.18	c  573s |       9 |    66778 |    10806 |    68105      0 |    54161 |        0
592.91/593.09	c  576s |       9 |    67319 |    10906 |    68105      0 |    54161 |        0
599.70/599.89	c  583s |       9 |    67658 |    11006 |    68105      0 |    54161 |        0
603.90/604.04	c  587s |       9 |    67993 |    11106 |    68105      0 |    54161 |        0
608.09/608.23	c  591s |       9 |    69550 |    11206 |    68105      0 |    54162 |        0
613.29/613.43	c  596s |       9 |    69765 |    11306 |    74916      0 |    54162 |        0
614.99/615.19	c  598s |      10 |    69942 |    11361 |    74916      0 |    54162 |        0
621.50/621.67	c  604s |      10 |    71328 |    11461 |    74916      0 |    54162 |        0
627.79/627.92	c  611s |      10 |    71972 |    11561 |    74916      0 |    54162 |        0
633.19/633.35	c  616s |      10 |    72951 |    11661 |    74916      0 |    54162 |        0
636.19/636.37	c  619s |      10 |    73239 |    11761 |    74916      0 |    54162 |        0
640.89/641.03	c  624s |      10 |    74048 |    11861 |    74916      0 |    54162 |        0
645.99/646.18	c  629s |      10 |    74331 |    11961 |    74916      0 |    54162 |        0
650.19/650.31	c  633s |      10 |    74819 |    12061 |    74916      0 |    54162 |        0
653.79/653.97	c  637s |      10 |    75273 |    12161 |    74916      0 |    54162 |        0
657.99/658.12	c  641s |      10 |    75527 |    12261 |    74916      0 |    54162 |        0
662.19/662.39	c  645s |      10 |    76309 |    12361 |    74916      0 |    54162 |        0
673.88/674.09	c  657s |      10 |    76536 |    12461 |    74916      0 |    54162 |        0
682.78/682.99	c  666s |      10 |    77046 |    12561 |    74916      0 |    54162 |        0
691.89/692.04	c  675s |      10 |    77475 |    12661 |    74916      0 |    54162 |        0
694.28/694.48	c  677s |      10 |    77896 |    12761 |    74916      0 |    54162 |        0
696.78/696.92	c  680s |      10 |    78148 |    12861 |    74916      0 |    54162 |        0
701.98/702.16	c  685s |      10 |    78566 |    12961 |    74916      0 |    54162 |        0
704.78/705.00	c  688s |      10 |    79318 |    13061 |    74916      0 |    54162 |        0
708.08/708.29	c  691s |      10 |    79629 |    13161 |    74916      0 |    54162 |        0
712.08/712.23	c  695s |      10 |    79830 |    13261 |    74916      0 |    54162 |        0
718.19/718.36	c  701s |      10 |    83556 |    13361 |    74916      0 |    54163 |        0
730.58/730.70	c  713s |      10 |    83879 |    13461 |    74916      0 |    54163 |        0
750.87/751.01	c  734s |      10 |    85502 |    13561 |    74916      0 |    54164 |        0
755.17/755.38	c  738s |      10 |    85952 |    13661 |    74916      0 |    54164 |        0
757.77/757.98	c  741s |      10 |    86153 |    13761 |    74916      0 |    54164 |        0
761.57/761.74	c  744s |      10 |    86431 |    13861 |    74916      0 |    54164 |        0
767.07/767.22	c  750s |      10 |    86978 |    13961 |    74916      0 |    54164 |        0
770.67/770.88	c  754s |      10 |    87343 |    14061 |    74916      0 |    54164 |        0
775.17/775.37	c  758s |      10 |    87584 |    14161 |    74916      0 |    54164 |        0
780.16/780.36	c  763s |      10 |    87942 |    14261 |    74916      0 |    54164 |        0
785.56/785.75	c  768s |      10 |    88626 |    14361 |    74916      0 |    54164 |        0
790.06/790.27	c  773s |      10 |    88914 |    14461 |    74916      0 |    54164 |        0
795.46/795.69	c  778s |      10 |    89415 |    14561 |    74916      0 |    54164 |        0
799.56/799.79	c  783s |      10 |    90179 |    14661 |    74916      0 |    54164 |        0
805.35/805.50	c  788s |      10 |    90460 |    14761 |    74916      0 |    54164 |        0
818.25/818.45	c  801s |      10 |    90658 |    14861 |    74916      0 |    54164 |        0
843.64/843.83	c  827s |      10 |    90830 |    14961 |    74916      0 |    54164 |        0
862.94/863.15	c  846s |      10 |    91117 |    15061 |    74916      0 |    54164 |        0
917.11/917.40	c  900s |      10 |    91414 |    15161 |    74916      0 |    54164 |        0
937.51/937.72	c  920s |      10 |    92025 |    15261 |    74916      0 |    54164 |        0
941.91/942.17	c  925s |      10 |    93619 |    15361 |    74916      0 |    54164 |        0
945.60/945.84	c  929s |      10 |    94075 |    15461 |    74916      0 |    54164 |        0
953.40/953.65	c  936s |      10 |    96743 |    15561 |    74916      0 |    54166 |        0
958.70/958.99	c  942s |      10 |    97498 |    15761 |    74916      0 |    54166 |        0
966.80/967.10	c  950s |      10 |    97697 |    15861 |    74916      0 |    54166 |        0
977.09/977.33	c  960s |      10 |    98185 |    15961 |    74916      0 |    54166 |        0
981.89/982.13	c  965s |      10 |    98599 |    16061 |    74916      0 |    54166 |        0
985.39/985.61	c  968s |      10 |    99273 |    16261 |    74916      0 |    54166 |        0
988.80/989.07	c  972s |      10 |    99549 |    16361 |    74916      0 |    54166 |        0
990.90/991.14	c  974s |      10 |    99917 |    16461 |    74916      0 |    54166 |        0
995.49/995.75	c  978s |      10 |   100475 |    16561 |    74916      0 |    54166 |        0
1006.98/1007.22	c  990s |      10 |   100831 |    16661 |    74916      0 |    54166 |        0
1013.38/1013.62	c  996s |      10 |   101042 |    16761 |    74916      0 |    54166 |        0
1023.18/1023.42	c 1006s |      10 |   101352 |    16861 |    74916      0 |    54166 |        0
1033.88/1034.13	c 1017s |      10 |   101548 |    16961 |    74916      0 |    54166 |        0
1037.37/1037.61	c 1020s |      10 |   101842 |    17061 |    82408      0 |    54166 |        0
1041.58/1041.82	c 1025s |      11 |   102066 |    17144 |    82408      0 |    54166 |        0
1045.07/1045.35	c 1028s |      11 |   103454 |    17244 |    82408      0 |    54166 |        0
1047.17/1047.41	c 1030s |      11 |   104587 |    17344 |    82408      0 |    54166 |        0
1049.97/1050.29	c 1033s |      11 |   105472 |    17544 |    82408      0 |    54166 |        0
1054.17/1054.43	c 1037s |      11 |   107354 |    17644 |    82408      0 |    54166 |        0
1068.26/1068.54	c 1051s |      11 |   112479 |    17744 |    82408      0 |    54170 |        0
1070.76/1071.05	c 1054s |      11 |   113358 |    17844 |    82408      0 |    54170 |        0
1074.15/1074.43	c 1057s |      11 |   114351 |    17944 |    82408      0 |    54170 |        0
1080.15/1080.46	c 1063s |      11 |   114626 |    18044 |    82408      0 |    54170 |        0
1083.05/1083.39	c 1066s |      11 |   115192 |    18144 |    82408      0 |    54170 |        0
1088.55/1088.87	c 1072s |      11 |   115967 |    18244 |    82408      0 |    54170 |        0
1092.75/1093.10	c 1076s |      11 |   116387 |    18344 |    82408      0 |    54170 |        0
1098.24/1098.57	c 1081s |      11 |   116639 |    18444 |    82408      0 |    54170 |        0
1101.24/1101.55	c 1084s |      11 |   117573 |    18544 |    82408      0 |    54170 |        0
1109.44/1109.75	c 1092s |      11 |   118202 |    18744 |    82408      0 |    54170 |        0
1119.24/1119.58	c 1102s |      11 |   118392 |    18844 |    82408      0 |    54170 |        0
1122.04/1122.37	c 1105s |      11 |   118955 |    18944 |    82408      0 |    54170 |        0
1125.53/1125.80	c 1109s |      11 |   119330 |    19044 |    82408      0 |    54170 |        0
1128.63/1128.92	c 1112s |      11 |   119602 |    19144 |    82408      0 |    54170 |        0
1133.13/1133.42	c 1116s |      11 |   119966 |    19244 |    82408      0 |    54170 |        0
1136.83/1137.13	c 1120s |      11 |   120504 |    19344 |    82408      0 |    54170 |        0
1139.63/1139.96	c 1123s |      11 |   120675 |    19444 |    82408      0 |    54170 |        0
1142.74/1143.03	c 1126s |      11 |   120979 |    19544 |    82408      0 |    54170 |        0
1146.54/1146.80	c 1130s |      11 |   121232 |    19644 |    82408      0 |    54170 |        0
1151.23/1151.55	c 1134s |      11 |   121406 |    19744 |    82408      0 |    54170 |        0
1158.14/1158.46	c 1141s |      11 |   121644 |    19844 |    82408      0 |    54170 |        0
1169.13/1169.47	c 1152s |      11 |   121823 |    19944 |    82408      0 |    54170 |        0
1175.42/1175.79	c 1159s |      11 |   122024 |    20044 |    82408      0 |    54170 |        0
1182.82/1183.16	c 1166s |      11 |   122376 |    20144 |    82408      0 |    54170 |        0
1188.72/1189.09	c 1172s |      11 |   122636 |    20244 |    82408      0 |    54170 |        0
1196.41/1196.77	c 1180s |      11 |   122814 |    20344 |    82408      0 |    54170 |        0
1202.81/1203.13	c 1186s |      11 |   123058 |    20444 |    82408      0 |    54170 |        0
1207.41/1207.76	c 1190s |      11 |   123245 |    20544 |    82408      0 |    54170 |        0
1211.71/1212.05	c 1195s |      11 |   123445 |    20644 |    82408      0 |    54170 |        0
1214.11/1214.42	c 1197s |      11 |   123679 |    20744 |    82408      0 |    54170 |        0
1219.51/1219.86	c 1203s |      11 |   124184 |    20844 |    82408      0 |    54170 |        0
1225.90/1226.29	c 1209s |      11 |   124980 |    20944 |    82408      0 |    54170 |        0
1228.80/1229.12	c 1212s |      11 |   125680 |    21044 |    82408      0 |    54170 |        0
1232.00/1232.39	c 1215s |      11 |   126581 |    21144 |    82408      0 |    54170 |        0
1237.40/1237.71	c 1220s |      11 |   127820 |    21244 |    82408      0 |    54170 |        0
1246.21/1246.55	c 1229s |      11 |   128289 |    21444 |    82408      0 |    54170 |        0
1253.20/1253.54	c 1236s |      11 |   129123 |    21544 |    82408      0 |    54170 |        0
1260.90/1261.26	c 1244s |      11 |   129378 |    21644 |    82408      0 |    54170 |        0
1267.80/1268.14	c 1251s |      11 |   129994 |    21744 |    82408      0 |    54170 |        0
1272.70/1273.09	c 1256s |      11 |   130541 |    21844 |    82408      0 |    54170 |        0
1276.90/1277.30	c 1260s |      11 |   130829 |    21944 |    82408      0 |    54170 |        0
1281.59/1281.93	c 1265s |      11 |   131142 |    22044 |    82408      0 |    54170 |        0
1284.49/1284.85	c 1268s |      11 |   131372 |    22144 |    82408      0 |    54170 |        0
1288.79/1289.17	c 1272s |      11 |   132267 |    22244 |    82408      0 |    54170 |        0
1290.89/1291.25	c 1274s |      11 |   132573 |    22344 |    82408      0 |    54170 |        0
1295.18/1295.57	c 1278s |      11 |   132735 |    22444 |    82408      0 |    54170 |        0
1299.48/1299.85	c 1283s |      11 |   132912 |    22544 |    82408      0 |    54170 |        0
1302.38/1302.76	c 1286s |      11 |   133193 |    22644 |    82408      0 |    54170 |        0
1307.38/1307.73	c 1290s |      11 |   133561 |    22744 |    82408      0 |    54170 |        0
1310.89/1311.30	c 1294s |      11 |   133780 |    22844 |    82408      0 |    54170 |        0
1315.58/1315.98	c 1299s |      11 |   133932 |    22944 |    82408      0 |    54170 |        0
1318.88/1319.22	c 1302s |      11 |   134169 |    23044 |    82408      0 |    54170 |        0
1324.48/1324.86	c 1308s |      11 |   134363 |    23144 |    82408      0 |    54170 |        0
1332.98/1333.36	c 1316s |      11 |   134541 |    23244 |    82408      0 |    54170 |        0
1341.47/1341.82	c 1325s |      11 |   134793 |    23344 |    82408      0 |    54170 |        0
1345.47/1345.83	c 1329s |      11 |   135070 |    23444 |    82408      0 |    54170 |        0
1358.07/1358.40	c 1341s |      11 |   135246 |    23544 |    82408      0 |    54170 |        0
1366.97/1367.34	c 1350s |      11 |   135520 |    23644 |    82408      0 |    54170 |        0
1374.46/1374.83	c 1358s |      11 |   135818 |    23744 |    82408      0 |    54170 |        0
1381.76/1382.11	c 1365s |      11 |   136069 |    23844 |    82408      0 |    54170 |        0
1385.85/1386.23	c 1369s |      11 |   136213 |    23944 |    82408      0 |    54170 |        0
1392.16/1392.52	c 1375s |      11 |   136411 |    24044 |    82408      0 |    54170 |        0
1398.16/1398.54	c 1381s |      11 |   136542 |    24144 |    82408      0 |    54170 |        0
1403.95/1404.34	c 1387s |      11 |   136707 |    24244 |    82408      0 |    54170 |        0
1413.05/1413.42	c 1396s |      11 |   136827 |    24344 |    82408      0 |    54170 |        0
1417.36/1417.72	c 1400s |      11 |   137032 |    24444 |    82408      0 |    54170 |        0
1421.26/1421.69	c 1404s |      11 |   137267 |    24544 |    82408      0 |    54170 |        0
1426.55/1426.90	c 1410s |      11 |   137471 |    24644 |    82408      0 |    54170 |        0
1431.86/1432.29	c 1415s |      11 |   137803 |    24744 |    82408      0 |    54170 |        0
1443.05/1443.41	c 1426s |      11 |   138072 |    24844 |    82408      0 |    54170 |        0
1449.65/1450.00	c 1433s |      11 |   138237 |    24944 |    82408      0 |    54170 |        0
1459.65/1460.09	c 1443s |      11 |   138489 |    25044 |    82408      0 |    54170 |        0
1470.65/1471.10	c 1454s |      11 |   138678 |    25144 |    82408      0 |    54170 |        0
1477.74/1478.16	c 1461s |      11 |   139018 |    25244 |    82408      0 |    54170 |        0
1481.46/1481.83	c 1465s |      11 |   139342 |    25344 |    82408      0 |    54170 |        0
1486.15/1486.56	c 1469s |      11 |   139567 |    25444 |    82408      0 |    54170 |        0
1490.94/1491.33	c 1474s |      11 |   139798 |    25544 |    82408      0 |    54170 |        0
1495.34/1495.73	c 1478s |      11 |   140133 |    25644 |    90649      0 |    54170 |        0
1500.54/1500.97	c 1484s |      11 |   140370 |    25744 |    90649      0 |    54170 |        0
1504.14/1504.55	c 1487s |      12 |   140561 |    25819 |    90649      0 |    54170 |        0
1517.64/1518.10	c 1501s |      12 |   142056 |    25919 |    90649      0 |    54170 |        0
1524.44/1524.82	c 1508s |      12 |   142335 |    26019 |    90649      0 |    54170 |        0
1531.73/1532.15	c 1515s |      12 |   142490 |    26119 |    90649      0 |    54170 |        0
1538.13/1538.51	c 1521s |      12 |   142793 |    26219 |    90649      0 |    54170 |        0
1540.84/1541.25	c 1524s |      12 |   143290 |    26319 |    90649      0 |    54170 |        0
1548.03/1548.48	c 1531s |      12 |   143518 |    26419 |    90649      0 |    54170 |        0
1556.14/1556.55	c 1539s |      12 |   143888 |    26519 |    90649      0 |    54170 |        0
1565.14/1565.57	c 1548s |      12 |   144431 |    26619 |    90649      0 |    54170 |        0
1571.23/1571.65	c 1554s |      12 |   144869 |    26719 |    90649      0 |    54170 |        0
1581.23/1581.66	c 1564s |      12 |   146477 |    26819 |    90649      0 |    54171 |        0
1587.04/1587.47	c 1570s |      12 |   147122 |    26919 |    90649      0 |    54171 |        0
1594.73/1595.12	c 1578s |      12 |   147238 |    27019 |    90649      0 |    54171 |        0
1604.63/1605.09	c 1588s |      12 |   147815 |    27119 |    90649      0 |    54171 |        0
1607.93/1608.31	c 1591s |      12 |   148072 |    27219 |    90649      0 |    54171 |        0
1612.52/1612.94	c 1596s |      12 |   148407 |    27319 |    90649      0 |    54171 |        0
1616.02/1616.47	c 1599s |      12 |   148688 |    27419 |    90649      0 |    54171 |        0
1619.72/1620.18	c 1603s |      12 |   148947 |    27519 |    90649      0 |    54171 |        0
1622.02/1622.42	c 1605s |      12 |   149168 |    27619 |    90649      0 |    54171 |        0
1625.72/1626.15	c 1609s |      12 |   149345 |    27719 |    90649      0 |    54171 |        0
1632.52/1632.92	c 1616s |      12 |   149459 |    27819 |    90649      0 |    54171 |        0
1636.22/1636.66	c 1619s |      12 |   149622 |    27919 |    90649      0 |    54171 |        0
1645.41/1645.88	c 1629s |      12 |   150199 |    28019 |    90649      0 |    54171 |        0
1668.22/1668.68	c 1651s |      12 |   150415 |    28119 |    90649      0 |    54171 |        0
1688.12/1688.53	c 1671s |      12 |   150602 |    28219 |    90649      0 |    54171 |        0
1696.71/1697.10	c 1680s |      12 |   151001 |    28319 |    90649      0 |    54171 |        0
1719.61/1720.01	c 1703s |      12 |   151211 |    28419 |    90649      0 |    54171 |        0
1747.61/1748.02	c 1731s |      12 |   151571 |    28519 |    90649      0 |    54171 |        0
1755.80/1756.24	c 1739s |      12 |   151857 |    28619 |    90649      0 |    54171 |        0
1763.30/1763.73	c 1746s |      12 |   152129 |    28719 |    90649      0 |    54171 |        0
1774.80/1775.22	c 1758s |      12 |   152580 |    28819 |    90649      0 |    54171 |        0
1787.70/1788.18	c 1771s |      12 |   152796 |    28919 |    90649      0 |    54171 |        0
1796.49/1796.99	c 1780s |      12 |   154128 |    29019 |    90649      0 |    54172 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4100161-1466211551/watcher-4100161-1466211551 -o /tmp/evaluation-result-4100161-1466211551/solver-4100161-1466211551 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100161-1466211551.opb 

pid=18155
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.24 2.33 2.28 3/179 18158
/proc/meminfo: memFree=27600352/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=699836 CPUtime=0 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 2606 0 0 0 0 0 0 0 20 0 4 0 23200687 716632064 2966 33554432000 4194304 16246674 140737201684528 140737201683952 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 175471 2975 441 2943 0 172365 0
[pid=18158/tid=18159] ppid=18155 vsize=717244 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 734457856 3036 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=722364 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 739700736 3055 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=726460 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23200687 743895040 3071 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.24 2.33 2.28 3/179 18158
/proc/meminfo: memFree=27600352/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1301060 CPUtime=0.08 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 29478 0 0 0 5 3 0 0 20 0 4 0 23200687 1332285440 29777 33554432000 4194304 16246674 140737201684528 140737201683840 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 325265 29791 799 2943 0 322159 0
[pid=18158/tid=18159] ppid=18155 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1332285440 29801 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1332285440 29813 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1332285440 29824 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1301060

[startup+0.200497 s]
/proc/loadavg: 2.24 2.33 2.28 3/179 18158
/proc/meminfo: memFree=27600352/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1310276 CPUtime=0.19 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 45177 0 0 0 13 6 0 0 20 0 4 0 23200687 1341722624 45986 33554432000 4194304 16246674 140737201684528 140737201683840 7440624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 327569 45986 801 2943 0 324463 0
[pid=18158/tid=18159] ppid=18155 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1341722624 45986 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1341722624 45986 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1341722624 45986 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1310276

[startup+0.300483 s]
/proc/loadavg: 2.24 2.33 2.28 3/179 18158
/proc/meminfo: memFree=27600352/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1311300 CPUtime=0.29 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 51093 0 0 0 22 7 0 0 20 0 4 0 23200687 1342771200 51902 33554432000 4194304 16246674 140737201684528 140737201683840 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 327825 51902 801 2943 0 324719 0
[pid=18158/tid=18159] ppid=18155 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1342771200 51902 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1342771200 51902 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1311300 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1342771200 51902 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1311300

[startup+0.70039 s]
/proc/loadavg: 2.24 2.33 2.28 3/179 18158
/proc/meminfo: memFree=27600352/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 59405 0 0 0 61 8 0 0 20 0 4 0 23200687 1343819776 60214 33554432000 4194304 16246674 140737201684528 140737201683840 8055516 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 328081 60214 802 2943 0 324975 0
[pid=18158/tid=18159] ppid=18155 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1343819776 60214 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1343819776 60214 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1343819776 60214 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50038 s]
/proc/loadavg: 2.24 2.33 2.28 3/183 18162
/proc/meminfo: memFree=27063020/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1346116 CPUtime=1.48 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 241642 0 0 0 116 32 0 0 20 0 4 0 23200687 1378422784 242451 33554432000 4194304 16246674 140737201684528 140737201683704 6756338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 336529 242467 830 2943 0 333423 0
[pid=18158/tid=18159] ppid=18155 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1378422784 242472 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1378422784 242478 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1346116 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1378422784 242485 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1346116

[startup+3.10039 s]
/proc/loadavg: 2.24 2.33 2.28 3/183 18162
/proc/meminfo: memFree=26473152/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1362500 CPUtime=3.08 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 281238 0 0 0 271 37 0 0 20 0 4 0 23200687 1395200000 282047 33554432000 4194304 16246674 140737201684528 140737201666432 6164026 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 340625 282047 830 2943 0 337519 0
[pid=18158/tid=18159] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282047 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282047 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282047 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1362500

[startup+6.30038 s]
/proc/loadavg: 2.22 2.32 2.28 3/183 18162
/proc/meminfo: memFree=26472448/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1362500 CPUtime=6.28 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 281304 0 0 0 591 37 0 0 20 0 4 0 23200687 1395200000 282113 33554432000 4194304 16246674 140737201684528 140737201666432 4225897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 340625 282113 891 2943 0 337519 0
[pid=18158/tid=18159] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282113 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282113 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282113 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1362500

[startup+12.7004 s]
/proc/loadavg: 2.20 2.31 2.28 3/183 18162
/proc/meminfo: memFree=26472376/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1362500 CPUtime=12.69 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 281329 0 0 0 1231 38 0 0 20 0 4 0 23200687 1395200000 282138 33554432000 4194304 16246674 140737201684528 140737201666432 5600819 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 340625 282138 916 2943 0 337519 0
[pid=18158/tid=18159] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282138 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282138 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282138 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1362500

[startup+25.5005 s]
/proc/loadavg: 2.23 2.31 2.28 3/183 18162
/proc/meminfo: memFree=26471424/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1362500 CPUtime=25.49 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 281331 0 0 0 2511 38 0 0 20 0 4 0 23200687 1395200000 282140 33554432000 4194304 16246674 140737201684528 140737201682496 5600804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 340625 282140 918 2943 0 337519 0
[pid=18158/tid=18159] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282140 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282140 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282140 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1362500

[startup+51.1005 s]
/proc/loadavg: 2.28 2.32 2.28 3/184 18165
/proc/meminfo: memFree=26471132/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1362500 CPUtime=51.08 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 281332 0 0 0 5070 38 0 0 20 0 4 0 23200687 1395200000 282141 33554432000 4194304 16246674 140737201684528 140737201666432 5600808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 340625 282141 918 2943 0 337519 0
[pid=18158/tid=18159] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282141 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282141 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282141 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1362500

[startup+102.3 s]
/proc/loadavg: 2.25 2.31 2.27 3/184 18166
/proc/meminfo: memFree=26470496/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1362500 CPUtime=102.28 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 281332 0 0 0 10190 38 0 0 20 0 4 0 23200687 1395200000 282141 33554432000 4194304 16246674 140737201684528 140737201666432 5711355 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 340625 282141 918 2943 0 337519 0
[pid=18158/tid=18159] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282141 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282141 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282141 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1362500


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

/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1362500

[startup+1362.3 s]
/proc/loadavg: 2.22 2.22 2.24 3/184 18220
/proc/meminfo: memFree=26464388/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1362500 CPUtime=1361.97 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 281533 0 0 0 136147 50 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140737201666432 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 340625 282146 923 2943 0 337519 0
[pid=18158/tid=18159] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 1362500

[startup+1422.3 s]
/proc/loadavg: 2.24 2.22 2.24 4/184 18222
/proc/meminfo: memFree=26464716/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1362500 CPUtime=1421.96 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 281546 0 0 0 142144 52 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140737201683704 6843305 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 340625 282146 923 2943 0 337519 0
[pid=18158/tid=18159] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 1362500

[startup+1482.3 s]
/proc/loadavg: 2.47 2.29 2.26 3/184 18223
/proc/meminfo: memFree=26464472/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1362500 CPUtime=1481.95 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 281546 0 0 0 148141 54 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140737201666432 5546116 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 340625 282146 923 2943 0 337519 0
[pid=18158/tid=18159] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 1362500

[startup+1542.31 s]
/proc/loadavg: 2.44 2.31 2.27 4/184 18224
/proc/meminfo: memFree=26464348/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1362500 CPUtime=1541.94 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 281546 0 0 0 154140 54 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140737201666432 5600448 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 340625 282146 923 2943 0 337519 0
[pid=18158/tid=18159] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 1362500

[startup+1602.3 s]
/proc/loadavg: 2.49 2.34 2.28 4/184 18225
/proc/meminfo: memFree=26464100/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1362500 CPUtime=1601.92 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 281546 0 0 0 160137 55 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140737201666432 5600869 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 340625 282146 923 2943 0 337519 0
[pid=18158/tid=18159] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1362500

[startup+1662.3 s]
/proc/loadavg: 2.42 2.34 2.28 4/184 18226
/proc/meminfo: memFree=26463488/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1362500 CPUtime=1661.92 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 281546 0 0 0 166136 56 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140737201683704 5712550 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 340625 282146 923 2943 0 337519 0
[pid=18158/tid=18159] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 1362500

[startup+1722.3 s]
/proc/loadavg: 2.20 2.29 2.27 3/184 18228
/proc/meminfo: memFree=26463456/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1362500 CPUtime=1721.91 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 281546 0 0 0 172135 56 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140737201666432 5600808 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 340625 282146 923 2943 0 337519 0
[pid=18158/tid=18159] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.91
Current children cumulated vsize (KiB) 1362500

[startup+1782.3 s]
/proc/loadavg: 2.29 2.30 2.27 4/184 18229
/proc/meminfo: memFree=26463340/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1362500 CPUtime=1781.9 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 281546 0 0 0 178134 56 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140737201666432 5600176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 340625 282146 923 2943 0 337519 0
[pid=18158/tid=18159] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1362500 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1395200000 282146 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.9
Current children cumulated vsize (KiB) 1362500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.22 2.28 2.26 4/184 18278
/proc/meminfo: memFree=26437368/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1381956 CPUtime=1800.09 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 286160 0 0 0 179953 56 0 0 20 0 4 0 23200687 1415122944 286760 33554432000 4194304 16246674 140737201684528 140737201666432 5712760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 345489 286760 923 2943 0 342383 0
[pid=18158/tid=18159] ppid=18155 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1415122944 286760 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1415122944 286760 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1415122944 286760 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1381956

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 18158 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.22 2.28 2.26 4/184 18278
/proc/meminfo: memFree=26437368/32872528 swapFree=1459628/1655852
[pid=18158] ppid=18155 vsize=1381956 CPUtime=1800.09 cores=0,2,4,6
/proc/18158/stat : 18158 (toysat) R 18155 18158 16189 0 -1 4202496 286160 0 0 0 179953 56 0 0 20 0 4 0 23200687 1415122944 286760 33554432000 4194304 16246674 140737201684528 140737201666432 5712760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18158/statm: 345489 286760 923 2943 0 342383 0
[pid=18158/tid=18159] ppid=18155 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18159/stat : 18159 (toysat) S 18155 18158 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23200687 1415122944 286760 33554432000 4194304 16246674 140737201684528 140119896993008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18158/tid=18160] ppid=18155 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18160/stat : 18160 (toysat) S 18155 18158 16189 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 23200687 1415122944 286760 33554432000 4194304 16246674 140737201684528 140119818349808 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18158/tid=18161] ppid=18155 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/18158/task/18161/stat : 18161 (toysat) S 18155 18158 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23200687 1415122944 286760 33554432000 4194304 16246674 140737201684528 140119807876272 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 1381956

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.11
CPU user time (s): 1799.54
CPU system time (s): 0.566913
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 1381956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.566913
maximum resident set size= 1147040
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 286160
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= 260
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.43532 second user time and 7.04793 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 02:59:12
IDJOB=4100161
IDBENCH=1581
IDSOLVER=2542
FILE ID=node136/4100161-1466211551
RUNJOBID= node136-1466206055-16205
PBS_JOBID= 19918141
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-qap10.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4100161-1466211551/watcher-4100161-1466211551 -o /tmp/evaluation-result-4100161-1466211551/solver-4100161-1466211551 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4100161-1466211551.opb

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

MD5SUM BENCH= cba28129e4f6f6eef01b4dc927adb1b9
RANDOM SEED=1420953287

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27600564 kB
Buffers:          141596 kB
Cached:          1648828 kB
SwapCached:            0 kB
Active:          1218688 kB
Inactive:        1652072 kB
Active(anon):    1082696 kB
Inactive(anon):        0 kB
Active(file):     135992 kB
Inactive(file):  1652072 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             37504 kB
Writeback:            24 kB
AnonPages:       2740236 kB
Mapped:            16380 kB
Shmem:               204 kB
Slab:             609752 kB
SReclaimable:      53128 kB
SUnreclaim:       556624 kB
KernelStack:        1472 kB
PageTables:         9512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2872528 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node136 at 2016-06-18 03:29:12