Trace number 4079725

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/logic_synthesis/normalized-saucier.r.opb
MD5SUMaa80468537d69826ea16800f352007ec
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark661.163
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 7
Optimality of the best value was proved NO
Number of variables6207
Total number of constraints171
Number of constraints which are clauses171
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint5184
Number of terms in the objective function 6207
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 6207
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 6207
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c 2016-06-06T21:54:23+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-4079725-1465242863.opb"]
0.00/0.01	c use --random-gen="2069764611 1763205080 377746537 803474937 1988734725 1188068666 2786740179 898136320 4172207078 1493170953 523092341 1566993201 4101962988 658711438 1167088708 3796951612 268796493 3424494286 318925792 2820546918 361000007 4220791312 1832845654 1493118475 3188845102 1554039403 3580329706 712379813 4144321756 267273900 3048473259 3351716657 2994838691 3819747587 819677503 780477745 4195611800 3692530409 2325238223 363436657 3502077865 3085680387 2161680261 4230237495 1037444478 3356433197 2378636583 1309083554 1903813018 1676682063 3790115653 2537549511 1607166129 3746737241 3637032896 694272458 2999611994 1723006169 1061140840 3385622376 3987124932 1839571014 1268602145 2184673503 1015761340 608547411 2692384991 964468215 2041573326 4030215397 1251143308 330297027 2213411504 4235233010 2892606194 1347230090 2030417059 2625705496 238328082 2720537317 3419368586 3267557303 3814401742 4174954967 1609725316 2309004382 1901349941 1815048254 3535608229 2474349268 1382763605 1764658216 891569898 2898147705 3714936107 480714557 267362297 3824071636 3908028089 768927434 16494995 104627508 3622488073 605451124 137301403 1780581399 896366170 2012851828 1326194913 3971048165 3583785949 1891049357 343140392 2961295847 3121180461 690089395 3294341801 2750361018 3554160383 370599107 504755027 1230254602 2423075359 2132139125 1279466504 2742684097 518085500 1933933250 505546969 3400517090 2281192346 1735475971 1031518094 2189567981 3854887130 2093292097 1075429425 486038797 3655717852 598894151 1494803860 1670654951 4116273916 689071198 557346924 2871011112 1166384031 1095501933 175755954 2133024987 3060723442 2123374627 706838976 1808561416 4073702309 1913143340 126677334 4091309763 3170140163 320408497 1611207296 3091247925 3616884566 2823807072 1203070461 2851233492 4124817596 3811567050 584254934 162528706 4180082902 4208778935 956805840 1485955114 3207139375 3963592743 2479537896 2964949570 3923618933 2685185168 1529824768 795288598 416304466 1875132 994061311 1503498250 281165854 2428714667 49420480 3393588266 199897700 355462804 628167775 387181637 2997606336 3163583268 440689783 2949856949 556599223 3962856529 3042003395 3841783264 1030498797 1643959621 1938037873 225625394 397578010 3263175353 1142576213 1954554200 902293679 3118750205 1592356809 1019029056 759333912 68708143 70801849 167786257 2899899478 1622134837 2612383482 3953335996 1070040402 248973618 554342086 2538567438 3103499230 1462179110 278481843 1334144653 265874420 749897716 4187756277 3339808633 3471931434 3207377594 324407159 576915598 1903947705 1106412285 3523318829 2899585811 3292417979 3564275571 3402081301 276509086 1232203731 3157808418 837161577 4149682382 3651778934 2266749274 310556973 2031233174 47239379 4023903265 255 362436" option to reproduce the execution
0.79/0.82	c #vars 6207
0.79/0.82	c #constraints 171
2.20/2.29	c BCD2: Hardening is enabled.
2.20/2.29	c BCD2: BiasedSearch is enabled.
2.20/2.29	c Solving starts ...
2.20/2.29	c ============================[ Search Statistics ]============================
2.20/2.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.20/2.29	c       |         |          |          |    Limit     GC | Var      | Constra 
2.20/2.29	c =============================================================================
2.20/2.29	c  0.0s |       0 |        0 |        0 |     2126      0 |        0 |        0
2.30/2.34	c  0.0s |       0 |     6207 |        0 |     2126      0 |        0 |        0
2.30/2.34	c #cpu_time = 0.046s
2.30/2.34	c #wall_clock_time = 0.046s
2.30/2.34	c #decision = 6207
2.30/2.34	c #random_decision = 37
2.30/2.34	c #conflict = 0
2.30/2.34	c #restart = 0
2.30/2.34	o 6207
2.30/2.34	c BCD2: updating upper bound: 6207 -> 6206
2.30/2.35	c BCD2: 0 <= obj <= 6206
2.30/2.35	c BCD2: #cores=0, #unrelaxed=6207, #relaxed=0, #hardened=0
2.30/2.35	c BCD2: #sat=1 #unsat=1 bias=1/2
2.30/2.35	c Solving starts ...
2.30/2.35	c ============================[ Search Statistics ]============================
2.30/2.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.30/2.35	c       |         |          |          |    Limit     GC | Var      | Constra 
2.30/2.35	c =============================================================================
2.30/2.35	c  0.0s |       0 |        0 |        0 |     2126      0 |        0 |        0
2.30/2.39	c  0.0s |       0 |      322 |        0 |     2126      0 |        0 |        0
2.30/2.39	c #cpu_time = 0.036s
2.30/2.39	c #wall_clock_time = 0.036s
2.30/2.39	c #decision = 322
2.30/2.39	c #random_decision = 0
2.30/2.39	c #conflict = 0
2.30/2.39	c #restart = 0
2.30/2.39	c BCD2: found a new core of size 2: cost of the new core is >=1
2.30/2.39	c lower bound updated to 1
2.39/2.49	c BCD2: 1 <= obj <= 6206
2.39/2.49	c BCD2: #cores=1, #unrelaxed=6205, #relaxed=2, #hardened=0
2.39/2.49	c BCD2: #sat=1 #unsat=2 bias=2/3
2.49/2.50	c Solving starts ...
2.49/2.50	c ============================[ Search Statistics ]============================
2.49/2.50	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.49/2.50	c       |         |          |          |    Limit     GC | Var      | Constra 
2.49/2.50	c =============================================================================
2.49/2.50	c  0.0s |       0 |        0 |        0 |     2126      0 |        0 |       32
2.49/2.54	c  0.0s |       0 |     5163 |        0 |     2126      0 |        0 |       32
2.49/2.54	c #cpu_time = 0.036s
2.49/2.54	c #wall_clock_time = 0.036s
2.49/2.54	c #decision = 5163
2.49/2.54	c #random_decision = 0
2.49/2.54	c #conflict = 0
2.49/2.54	c #restart = 0
2.49/2.54	c BCD2: found a new core of size 2560: cost of the new core is >=1
2.49/2.54	c lower bound updated to 2
2.49/2.59	c BCD2: 2 <= obj <= 6206
2.49/2.59	c BCD2: #cores=2, #unrelaxed=3645, #relaxed=2562, #hardened=0
2.49/2.59	c BCD2: #sat=1 #unsat=3 bias=3/4
2.59/2.60	c Solving starts ...
2.59/2.60	c ============================[ Search Statistics ]============================
2.59/2.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.59/2.60	c       |         |          |          |    Limit     GC | Var      | Constra 
2.59/2.60	c =============================================================================
2.59/2.60	c  0.0s |       0 |        0 |        0 |     2126      0 |        0 |       39
2.59/2.64	c  0.0s |       0 |     3628 |        0 |     2126      0 |        0 |       39
2.59/2.64	c #cpu_time = 0.033s
2.59/2.64	c #wall_clock_time = 0.033s
2.59/2.64	c #decision = 3628
2.59/2.64	c #random_decision = 0
2.59/2.64	c #conflict = 0
2.59/2.64	c #restart = 0
2.59/2.64	c BCD2: found a new core of size 2560: cost of the new core is >=1
2.59/2.64	c lower bound updated to 3
2.59/2.65	c BCD2: 3 <= obj <= 6206
2.59/2.65	c BCD2: #cores=3, #unrelaxed=1085, #relaxed=5122, #hardened=0
2.59/2.65	c BCD2: #sat=1 #unsat=4 bias=4/5
2.59/2.67	c Solving starts ...
2.59/2.67	c ============================[ Search Statistics ]============================
2.59/2.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.59/2.67	c       |         |          |          |    Limit     GC | Var      | Constra 
2.59/2.67	c =============================================================================
2.59/2.67	c  0.0s |       0 |        0 |        0 |     2126      0 |        0 |       40
2.69/2.70	c  0.0s |       0 |     1081 |        0 |     2126      0 |        0 |       40
2.69/2.70	c #cpu_time = 0.032s
2.69/2.70	c #wall_clock_time = 0.032s
2.69/2.70	c #decision = 1081
2.69/2.70	c #random_decision = 0
2.69/2.70	c #conflict = 0
2.69/2.70	c #restart = 0
2.69/2.70	c BCD2: found a new core of size 40: cost of the new core is >=1
2.69/2.70	c lower bound updated to 4
2.69/2.74	c BCD2: 4 <= obj <= 6206
2.69/2.74	c BCD2: #cores=4, #unrelaxed=1045, #relaxed=5162, #hardened=0
2.69/2.74	c BCD2: #sat=1 #unsat=5 bias=5/6
2.69/2.77	c Solving starts ...
2.69/2.77	c ============================[ Search Statistics ]============================
2.69/2.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.69/2.77	c       |         |          |          |    Limit     GC | Var      | Constra 
2.69/2.77	c =============================================================================
2.69/2.77	c  0.0s |       0 |        0 |        0 |     2126      0 |        0 |       54
2.79/2.80	c  0.0s |       0 |     1048 |        0 |     2126      0 |        0 |       54
2.79/2.80	c #cpu_time = 0.030s
2.79/2.80	c #wall_clock_time = 0.030s
2.79/2.80	c #decision = 1048
2.79/2.80	c #random_decision = 0
2.79/2.80	c #conflict = 0
2.79/2.80	c #restart = 0
2.79/2.80	c BCD2: found a new core of size 20: cost of the new core is >=1
2.79/2.80	c lower bound updated to 5
2.79/2.81	c BCD2: 5 <= obj <= 6206
2.79/2.81	c BCD2: #cores=5, #unrelaxed=1025, #relaxed=5182, #hardened=0
2.79/2.81	c BCD2: #sat=1 #unsat=6 bias=6/7
2.79/2.83	c Solving starts ...
2.79/2.83	c ============================[ Search Statistics ]============================
2.79/2.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.79/2.83	c       |         |          |          |    Limit     GC | Var      | Constra 
2.79/2.83	c =============================================================================
2.79/2.83	c  0.0s |       0 |        0 |        0 |     2126      0 |        0 |       57
2.79/2.87	c  0.0s |       0 |     6207 |        0 |     2126      0 |        0 |       57
2.79/2.87	c #cpu_time = 0.036s
2.79/2.87	c #wall_clock_time = 0.036s
2.79/2.87	c #decision = 6207
2.79/2.87	c #random_decision = 20
2.79/2.87	c #conflict = 0
2.79/2.87	c #restart = 0
2.79/2.87	o 13
2.79/2.87	c BCD2: updating upper bound: 6206 -> 12
2.79/2.89	c BCD2: 5 <= obj <= 12
2.79/2.89	c BCD2: #cores=5, #unrelaxed=1025, #relaxed=5182, #hardened=0
2.79/2.89	c BCD2: #sat=2 #unsat=6 bias=6/8
2.89/2.91	c Solving starts ...
2.89/2.91	c ============================[ Search Statistics ]============================
2.89/2.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.89/2.91	c       |         |          |          |    Limit     GC | Var      | Constra 
2.89/2.91	c =============================================================================
2.89/2.91	c  0.0s |       0 |        0 |        0 |     2126      0 |        0 |       58
3.40/3.42	c  0.5s |       1 |     6630 |      100 |     2126      0 |        0 |       58
16.78/16.86	c 14.0s |       1 |    12486 |      200 |     2339      0 |        0 |       58
22.88/22.91	c 20.0s |       2 |    13255 |      250 |     2339      0 |        0 |       58
27.99/28.02	c 25.1s |       2 |    39641 |      350 |     2573      0 |        0 |       58
32.09/32.10	c 29.2s |       2 |    44984 |      450 |     2573      0 |        0 |       58
32.59/32.61	c 29.7s |       3 |    45115 |      475 |     2573      0 |        0 |       58
36.68/36.75	c 33.8s |       3 |    53016 |      575 |     2831      0 |        0 |       58
40.48/40.57	c 37.7s |       3 |    57115 |      675 |     2831      0 |        0 |       58
44.09/44.12	c 41.2s |       3 |    59506 |      775 |     2831      0 |        0 |       58
45.99/46.09	c 43.2s |       4 |    65523 |      813 |     2831      0 |        0 |       58
52.28/52.35	c 49.4s |       4 |    92799 |      913 |     3115      0 |        0 |       58
67.48/67.59	c 64.7s |       4 |    96656 |     1013 |     3115      0 |        0 |       58
86.57/86.60	c 83.7s |       4 |    99746 |     1113 |     3115      0 |        0 |       58
106.97/107.00	c  104s |       4 |   100427 |     1213 |     3115      0 |        0 |       58
131.57/131.63	c  128s |       4 |   102266 |     1313 |     3115      0 |        0 |       58
133.17/133.21	c  130s |       5 |   102298 |     1320 |     3115      0 |        0 |       58
148.26/148.32	c  145s |       5 |   123186 |     1420 |     3427      0 |        0 |       58
166.57/166.65	c  163s |       5 |   137097 |     1520 |     3427      0 |        0 |       58
183.16/183.28	c  180s |       5 |   137921 |     1620 |     3427      0 |        0 |       58
191.16/191.26	c  188s |       5 |   138523 |     1720 |     3427      0 |        0 |       58
211.86/211.92	c  209s |       5 |   141603 |     1820 |     3427      0 |        0 |       58
228.35/228.46	c  225s |       5 |   162723 |     1920 |     3427      0 |        0 |       58
265.95/266.01	c  263s |       5 |   165246 |     2020 |     3427      0 |        0 |       58
280.65/280.78	c  277s |       6 |   165447 |     2081 |     3770      0 |        0 |       58
286.84/286.94	c  284s |       6 |   168794 |     2082 |     3770      0 |        0 |       58
286.84/286.94	c #cpu_time = 283.284s
286.84/286.94	c #wall_clock_time = 284.029s
286.84/286.94	c #decision = 168794
286.84/286.94	c #random_decision = 651
286.84/286.94	c #conflict = 2082
286.84/286.94	c #restart = 6
286.84/286.94	o 9
286.84/286.94	c BCD2: updating upper bound: 12 -> 8
286.84/286.96	c BCD2: 5 <= obj <= 8
286.84/286.96	c BCD2: #cores=5, #unrelaxed=1025, #relaxed=5182, #hardened=0
286.84/286.96	c BCD2: #sat=3 #unsat=6 bias=6/9
286.84/286.97	c Solving starts ...
286.84/286.97	c ============================[ Search Statistics ]============================
286.84/286.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
286.84/286.97	c       |         |          |          |    Limit     GC | Var      | Constra 
286.84/286.97	c =============================================================================
286.84/286.97	c  0.0s |       0 |        0 |        0 |     3770      0 |        0 |       59
288.25/288.38	c  1.4s |       0 |     3253 |        7 |     3770      0 |        0 |       59
288.25/288.38	c #cpu_time = 1.411s
288.25/288.38	c #wall_clock_time = 1.415s
288.25/288.38	c #decision = 3253
288.25/288.38	c #random_decision = 7
288.25/288.38	c #conflict = 7
288.25/288.38	c #restart = 0
288.25/288.38	o 7
288.25/288.39	c BCD2: updating upper bound: 8 -> 6
288.34/288.40	c BCD2: 5 <= obj <= 6
288.34/288.40	c BCD2: #cores=5, #unrelaxed=1025, #relaxed=5182, #hardened=0
288.34/288.40	c BCD2: #sat=4 #unsat=6 bias=6/10
288.34/288.41	c Solving starts ...
288.34/288.41	c ============================[ Search Statistics ]============================
288.34/288.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
288.34/288.41	c       |         |          |          |    Limit     GC | Var      | Constra 
288.34/288.41	c =============================================================================
288.34/288.41	c  0.0s |       0 |        0 |        0 |     3770      0 |        0 |       60
301.85/301.90	c 13.5s |       0 |     3733 |      100 |     3770      0 |        0 |       60
301.85/301.90	c 13.5s |       1 |     3733 |      100 |     3770      0 |        0 |       60
324.24/324.33	c 35.9s |       1 |     8428 |      200 |     3770      0 |        0 |       60
343.03/343.16	c 54.7s |       2 |     8737 |      250 |     3770      0 |        0 |       60
350.54/350.61	c 62.2s |       2 |    15356 |      350 |     3770      0 |        0 |       60
360.74/360.88	c 72.5s |       2 |    16880 |      450 |     3770      0 |        0 |       60
362.13/362.28	c 73.9s |       3 |    17228 |      475 |     3770      0 |        0 |       60
378.04/378.19	c 89.8s |       3 |    26570 |      575 |     3770      0 |        0 |       60
420.72/420.81	c  132s |       3 |    31325 |      675 |     3770      0 |        0 |       60
450.72/450.89	c  162s |       3 |    31703 |      775 |     3770      0 |        0 |       60
459.32/459.40	c  170s |       4 |    33552 |      813 |     3770      0 |        0 |       60
462.92/463.05	c  174s |       4 |    40093 |      913 |     3770      0 |        0 |       60
465.42/465.58	c  177s |       4 |    41289 |     1013 |     3770      0 |        0 |       60
469.22/469.31	c  180s |       4 |    41525 |     1113 |     3770      0 |        0 |       60
472.52/472.61	c  184s |       4 |    42722 |     1213 |     4147      0 |        0 |       60
475.13/475.23	c  186s |       4 |    45609 |     1313 |     4147      0 |        0 |       60
475.32/475.42	c  187s |       5 |    45660 |     1320 |     4147      0 |        0 |       60
478.81/478.98	c  190s |       5 |    53206 |     1420 |     4147      0 |        0 |       60
481.31/481.47	c  193s |       5 |    53546 |     1520 |     4147      0 |        0 |       60
484.11/484.22	c  195s |       5 |    56026 |     1620 |     4147      0 |        0 |       60
487.91/488.03	c  199s |       5 |    57867 |     1720 |     4147      0 |        0 |       60
491.01/491.17	c  202s |       5 |    58377 |     1820 |     4147      0 |        0 |       60
494.30/494.41	c  205s |       5 |    58604 |     1920 |     4147      0 |        0 |       60
497.11/497.30	c  208s |       5 |    59620 |     2020 |     4147      0 |        0 |       60
499.10/499.20	c  210s |       6 |    61063 |     2081 |     4147      0 |        0 |       60
504.31/504.40	c  215s |       6 |    68390 |     2181 |     4147      1 |        0 |       60
506.41/506.56	c  218s |       6 |    69570 |     2281 |     4147      1 |        0 |       60
508.41/508.58	c  220s |       6 |    70877 |     2381 |     4147      1 |        0 |       60
511.41/511.56	c  223s |       6 |    74719 |     2581 |     4147      1 |        0 |       60
515.30/515.43	c  227s |       6 |    76041 |     2681 |     4147      1 |        0 |       60
521.00/521.13	c  232s |       6 |    78329 |     2781 |     4147      1 |        0 |       60
526.59/526.78	c  238s |       6 |    78647 |     2881 |     4562      1 |        0 |       60
530.10/530.23	c  241s |       6 |    80327 |     2981 |     4562      1 |        0 |       60
533.69/533.82	c  245s |       6 |    82362 |     3081 |     4562      1 |        0 |       60
539.68/539.89	c  251s |       6 |    82779 |     3181 |     4562      1 |        0 |       60
541.48/541.62	c  253s |       7 |    82899 |     3223 |     4562      1 |        0 |       60
545.60/545.76	c  257s |       7 |    88154 |     3323 |     4562      1 |        0 |       60
554.98/555.18	c  266s |       7 |    88494 |     3423 |     4562      1 |        0 |       60
559.17/559.34	c  270s |       7 |    89175 |     3523 |     4562      1 |        0 |       60
562.77/562.93	c  274s |       7 |    90106 |     3723 |     4562      1 |        0 |       60
565.38/565.51	c  277s |       7 |    91056 |     3923 |     4562      1 |        0 |       60
568.87/569.07	c  280s |       7 |    94701 |     4123 |     4562      1 |        0 |       60
571.67/571.82	c  283s |       7 |   101079 |     4223 |     4562      1 |        0 |       60
575.87/576.01	c  287s |       7 |   103927 |     4323 |     4562      1 |        0 |       60
579.26/579.44	c  291s |       7 |   107947 |     4423 |     4562      1 |        0 |       60
583.97/584.18	c  295s |       7 |   108640 |     4523 |     4562      1 |        0 |       60
588.85/589.07	c  300s |       7 |   109104 |     4623 |     4562      1 |        0 |       60
594.36/594.58	c  306s |       7 |   109364 |     4723 |     4562      1 |        0 |       60
597.66/597.86	c  309s |       7 |   111247 |     4823 |     4562      1 |        0 |       60
603.86/604.02	c  315s |       7 |   113409 |     4923 |     4562      1 |        0 |       60
604.86/605.10	c  316s |       8 |   113422 |     4936 |     4562      1 |        0 |       60
611.75/611.91	c  323s |       8 |   119270 |     5036 |     4562      2 |        0 |       60
614.25/614.43	c  326s |       8 |   119992 |     5136 |     4562      2 |        0 |       60
617.54/617.79	c  329s |       8 |   121148 |     5236 |     4562      2 |        0 |       60
620.95/621.18	c  332s |       8 |   121782 |     5336 |     4562      2 |        0 |       60
625.64/625.88	c  337s |       8 |   122420 |     5436 |     5019      2 |        0 |       60
628.63/628.84	c  340s |       8 |   122662 |     5536 |     5019      2 |        0 |       60
635.34/635.51	c  347s |       8 |   124578 |     5636 |     5019      2 |        0 |       60
643.63/643.88	c  355s |       8 |   125613 |     5736 |     5019      2 |        0 |       60
654.02/654.28	c  365s |       8 |   127310 |     5836 |     5019      2 |        0 |       60
663.92/664.11	c  375s |       8 |   128304 |     5936 |     5019      2 |        0 |       60
677.22/677.43	c  389s |       8 |   128509 |     6036 |     5019      2 |        0 |       60
680.42/680.68	c  392s |       8 |   130762 |     6136 |     5019      2 |        0 |       60
685.22/685.47	c  397s |       8 |   131976 |     6236 |     5019      2 |        0 |       60
706.51/706.77	c  418s |       8 |   134177 |     6336 |     5019      2 |        0 |       60
715.51/715.76	c  427s |       8 |   135438 |     6436 |     5019      2 |        0 |       60
720.61/720.82	c  432s |       8 |   136439 |     6536 |     5019      2 |        0 |       60
728.31/728.54	c  440s |       8 |   138051 |     6636 |     5019      2 |        0 |       60
742.51/742.77	c  454s |       8 |   139616 |     6736 |     5019      2 |        0 |       60
753.20/753.44	c  465s |       8 |   139804 |     6836 |     5019      2 |        0 |       60
760.01/760.26	c  471s |       8 |   140325 |     6936 |     5019      2 |        0 |       60
765.80/766.06	c  477s |       8 |   140865 |     7036 |     5019      2 |        0 |       60
772.20/772.45	c  484s |       8 |   141761 |     7136 |     5019      2 |        0 |       60
781.00/781.24	c  492s |       8 |   142401 |     7236 |     5019      2 |        0 |       60
787.70/787.95	c  499s |       8 |   144634 |     7336 |     5019      2 |        0 |       60
796.80/797.08	c  508s |       8 |   145735 |     7436 |     5019      2 |        0 |       60
802.39/802.69	c  514s |       9 |   146410 |     7506 |     5019      2 |        0 |       60
822.40/822.68	c  534s |       9 |   151731 |     7606 |     5019      3 |        0 |       60
844.39/844.60	c  556s |       9 |   153055 |     7706 |     5019      3 |        0 |       60
887.18/887.49	c  599s |       9 |   153341 |     7806 |     5019      3 |        0 |       60
930.08/930.39	c  641s |       9 |   154970 |     7906 |     5019      3 |        0 |       60
964.47/964.80	c  676s |       9 |   157973 |     8006 |     5019      3 |        0 |       60
1010.57/1010.80	c  722s |       9 |   158870 |     8106 |     5019      3 |        0 |       60
1135.85/1136.18	c  847s |       9 |   159279 |     8206 |     5019      3 |        0 |       60
1210.23/1210.52	c  922s |       9 |   159520 |     8306 |     5019      3 |        0 |       60
1251.43/1251.74	c  963s |       9 |   161775 |     8406 |     5019      3 |        0 |       60
1319.42/1319.73	c 1031s |       9 |   162532 |     8506 |     5019      3 |        0 |       60
1340.02/1340.34	c 1051s |       9 |   164380 |     8606 |     5019      3 |        0 |       60
1422.01/1422.34	c 1133s |       9 |   165526 |     8706 |     5019      3 |        0 |       60
1437.60/1437.93	c 1149s |       9 |   166682 |     8806 |     5019      3 |        0 |       60
1485.29/1485.69	c 1197s |       9 |   171535 |     8906 |     5019      3 |        0 |       60
1612.17/1612.59	c 1324s |       9 |   171974 |     9006 |     5019      3 |        0 |       60
1685.46/1685.83	c 1397s |       9 |   173746 |     9106 |     5019      3 |        0 |       60
1759.46/1759.84	c 1471s |       9 |   174162 |     9206 |     5019      3 |        0 |       60
1779.05/1779.40	c 1490s |       9 |   174705 |     9306 |     5521      3 |        0 |       60

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

pid=16909
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.31 2.29 2.25 3/179 16912
/proc/meminfo: memFree=29292128/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=795068 CPUtime=0 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 2977 0 0 0 0 0 0 0 20 0 4 0 106218681 814149632 2827 33554432000 4194304 16246674 140734337241344 140734337240768 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 199279 2837 441 2943 0 196173 0
[pid=16912/tid=16913] ppid=16909 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 831975424 2898 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=816572 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 836169728 2914 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=821692 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 106218681 841412608 2932 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.31 2.29 2.25 3/179 16912
/proc/meminfo: memFree=29292128/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 29117 0 0 0 6 3 0 0 20 0 4 0 106218681 1333334016 28905 33554432000 4194304 16246674 140734337241344 140734337240656 8056990 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 325521 28921 800 2943 0 322415 0
[pid=16912/tid=16913] ppid=16909 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1333334016 28933 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1333334016 28944 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1333334016 28956 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200542 s]
/proc/loadavg: 2.31 2.29 2.25 3/179 16912
/proc/meminfo: memFree=29292128/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=0.18 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 47791 0 0 0 12 6 0 0 20 0 4 0 106218681 1344868352 48089 33554432000 4194304 16246674 140734337241344 140734337240656 8056974 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 48089 800 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 48089 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 48089 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 48089 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300515 s]
/proc/loadavg: 2.31 2.29 2.25 3/179 16912
/proc/meminfo: memFree=29292128/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=0.28 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 63571 0 0 0 20 8 0 0 20 0 4 0 106218681 1344868352 63869 33554432000 4194304 16246674 140734337241344 140734337240656 8058226 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 63869 800 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 63869 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 63869 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 63869 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1313348

[startup+0.700421 s]
/proc/loadavg: 2.31 2.29 2.25 3/179 16912
/proc/meminfo: memFree=29292128/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 69731 0 0 0 60 9 0 0 20 0 4 0 106218681 1344868352 70029 33554432000 4194304 16246674 140734337241344 140734337240656 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 70029 801 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 70029 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 70029 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 70029 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.37 2.30 2.25 3/183 16916
/proc/meminfo: memFree=29010560/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 70318 0 0 0 139 10 0 0 20 0 4 0 106218681 1344868352 70616 33554432000 4194304 16246674 140734337241344 140734337240656 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 70616 834 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 70616 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 70616 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 70616 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 2.37 2.30 2.25 3/183 16916
/proc/meminfo: memFree=29009552/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=3.09 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 70645 0 0 0 299 10 0 0 20 0 4 0 106218681 1344868352 70943 33554432000 4194304 16246674 140734337241344 140734337223232 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 70943 910 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 70943 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 70943 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 70943 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1313348

[startup+6.30037 s]
/proc/loadavg: 2.37 2.30 2.25 3/183 16916
/proc/meminfo: memFree=29009132/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=6.29 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 70645 0 0 0 619 10 0 0 20 0 4 0 106218681 1344868352 70943 33554432000 4194304 16246674 140734337241344 140734337223232 5712622 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 70943 910 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 70943 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 70943 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 70943 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1313348

[startup+12.7004 s]
/proc/loadavg: 2.31 2.29 2.25 4/183 16916
/proc/meminfo: memFree=28967868/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=12.69 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 81267 0 0 0 1258 11 0 0 20 0 4 0 106218681 1344868352 81565 33554432000 4194304 16246674 140734337241344 140734337223232 13950188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 81565 914 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 81565 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 81565 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 81565 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1313348

[startup+25.5005 s]
/proc/loadavg: 2.33 2.30 2.25 4/183 16916
/proc/meminfo: memFree=28929320/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=25.49 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 90677 0 0 0 2536 13 0 0 20 0 4 0 106218681 1344868352 90975 33554432000 4194304 16246674 140734337241344 140734337240520 13780624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 90975 914 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 90975 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 90975 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 90975 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1313348

[startup+51.1005 s]
/proc/loadavg: 2.35 2.31 2.26 3/183 16916
/proc/meminfo: memFree=28891012/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=51.08 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 90718 0 0 0 5094 14 0 0 20 0 4 0 106218681 1344868352 100592 33554432000 4194304 16246674 140734337241344 140734337223232 12483272 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 100592 914 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 100592 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 100592 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 100592 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1313348

[startup+102.301 s]
/proc/loadavg: 2.45 2.34 2.27 3/183 16917
/proc/meminfo: memFree=28809096/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=102.28 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 90880 0 0 0 10211 17 0 0 20 0 4 0 106218681 1344868352 120914 33554432000 4194304 16246674 140734337241344 140734337240520 12483387 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 120914 914 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 120914 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 120914 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 120914 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1313348


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

/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1313348

[startup+1302.3 s]
/proc/loadavg: 2.30 2.27 2.26 3/183 17018
/proc/meminfo: memFree=28242852/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=1302.02 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 100998 0 0 0 130132 70 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140734337223232 5712628 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 269250 917 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 1313348

[startup+1362.3 s]
/proc/loadavg: 2.11 2.22 2.24 3/183 17020
/proc/meminfo: memFree=28242704/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=1362.02 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 100998 0 0 0 136131 71 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140734337223232 5711716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 269250 917 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 1313348

[startup+1422.3 s]
/proc/loadavg: 2.20 2.22 2.24 3/183 17021
/proc/meminfo: memFree=28242968/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=1422.01 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 100998 0 0 0 142130 71 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140734337223232 5711331 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 269250 917 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 1313348

[startup+1482.3 s]
/proc/loadavg: 2.32 2.24 2.25 3/183 17022
/proc/meminfo: memFree=28242852/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=1481.99 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 100998 0 0 0 148128 71 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140734337223232 5712600 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 269250 917 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1313348

[startup+1542.31 s]
/proc/loadavg: 2.32 2.26 2.25 3/184 17027
/proc/meminfo: memFree=28242456/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=1541.99 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 100998 0 0 0 154127 72 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140734337223232 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 269250 917 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 1313348

[startup+1602.3 s]
/proc/loadavg: 2.41 2.30 2.26 4/183 17027
/proc/meminfo: memFree=28243272/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=1601.97 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 100998 0 0 0 160125 72 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140734337223232 5712622 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 269250 917 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1313348

[startup+1662.3 s]
/proc/loadavg: 2.38 2.30 2.27 3/183 17029
/proc/meminfo: memFree=28219720/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=1661.96 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 100998 0 0 0 166124 72 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140734337223232 5711369 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 269250 917 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 1313348

[startup+1722.3 s]
/proc/loadavg: 2.33 2.30 2.27 3/183 17029
/proc/meminfo: memFree=28219728/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=1721.96 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 100998 0 0 0 172123 73 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140734337223232 5712604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 269250 917 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 1313348

[startup+1782.3 s]
/proc/loadavg: 2.26 2.29 2.27 3/183 17031
/proc/meminfo: memFree=28218740/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=1781.95 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 100998 0 0 0 178122 73 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140734337223232 5712608 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 269250 917 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1313348



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.34 2.31 2.27 3/183 17032
/proc/meminfo: memFree=28219232/32872528 swapFree=16636/1570076
[pid=16912] ppid=16909 vsize=1313348 CPUtime=1800.05 cores=1,3,5,7
/proc/16912/stat : 16912 (toysat) R 16909 16912 13075 0 -1 4202496 100998 0 0 0 179932 73 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140734337223232 12995176 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16912/statm: 328337 269250 917 2943 0 325231 0
[pid=16912/tid=16913] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16913/stat : 16913 (toysat) S 16909 16912 13075 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361142873328 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16912/tid=16914] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16914/stat : 16914 (toysat) S 16909 16912 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361132383472 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16912/tid=16915] ppid=16909 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/16912/task/16915/stat : 16915 (toysat) S 16909 16912 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 106218681 1344868352 269250 33554432000 4194304 16246674 140734337241344 140361121909936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1313348

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.33
CPU system time (s): 0.732888
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.732888
maximum resident set size= 1077000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 100998
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= 116
involuntary context switches= 1967

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.66129 second user time and 6.83996 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 21:54:23
IDJOB=4079725
IDBENCH=2850
IDSOLVER=2542
FILE ID=node140/4079725-1465242863
RUNJOBID= node140-1465216678-13092
PBS_JOBID= 19843199
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-saucier.r.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079725-1465242863/watcher-4079725-1465242863 -o /tmp/evaluation-result-4079725-1465242863/solver-4079725-1465242863 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13092 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079725-1465242863.opb

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

MD5SUM BENCH= aa80468537d69826ea16800f352007ec
RANDOM SEED=107563528

node140.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29292772 kB
Buffers:           44520 kB
Cached:            95456 kB
SwapCached:         1748 kB
Active:          1232036 kB
Inactive:          72388 kB
Active(anon):    1163872 kB
Inactive(anon):     2612 kB
Active(file):      68164 kB
Inactive(file):    69776 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098604 kB
Dirty:             20596 kB
Writeback:             0 kB
AnonPages:       2737764 kB
Mapped:            10804 kB
Shmem:                 0 kB
Slab:             568332 kB
SReclaimable:      12324 kB
SUnreclaim:       556008 kB
KernelStack:        1464 kB
PageTables:         9472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2878844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2717696 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= 71704 MiB
End job on node140 at 2016-06-06 22:24:24