Trace number 4100385

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.08 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-blp-ic97.opb
MD5SUMaef7e3722fd5816dc0cbb2acb61edf83
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark264293
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 264081
Optimality of the best value was proved NO
Number of variables11503
Total number of constraints971
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)835
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint4
Maximum length of a constraint9784
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 529231
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-18T03:29:59+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-4100385-1466213398.opb"]
0.00/0.01	c use --random-gen="21076725 4082543474 635313958 4251032119 752741524 2340210685 3275363542 612020650 4025372507 4190161547 413413571 3651606539 345877683 4246543779 3194387439 3953302179 2529836506 2425888528 3735885596 3221453679 813649567 745615002 2000902655 2103496209 4109544140 3860116168 3114287513 3597301513 4248656643 3512671257 2249707600 1690407688 3074181182 216956199 1711617187 2337926799 3249252837 755537255 1684372775 3937091238 2074549187 1133622827 1497917470 177934574 3910977177 2124018564 1725175524 72559843 3347940395 3221420077 3989940342 3522781719 581332756 4227292573 3525201178 3085007313 538429372 2230469616 3410016203 3456141928 1375686261 4273219371 3359473516 3542745482 1009027000 1592583518 3698737994 761948849 2123663568 2056122940 3327175249 1912598448 3023589939 3483699919 1794150844 4160853642 2701533109 1208592476 1251940337 3941986662 220964018 399903885 522588454 2073862282 3727191930 877637065 3279291716 4285633563 3079877493 2389815570 1125724754 3490093529 776386134 4191835329 3968350315 3982157683 3252035515 253057427 1575877990 63560048 1948103294 2803429425 506862482 2940031354 1680453577 2195637732 2293988710 3803161259 3169602006 1133322517 726778588 3620624477 1589002027 963124632 2224795600 2019271648 2194631356 2599756895 1142654393 3251408972 814197917 3955382214 3136148162 1406249576 3199099899 3762354031 748200057 3637672022 327849807 394941519 2023782231 3923459045 3331542105 3461575088 2593330514 2412191374 2611185014 861252359 3398702582 1356124996 3303133646 1899461645 3910813579 1215628323 2337314949 1687559919 4191325440 52738870 1612231618 2312145351 4234823497 1914400284 4037911623 3258871665 2761251904 2532608707 3301677881 2022459387 2590300213 3464722835 3808175063 78061965 1382507718 2549831176 934644878 3332227072 1239821745 1990849538 2537667838 3456087789 1600484865 207561789 3346627123 1053971549 4092722406 1810841105 2546751132 1950937308 1034272281 4266792441 664203069 3481698262 3798307077 4240490019 1666071919 2840103259 766369153 3695652089 3995112727 3393549800 1847685986 2795780815 2350531053 3722712903 4091376659 3484645603 3673741532 2647185030 2685831400 1493034854 346574595 1601487236 3071891054 2315366711 826489935 1569124193 1790575653 391626019 961789520 1049770573 1340026367 972904652 1486776382 1039362103 1583774272 644846152 3557701678 2459477319 2902280415 1814503803 2976094503 1767965533 1814038657 1869504317 2522239453 3240779625 1599097402 2315074812 4128954913 3986458379 3554074347 3517214632 456228929 2462293694 805290609 4030462948 2052169136 3491640622 2738609170 3525339594 3864529002 2095954033 3202438709 1896776920 130616836 3633387886 3468403416 1434556806 3170788078 1522929569 3882314125 1504490297 1759138419 328921408 3643422757 12456081 255 362436" option to reproduce the execution
0.19/0.25	c #vars 11503
0.19/0.25	c #constraints 971
1.19/1.23	c BCD2: Hardening is enabled.
1.19/1.23	c BCD2: BiasedSearch is enabled.
1.19/1.23	c Solving starts ...
1.19/1.23	c ============================[ Search Statistics ]============================
1.19/1.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.23	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.23	c =============================================================================
1.19/1.23	c  0.0s |       0 |        0 |        0 |     4145      0 |     1661 |        0
4.29/4.36	c  3.1s |       0 |      448 |      100 |     4145      0 |     1661 |        0
4.29/4.39	c  3.2s |       1 |      448 |      100 |     4145      0 |     1661 |        0
5.69/5.79	c  4.6s |       2 |     1434 |      250 |     4560      0 |     1661 |        0
9.09/9.11	c  7.9s |       2 |     2323 |      450 |     5016      0 |     1661 |        0
9.59/9.65	c  8.4s |       3 |     2335 |      475 |     5016      0 |     1661 |        0
12.39/12.47	c 11.2s |       3 |     3194 |      675 |     5518      0 |     1661 |        0
15.29/15.30	c 14.1s |       4 |     3263 |      813 |     5518      0 |     1661 |        0
17.58/17.63	c 16.4s |       4 |     3813 |      913 |     6070      0 |     1661 |        0
20.68/20.79	c 19.6s |       4 |     3863 |     1013 |     6070      0 |     1661 |        0
24.08/24.16	c 22.9s |       4 |     3914 |     1113 |     6070      0 |     1661 |        0
27.68/27.76	c 26.5s |       4 |     3964 |     1213 |     6070      0 |     1661 |        0
31.58/31.62	c 30.4s |       4 |     4014 |     1313 |     6070      0 |     1661 |        0
31.88/31.91	c 30.7s |       5 |     4017 |     1320 |     6070      0 |     1661 |        0
34.68/34.72	c 33.5s |       5 |     4900 |     1520 |     6678      0 |     1661 |        0
38.79/38.84	c 37.6s |       5 |     5000 |     1720 |     6678      0 |     1661 |        0
41.18/41.25	c 40.0s |       5 |     5051 |     1820 |     6678      0 |     1661 |        0
43.88/43.95	c 42.7s |       5 |     5101 |     1920 |     6678      0 |     1661 |        0
46.88/46.95	c 45.7s |       5 |     5152 |     2020 |     6678      0 |     1661 |        0
48.88/48.94	c 47.7s |       6 |     5183 |     2081 |     7346      0 |     1661 |        0
51.08/51.15	c 49.9s |       6 |     5797 |     2181 |     7346      0 |     1661 |        0
54.08/54.15	c 52.9s |       6 |     5847 |     2281 |     7346      0 |     1661 |        0
57.28/57.36	c 56.1s |       6 |     5897 |     2381 |     7346      0 |     1661 |        0
60.68/60.79	c 59.6s |       6 |     5947 |     2481 |     7346      0 |     1661 |        0
63.78/63.80	c 62.6s |       6 |     8296 |     2581 |     7346      0 |     1661 |        0
66.68/66.75	c 65.5s |       6 |    10332 |     2781 |     7346      0 |     1661 |        0
69.78/69.87	c 68.6s |       6 |    11394 |     2981 |     7346      0 |     1661 |        0
72.78/72.89	c 71.7s |       6 |    12170 |     3081 |     7346      0 |     1661 |        0
76.08/76.11	c 74.9s |       6 |    12594 |     3181 |     7346      0 |     1661 |        0
77.29/77.31	c 76.1s |       7 |    13415 |     3223 |     8081      0 |     1661 |        0
80.58/80.61	c 79.4s |       7 |    16110 |     3323 |     8081      0 |     1661 |        0
85.08/85.13	c 83.9s |       7 |    16505 |     3423 |     8081      0 |     1661 |        0
92.68/92.74	c 91.5s |       7 |    16602 |     3523 |     8081      0 |     1661 |        0
97.47/97.57	c 96.3s |       7 |    16977 |     3623 |     8081      0 |     1661 |        0
98.67/98.72	c 97.5s |       7 |    17455 |     3639 |     8081      0 |     1661 |        0
98.67/98.72	c #cpu_time = 97.223s
98.67/98.72	c #wall_clock_time = 97.472s
98.67/98.72	c #decision = 17455
98.67/98.72	c #random_decision = 43
98.67/98.72	c #conflict = 3639
98.67/98.72	c #restart = 7
98.67/98.72	o 264717
98.67/98.73	c BCD2: updating upper bound: 524318 -> 264716
98.67/98.75	c BCD2: 0 <= obj <= 264716
98.67/98.75	c BCD2: #cores=0, #unrelaxed=31, #relaxed=0, #hardened=0
98.67/98.75	c BCD2: #sat=1 #unsat=1 bias=1/2
98.67/98.75	c Solving starts ...
98.67/98.75	c ============================[ Search Statistics ]============================
98.67/98.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
98.67/98.75	c       |         |          |          |    Limit     GC | Var      | Constra 
98.67/98.75	c =============================================================================
98.67/98.75	c  0.0s |       0 |        0 |        0 |     8081      0 |     1661 |        0
98.97/99.06	c  0.3s |       0 |        1 |        0 |     8081      0 |     1661 |        0
98.97/99.06	c #cpu_time = 0.291s
98.97/99.06	c #wall_clock_time = 0.292s
98.97/99.06	c #decision = 1
98.97/99.06	c #random_decision = 0
98.97/99.06	c #conflict = 0
98.97/99.06	c #restart = 0
98.97/99.06	c BCD2: found a new core of size 2: cost of the new core is >=131073
98.97/99.06	c lower bound updated to 131073
98.97/99.07	c BCD2: 131073 <= obj <= 264716
98.97/99.07	c BCD2: #cores=1, #unrelaxed=29, #relaxed=2, #hardened=0
98.97/99.07	c BCD2: #sat=1 #unsat=2 bias=2/3
98.97/99.07	c Solving starts ...
98.97/99.07	c ============================[ Search Statistics ]============================
98.97/99.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
98.97/99.07	c       |         |          |          |    Limit     GC | Var      | Constra 
98.97/99.07	c =============================================================================
98.97/99.07	c  0.0s |       0 |        0 |        0 |     8081      0 |     1661 |        0
99.28/99.38	c  0.3s |       0 |        1 |        0 |     8081      0 |     1661 |        0
99.28/99.38	c #cpu_time = 0.290s
99.28/99.38	c #wall_clock_time = 0.291s
99.28/99.38	c #decision = 1
99.28/99.38	c #random_decision = 0
99.28/99.38	c #conflict = 0
99.28/99.38	c #restart = 0
99.28/99.38	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 3: cost of the new core is >=196610
99.28/99.38	c lower bound updated to 196610
99.28/99.39	c BCD2: 196610 <= obj <= 264716
99.28/99.39	c BCD2: #cores=1, #unrelaxed=28, #relaxed=3, #hardened=0
99.28/99.39	c BCD2: #sat=1 #unsat=3 bias=3/4
99.28/99.39	c Solving starts ...
99.28/99.39	c ============================[ Search Statistics ]============================
99.28/99.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
99.28/99.39	c       |         |          |          |    Limit     GC | Var      | Constra 
99.28/99.39	c =============================================================================
99.28/99.39	c  0.0s |       0 |        0 |        0 |     8081      0 |     1662 |        0
99.67/99.72	c  0.3s |       0 |        1 |        0 |     8081      0 |     1662 |        1
99.67/99.72	c #cpu_time = 0.304s
99.67/99.72	c #wall_clock_time = 0.305s
99.67/99.72	c #decision = 1
99.67/99.72	c #random_decision = 0
99.67/99.72	c #conflict = 0
99.67/99.72	c #restart = 0
99.67/99.72	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 4: cost of the new core is >=229379
99.67/99.72	c lower bound updated to 229379
99.67/99.73	c BCD2: 229379 <= obj <= 264716
99.67/99.73	c BCD2: #cores=1, #unrelaxed=27, #relaxed=4, #hardened=0
99.67/99.73	c BCD2: #sat=1 #unsat=4 bias=4/5
99.67/99.73	c Solving starts ...
99.67/99.73	c ============================[ Search Statistics ]============================
99.67/99.73	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
99.67/99.73	c       |         |          |          |    Limit     GC | Var      | Constra 
99.67/99.73	c =============================================================================
99.67/99.73	c  0.0s |       0 |        0 |        0 |     8081      0 |     1663 |        1
99.97/100.04	c  0.3s |       0 |        1 |        0 |     8081      0 |     1663 |        2
99.97/100.04	c #cpu_time = 0.293s
99.97/100.04	c #wall_clock_time = 0.293s
99.97/100.04	c #decision = 1
99.97/100.04	c #random_decision = 0
99.97/100.04	c #conflict = 0
99.97/100.04	c #restart = 0
99.97/100.04	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 5: cost of the new core is >=245764
99.97/100.04	c lower bound updated to 245764
99.97/100.05	c BCD2: 245764 <= obj <= 264716
99.97/100.05	c BCD2: #cores=1, #unrelaxed=26, #relaxed=5, #hardened=0
99.97/100.05	c BCD2: #sat=1 #unsat=5 bias=5/6
99.97/100.05	c Solving starts ...
99.97/100.05	c ============================[ Search Statistics ]============================
99.97/100.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
99.97/100.05	c       |         |          |          |    Limit     GC | Var      | Constra 
99.97/100.05	c =============================================================================
99.97/100.05	c  0.0s |       0 |        0 |        0 |     8081      0 |     1664 |        2
100.27/100.38	c  0.3s |       0 |        1 |        0 |     8081      0 |     1664 |        3
100.27/100.38	c #cpu_time = 0.304s
100.27/100.38	c #wall_clock_time = 0.305s
100.27/100.38	c #decision = 1
100.27/100.38	c #random_decision = 0
100.27/100.38	c #conflict = 0
100.27/100.38	c #restart = 0
100.27/100.38	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=253957
100.27/100.38	c lower bound updated to 253957
100.27/100.39	c BCD2: 253957 <= obj <= 264716
100.27/100.39	c BCD2: #cores=1, #unrelaxed=25, #relaxed=6, #hardened=0
100.27/100.39	c BCD2: #sat=1 #unsat=6 bias=6/7
100.27/100.39	c Solving starts ...
100.27/100.39	c ============================[ Search Statistics ]============================
100.27/100.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
100.27/100.39	c       |         |          |          |    Limit     GC | Var      | Constra 
100.27/100.39	c =============================================================================
100.27/100.39	c  0.0s |       0 |        0 |        0 |     8081      0 |     1665 |        3
100.67/100.70	c  0.3s |       0 |        1 |        0 |     8081      0 |     1665 |        4
100.67/100.70	c #cpu_time = 0.292s
100.67/100.70	c #wall_clock_time = 0.293s
100.67/100.70	c #decision = 1
100.67/100.70	c #random_decision = 0
100.67/100.70	c #conflict = 0
100.67/100.70	c #restart = 0
100.67/100.70	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 7: cost of the new core is >=258054
100.67/100.70	c lower bound updated to 258054
100.67/100.71	c BCD2: 258054 <= obj <= 264716
100.67/100.71	c BCD2: #cores=1, #unrelaxed=24, #relaxed=7, #hardened=0
100.67/100.71	c BCD2: #sat=1 #unsat=7 bias=7/8
100.67/100.71	c Solving starts ...
100.67/100.71	c ============================[ Search Statistics ]============================
100.67/100.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
100.67/100.71	c       |         |          |          |    Limit     GC | Var      | Constra 
100.67/100.71	c =============================================================================
100.67/100.71	c  0.0s |       0 |        0 |        0 |     8081      0 |     1666 |        4
100.97/101.04	c  0.3s |       0 |        1 |        0 |     8081      0 |     1666 |        5
100.97/101.04	c #cpu_time = 0.304s
100.97/101.04	c #wall_clock_time = 0.305s
100.97/101.04	c #decision = 1
100.97/101.04	c #random_decision = 0
100.97/101.04	c #conflict = 0
100.97/101.04	c #restart = 0
100.97/101.04	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 8: cost of the new core is >=260103
100.97/101.04	c lower bound updated to 260103
100.97/101.05	c BCD2: 260103 <= obj <= 264716
100.97/101.05	c BCD2: #cores=1, #unrelaxed=23, #relaxed=8, #hardened=0
100.97/101.05	c BCD2: #sat=1 #unsat=8 bias=8/9
100.97/101.05	c Solving starts ...
100.97/101.05	c ============================[ Search Statistics ]============================
100.97/101.05	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
100.97/101.05	c       |         |          |          |    Limit     GC | Var      | Constra 
100.97/101.05	c =============================================================================
100.97/101.05	c  0.0s |       0 |        0 |        0 |     8081      0 |     1667 |        5
101.49/101.52	c  0.5s |       0 |       14 |        1 |     8081      0 |     1667 |        6
101.49/101.52	c #cpu_time = 0.444s
101.49/101.52	c #wall_clock_time = 0.445s
101.49/101.52	c #decision = 14
101.49/101.52	c #random_decision = 0
101.49/101.52	c #conflict = 1
101.49/101.52	c #restart = 0
101.59/101.61	c BCD2: relaxing 13 and merging with 1 cores into a new core of size 21: cost of the new core is >=260104
101.59/101.61	c lower bound updated to 260104
101.68/101.71	c BCD2: 260104 <= obj <= 264716
101.68/101.71	c BCD2: #cores=1, #unrelaxed=10, #relaxed=21, #hardened=0
101.68/101.71	c BCD2: #sat=1 #unsat=9 bias=9/10
101.68/101.75	c Solving starts ...
101.68/101.75	c ============================[ Search Statistics ]============================
101.68/101.75	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
101.68/101.75	c       |         |          |          |    Limit     GC | Var      | Constra 
101.68/101.75	c =============================================================================
101.68/101.75	c  0.0s |       0 |        0 |        0 |     8081      0 |     1668 |        6
113.98/114.04	c 12.3s |       0 |     3789 |      100 |     8081      0 |     1668 |        7
113.98/114.07	c 12.3s |       1 |     3789 |      100 |     8081      0 |     1668 |        7
126.97/127.01	c 25.3s |       1 |     5386 |      200 |     8081      0 |     1668 |        7
133.97/134.03	c 32.3s |       2 |     5732 |      250 |     8081      0 |     1668 |        7
158.47/158.54	c 56.8s |       2 |     6429 |      350 |     8081      0 |     1668 |        7
187.97/188.07	c 86.3s |       2 |     6872 |      450 |     8081      0 |     1668 |        7
192.66/192.74	c 91.0s |       3 |     6967 |      475 |     8081      0 |     1668 |        7
219.06/219.10	c  117s |       3 |     8037 |      575 |     8081      0 |     1668 |        7
245.95/246.03	c  144s |       3 |     8441 |      675 |     8081      0 |     1668 |        7
265.15/265.26	c  163s |       3 |    10339 |      775 |     8081      0 |     1668 |        7
271.45/271.59	c  169s |       4 |    10792 |      813 |     8081      0 |     1668 |        7
292.05/292.19	c  190s |       4 |    12022 |      913 |     8081      0 |     1668 |        7
318.04/318.13	c  216s |       4 |    13204 |     1013 |     8081      0 |     1668 |        7
335.64/335.74	c  233s |       4 |    14000 |     1113 |     8081      0 |     1668 |        7
355.04/355.17	c  253s |       4 |    14492 |     1213 |     8081      0 |     1668 |        7
371.64/371.71	c  269s |       4 |    15265 |     1313 |     8890      0 |     1668 |        7
372.54/372.62	c  270s |       5 |    15286 |     1320 |     8890      0 |     1668 |        7
386.83/386.97	c  285s |       5 |    16237 |     1420 |     8890      0 |     1668 |        7
427.03/427.20	c  325s |       5 |    16559 |     1520 |     8890      0 |     1668 |        7
446.62/446.72	c  344s |       5 |    16831 |     1620 |     8890      0 |     1668 |        7
476.53/476.61	c  374s |       5 |    18106 |     1720 |     8890      0 |     1668 |        7
545.51/545.67	c  443s |       5 |    18488 |     1820 |     8890      0 |     1668 |        7
625.10/625.25	c  523s |       5 |    18651 |     1920 |     8890      0 |     1668 |        7
646.09/646.23	c  544s |       5 |    19339 |     2020 |     8890      0 |     1668 |        7
664.60/664.72	c  562s |       6 |    19998 |     2081 |     8890      0 |     1668 |        7
679.19/679.35	c  577s |       6 |    21570 |     2181 |     8890      0 |     1668 |        7
697.59/697.72	c  595s |       6 |    22136 |     2281 |     8890      0 |     1668 |        7
716.39/716.51	c  614s |       6 |    22359 |     2381 |     8890      0 |     1668 |        7
727.58/727.71	c  625s |       6 |    22841 |     2481 |     8890      0 |     1668 |        7
747.48/747.64	c  645s |       6 |    24544 |     2581 |     8890      0 |     1668 |        7
773.67/773.81	c  672s |       6 |    24976 |     2681 |     8890      0 |     1668 |        7
801.37/801.55	c  699s |       6 |    25309 |     2781 |     8890      0 |     1668 |        7
828.96/829.13	c  727s |       6 |    25574 |     2881 |     8890      0 |     1668 |        7
857.36/857.51	c  755s |       6 |    25780 |     2981 |     8890      0 |     1668 |        7
906.95/907.10	c  805s |       6 |    26741 |     3081 |     8890      0 |     1668 |        7
969.74/969.94	c  868s |       6 |    27038 |     3181 |     8890      0 |     1668 |        7
985.74/985.94	c  884s |       7 |    27100 |     3223 |     8890      0 |     1668 |        7
1003.03/1003.27	c  901s |       7 |    27309 |     3323 |     8890      0 |     1668 |        7
1017.43/1017.62	c  915s |       7 |    28334 |     3423 |     8890      0 |     1668 |        7
1036.03/1036.27	c  934s |       7 |    28599 |     3523 |     8890      0 |     1668 |        7
1049.73/1049.94	c  948s |       7 |    29359 |     3623 |     8890      0 |     1668 |        7
1064.22/1064.47	c  962s |       7 |    29556 |     3723 |     8890      0 |     1668 |        7
1081.43/1081.68	c  979s |       7 |    29808 |     3823 |     8890      0 |     1668 |        7
1094.63/1094.81	c  993s |       7 |    30178 |     3923 |     9779      0 |     1668 |        7
1113.92/1114.10	c 1012s |       7 |    31000 |     4023 |     9779      0 |     1668 |        7
1159.21/1159.45	c 1057s |       7 |    31695 |     4123 |     9779      0 |     1668 |        7
1176.81/1177.01	c 1075s |       7 |    31864 |     4223 |     9779      0 |     1668 |        7
1202.80/1203.02	c 1101s |       7 |    32151 |     4323 |     9779      0 |     1668 |        7
1222.31/1222.50	c 1120s |       7 |    32332 |     4423 |     9779      0 |     1668 |        7
1235.80/1236.00	c 1134s |       7 |    32533 |     4523 |     9779      0 |     1668 |        7
1251.59/1251.83	c 1150s |       7 |    32799 |     4623 |     9779      0 |     1668 |        7
1267.18/1267.47	c 1165s |       7 |    34445 |     4723 |     9779      0 |     1668 |        7
1280.77/1281.06	c 1179s |       7 |    35883 |     4823 |     9779      0 |     1668 |        7
1308.87/1309.11	c 1207s |       7 |    36461 |     4923 |     9779      0 |     1668 |        7
1309.57/1309.83	c 1208s |       8 |    36613 |     4936 |     9779      0 |     1668 |        7
1317.17/1317.40	c 1215s |       8 |    37397 |     5036 |     9779      0 |     1668 |        7
1321.17/1321.45	c 1219s |       8 |    38045 |     5136 |     9779      0 |     1668 |        7
1324.66/1324.94	c 1223s |       8 |    38321 |     5236 |     9779      0 |     1668 |        7
1331.36/1331.66	c 1229s |       8 |    38618 |     5336 |     9779      0 |     1668 |        7
1345.65/1345.95	c 1244s |       8 |    38773 |     5436 |     9779      0 |     1668 |        7
1361.85/1362.18	c 1260s |       8 |    38974 |     5536 |     9779      0 |     1668 |        7
1374.73/1375.03	c 1273s |       8 |    39188 |     5636 |     9779      0 |     1668 |        7
1388.12/1388.45	c 1286s |       8 |    39402 |     5736 |     9779      0 |     1668 |        7
1402.82/1403.15	c 1301s |       8 |    39692 |     5836 |     9779      0 |     1668 |        7
1416.52/1416.80	c 1315s |       8 |    40090 |     5936 |     9779      0 |     1668 |        7
1445.81/1446.13	c 1344s |       8 |    40560 |     6036 |     9779      0 |     1668 |        7
1480.41/1480.70	c 1378s |       8 |    40818 |     6136 |     9779      0 |     1668 |        7
1498.90/1499.22	c 1397s |       8 |    41070 |     6236 |     9779      0 |     1668 |        7
1551.00/1551.32	c 1449s |       8 |    41667 |     6336 |     9779      0 |     1668 |        7
1612.69/1613.04	c 1511s |       8 |    41985 |     6436 |     9779      0 |     1668 |        7
1682.88/1683.23	c 1581s |       8 |    42121 |     6536 |     9779      0 |     1668 |        7
1713.88/1714.23	c 1612s |       8 |    42318 |     6636 |     9779      0 |     1668 |        7
1736.47/1736.84	c 1635s |       8 |    42431 |     6736 |     9779      0 |     1668 |        7
1765.26/1765.63	c 1663s |       8 |    42813 |     6836 |     9779      0 |     1668 |        7
1786.06/1786.41	c 1684s |       8 |    44017 |     6936 |     9779      0 |     1668 |        7

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

pid=12630
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.06 2.09 2.04 3/179 12633
/proc/meminfo: memFree=31327412/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=800188 CPUtime=0 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 2999 0 0 0 0 0 0 0 20 0 4 0 23390264 819392512 3360 33554432000 4194304 16246674 140736835093376 140736835092800 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 200815 3369 441 2943 0 197709 0
[pid=12633/tid=12634] ppid=12630 vsize=817596 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 837218304 3428 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=821692 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 841412608 3445 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=826812 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 23390264 846655488 3462 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.06 2.09 2.04 3/179 12633
/proc/meminfo: memFree=31327412/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 29213 0 0 0 4 5 0 0 20 0 4 0 23390264 1334382592 29513 33554432000 4194304 16246674 140736835093376 140736835092688 7367789 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 325777 29527 800 2943 0 322671 0
[pid=12633/tid=12634] ppid=12630 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1334382592 29538 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1334382592 29549 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1334382592 29560 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.20051 s]
/proc/loadavg: 2.06 2.09 2.04 3/179 12633
/proc/meminfo: memFree=31327412/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 44147 0 0 0 13 6 0 0 20 0 4 0 23390264 1343819776 44957 33554432000 4194304 16246674 140736835093376 140736835092688 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 44957 801 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 44957 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 44957 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 44961 33554432000 4194304 16246674 140736835093376 140000647695536 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) 1312324

[startup+0.300484 s]
/proc/loadavg: 2.06 2.09 2.04 3/179 12633
/proc/meminfo: memFree=31327412/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 57269 0 0 0 21 8 0 0 20 0 4 0 23390264 1343819776 58079 33554432000 4194304 16246674 140736835093376 140736835092688 5512569 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 58079 834 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58079 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58079 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58079 33554432000 4194304 16246674 140736835093376 140000647695536 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) 1312324

[startup+0.700399 s]
/proc/loadavg: 2.06 2.09 2.04 3/179 12633
/proc/meminfo: memFree=31327412/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 57276 0 0 0 61 8 0 0 20 0 4 0 23390264 1343819776 58086 33554432000 4194304 16246674 140736835093376 140736835092688 13780652 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 58086 840 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58086 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58086 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58086 33554432000 4194304 16246674 140736835093376 140000647695536 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.5004 s]
/proc/loadavg: 2.06 2.09 2.04 3/183 12637
/proc/meminfo: memFree=31095852/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=1.49 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 57327 0 0 0 141 8 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140736835075264 13775088 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 58137 891 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10028 s]
/proc/loadavg: 2.06 2.09 2.04 3/183 12637
/proc/meminfo: memFree=31095108/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=3.09 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 57327 0 0 0 301 8 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140736835075264 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 58137 891 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1312324

[startup+6.30037 s]
/proc/loadavg: 2.06 2.09 2.04 3/184 12640
/proc/meminfo: memFree=31094612/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=6.29 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 57327 0 0 0 621 8 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140736835075264 5712566 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 58137 891 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1312324

[startup+12.7004 s]
/proc/loadavg: 2.05 2.09 2.04 3/184 12640
/proc/meminfo: memFree=31094860/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=12.69 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 57327 0 0 0 1261 8 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140736835075264 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 58137 891 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 58137 33554432000 4194304 16246674 140736835093376 140000647695536 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) 1312324

[startup+25.5004 s]
/proc/loadavg: 2.04 2.08 2.04 3/184 12640
/proc/meminfo: memFree=31077020/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=25.48 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 61952 0 0 0 2540 8 0 0 20 0 4 0 23390264 1343819776 62762 33554432000 4194304 16246674 140736835093376 140736835075264 5711576 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 62762 891 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 62762 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 62762 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 62762 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1312324

[startup+51.1004 s]
/proc/loadavg: 2.02 2.08 2.04 3/184 12640
/proc/meminfo: memFree=30892820/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=51.08 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 107572 0 0 0 5094 14 0 0 20 0 4 0 23390264 1343819776 108382 33554432000 4194304 16246674 140736835093376 140736835075264 12466605 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 108382 894 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 108382 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 108382 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 108382 33554432000 4194304 16246674 140736835093376 140000647695536 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) 1312324

[startup+102.3 s]
/proc/loadavg: 2.06 2.08 2.04 3/183 12641
/proc/meminfo: memFree=30616184/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=102.28 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 156652 0 0 0 10208 20 0 0 20 0 4 0 23390264 1343819776 157462 33554432000 4194304 16246674 140736835093376 140736835075264 13780585 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 157462 917 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 157462 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 157462 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 157462 33554432000 4194304 16246674 140736835093376 140000647695536 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) 1312324


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

/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1312324

[startup+1362.3 s]
/proc/loadavg: 2.15 2.12 2.08 3/183 12673
/proc/meminfo: memFree=29510252/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=1362.04 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 208528 0 0 0 136177 27 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140736835075264 5711964 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 269602 920 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1312324

[startup+1422.3 s]
/proc/loadavg: 2.11 2.11 2.08 3/183 12675
/proc/meminfo: memFree=29511128/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=1422.02 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 208544 0 0 0 142175 27 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140736835075264 5711697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 269602 920 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 1312324

[startup+1482.3 s]
/proc/loadavg: 2.12 2.10 2.08 3/183 12676
/proc/meminfo: memFree=29510756/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=1482.01 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 208544 0 0 0 148174 27 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140736835075264 5711624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 269602 920 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1312324

[startup+1542.3 s]
/proc/loadavg: 2.14 2.11 2.09 3/183 12677
/proc/meminfo: memFree=29510880/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=1542 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 208544 0 0 0 154173 27 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140736835075264 5712550 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 269602 920 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1312324

[startup+1602.3 s]
/proc/loadavg: 2.15 2.12 2.09 3/183 12678
/proc/meminfo: memFree=29510880/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=1601.99 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 208544 0 0 0 160172 27 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140736835075264 12995176 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 269602 920 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1312324

[startup+1662.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 12679
/proc/meminfo: memFree=29510872/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=1661.98 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 208544 0 0 0 166171 27 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140736835075264 5712555 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 269602 920 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1312324

[startup+1722.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/183 12681
/proc/meminfo: memFree=29510624/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=1721.97 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 208544 0 0 0 172170 27 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140736835075264 6022678 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 269602 920 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1312324

[startup+1782.3 s]
/proc/loadavg: 2.10 2.11 2.09 3/183 12731
/proc/meminfo: memFree=29468512/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=1781.97 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 208544 0 0 0 178170 27 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140736835075264 13943608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 269602 920 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 1312324



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.07 2.10 2.09 4/183 12731
/proc/meminfo: memFree=29468808/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=1800.06 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 208544 0 0 0 179979 27 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140736835075264 5711338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 269602 920 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1312324

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 12633 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.4 s]
/proc/loadavg: 2.07 2.10 2.09 4/183 12731
/proc/meminfo: memFree=29468808/32872528 swapFree=249320/249320
[pid=12633] ppid=12630 vsize=1312324 CPUtime=1800.06 cores=0,2,4,6
/proc/12633/stat : 12633 (toysat) R 12630 12633 11324 0 -1 4202496 208544 0 0 0 179979 27 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140736835075264 5711338 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12633/statm: 328081 269602 920 2943 0 324975 0
[pid=12633/tid=12634] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12634/stat : 12634 (toysat) S 12630 12633 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000668658928 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12633/tid=12635] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12635/stat : 12635 (toysat) S 12630 12633 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000658169072 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12633/tid=12636] ppid=12630 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/12633/task/12636/stat : 12636 (toysat) S 12630 12633 11324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 23390264 1343819776 269602 33554432000 4194304 16246674 140736835093376 140000647695536 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1312324

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.08
CPU user time (s): 1799.8
CPU system time (s): 0.279957
CPU usage (%): 99.9816
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.8
system time used= 0.279957
maximum resident set size= 1078408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 208544
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= 96
involuntary context switches= 1852

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.64329 second user time and 6.82096 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 03:29:58
IDJOB=4100385
IDBENCH=1610
IDSOLVER=2542
FILE ID=node103/4100385-1466213398
RUNJOBID= node103-1466206104-11340
PBS_JOBID= 19918169
Free space on /tmp= 71716 MiB

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

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

MD5SUM BENCH= aef7e3722fd5816dc0cbb2acb61edf83
RANDOM SEED=1299203498

node103.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.55
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.55
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.55
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:        31327692 kB
Buffers:           91692 kB
Cached:           108652 kB
SwapCached:         2200 kB
Active:           445664 kB
Inactive:         117160 kB
Active(anon):     361264 kB
Inactive(anon):     3600 kB
Active(file):      84400 kB
Inactive(file):   113560 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:             34780 kB
Writeback:             0 kB
AnonPages:        610792 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             600076 kB
SReclaimable:      44184 kB
SUnreclaim:       555892 kB
KernelStack:        1520 kB
PageTables:         6448 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1471844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 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= 71696 MiB
End job on node103 at 2016-06-18 03:59:59