Trace number 4093603

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.06 1800.44

General information on the benchmark

Name/SOFT-BIGINT-LIN/PB10/oliveras/j120/
normalized-j12041_4-unsat--soft-0-100-0.wbo
MD5SUM14c1785b94a37a1f4c31a89d52f68595
Bench CategorySOFT-BIGINT-LIN (only soft constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark627.581
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables28072
Total number of constraints97590
Number of soft constraints97590
Number of constraints which are clauses97130
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints460
Minimum length of a constraint1
Maximum length of a constraint36
Top cost 4929864
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 4929863
Biggest number in a constraint 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 231
Number of bits of the biggest sum of numbers8
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-16T16:48:01+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","--wbo","--search=bcd2","HOME/instance-4093603-1466088481.wbo"]
0.00/0.01	c use --random-gen="3891207321 1157438813 307801558 350668178 1957099277 439540433 4021534425 3902540145 64003384 3415446718 3513038049 2024301727 1020931036 2224194866 691433149 2727679993 4125367852 1639041367 396471207 2321726814 4086655908 781096793 1435526204 2694426782 1814613051 1844020074 3888901593 1329343061 1984575560 1103936677 1309425823 1800169689 551458066 3614149429 4004453863 2705669764 77691589 2502541131 3200222623 2255632861 3744968660 3450466061 2541341202 3914469277 2955566286 666025052 1895998122 363679488 4116126735 803431430 3796145139 3320179638 1704618479 3762802203 2801141434 4229874608 56142756 1945801665 2423098674 461183491 3138498002 3938949917 318707800 3791542554 387313346 4196698564 469105002 3127065718 2739261195 4988761 3571877791 4039952553 341400338 2286562884 3158614827 4122257659 1718300283 2494220944 1449092362 2142580576 668064640 35396837 807866641 1501012839 4054453492 3232960028 1818814592 4260897934 3856890158 4073618089 2006348586 327916655 2576993720 3225697820 3461108552 1715339313 1911253433 1927890246 3787549704 143764877 3721641856 259576035 655003830 1188200571 3723310494 864533498 3141678020 1749059041 3183871349 1040000452 56820018 3977675776 1258912488 2435207490 1433598786 1767693430 3264019664 2770206743 98134902 1428183339 2565788550 2555817719 4170188108 1060634510 301521914 600188380 48110129 521241157 3968351131 1608945034 4149873975 1705125975 3587122556 2449069117 1431181046 2794351653 836204334 2386811265 2281857609 80731451 2826538618 3600315923 1101851221 2127150148 2624744747 1077793012 1814571034 1755706890 3166213685 1265647654 3338082415 1405190270 2281671251 1955399785 1959673909 1520182846 2221873006 4284387549 3775261987 2007228808 460354501 455643474 2374718629 1765208210 1349707793 684982680 2813279776 3113343205 806671856 1873433471 4063078610 4056757765 1588582974 225209455 1446520011 3476174871 899201027 2490468602 200568884 1199166790 3544960774 1346409396 2194044974 3208551948 2234978466 1778315426 2401796491 2046524032 545557981 325487944 1053752156 1170900250 2413308543 1090238617 99466478 4142764411 496544538 2887742597 498266148 147423898 321150755 1045431534 814219374 3819939251 2097019944 300288400 1470640260 194429615 2293456780 852795345 4168141324 2748537403 604164718 1261209519 1183442590 3821144749 78859960 241946280 365754316 3807510653 2928212273 3016942776 3911769305 1270303486 270167149 796971895 1915890435 10436770 3465985583 1016402017 3003104830 710382662 3165983163 1374465315 3705042815 877132765 427818004 3705821739 3351632533 288429907 3481079147 3427095131 1973438109 503568985 2044789841 3346941423 816391240 3801104890 494103962 3418126024 631196152 1641332364 2594443481 939400614 938380644 1044886843 255 362436" option to reproduce the execution
4.28/4.37	c #vars 28072
4.28/4.37	c #constraints 97590
6.68/6.74	c BCD2: Hardening is enabled.
6.68/6.74	c BCD2: BiasedSearch is enabled.
6.68/6.74	c Solving starts ...
6.68/6.74	c ============================[ Search Statistics ]============================
6.68/6.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.68/6.74	c       |         |          |          |    Limit     GC | Var      | Constra 
6.68/6.74	c =============================================================================
6.68/6.76	c  0.0s |       0 |        0 |        0 |    73841      0 |        1 |        0
7.38/7.42	c  0.7s |       0 |   181248 |       61 |    73841      0 |        1 |        0
7.38/7.42	c #cpu_time = 0.582s
7.38/7.42	c #wall_clock_time = 0.582s
7.38/7.42	c #decision = 181248
7.38/7.42	c #random_decision = 767
7.38/7.42	c #conflict = 61
7.38/7.42	c #restart = 0
7.38/7.43	o 160697
7.58/7.69	c BCD2: updating upper bound: 4955084 -> 185917
8.48/8.58	c BCD2: 0 <= obj <= 185917
8.48/8.59	c BCD2: #cores=0, #unrelaxed=97203, #relaxed=0, #hardened=0
8.48/8.59	c BCD2: #sat=1 #unsat=1 bias=1/2
8.58/8.60	c Solving starts ...
8.58/8.60	c ============================[ Search Statistics ]============================
8.58/8.60	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.58/8.60	c       |         |          |          |    Limit     GC | Var      | Constra 
8.58/8.60	c =============================================================================
8.58/8.60	c  0.0s |       0 |        0 |        0 |    73841      0 |        1 |        0
8.58/8.68	c  0.1s |       0 |        0 |        0 |    73841      0 |        1 |        0
8.58/8.68	c #cpu_time = 0.081s
8.58/8.68	c #wall_clock_time = 0.081s
8.58/8.68	c #decision = 0
8.58/8.68	c #random_decision = 0
8.58/8.68	c #conflict = 0
8.58/8.68	c #restart = 0
8.58/8.68	c BCD2: found a new core of size 1: cost of the new core is >=25221
8.58/8.68	c lower bound updated to 0
8.68/8.73	c BCD2: 25221 <= obj <= 185917
8.68/8.73	c BCD2: #cores=1, #unrelaxed=97202, #relaxed=1, #hardened=0
8.68/8.73	c BCD2: #sat=1 #unsat=2 bias=2/3
8.68/8.74	c Solving starts ...
8.68/8.74	c ============================[ Search Statistics ]============================
8.68/8.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.68/8.74	c       |         |          |          |    Limit     GC | Var      | Constra 
8.68/8.74	c =============================================================================
8.68/8.74	c  0.0s |       0 |        0 |        0 |    73841      0 |        1 |        0
9.38/9.43	c  0.7s |       1 |    97609 |      100 |    81226      0 |        1 |        0
10.09/10.19	c  1.5s |       2 |   195013 |      250 |    89349      0 |        1 |        0
11.58/11.69	c  3.0s |       3 |   292534 |      475 |    98284      0 |        1 |        0
13.78/13.82	c  5.1s |       4 |   390280 |      813 |   108113      0 |        1 |        0
16.39/16.46	c  7.7s |       4 |   487928 |     1113 |   108113      0 |        1 |        0
17.79/17.86	c  9.1s |       5 |   488555 |     1320 |   118925      0 |        1 |        0
20.28/20.37	c 11.6s |       5 |   586251 |     1620 |   118925      0 |        1 |        0
22.29/22.38	c 13.6s |       5 |   586620 |     1878 |   118925      0 |        1 |        0
22.29/22.38	c #cpu_time = 13.608s
22.29/22.38	c #wall_clock_time = 13.607s
22.29/22.38	c #decision = 586620
22.29/22.38	c #random_decision = 1
22.29/22.38	c #conflict = 1878
22.29/22.38	c #restart = 5
22.29/22.40	c BCD2: found a new core of size 6789: cost of the new core is >=1
22.29/22.40	c lower bound updated to 1
22.38/22.45	c BCD2: 25222 <= obj <= 185917
22.38/22.45	c BCD2: #cores=2, #unrelaxed=90413, #relaxed=6790, #hardened=0
22.38/22.45	c BCD2: #sat=1 #unsat=3 bias=3/4
22.38/22.48	c Solving starts ...
22.38/22.48	c ============================[ Search Statistics ]============================
22.38/22.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
22.38/22.48	c       |         |          |          |    Limit     GC | Var      | Constra 
22.38/22.48	c =============================================================================
22.38/22.49	c  0.0s |       0 |        0 |        0 |   118925      0 |        1 |        0
22.98/23.02	c  0.5s |       0 |    98131 |        5 |   118925      0 |        1 |        0
22.98/23.02	c #cpu_time = 0.426s
22.98/23.02	c #wall_clock_time = 0.426s
22.98/23.02	c #decision = 98131
22.98/23.02	c #random_decision = 4
22.98/23.02	c #conflict = 5
22.98/23.02	c #restart = 0
22.98/23.04	o 1216
23.08/23.11	c BCD2: updating upper bound: 185917 -> 26436
24.08/24.18	c BCD2: 25222 <= obj <= 26436
24.08/24.18	c BCD2: #cores=2, #unrelaxed=90413, #relaxed=6790, #hardened=0
24.08/24.18	c BCD2: #sat=2 #unsat=3 bias=3/5
24.18/24.23	c Solving starts ...
24.18/24.23	c ============================[ Search Statistics ]============================
24.18/24.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
24.18/24.23	c       |         |          |          |    Limit     GC | Var      | Constra 
24.18/24.23	c =============================================================================
24.18/24.23	c  0.0s |       0 |        0 |        0 |   118925      0 |        1 |        1
25.18/25.27	c  1.0s |       1 |    95753 |      100 |   118925      0 |        1 |        1
27.69/27.71	c  3.5s |       1 |   186780 |      200 |   130818      0 |        1 |        1
29.08/29.13	c  4.9s |       1 |   186983 |      230 |   130818      0 |        1 |        1
29.08/29.13	c #cpu_time = 4.797s
29.08/29.13	c #wall_clock_time = 4.797s
29.08/29.13	c #decision = 186983
29.08/29.13	c #random_decision = 2
29.08/29.13	c #conflict = 230
29.08/29.13	c #restart = 1
29.08/29.15	o 779
29.18/29.23	c BCD2: hardening fixes 3 literals
29.18/29.23	c BCD2: updating upper bound: 26436 -> 25999
29.99/30.06	c BCD2: 25222 <= obj <= 25999
29.99/30.06	c BCD2: #cores=2, #unrelaxed=90410, #relaxed=6790, #hardened=3
29.99/30.06	c BCD2: #sat=3 #unsat=3 bias=3/6
30.08/30.10	c Solving starts ...
30.08/30.10	c ============================[ Search Statistics ]============================
30.08/30.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
30.08/30.10	c       |         |          |          |    Limit     GC | Var      | Constra 
30.08/30.10	c =============================================================================
30.08/30.10	c  0.0s |       0 |        0 |        0 |   130818      0 |        4 |        2
40.48/40.56	c 10.5s |       0 |    90560 |      100 |   130818      0 |        4 |      132
40.58/40.60	c 10.5s |       1 |    90560 |      100 |   130818      0 |        4 |      132
42.09/42.19	c 12.1s |       1 |   183179 |      207 |   130818      0 |        4 |      132
42.09/42.19	c #cpu_time = 11.979s
42.09/42.19	c #wall_clock_time = 11.979s
42.09/42.19	c #decision = 183179
42.09/42.19	c #random_decision = 1
42.09/42.19	c #conflict = 207
42.09/42.19	c #restart = 1
42.18/42.21	o 374
42.18/42.29	c BCD2: hardening fixes 5 literals
42.18/42.29	c BCD2: updating upper bound: 25999 -> 25594
43.38/43.45	c BCD2: 25222 <= obj <= 25594
43.38/43.45	c BCD2: #cores=2, #unrelaxed=90405, #relaxed=6790, #hardened=8
43.38/43.45	c BCD2: #sat=4 #unsat=3 bias=3/7
43.38/43.49	c Solving starts ...
43.38/43.49	c ============================[ Search Statistics ]============================
43.38/43.49	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
43.38/43.49	c       |         |          |          |    Limit     GC | Var      | Constra 
43.38/43.49	c =============================================================================
43.38/43.49	c  0.0s |       0 |        0 |        0 |   130818      0 |        9 |      133
48.28/48.39	c  4.9s |       0 |    90610 |      100 |   130818      0 |        9 |      497
48.38/48.44	c  4.9s |       1 |    90610 |      100 |   130818      0 |        9 |      497
58.28/58.38	c 14.9s |       1 |   181191 |      200 |   130818      0 |        9 |      497
65.88/65.92	c 22.4s |       2 |   181273 |      250 |   130818      0 |        9 |      497
67.48/67.55	c 24.1s |       2 |   272564 |      310 |   130818      0 |        9 |      497
67.48/67.55	c #cpu_time = 23.951s
67.48/67.55	c #wall_clock_time = 23.949s
67.48/67.55	c #decision = 272564
67.48/67.55	c #random_decision = 0
67.48/67.55	c #conflict = 310
67.48/67.55	c #restart = 2
67.48/67.57	o 58
67.57/67.65	c BCD2: hardening fixes 42790 literals
67.67/67.70	c BCD2: updating upper bound: 25594 -> 25278
68.17/68.21	c BCD2: 25222 <= obj <= 25278
68.17/68.21	c BCD2: #cores=2, #unrelaxed=50418, #relaxed=3987, #hardened=42798
68.17/68.21	c BCD2: #sat=5 #unsat=3 bias=3/8
68.17/68.26	c Solving starts ...
68.17/68.26	c ============================[ Search Statistics ]============================
68.17/68.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
68.17/68.26	c       |         |          |          |    Limit     GC | Var      | Constra 
68.17/68.26	c =============================================================================
68.17/68.26	c  0.0s |       0 |        0 |        0 |   130818      0 |    45490 |      498
106.17/106.20	c 37.9s |       0 |    50583 |      100 |   130818      0 |    45490 |    18490
106.17/106.23	c 38.0s |       1 |    50583 |      100 |   130818      0 |    45490 |    18490
141.56/141.60	c 73.3s |       1 |   101511 |      200 |   130818      0 |    45490 |    18490
169.36/169.41	c  101s |       2 |   101597 |      250 |   130818      0 |    45490 |    18490
239.35/239.45	c  171s |       2 |   152160 |      350 |   130818      0 |    45490 |    18490
307.44/307.53	c  239s |       2 |   152320 |      450 |   130818      0 |    45490 |    18490
342.24/342.30	c  274s |       3 |   152357 |      475 |   130818      0 |    45490 |    18490
517.01/517.10	c  448s |       3 |   202881 |      575 |   143900      0 |    45490 |    18490
621.29/621.41	c  553s |       3 |   203038 |      675 |   143900      0 |    45490 |    18490
834.66/834.85	c  766s |       3 |   203196 |      775 |   143900      0 |    45490 |    18490
865.45/865.63	c  797s |       4 |   203261 |      813 |   143900      0 |    45490 |    18490
924.44/924.63	c  856s |       4 |   253854 |      913 |   143900      0 |    45490 |    18490
996.03/996.25	c  927s |       4 |   254024 |     1013 |   143900      0 |    45490 |    18490
1061.72/1061.93	c  993s |       4 |   254229 |     1113 |   143900      0 |    45490 |    18490
1147.32/1147.59	c 1079s |       4 |   254386 |     1213 |   143900      0 |    45490 |    18490
1210.30/1210.56	c 1142s |       4 |   254510 |     1313 |   143900      0 |    45490 |    18490
1222.80/1223.04	c 1154s |       5 |   254519 |     1320 |   143900      0 |    45490 |    18490
1400.38/1400.68	c 1332s |       5 |   305110 |     1420 |   143900      0 |    45490 |    18490
1612.16/1612.52	c 1544s |       5 |   305259 |     1520 |   143900      0 |    45490 |    18490

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-4093603-1466088481/watcher-4093603-1466088481 -o /tmp/evaluation-result-4093603-1466088481/solver-4093603-1466088481 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21602 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093603-1466088481.wbo 

pid=23102
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.20 2.28 2.22 3/179 23105
/proc/meminfo: memFree=28647240/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 2734 0 0 0 0 0 0 0 20 0 4 0 10893865 749137920 2583 33554432000 4194304 16246674 140735647142160 140735647141584 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 183663 2593 441 2943 0 180557 0
[pid=23105/tid=23106] ppid=23102 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 768012288 2653 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 772206592 2671 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10893865 776400896 2687 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100169 s]
/proc/loadavg: 2.20 2.28 2.22 3/179 23105
/proc/meminfo: memFree=28647240/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1302084 CPUtime=0.08 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 25396 0 0 0 5 3 0 0 20 0 4 0 10893865 1333334016 25185 33554432000 4194304 16246674 140735647142160 140735647141472 8058796 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 325521 25199 799 2943 0 322415 0
[pid=23105/tid=23106] ppid=23102 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1333334016 25209 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1333334016 25221 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1333334016 25230 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1302084

[startup+0.200494 s]
/proc/loadavg: 2.20 2.28 2.22 3/179 23105
/proc/meminfo: memFree=28647240/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1313348 CPUtime=0.18 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 47153 0 0 0 12 6 0 0 20 0 4 0 10893865 1344868352 47453 33554432000 4194304 16246674 140735647142160 140735647141472 7378250 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 328337 47453 800 2943 0 325231 0
[pid=23105/tid=23106] ppid=23102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1344868352 47453 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1344868352 47453 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1344868352 47453 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300503 s]
/proc/loadavg: 2.20 2.28 2.22 3/179 23105
/proc/meminfo: memFree=28647240/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 58098 0 0 0 21 8 0 0 20 0 4 0 10893865 1344868352 58398 33554432000 4194304 16246674 140735647142160 140735647141472 7388564 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 328337 58398 800 2943 0 325231 0
[pid=23105/tid=23106] ppid=23102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1344868352 58398 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1344868352 58398 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1344868352 58398 33554432000 4194304 16246674 140735647142160 140347100351664 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) 1313348

[startup+0.700399 s]
/proc/loadavg: 2.20 2.28 2.22 3/179 23105
/proc/meminfo: memFree=28647240/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 65681 0 0 0 60 9 0 0 20 0 4 0 10893865 1344868352 65981 33554432000 4194304 16246674 140735647142160 140735647141472 4220807 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 328337 65981 815 2943 0 325231 0
[pid=23105/tid=23106] ppid=23102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1344868352 65981 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1344868352 65981 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1344868352 65981 33554432000 4194304 16246674 140735647142160 140347100351664 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) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.20 2.28 2.22 3/183 23109
/proc/meminfo: memFree=28383892/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 125570 0 0 0 132 17 0 0 20 0 4 0 10893865 1344868352 125871 33554432000 4194304 16246674 140735647142160 140735647124032 12459048 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 328337 125881 836 2943 0 325231 0
[pid=23105/tid=23106] ppid=23102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1344868352 125884 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1344868352 125890 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1344868352 125897 33554432000 4194304 16246674 140735647142160 140347100351664 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) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.20 2.28 2.22 3/183 23109
/proc/meminfo: memFree=27964152/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1332804 CPUtime=3.09 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 273827 0 0 0 272 37 0 0 20 0 4 0 10893865 1364791296 274127 33554432000 4194304 16246674 140735647142160 140735647124032 12481270 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 333201 274127 841 2943 0 330095 0
[pid=23105/tid=23106] ppid=23102 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1364791296 274127 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1364791296 274127 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1364791296 274127 33554432000 4194304 16246674 140735647142160 140347100351664 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) 1332804

[startup+6.3004 s]
/proc/loadavg: 2.50 2.34 2.24 3/183 23109
/proc/meminfo: memFree=27450296/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1400388 CPUtime=6.28 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 290750 0 0 0 590 38 0 0 20 0 4 0 10893865 1433997312 291050 33554432000 4194304 16246674 140735647142160 140735647140160 4206671 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 350097 291050 866 2943 0 346991 0
[pid=23105/tid=23106] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291050 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291050 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291050 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1400388

[startup+12.7004 s]
/proc/loadavg: 2.46 2.33 2.24 4/183 23109
/proc/meminfo: memFree=27450460/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1400388 CPUtime=12.68 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 290811 0 0 0 1230 38 0 0 20 0 4 0 10893865 1433997312 291111 33554432000 4194304 16246674 140735647142160 140735647124032 5523192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 350097 291111 927 2943 0 346991 0
[pid=23105/tid=23106] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291111 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291111 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291111 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1400388

[startup+25.5004 s]
/proc/loadavg: 2.43 2.33 2.24 3/183 23109
/proc/meminfo: memFree=27450584/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1400388 CPUtime=25.49 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 290820 0 0 0 2510 39 0 0 20 0 4 0 10893865 1433997312 291120 33554432000 4194304 16246674 140735647142160 140735647124032 5532192 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 350097 291120 936 2943 0 346991 0
[pid=23105/tid=23106] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291120 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291120 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291120 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1400388

[startup+51.1004 s]
/proc/loadavg: 2.28 2.30 2.23 3/183 23109
/proc/meminfo: memFree=27409056/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1400388 CPUtime=51.08 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 290822 0 0 0 5069 39 0 0 20 0 4 0 10893865 1433997312 291122 33554432000 4194304 16246674 140735647142160 140735647124032 13780568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 350097 291122 938 2943 0 346991 0
[pid=23105/tid=23106] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291122 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291122 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291122 33554432000 4194304 16246674 140735647142160 140347100351664 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) 1400388

[startup+102.3 s]
/proc/loadavg: 2.26 2.30 2.24 4/183 23110
/proc/meminfo: memFree=27346960/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1400388 CPUtime=102.27 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 290822 0 0 0 10188 39 0 0 20 0 4 0 10893865 1433997312 291122 33554432000 4194304 16246674 140735647142160 140735647124032 5712756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 350097 291122 938 2943 0 346991 0
[pid=23105/tid=23106] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291122 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291122 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291122 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1400388


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

/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291124 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1400388

[startup+1302.3 s]
/proc/loadavg: 2.27 2.30 2.24 3/183 23163
/proc/meminfo: memFree=26260484/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1400388 CPUtime=1302.09 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 290824 0 0 0 130170 39 0 0 20 0 4 0 10893865 1433997312 291124 33554432000 4194304 16246674 140735647142160 140735647124032 5712756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 350097 291124 940 2943 0 346991 0
[pid=23105/tid=23106] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291124 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291124 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291124 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1400388

[startup+1362.3 s]
/proc/loadavg: 2.33 2.31 2.24 3/184 23167
/proc/meminfo: memFree=26200800/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1400388 CPUtime=1362.08 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 290824 0 0 0 136169 39 0 0 20 0 4 0 10893865 1433997312 291124 33554432000 4194304 16246674 140735647142160 140735647124032 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 350097 291124 940 2943 0 346991 0
[pid=23105/tid=23106] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291124 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291124 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291124 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1400388

[startup+1422.3 s]
/proc/loadavg: 2.29 2.29 2.24 3/183 23217
/proc/meminfo: memFree=28084928/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1400388 CPUtime=1422.07 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 290824 0 0 0 142168 39 0 0 20 0 4 0 10893865 1433997312 291124 33554432000 4194304 16246674 140735647142160 140735647124032 5712756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 350097 291124 940 2943 0 346991 0
[pid=23105/tid=23106] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291124 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291124 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291124 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1400388

[startup+1482.3 s]
/proc/loadavg: 2.29 2.29 2.24 3/183 23218
/proc/meminfo: memFree=28082668/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1400388 CPUtime=1482.04 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 290860 0 0 0 148165 39 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140735647124032 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 350097 291380 940 2943 0 346991 0
[pid=23105/tid=23106] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1400388

[startup+1542.3 s]
/proc/loadavg: 2.15 2.25 2.23 3/183 23220
/proc/meminfo: memFree=28081580/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1400388 CPUtime=1542 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 290908 0 0 0 154161 39 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140735647124032 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 350097 291380 940 2943 0 346991 0
[pid=23105/tid=23106] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347100351664 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) 1400388

[startup+1602.3 s]
/proc/loadavg: 2.29 2.26 2.23 4/183 23221
/proc/meminfo: memFree=28080564/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1400388 CPUtime=1601.97 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 290956 0 0 0 160158 39 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140735647124032 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 350097 291380 940 2943 0 346991 0
[pid=23105/tid=23106] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1400388

[startup+1662.3 s]
/proc/loadavg: 2.22 2.24 2.22 3/183 23222
/proc/meminfo: memFree=28079992/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1400388 CPUtime=1661.95 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 290981 0 0 0 166156 39 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140735647124032 5712760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 350097 291380 940 2943 0 346991 0
[pid=23105/tid=23106] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 1400388

[startup+1722.3 s]
/proc/loadavg: 2.12 2.21 2.21 4/183 23223
/proc/meminfo: memFree=28079536/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1400388 CPUtime=1721.93 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 290992 0 0 0 172154 39 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140735647124032 5712756 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 350097 291380 940 2943 0 346991 0
[pid=23105/tid=23106] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 1400388

[startup+1782.31 s]
/proc/loadavg: 2.20 2.21 2.21 3/183 23224
/proc/meminfo: memFree=28079648/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1400388 CPUtime=1781.93 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 291006 0 0 0 178153 40 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140735647124032 5712760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 350097 291380 940 2943 0 346991 0
[pid=23105/tid=23106] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1400388



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.14 2.20 2.21 3/183 23225
/proc/meminfo: memFree=28080276/32872528 swapFree=1499116/1695340
[pid=23105] ppid=23102 vsize=1400388 CPUtime=1800.02 cores=0,2,4,6
/proc/23105/stat : 23105 (toysat) R 23102 23105 17390 0 -1 4202496 291010 0 0 0 179962 40 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140735647124032 5711688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/23105/statm: 350097 291380 940 2943 0 346991 0
[pid=23105/tid=23106] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23106/stat : 23106 (toysat) S 23102 23105 17390 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347121315056 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=23105/tid=23107] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23107/stat : 23107 (toysat) S 23102 23105 17390 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347110825200 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=23105/tid=23108] ppid=23102 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/23105/task/23108/stat : 23108 (toysat) S 23102 23105 17390 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 10893865 1433997312 291380 33554432000 4194304 16246674 140735647142160 140347100351664 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 1400388

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 23105 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.44
CPU time (s): 1800.06
CPU user time (s): 1799.63
CPU system time (s): 0.430934
CPU usage (%): 99.9789
Max. virtual memory (cumulated for all children) (KiB): 1400388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.430934
maximum resident set size= 1165520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 291010
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= 209
involuntary context switches= 1845

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.65468 second user time and 6.95294 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-16 16:48:01
IDJOB=4093603
IDBENCH=79123
IDSOLVER=2553
FILE ID=node137/4093603-1466088481
RUNJOBID= node137-1466075286-21602
PBS_JOBID= 19904003
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/SOFT-BIGINT-LIN/PB10/oliveras/j120/normalized-j12041_4-unsat--soft-0-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093603-1466088481/watcher-4093603-1466088481 -o /tmp/evaluation-result-4093603-1466088481/solver-4093603-1466088481 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466075286-21602 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093603-1466088481.wbo

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

MD5SUM BENCH= 14c1785b94a37a1f4c31a89d52f68595
RANDOM SEED=601688029

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.486
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		: 2666.486
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.486
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.38
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.486
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.56
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.486
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:        28647768 kB
Buffers:           38348 kB
Cached:           118216 kB
SwapCached:         2456 kB
Active:          1757224 kB
Inactive:          67280 kB
Active(anon):    1668304 kB
Inactive(anon):     1780 kB
Active(file):      88920 kB
Inactive(file):    65500 kB
Unevictable:     1695340 kB
Mlocked:         1499116 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             19532 kB
Writeback:             0 kB
AnonPages:       3362036 kB
Mapped:            10920 kB
Shmem:                 0 kB
Slab:             568716 kB
SReclaimable:      12912 kB
SUnreclaim:       555804 kB
KernelStack:        1480 kB
PageTables:        10760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3502280 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node137 at 2016-06-16 17:18:02