Trace number 4107474

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

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/
10orplus/normalized-libcyrus-imap-perl22.cudf.paranoid.opb
MD5SUMbe82277be7f5feac27bb3b282a524123
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark176246
Best CPU time to get the best result obtained on this benchmark32.96
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19770
Total number of constraints96411
Number of constraints which are clauses94846
Number of constraints which are cardinality constraints (but not clauses)1565
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 7254
Biggest coefficient in the objective function 4296
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12720454
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4296
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12720454
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:29:23+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4107474-1466285363.opb"]
0.00/0.01	c use --random-gen="2745350149 3170787022 219345958 1698703102 375148184 498603514 966224778 2778075396 267822804 3024755860 2112770309 3593486692 3765900376 1394868627 2396922472 1295266490 808670366 3279584468 1110333918 1381230174 3568515878 1010784187 305619327 1701977882 1985662949 1148985895 4185849408 301376007 1486999189 3551548563 3638140229 1061785144 3479665737 1622230050 695882973 816722273 1986142487 2845008007 1689207070 2988228586 2078213414 2944743543 3367124322 787796235 1315744534 2758648782 1784190647 3974625089 3944053864 2744094789 1325682569 2642276950 58914678 943885623 2482480795 2832660753 1912172889 4234610812 329347260 229081119 3379383620 1039846814 2639896418 4225746491 2623921240 3344666752 135869654 4159538698 1572606335 3615442023 135096821 3136861415 3965788253 1964199414 2714116343 3751756856 3284700168 2231443361 4003497116 785768108 1062464034 3190403627 1315183520 962795567 3459159469 2545840125 858137909 3360710005 1499322014 2255930716 259082145 3303509606 1558094072 97276538 1177462709 1113858201 4228009070 2369409419 3757261276 1752884904 2871362518 2726886061 1983940682 3472225225 1308183578 1826223227 1713155558 1871886285 2468122368 2634345824 2639242026 2501195097 1089401389 2385063805 2064468518 1002545530 3807627549 1414222914 779048791 309675580 736956736 2456153209 3963988367 1916844132 2127338203 375181150 2907682739 250091226 126639438 4268667131 1112792087 2868835668 2103656171 3140948910 595094354 2970342575 4076962740 2013185800 605140610 1662626878 1561066744 2074765525 2363566988 4145442854 84556244 2684243811 591888578 3672167977 2936822357 3422269445 279718130 3225759474 705649282 3963150945 2853720277 1978897317 1554051221 1182494165 3177953387 330824158 3258253506 2579743298 2532337097 4209773527 378390322 400239062 203200265 1406247741 2698654180 2929145470 1451073792 2527830849 3038808796 3267790216 1063216521 3388480591 2764883406 3646219483 146752588 1137567229 2833153515 4024887162 2379448165 4025047 3632074475 2120123524 2339256358 2570297101 1910659963 2965825772 851171940 178415387 2941423159 502392519 1756976554 3717005649 866795762 4072244101 2603967878 1660411678 4086393733 313623458 2303258175 2522251183 1248454961 1774327118 1659356172 701444389 3084861090 1670833337 664800079 538421840 2989940126 2751427574 3085091409 1436708519 2269601593 2443868634 2528367235 1267781535 1836589385 2827315642 4191152975 1588650356 2446835849 4150628085 2603399060 2339377177 385561007 107925691 1377553316 343823680 128877647 300473004 3767823980 457894362 1046265356 3413558927 1276062289 1798058226 822317765 1762464974 312959833 496376362 1127196343 3189405492 1750508064 3017193031 1644827633 3270882592 2076978933 3814302240 274317574 2026783265 4213139890 2767886653 255 362436" option to reproduce the execution
0.69/0.72	c #vars 19770
0.69/0.72	c #constraints 96411
2.20/2.25	c BCD2: Hardening is enabled.
2.20/2.25	c BCD2: BiasedSearch is enabled.
2.20/2.25	c Solving starts ...
2.20/2.25	c ============================[ Search Statistics ]============================
2.20/2.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.20/2.25	c       |         |          |          |    Limit     GC | Var      | Constra 
2.20/2.25	c =============================================================================
2.20/2.25	c  0.0s |       0 |        0 |        0 |    38666      0 |       54 |        0
2.89/2.93	c  0.7s |       1 |    96499 |      100 |    38666      0 |      198 |      848
4.88/4.91	c  2.7s |       2 |   324684 |      250 |    42533      0 |      198 |      848
7.28/7.38	c  5.1s |       2 |   616799 |      402 |    46787      0 |      198 |      848
7.28/7.38	c #cpu_time = 5.117s
7.28/7.38	c #wall_clock_time = 5.117s
7.28/7.38	c #decision = 616799
7.28/7.38	c #random_decision = 1972
7.28/7.38	c #conflict = 402
7.28/7.38	c #restart = 2
7.28/7.38	o 6971630
142.07/142.17	c BCD2: updating upper bound: 12720454 -> 6971629
276.85/276.92	c BCD2: 0 <= obj <= 6971629
276.85/276.92	c BCD2: #cores=0, #unrelaxed=7254, #relaxed=0, #hardened=0
276.85/276.92	c BCD2: #sat=1 #unsat=1 bias=1/2
276.85/276.92	c Solving starts ...
276.85/276.92	c ============================[ Search Statistics ]============================
276.85/276.92	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
276.85/276.92	c       |         |          |          |    Limit     GC | Var      | Constra 
276.85/276.92	c =============================================================================
276.85/276.92	c  0.0s |       0 |        0 |        0 |    46787      0 |      198 |      848
276.85/276.98	c  0.1s |       0 |      382 |        0 |    46787      0 |      198 |      848
276.85/276.98	c #cpu_time = 0.053s
276.85/276.98	c #wall_clock_time = 0.053s
276.85/276.98	c #decision = 382
276.85/276.98	c #random_decision = 0
276.85/276.98	c #conflict = 0
276.85/276.98	c #restart = 0
276.85/276.98	c BCD2: found a new core of size 2: cost of the new core is >=1
276.85/276.98	c lower bound updated to 1
410.42/410.59	c BCD2: 1 <= obj <= 6971629
410.42/410.59	c BCD2: #cores=1, #unrelaxed=7252, #relaxed=2, #hardened=0
410.42/410.59	c BCD2: #sat=1 #unsat=2 bias=2/3
410.42/410.59	c Solving starts ...
410.42/410.59	c ============================[ Search Statistics ]============================
410.42/410.59	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
410.42/410.59	c       |         |          |          |    Limit     GC | Var      | Constra 
410.42/410.59	c =============================================================================
410.52/410.60	c  0.0s |       0 |        0 |        0 |    46787      0 |      198 |      848
410.52/410.65	c  0.1s |       0 |      404 |        1 |    46787      0 |      198 |      848
410.52/410.65	c #cpu_time = 0.050s
410.52/410.65	c #wall_clock_time = 0.050s
410.52/410.65	c #decision = 404
410.52/410.65	c #random_decision = 0
410.52/410.65	c #conflict = 1
410.52/410.65	c #restart = 0
410.52/410.65	c BCD2: found a new core of size 2: cost of the new core is >=1
410.52/410.65	c lower bound updated to 2
545.21/545.39	c BCD2: 2 <= obj <= 6971629
545.21/545.39	c BCD2: #cores=2, #unrelaxed=7250, #relaxed=4, #hardened=0
545.21/545.39	c BCD2: #sat=1 #unsat=3 bias=3/4
545.21/545.39	c Solving starts ...
545.21/545.39	c ============================[ Search Statistics ]============================
545.21/545.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
545.21/545.39	c       |         |          |          |    Limit     GC | Var      | Constra 
545.21/545.39	c =============================================================================
545.21/545.39	c  0.0s |       0 |        0 |        0 |    46787      0 |      198 |      848
545.31/545.45	c  0.1s |       0 |      832 |        1 |    46787      0 |      198 |      848
545.31/545.45	c #cpu_time = 0.057s
545.31/545.45	c #wall_clock_time = 0.057s
545.31/545.45	c #decision = 832
545.31/545.45	c #random_decision = 0
545.31/545.45	c #conflict = 1
545.31/545.45	c #restart = 0
545.31/545.45	c BCD2: found a new core of size 2: cost of the new core is >=1
545.31/545.45	c lower bound updated to 3
685.19/685.35	c BCD2: 3 <= obj <= 6971629
685.19/685.35	c BCD2: #cores=3, #unrelaxed=7248, #relaxed=6, #hardened=0
685.19/685.35	c BCD2: #sat=1 #unsat=4 bias=4/5
685.19/685.35	c Solving starts ...
685.19/685.35	c ============================[ Search Statistics ]============================
685.19/685.35	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
685.19/685.35	c       |         |          |          |    Limit     GC | Var      | Constra 
685.19/685.35	c =============================================================================
685.19/685.35	c  0.0s |       0 |        0 |        0 |    46787      0 |      198 |      848
685.29/685.40	c  0.1s |       0 |      663 |        0 |    46787      0 |      198 |      848
685.29/685.40	c #cpu_time = 0.055s
685.29/685.40	c #wall_clock_time = 0.055s
685.29/685.40	c #decision = 663
685.29/685.40	c #random_decision = 0
685.29/685.40	c #conflict = 0
685.29/685.40	c #restart = 0
685.29/685.40	c BCD2: found a new core of size 2: cost of the new core is >=1
685.29/685.40	c lower bound updated to 4
830.26/830.41	c BCD2: 4 <= obj <= 6971629
830.26/830.41	c BCD2: #cores=4, #unrelaxed=7246, #relaxed=8, #hardened=0
830.26/830.41	c BCD2: #sat=1 #unsat=5 bias=5/6
830.26/830.41	c Solving starts ...
830.26/830.41	c ============================[ Search Statistics ]============================
830.26/830.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
830.26/830.41	c       |         |          |          |    Limit     GC | Var      | Constra 
830.26/830.41	c =============================================================================
830.26/830.41	c  0.0s |       0 |        0 |        0 |    46787      0 |      198 |      848
830.26/830.47	c  0.1s |       0 |      702 |        0 |    46787      0 |      198 |      848
830.26/830.47	c #cpu_time = 0.058s
830.26/830.47	c #wall_clock_time = 0.058s
830.26/830.47	c #decision = 702
830.26/830.47	c #random_decision = 0
830.26/830.47	c #conflict = 0
830.26/830.47	c #restart = 0
830.26/830.47	c BCD2: found a new core of size 1: cost of the new core is >=1
830.26/830.47	c lower bound updated to 5
989.62/989.80	c BCD2: 5 <= obj <= 6971629
989.62/989.80	c BCD2: #cores=5, #unrelaxed=7245, #relaxed=9, #hardened=0
989.62/989.80	c BCD2: #sat=1 #unsat=6 bias=6/7
989.62/989.80	c Solving starts ...
989.62/989.80	c ============================[ Search Statistics ]============================
989.62/989.80	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
989.62/989.80	c       |         |          |          |    Limit     GC | Var      | Constra 
989.62/989.80	c =============================================================================
989.62/989.80	c  0.0s |       0 |        0 |        0 |    46787      0 |      198 |      848
989.62/989.86	c  0.1s |       0 |      703 |        0 |    46787      0 |      198 |      848
989.62/989.86	c #cpu_time = 0.059s
989.62/989.86	c #wall_clock_time = 0.059s
989.62/989.86	c #decision = 703
989.62/989.86	c #random_decision = 0
989.62/989.86	c #conflict = 0
989.62/989.86	c #restart = 0
989.62/989.86	c BCD2: found a new core of size 1: cost of the new core is >=1
989.62/989.86	c lower bound updated to 6
1165.65/1165.90	c BCD2: 6 <= obj <= 6971629
1165.65/1165.90	c BCD2: #cores=6, #unrelaxed=7244, #relaxed=10, #hardened=0
1165.65/1165.90	c BCD2: #sat=1 #unsat=7 bias=7/8
1165.65/1165.90	c Solving starts ...
1165.65/1165.90	c ============================[ Search Statistics ]============================
1165.65/1165.90	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1165.65/1165.90	c       |         |          |          |    Limit     GC | Var      | Constra 
1165.65/1165.90	c =============================================================================
1165.65/1165.90	c  0.0s |       0 |        0 |        0 |    46787      0 |      198 |      848
1165.65/1165.96	c  0.1s |       0 |      704 |        0 |    46787      0 |      198 |      848
1165.65/1165.96	c #cpu_time = 0.064s
1165.65/1165.96	c #wall_clock_time = 0.064s
1165.65/1165.96	c #decision = 704
1165.65/1165.96	c #random_decision = 0
1165.65/1165.96	c #conflict = 0
1165.65/1165.96	c #restart = 0
1165.65/1165.96	c BCD2: found a new core of size 1: cost of the new core is >=1
1165.65/1165.96	c lower bound updated to 7
1330.59/1330.93	c BCD2: 7 <= obj <= 6971629
1330.59/1330.93	c BCD2: #cores=7, #unrelaxed=7243, #relaxed=11, #hardened=0
1330.59/1330.93	c BCD2: #sat=1 #unsat=8 bias=8/9
1330.59/1330.93	c Solving starts ...
1330.59/1330.93	c ============================[ Search Statistics ]============================
1330.59/1330.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1330.59/1330.93	c       |         |          |          |    Limit     GC | Var      | Constra 
1330.59/1330.93	c =============================================================================
1330.59/1330.94	c  0.0s |       0 |        0 |        0 |    46787      0 |      198 |      848
1330.69/1331.09	c  0.2s |       0 |     1411 |        1 |    46787      0 |      201 |      856
1330.69/1331.09	c #cpu_time = 0.153s
1330.69/1331.09	c #wall_clock_time = 0.153s
1330.69/1331.09	c #decision = 1411
1330.69/1331.09	c #random_decision = 0
1330.69/1331.09	c #conflict = 1
1330.69/1331.09	c #restart = 0
1330.69/1331.09	c BCD2: found a new core of size 1: cost of the new core is >=1
1330.69/1331.09	c lower bound updated to 8
1510.16/1510.55	c BCD2: 8 <= obj <= 6971629
1510.16/1510.55	c BCD2: #cores=8, #unrelaxed=7242, #relaxed=12, #hardened=0
1510.16/1510.55	c BCD2: #sat=1 #unsat=9 bias=9/10
1510.16/1510.55	c Solving starts ...
1510.16/1510.55	c ============================[ Search Statistics ]============================
1510.16/1510.55	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1510.16/1510.55	c       |         |          |          |    Limit     GC | Var      | Constra 
1510.16/1510.55	c =============================================================================
1510.16/1510.55	c  0.0s |       0 |        0 |        0 |    46787      0 |      201 |      856
1510.26/1510.62	c  0.1s |       0 |      706 |        0 |    46787      0 |      201 |      856
1510.26/1510.62	c #cpu_time = 0.069s
1510.26/1510.62	c #wall_clock_time = 0.069s
1510.26/1510.62	c #decision = 706
1510.26/1510.62	c #random_decision = 0
1510.26/1510.62	c #conflict = 0
1510.26/1510.62	c #restart = 0
1510.26/1510.62	c BCD2: found a new core of size 1: cost of the new core is >=1
1510.26/1510.62	c lower bound updated to 9
1684.33/1684.76	c BCD2: 9 <= obj <= 6971629
1684.33/1684.76	c BCD2: #cores=9, #unrelaxed=7241, #relaxed=13, #hardened=0
1684.33/1684.76	c BCD2: #sat=1 #unsat=10 bias=10/11
1684.33/1684.76	c Solving starts ...
1684.33/1684.76	c ============================[ Search Statistics ]============================
1684.33/1684.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1684.33/1684.76	c       |         |          |          |    Limit     GC | Var      | Constra 
1684.33/1684.76	c =============================================================================
1684.33/1684.76	c  0.0s |       0 |        0 |        0 |    46787      0 |      201 |      856
1684.43/1684.83	c  0.1s |       0 |      707 |        0 |    46787      0 |      201 |      856
1684.43/1684.83	c #cpu_time = 0.071s
1684.43/1684.83	c #wall_clock_time = 0.071s
1684.43/1684.83	c #decision = 707
1684.43/1684.83	c #random_decision = 0
1684.43/1684.83	c #conflict = 0
1684.43/1684.83	c #restart = 0
1684.43/1684.83	c BCD2: found a new core of size 1: cost of the new core is >=1
1684.43/1684.83	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-4107474-1466285363/watcher-4107474-1466285363 -o /tmp/evaluation-result-4107474-1466285363/solver-4107474-1466285363 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28142 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107474-1466285363.opb 

pid=29386
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.17 2.21 2.21 4/179 29389
/proc/meminfo: memFree=29144816/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=514492 CPUtime=0 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 1882 0 0 0 0 0 0 0 20 0 4 0 30582057 526839808 1732 33554432000 4194304 16246674 140736139280512 140736139279936 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 129135 1742 441 2943 0 126029 0
[pid=29389/tid=29390] ppid=29386 vsize=531900 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 544665600 1803 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=537020 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 549908480 1820 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=541116 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30582058 554102784 1838 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100221 s]
/proc/loadavg: 2.17 2.21 2.21 4/179 29389
/proc/meminfo: memFree=29144816/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1220164 CPUtime=0.09 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 29130 0 0 0 5 4 0 0 20 0 4 0 30582057 1249447936 28917 33554432000 4194304 16246674 140736139280512 140736139279824 4225154 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 305041 28917 800 2943 0 301935 0
[pid=29389/tid=29390] ppid=29386 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1249447936 28917 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1249447936 28917 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1249447936 28917 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.2005 s]
/proc/loadavg: 2.17 2.21 2.21 4/179 29389
/proc/meminfo: memFree=29144816/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1313348 CPUtime=0.18 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 51735 0 0 0 11 7 0 0 20 0 4 0 30582057 1344868352 52033 33554432000 4194304 16246674 140736139280512 140736139263504 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 328337 52033 800 2943 0 325231 0
[pid=29389/tid=29390] ppid=29386 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1344868352 52033 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1344868352 52033 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1344868352 52033 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1313348

[startup+0.300461 s]
/proc/loadavg: 2.17 2.21 2.21 4/179 29389
/proc/meminfo: memFree=29144816/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 66501 0 0 0 20 9 0 0 20 0 4 0 30582057 1344868352 66799 33554432000 4194304 16246674 140736139280512 140736139263504 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 328337 66799 800 2943 0 325231 0
[pid=29389/tid=29390] ppid=29386 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1344868352 66799 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1344868352 66799 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1344868352 66799 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700393 s]
/proc/loadavg: 2.17 2.21 2.21 4/179 29389
/proc/meminfo: memFree=29144816/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 69486 0 0 0 59 10 0 0 20 0 4 0 30582057 1344868352 69784 33554432000 4194304 16246674 140736139280512 140736139263504 14073329 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 328337 69784 800 2943 0 325231 0
[pid=29389/tid=29390] ppid=29386 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1344868352 69784 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1344868352 69784 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1344868352 69784 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.24 2.22 2.21 4/183 29393
/proc/meminfo: memFree=28699232/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1313348 CPUtime=1.48 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 191570 0 0 0 120 28 0 0 20 0 4 0 30582057 1344868352 191868 33554432000 4194304 16246674 140736139280512 140736139262400 13759916 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 328337 191879 840 2943 0 325231 0
[pid=29389/tid=29390] ppid=29386 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1344868352 191886 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1344868352 191892 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1344868352 191897 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.10044 s]
/proc/loadavg: 2.24 2.22 2.21 4/183 29393
/proc/meminfo: memFree=28057904/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=3.09 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 271773 0 0 0 268 41 0 0 20 0 4 0 30582057 1389957120 272071 33554432000 4194304 16246674 140736139280512 140736139262400 4220880 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 272071 890 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 272071 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 272071 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 272071 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1357380

[startup+6.30044 s]
/proc/loadavg: 2.24 2.22 2.21 3/183 29393
/proc/meminfo: memFree=28024608/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=6.28 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 280031 0 0 0 586 42 0 0 20 0 4 0 30582057 1389957120 280329 33554432000 4194304 16246674 140736139280512 140736139262400 5754872 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 280329 896 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280329 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280329 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280329 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.20 2.21 2.21 3/183 29393
/proc/meminfo: memFree=28025140/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=12.68 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 280039 0 0 0 1226 42 0 0 20 0 4 0 30582057 1389957120 280337 33554432000 4194304 16246674 140736139280512 140736139262400 13950202 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 280337 904 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280337 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280337 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280337 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 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.17 2.20 2.21 4/183 29393
/proc/meminfo: memFree=28025776/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=25.49 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 280039 0 0 0 2506 43 0 0 20 0 4 0 30582057 1389957120 280337 33554432000 4194304 16246674 140736139280512 140736139262400 12654032 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 280337 904 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280337 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280337 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280337 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1357380

[startup+51.1005 s]
/proc/loadavg: 2.24 2.21 2.21 3/184 29396
/proc/meminfo: memFree=28025484/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=51.08 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 280039 0 0 0 5065 43 0 0 20 0 4 0 30582057 1389957120 280337 33554432000 4194304 16246674 140736139280512 140736139262400 12371164 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 280337 904 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280337 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280337 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280337 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1357380

[startup+102.301 s]
/proc/loadavg: 2.17 2.20 2.20 3/183 29397
/proc/meminfo: memFree=28025416/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=102.28 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 280039 0 0 0 10185 43 0 0 20 0 4 0 30582057 1389957120 280337 33554432000 4194304 16246674 140736139280512 140736139262400 12371164 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 280337 904 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280337 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280337 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280337 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1357380


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

/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 1357380

[startup+1302.3 s]
/proc/loadavg: 2.35 2.29 2.20 3/183 29575
/proc/meminfo: memFree=28483876/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=1302 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 280220 0 0 0 130155 45 0 0 20 0 4 0 30582057 1389957120 280354 33554432000 4194304 16246674 140736139280512 140736139262400 12654356 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 280354 920 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.37 2.31 2.21 4/183 29576
/proc/meminfo: memFree=27576024/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=1361.98 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 280243 0 0 0 136153 45 0 0 20 0 4 0 30582057 1389957120 280354 33554432000 4194304 16246674 140736139280512 140736139262400 12371280 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 280354 920 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.34 2.31 2.22 3/184 29588
/proc/meminfo: memFree=26729908/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=1421.97 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 280258 0 0 0 142152 45 0 0 20 0 4 0 30582057 1389957120 280354 33554432000 4194304 16246674 140736139280512 140736139278336 12371164 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 280354 920 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.26 2.29 2.21 3/183 29590
/proc/meminfo: memFree=26179236/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=1481.96 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 280258 0 0 0 148150 46 0 0 20 0 4 0 30582057 1389957120 280354 33554432000 4194304 16246674 140736139280512 140736139262400 12449269 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 280354 920 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.43 2.33 2.23 3/183 29591
/proc/meminfo: memFree=25832808/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=1541.96 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 280258 0 0 0 154150 46 0 0 20 0 4 0 30582057 1389957120 280354 33554432000 4194304 16246674 140736139280512 140736139278336 12449269 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 280354 920 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.21 2.28 2.22 3/183 29592
/proc/meminfo: memFree=25488660/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=1601.94 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 280258 0 0 0 160148 46 0 0 20 0 4 0 30582057 1389957120 280354 33554432000 4194304 16246674 140736139280512 140736139278336 13950232 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 280354 920 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.26 2.29 2.22 3/183 29593
/proc/meminfo: memFree=24926736/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=1661.93 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 280258 0 0 0 166147 46 0 0 20 0 4 0 30582057 1389957120 280354 33554432000 4194304 16246674 140736139280512 140736139262400 12449395 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 280354 920 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.33 2.29 2.22 3/183 29594
/proc/meminfo: memFree=24551668/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=1721.92 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 280258 0 0 0 172146 46 0 0 20 0 4 0 30582057 1389957120 280354 33554432000 4194304 16246674 140736139280512 140736139262400 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 280354 920 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 1357380

[startup+1782.3 s]
/proc/loadavg: 2.28 2.28 2.22 3/183 29596
/proc/meminfo: memFree=24466552/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=1781.91 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 280258 0 0 0 178145 46 0 0 20 0 4 0 30582057 1389957120 280354 33554432000 4194304 16246674 140736139280512 140736139262400 13950188 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 280354 920 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.36 2.30 2.23 3/183 29596
/proc/meminfo: memFree=24040580/32872528 swapFree=1402776/1580604
[pid=29389] ppid=29386 vsize=1357380 CPUtime=1800.01 cores=1,3,5,7
/proc/29389/stat : 29389 (toysat) R 29386 29389 28125 0 -1 4202496 280258 0 0 0 179955 46 0 0 20 0 4 0 30582057 1389957120 280354 33554432000 4194304 16246674 140736139280512 140736139262400 12371230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29389/statm: 339345 280354 920 2943 0 336239 0
[pid=29389/tid=29390] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29390/stat : 29390 (toysat) S 29386 29389 28125 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250346138864 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=29389/tid=29391] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29391/stat : 29391 (toysat) S 29386 29389 28125 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250335649008 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=29389/tid=29392] ppid=29386 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/29389/task/29392/stat : 29392 (toysat) S 29386 29389 28125 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30582058 1389957120 280354 33554432000 4194304 16246674 140736139280512 140250325175472 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 29389 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.02
CPU user time (s): 1799.56
CPU system time (s): 0.464929
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.464929
maximum resident set size= 1121416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280258
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= 233
involuntary context switches= 1858

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.63429 second user time and 6.96294 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-18 23:29:23
IDJOB=4107474
IDBENCH=72210
IDSOLVER=2542
FILE ID=node139/4107474-1466285363
RUNJOBID= node139-1466274546-28142
PBS_JOBID= 19918239
Free space on /tmp= 71576 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libcyrus-imap-perl22.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-4107474-1466285363/watcher-4107474-1466285363 -o /tmp/evaluation-result-4107474-1466285363/solver-4107474-1466285363 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466274546-28142 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107474-1466285363.opb

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

MD5SUM BENCH= be82277be7f5feac27bb3b282a524123
RANDOM SEED=1932140307

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        29145196 kB
Buffers:          142012 kB
Cached:           173172 kB
SwapCached:         1600 kB
Active:          1178300 kB
Inactive:         219932 kB
Active(anon):    1082336 kB
Inactive(anon):     3040 kB
Active(file):      95964 kB
Inactive(file):   216892 kB
Unevictable:     1580604 kB
Mlocked:         1402776 kB
SwapTotal:      67108856 kB
SwapFree:       67099484 kB
Dirty:             37388 kB
Writeback:             0 kB
AnonPages:       2663792 kB
Mapped:            10828 kB
Shmem:                 0 kB
Slab:             611340 kB
SReclaimable:      54480 kB
SUnreclaim:       556860 kB
KernelStack:        1520 kB
PageTables:         9304 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2807188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    182272 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= 71560 MiB
End job on node139 at 2016-06-18 23:59:24