Trace number 4107506

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

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/
datasets/10orplus/normalized-libcatalyst-perl.cudf.paranoid.opb
MD5SUM72ae7155ce86a5a9a7385f7f3337403d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark178324
Best CPU time to get the best result obtained on this benchmark30.9633
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19906
Total number of constraints96839
Number of constraints which are clauses95271
Number of constraints which are cardinality constraints (but not clauses)1568
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 7304
Biggest coefficient in the objective function 4346
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12868504
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4346
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12868504
Number of bits of the biggest sum of numbers24
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-18T23:35: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","--pb","--search=bcd2","HOME/instance-4107506-1466285701.opb"]
0.00/0.01	c use --random-gen="1869049352 162077824 4147583578 3449778825 678510786 3131744775 1680189660 4119609384 4163727420 227701026 1662035377 582910798 2814551902 809748254 3345429393 1004525266 1518718960 2915233791 3388155283 519304837 581859299 1258170189 3768036989 309839292 3906546919 791271958 1431721817 325825523 762685095 3672732170 3704802757 4070699448 3124810143 3065582796 291039867 3927020684 2620842227 326708670 803013151 2030315305 2064855409 3066043496 4037866458 3390182638 1917250792 3681053806 2336803172 3990492505 1091351547 1899201018 1570977948 4211035796 3011649311 2515946682 2468691587 2188201809 4016739751 3171355787 2058944274 3352223067 1198944514 2669651397 1141486091 1784335909 1126587769 107237908 2040448114 565035101 3492076982 3761615831 3663819592 430229190 4124867370 2247761955 3023926274 1025426399 1366460068 3236255007 720239004 724330263 1109820690 4162965565 3091377017 68451012 3327815453 3513717415 2913014103 960845342 2689139305 49618122 2249191382 2820266514 974719476 2709033171 1696954000 392797567 2049010436 2554522202 2351730505 1266417305 535614384 3642134903 2352691493 78284544 314616173 198209593 3207304375 817623827 2540341364 3105455206 3550526594 2683479768 1618008955 2711865840 3023663455 162383094 1835985148 2638910427 4227438084 1634103064 25781076 3475150993 3226201929 3424199008 644213816 3881870818 255080858 3077146936 2014440575 782285791 1441645650 2423643956 34451040 3418254950 1660427661 2862022387 3879541633 3152878170 3297518373 2075239376 3049215189 3359193105 312569667 837817369 2636472703 1527579892 413823802 289535778 3993518265 870171486 1792612584 3690015260 3213512200 2505877396 3654481110 674056976 841853321 919995132 2567937723 2774895860 3576287893 4078126324 1352562090 2641062204 3219682601 3208490291 2602190943 3096373641 871454577 4164219684 1280351880 2381162680 3449186953 947867033 2419388456 1599957272 2194134806 3436973015 1274740370 2839097108 3989742965 3562934880 2660978265 540587362 3733445040 1639999868 1700604066 4089587095 727229184 1461094996 3701864990 919385651 3990541866 1356480760 363656474 1627926306 3591813705 646431229 234931180 3735217822 633922957 705941379 2912959942 3699617315 1517799384 3667502740 2866610989 3428438466 2987998387 2856572048 804177339 2517622546 224824459 4214876913 624035583 3817575000 2653928547 1090967549 2757156598 4037849043 2020613143 114320821 2550886357 999139554 958580378 4151144839 698111564 1457209430 3971132666 1649797967 1347916335 3132941828 3619544373 2031703804 3174069420 2721046126 2549103202 4124097428 1544090337 3363051196 4225716024 1454291916 1758211137 3079852618 2175316310 3561564335 2806743160 3314503035 4258727770 2770389380 1253804052 610118472 175521977 4228660921 1130671175 3749749864 255 362436" option to reproduce the execution
0.69/0.72	c #vars 19906
0.69/0.72	c #constraints 96839
2.20/2.27	c BCD2: Hardening is enabled.
2.20/2.27	c BCD2: BiasedSearch is enabled.
2.20/2.27	c Solving starts ...
2.20/2.27	c ============================[ Search Statistics ]============================
2.20/2.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.20/2.27	c       |         |          |          |    Limit     GC | Var      | Constra 
2.20/2.27	c =============================================================================
2.20/2.27	c  0.0s |       0 |        0 |        0 |    38855      0 |       52 |        0
2.79/2.83	c  0.6s |       1 |    90737 |      100 |    38855      0 |       52 |      141
4.78/4.89	c  2.6s |       2 |   337613 |      250 |    42741      0 |       52 |      141
7.48/7.59	c  5.3s |       2 |   666477 |      415 |    47016      0 |       52 |      141
7.48/7.59	c #cpu_time = 5.299s
7.48/7.59	c #wall_clock_time = 5.313s
7.48/7.59	c #decision = 666477
7.48/7.59	c #random_decision = 2166
7.48/7.59	c #conflict = 415
7.48/7.59	c #restart = 2
7.48/7.60	o 6726792
174.36/174.40	c BCD2: updating upper bound: 12868504 -> 6726791
340.64/340.74	c BCD2: 0 <= obj <= 6726791
340.64/340.74	c BCD2: #cores=0, #unrelaxed=7304, #relaxed=0, #hardened=0
340.64/340.74	c BCD2: #sat=1 #unsat=1 bias=1/2
340.64/340.74	c Solving starts ...
340.64/340.74	c ============================[ Search Statistics ]============================
340.64/340.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
340.64/340.74	c       |         |          |          |    Limit     GC | Var      | Constra 
340.64/340.74	c =============================================================================
340.64/340.74	c  0.0s |       0 |        0 |        0 |    47016      0 |       52 |      141
340.74/340.80	c  0.1s |       0 |      382 |        0 |    47016      0 |       52 |      141
340.74/340.80	c #cpu_time = 0.052s
340.74/340.80	c #wall_clock_time = 0.052s
340.74/340.80	c #decision = 382
340.74/340.80	c #random_decision = 0
340.74/340.80	c #conflict = 0
340.74/340.80	c #restart = 0
340.74/340.80	c BCD2: found a new core of size 2: cost of the new core is >=1
340.74/340.80	c lower bound updated to 1
507.81/507.91	c BCD2: 1 <= obj <= 6726791
507.81/507.91	c BCD2: #cores=1, #unrelaxed=7302, #relaxed=2, #hardened=0
507.81/507.91	c BCD2: #sat=1 #unsat=2 bias=2/3
507.81/507.91	c Solving starts ...
507.81/507.91	c ============================[ Search Statistics ]============================
507.81/507.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
507.81/507.91	c       |         |          |          |    Limit     GC | Var      | Constra 
507.81/507.91	c =============================================================================
507.81/507.92	c  0.0s |       0 |        0 |        0 |    47016      0 |       52 |      141
507.91/508.03	c  0.1s |       0 |      789 |        1 |    47016      0 |       70 |      246
507.91/508.03	c #cpu_time = 0.109s
507.91/508.03	c #wall_clock_time = 0.110s
507.91/508.03	c #decision = 789
507.91/508.03	c #random_decision = 0
507.91/508.03	c #conflict = 1
507.91/508.03	c #restart = 0
507.91/508.03	c BCD2: found a new core of size 1: cost of the new core is >=1
507.91/508.03	c lower bound updated to 2
671.59/671.72	c BCD2: 2 <= obj <= 6726791
671.59/671.72	c BCD2: #cores=2, #unrelaxed=7301, #relaxed=3, #hardened=0
671.59/671.72	c BCD2: #sat=1 #unsat=3 bias=3/4
671.59/671.72	c Solving starts ...
671.59/671.72	c ============================[ Search Statistics ]============================
671.59/671.72	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
671.59/671.72	c       |         |          |          |    Limit     GC | Var      | Constra 
671.59/671.72	c =============================================================================
671.59/671.72	c  0.0s |       0 |        0 |        0 |    47016      0 |       70 |      246
671.59/671.77	c  0.1s |       0 |      609 |        0 |    47016      0 |       70 |      246
671.59/671.77	c #cpu_time = 0.053s
671.59/671.77	c #wall_clock_time = 0.053s
671.59/671.77	c #decision = 609
671.59/671.77	c #random_decision = 0
671.59/671.77	c #conflict = 0
671.59/671.77	c #restart = 0
671.59/671.77	c BCD2: found a new core of size 1: cost of the new core is >=1
671.59/671.77	c lower bound updated to 3
829.35/829.54	c BCD2: 3 <= obj <= 6726791
829.35/829.54	c BCD2: #cores=3, #unrelaxed=7300, #relaxed=4, #hardened=0
829.35/829.54	c BCD2: #sat=1 #unsat=4 bias=4/5
829.35/829.54	c Solving starts ...
829.35/829.54	c ============================[ Search Statistics ]============================
829.35/829.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
829.35/829.54	c       |         |          |          |    Limit     GC | Var      | Constra 
829.35/829.54	c =============================================================================
829.35/829.54	c  0.0s |       0 |        0 |        0 |    47016      0 |       70 |      246
829.44/829.65	c  0.1s |       0 |     1331 |        1 |    47016      0 |      211 |      939
829.44/829.65	c #cpu_time = 0.113s
829.44/829.65	c #wall_clock_time = 0.114s
829.44/829.65	c #decision = 1331
829.44/829.65	c #random_decision = 0
829.44/829.65	c #conflict = 1
829.44/829.65	c #restart = 0
829.44/829.65	c BCD2: found a new core of size 2: cost of the new core is >=1
829.44/829.65	c lower bound updated to 4
995.58/995.88	c BCD2: 4 <= obj <= 6726791
995.58/995.88	c BCD2: #cores=4, #unrelaxed=7298, #relaxed=6, #hardened=0
995.58/995.88	c BCD2: #sat=1 #unsat=5 bias=5/6
995.58/995.88	c Solving starts ...
995.58/995.88	c ============================[ Search Statistics ]============================
995.58/995.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
995.58/995.88	c       |         |          |          |    Limit     GC | Var      | Constra 
995.58/995.88	c =============================================================================
995.58/995.88	c  0.0s |       0 |        0 |        0 |    47016      0 |      211 |      939
995.68/995.93	c  0.1s |       0 |      704 |        0 |    47016      0 |      211 |      939
995.68/995.93	c #cpu_time = 0.052s
995.68/995.93	c #wall_clock_time = 0.052s
995.68/995.93	c #decision = 704
995.68/995.93	c #random_decision = 0
995.68/995.93	c #conflict = 0
995.68/995.93	c #restart = 0
995.68/995.93	c BCD2: found a new core of size 1: cost of the new core is >=1
995.68/995.93	c lower bound updated to 5
1153.74/1154.09	c BCD2: 5 <= obj <= 6726791
1153.74/1154.09	c BCD2: #cores=5, #unrelaxed=7297, #relaxed=7, #hardened=0
1153.74/1154.09	c BCD2: #sat=1 #unsat=6 bias=6/7
1153.74/1154.10	c Solving starts ...
1153.74/1154.10	c ============================[ Search Statistics ]============================
1153.74/1154.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1153.74/1154.10	c       |         |          |          |    Limit     GC | Var      | Constra 
1153.74/1154.10	c =============================================================================
1153.74/1154.10	c  0.0s |       0 |        0 |        0 |    47016      0 |      211 |      939
1153.83/1154.15	c  0.1s |       0 |      705 |        0 |    47016      0 |      211 |      939
1153.83/1154.15	c #cpu_time = 0.052s
1153.83/1154.15	c #wall_clock_time = 0.052s
1153.83/1154.15	c #decision = 705
1153.83/1154.15	c #random_decision = 0
1153.83/1154.15	c #conflict = 0
1153.83/1154.15	c #restart = 0
1153.83/1154.15	c BCD2: found a new core of size 1: cost of the new core is >=1
1153.83/1154.15	c lower bound updated to 6
1308.91/1309.27	c BCD2: 6 <= obj <= 6726791
1308.91/1309.27	c BCD2: #cores=6, #unrelaxed=7296, #relaxed=8, #hardened=0
1308.91/1309.27	c BCD2: #sat=1 #unsat=7 bias=7/8
1308.91/1309.27	c Solving starts ...
1308.91/1309.27	c ============================[ Search Statistics ]============================
1308.91/1309.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1308.91/1309.27	c       |         |          |          |    Limit     GC | Var      | Constra 
1308.91/1309.27	c =============================================================================
1308.91/1309.27	c  0.0s |       0 |        0 |        0 |    47016      0 |      211 |      939
1309.01/1309.32	c  0.1s |       0 |      706 |        0 |    47016      0 |      211 |      939
1309.01/1309.32	c #cpu_time = 0.051s
1309.01/1309.32	c #wall_clock_time = 0.051s
1309.01/1309.32	c #decision = 706
1309.01/1309.32	c #random_decision = 0
1309.01/1309.32	c #conflict = 0
1309.01/1309.32	c #restart = 0
1309.01/1309.32	c BCD2: found a new core of size 1: cost of the new core is >=1
1309.01/1309.32	c lower bound updated to 7
1474.28/1474.63	c BCD2: 7 <= obj <= 6726791
1474.28/1474.63	c BCD2: #cores=7, #unrelaxed=7295, #relaxed=9, #hardened=0
1474.28/1474.63	c BCD2: #sat=1 #unsat=8 bias=8/9
1474.28/1474.63	c Solving starts ...
1474.28/1474.63	c ============================[ Search Statistics ]============================
1474.28/1474.63	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1474.28/1474.63	c       |         |          |          |    Limit     GC | Var      | Constra 
1474.28/1474.63	c =============================================================================
1474.28/1474.63	c  0.0s |       0 |        0 |        0 |    47016      0 |      211 |      939
1474.38/1474.74	c  0.1s |       0 |     1415 |        1 |    47016      0 |      212 |      942
1474.38/1474.74	c #cpu_time = 0.109s
1474.38/1474.74	c #wall_clock_time = 0.109s
1474.38/1474.74	c #decision = 1415
1474.38/1474.74	c #random_decision = 0
1474.38/1474.74	c #conflict = 1
1474.38/1474.74	c #restart = 0
1474.38/1474.74	c BCD2: found a new core of size 1: cost of the new core is >=1
1474.38/1474.74	c lower bound updated to 8
1629.77/1630.10	c BCD2: 8 <= obj <= 6726791
1629.77/1630.10	c BCD2: #cores=8, #unrelaxed=7294, #relaxed=10, #hardened=0
1629.77/1630.10	c BCD2: #sat=1 #unsat=9 bias=9/10
1629.77/1630.10	c Solving starts ...
1629.77/1630.10	c ============================[ Search Statistics ]============================
1629.77/1630.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1629.77/1630.10	c       |         |          |          |    Limit     GC | Var      | Constra 
1629.77/1630.10	c =============================================================================
1629.77/1630.10	c  0.0s |       0 |        0 |        0 |    47016      0 |      212 |      942
1629.77/1630.15	c  0.1s |       0 |      708 |        0 |    47016      0 |      212 |      942
1629.77/1630.15	c #cpu_time = 0.054s
1629.77/1630.15	c #wall_clock_time = 0.054s
1629.77/1630.15	c #decision = 708
1629.77/1630.15	c #random_decision = 0
1629.77/1630.15	c #conflict = 0
1629.77/1630.15	c #restart = 0
1629.77/1630.15	c BCD2: found a new core of size 1: cost of the new core is >=1
1629.77/1630.15	c lower bound updated to 9
1794.85/1795.22	c BCD2: 9 <= obj <= 6726791
1794.85/1795.22	c BCD2: #cores=9, #unrelaxed=7293, #relaxed=11, #hardened=0
1794.85/1795.22	c BCD2: #sat=1 #unsat=10 bias=10/11
1794.85/1795.22	c Solving starts ...
1794.85/1795.22	c ============================[ Search Statistics ]============================
1794.85/1795.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1794.85/1795.22	c       |         |          |          |    Limit     GC | Var      | Constra 
1794.85/1795.22	c =============================================================================
1794.85/1795.22	c  0.0s |       0 |        0 |        0 |    47016      0 |      212 |      942
1794.85/1795.27	c  0.1s |       0 |      709 |        0 |    47016      0 |      212 |      942
1794.85/1795.27	c #cpu_time = 0.052s
1794.85/1795.27	c #wall_clock_time = 0.052s
1794.85/1795.27	c #decision = 709
1794.85/1795.27	c #random_decision = 0
1794.85/1795.27	c #conflict = 0
1794.85/1795.27	c #restart = 0
1794.85/1795.27	c BCD2: found a new core of size 1: cost of the new core is >=1
1794.85/1795.27	c lower bound updated to 10

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

pid=11169
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.12 2.08 2.07 3/179 11172
/proc/meminfo: memFree=27872592/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=693692 CPUtime=0 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 2581 0 0 0 0 0 0 0 20 0 4 0 30620262 710340608 2942 33554432000 4194304 16246674 140737058191776 140737058191200 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 173935 2951 441 2943 0 170829 0
[pid=11172/tid=11173] ppid=11169 vsize=711100 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 728166400 3008 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 732360704 3024 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=718268 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30620263 735506432 3039 33554432000 4194304 16246674 140737058191776 139874902461616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100126 s]
/proc/loadavg: 2.12 2.08 2.07 3/179 11172
/proc/meminfo: memFree=27872592/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 26446 0 0 0 5 4 0 0 20 0 4 0 30620262 1333334016 26745 33554432000 4194304 16246674 140737058191776 140737058191088 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 325521 26762 799 2943 0 322415 0
[pid=11172/tid=11173] ppid=11169 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1333334016 26772 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1333334016 26783 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1333334016 26795 33554432000 4194304 16246674 140737058191776 139874902461616 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.200481 s]
/proc/loadavg: 2.12 2.08 2.07 3/179 11172
/proc/meminfo: memFree=27872592/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 50399 0 0 0 11 8 0 0 20 0 4 0 30620262 1342771200 51209 33554432000 4194304 16246674 140737058191776 140737058191088 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 327825 51217 799 2943 0 324719 0
[pid=11172/tid=11173] ppid=11169 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1342771200 51221 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1342771200 51225 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1342771200 51229 33554432000 4194304 16246674 140737058191776 139874902461616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300439 s]
/proc/loadavg: 2.12 2.08 2.07 3/179 11172
/proc/meminfo: memFree=27872592/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1314372 CPUtime=0.29 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 60286 0 0 0 19 10 0 0 20 0 4 0 30620262 1345916928 61096 33554432000 4194304 16246674 140737058191776 140737058191088 7376613 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 328593 61096 799 2943 0 325487 0
[pid=11172/tid=11173] ppid=11169 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1345916928 61096 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1345916928 61096 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1345916928 61096 33554432000 4194304 16246674 140737058191776 139874902461616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700373 s]
/proc/loadavg: 2.12 2.08 2.07 3/179 11172
/proc/meminfo: memFree=27872592/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 68340 0 0 0 58 11 0 0 20 0 4 0 30620262 1345916928 69150 33554432000 4194304 16246674 140737058191776 140737058191088 7379331 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 328593 69150 799 2943 0 325487 0
[pid=11172/tid=11173] ppid=11169 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1345916928 69150 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1345916928 69150 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1345916928 69150 33554432000 4194304 16246674 140737058191776 139874902461616 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) 1314372

[startup+1.50035 s]
/proc/loadavg: 2.12 2.08 2.07 3/183 11176
/proc/meminfo: memFree=27430968/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1314372 CPUtime=1.48 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 189759 0 0 0 119 29 0 0 20 0 4 0 30620262 1345916928 190570 33554432000 4194304 16246674 140737058191776 140737058173696 13932337 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 328593 190578 839 2943 0 325487 0
[pid=11172/tid=11173] ppid=11169 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1345916928 190585 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1345916928 190591 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1345916928 190595 33554432000 4194304 16246674 140737058191776 139874902461616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10037 s]
/proc/loadavg: 2.12 2.08 2.07 3/183 11176
/proc/meminfo: memFree=26778728/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=3.09 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 273239 0 0 0 267 42 0 0 20 0 4 0 30620262 1389957120 274050 33554432000 4194304 16246674 140737058191776 140737058173696 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 274059 888 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 274064 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 274068 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 274073 33554432000 4194304 16246674 140737058191776 139874902461616 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) 1357380

[startup+6.30037 s]
/proc/loadavg: 2.11 2.08 2.07 3/183 11176
/proc/meminfo: memFree=26749572/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=6.28 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 280024 0 0 0 585 43 0 0 20 0 4 0 30620262 1389957120 280834 33554432000 4194304 16246674 140737058191776 140737058173696 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 280834 894 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280834 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280834 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280834 33554432000 4194304 16246674 140737058191776 139874902461616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.18 2.10 2.08 3/183 11176
/proc/meminfo: memFree=26749980/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=12.68 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 280033 0 0 0 1225 43 0 0 20 0 4 0 30620262 1389957120 280843 33554432000 4194304 16246674 140737058191776 140737058173696 12371230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 280843 903 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280843 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280843 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280843 33554432000 4194304 16246674 140737058191776 139874902461616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1357380

[startup+25.5005 s]
/proc/loadavg: 2.14 2.09 2.08 3/183 11176
/proc/meminfo: memFree=26750752/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=25.48 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 280033 0 0 0 2505 43 0 0 20 0 4 0 30620262 1389957120 280843 33554432000 4194304 16246674 140737058191776 140737058173696 12429784 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 280843 903 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280843 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280843 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280843 33554432000 4194304 16246674 140737058191776 139874902461616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1357380

[startup+51.1005 s]
/proc/loadavg: 2.09 2.08 2.07 3/183 11176
/proc/meminfo: memFree=26750580/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=51.08 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 280033 0 0 0 5065 43 0 0 20 0 4 0 30620262 1389957120 280843 33554432000 4194304 16246674 140737058191776 140737058173696 12429149 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 280843 903 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280843 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280843 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280843 33554432000 4194304 16246674 140737058191776 139874902461616 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) 1357380

[startup+102.3 s]
/proc/loadavg: 2.08 2.08 2.07 3/183 11177
/proc/meminfo: memFree=26750116/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=102.28 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 280033 0 0 0 10184 44 0 0 20 0 4 0 30620262 1389957120 280843 33554432000 4194304 16246674 140737058191776 140737058173696 12655060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 280843 903 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280843 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280843 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280843 33554432000 4194304 16246674 140737058191776 139874902461616 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) 1357380


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

/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874902461616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 1357380

[startup+1302.3 s]
/proc/loadavg: 2.17 2.11 2.09 3/183 11266
/proc/meminfo: memFree=27040000/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=1302.01 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 280203 0 0 0 130155 46 0 0 20 0 4 0 30620262 1389957120 280863 33554432000 4194304 16246674 140737058191776 140737058189568 13950230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 280863 919 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874902461616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.06 2.09 2.08 3/183 11267
/proc/meminfo: memFree=26795856/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=1362 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 280203 0 0 0 136154 46 0 0 20 0 4 0 30620262 1389957120 280863 33554432000 4194304 16246674 140737058191776 140737058173696 12413960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 280863 919 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874902461616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.13 2.10 2.09 3/183 11269
/proc/meminfo: memFree=26269620/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=1422 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 280203 0 0 0 142154 46 0 0 20 0 4 0 30620262 1389957120 280863 33554432000 4194304 16246674 140737058191776 140737058173696 12429162 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 280863 919 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874902461616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.22 2.13 2.10 3/183 11270
/proc/meminfo: memFree=26376452/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=1481.99 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 280203 0 0 0 148152 47 0 0 20 0 4 0 30620262 1389957120 280863 33554432000 4194304 16246674 140737058191776 140737058189568 12371164 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 280863 919 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874902461616 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) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.11 2.11 2.09 3/184 11274
/proc/meminfo: memFree=25765060/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=1541.99 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 280203 0 0 0 154152 47 0 0 20 0 4 0 30620262 1389957120 280863 33554432000 4194304 16246674 140737058191776 140737058189568 12449395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 280863 919 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874902461616 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) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.04 2.09 2.08 3/184 11298
/proc/meminfo: memFree=28292504/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=1601.97 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 280203 0 0 0 160150 47 0 0 20 0 4 0 30620262 1389957120 280863 33554432000 4194304 16246674 140737058191776 140737058189632 12654395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 280863 919 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874902461616 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) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.06 2.09 2.08 3/183 11299
/proc/meminfo: memFree=28003464/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=1661.96 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 280203 0 0 0 166149 47 0 0 20 0 4 0 30620262 1389957120 280863 33554432000 4194304 16246674 140737058191776 140737058173696 12429865 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 280863 919 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874902461616 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) 1357380

[startup+1722.3 s]
/proc/loadavg: 1.99 2.05 2.07 3/183 11301
/proc/meminfo: memFree=27457764/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=1721.95 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 280203 0 0 0 172148 47 0 0 20 0 4 0 30620262 1389957120 280863 33554432000 4194304 16246674 140737058191776 140737058173696 12413976 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 280863 919 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874902461616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 1357380

[startup+1782.3 s]
/proc/loadavg: 1.99 2.04 2.07 3/183 11302
/proc/meminfo: memFree=26934132/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=1781.94 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 280203 0 0 0 178147 47 0 0 20 0 4 0 30620262 1389957120 280863 33554432000 4194304 16246674 140737058191776 140737058189568 13008960 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 280863 919 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874902461616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.99 2.04 2.06 3/183 11303
/proc/meminfo: memFree=26821624/32872528 swapFree=526336/559040
[pid=11172] ppid=11169 vsize=1357380 CPUtime=1800.04 cores=1,3,5,7
/proc/11172/stat : 11172 (toysat) R 11169 11172 10280 0 -1 4202496 280203 0 0 0 179957 47 0 0 20 0 4 0 30620262 1389957120 280863 33554432000 4194304 16246674 140737058191776 140737058173696 13009008 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11172/statm: 339345 280863 919 2943 0 336239 0
[pid=11172/tid=11173] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11173/stat : 11173 (toysat) S 11169 11172 10280 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874923425008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11172/tid=11174] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11174/stat : 11174 (toysat) S 11169 11172 10280 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874912935152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11172/tid=11175] ppid=11169 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/11172/task/11175/stat : 11175 (toysat) S 11169 11172 10280 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30620263 1389957120 280863 33554432000 4194304 16246674 140737058191776 139874902461616 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1357380

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 11172 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.05
CPU user time (s): 1799.58
CPU system time (s): 0.474927
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.474927
maximum resident set size= 1123452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280203
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= 172
involuntary context switches= 1842

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.31919 second user time and 7.50086 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 23:35:01
IDJOB=4107506
IDBENCH=72233
IDSOLVER=2542
FILE ID=node106/4107506-1466285701
RUNJOBID= node106-1466277111-10297
PBS_JOBID= 19918270
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libcatalyst-perl.cudf.paranoid.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107506-1466285701/watcher-4107506-1466285701 -o /tmp/evaluation-result-4107506-1466285701/solver-4107506-1466285701 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466277111-10297 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107506-1466285701.opb

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

MD5SUM BENCH= 72ae7155ce86a5a9a7385f7f3337403d
RANDOM SEED=287959047

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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:        27873576 kB
Buffers:          110884 kB
Cached:           253976 kB
SwapCached:         1736 kB
Active:          3459380 kB
Inactive:         229148 kB
Active(anon):    3322984 kB
Inactive(anon):     3048 kB
Active(file):     136396 kB
Inactive(file):   226100 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             19856 kB
Writeback:             0 kB
AnonPages:       3884204 kB
Mapped:            10872 kB
Shmem:                 0 kB
Slab:             613424 kB
SReclaimable:      57272 kB
SUnreclaim:       556152 kB
KernelStack:        1520 kB
PageTables:        11692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4026248 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2250752 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= 71664 MiB
End job on node106 at 2016-06-19 00:05:02