Trace number 4079144

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.06 1800.41

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/
10orplus/normalized-libhtml-parser-perl.cudf.paranoid.opb
MD5SUM7a4c2b917ef01224b1df0f9c03e12d6e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark141778
Best CPU time to get the best result obtained on this benchmark27.1029
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables19768
Total number of constraints96403
Number of constraints which are clauses94838
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 7253
Biggest coefficient in the objective function 4295
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 12717493
Number of bits of the sum of numbers in the objective function 24
Biggest number in a constraint 4295
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 12717493
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-07T05:18:38+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-4079144-1465269518.opb"]
0.00/0.01	c use --random-gen="2567723614 605365361 1421051238 2697068248 2229777345 2674246024 2155636746 3231621757 2962553640 3295773217 3873163737 1461246929 2918335595 3322897078 3733253227 2809175499 394786260 3399440884 2963216983 2379968314 1139369406 3541041637 267826614 3696492738 415257468 1689650220 1032635483 1127513122 757251561 3175432690 1052011814 1853301918 3333219342 1911765390 4121686795 1610954163 2006566358 340067445 4089344068 2119884861 1172674382 210240528 3849394651 3629760576 2663506300 2958007349 1933937555 531363232 2685639852 1988723298 4099603550 2657085464 3460359470 3589240068 3414161523 86856153 2387015510 28361160 441285229 855368925 3256021813 335676991 3567029637 352828572 2709998591 741066682 36267832 705711852 41240310 1638690239 345429085 3877782523 2585115574 1489906251 1454506205 1168386970 2719133072 3026961493 21414189 4091775091 4226594576 1380162793 3565303348 2291250191 935963269 3619975722 2189023622 4126878616 2696839070 2681674539 3393430150 2483423363 1542935919 2205425132 1524189188 1674274391 1423849558 3632633847 1765438834 4098453766 688520135 307991970 3616120263 2030850769 2316698503 3337119428 3396819517 3249063863 180856941 4048467922 2511307881 2858035891 3199883518 1101429661 624467582 4279843287 1945533666 2854019197 475568842 480364522 747059273 2199518607 2185602933 3255818544 2924412913 3446163116 337657604 4065870736 4227201594 3670364745 3207939368 4153393258 3061401454 1490914799 222082329 3352435448 2960883080 215155564 2678012107 2272750513 1275112405 909842643 2108124059 4146961907 320554436 65502442 2831584432 2035892278 3267979756 761918542 34426990 3408423648 3121910923 2971151058 1190850593 1783560044 3575881024 3215983400 1866283428 3613859416 3050953744 2330964566 453511744 3702198516 1669387443 1855776143 868328935 1756376938 2168809899 1613100476 3427809633 2100464462 2185709634 3869121644 3623088023 2240371361 4139149673 843237121 2084663580 2755483118 3652796726 3040975028 1222238339 937791200 3753990675 119486793 67388008 4008684153 2469412408 2352872844 1354437083 635141870 473106506 4053994556 3969401714 1554867562 4258011968 1658900512 3497419646 2333404209 3112863678 3150884207 2391084321 1948616872 4140947881 3930898193 1400681658 1330494832 408973771 137944949 2659227893 2644334758 398756 1752226263 4104663205 1958606800 3292392047 3684208302 4046706408 1805884828 530368337 2374635272 922504175 2392279561 2350041410 3754642971 2373044570 2845746728 1685286038 641253066 371545874 3512111829 1398684735 4284954727 1962643704 2071742983 1082177330 261592543 1737274909 3481014391 2240111103 1632736239 1760114045 247086256 3079936026 1251477773 1801005967 1051355614 2290835160 853070630 1539343850 2389741137 492970646 1121300690 386211735 1475960012 255 362436" option to reproduce the execution
0.69/0.72	c #vars 19768
0.69/0.72	c #constraints 96403
2.19/2.24	c BCD2: Hardening is enabled.
2.19/2.24	c BCD2: BiasedSearch is enabled.
2.19/2.24	c Solving starts ...
2.19/2.24	c ============================[ Search Statistics ]============================
2.19/2.24	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.19/2.24	c       |         |          |          |    Limit     GC | Var      | Constra 
2.19/2.24	c =============================================================================
2.19/2.24	c  0.0s |       0 |        0 |        0 |    38664      0 |       52 |        0
2.69/2.75	c  0.5s |       1 |    74218 |      100 |    38664      0 |       52 |      141
4.39/4.47	c  2.2s |       2 |   278559 |      250 |    42531      0 |       52 |      141
6.99/7.05	c  4.8s |       2 |   566064 |      417 |    46785      0 |       52 |      141
6.99/7.05	c #cpu_time = 4.782s
6.99/7.05	c #wall_clock_time = 4.795s
6.99/7.05	c #decision = 566064
6.99/7.05	c #random_decision = 1805
6.99/7.05	c #conflict = 417
6.99/7.05	c #restart = 2
6.99/7.05	o 6909910
130.87/130.98	c BCD2: updating upper bound: 12717493 -> 6909909
254.85/254.93	c BCD2: 0 <= obj <= 6909909
254.85/254.93	c BCD2: #cores=0, #unrelaxed=7253, #relaxed=0, #hardened=0
254.85/254.93	c BCD2: #sat=1 #unsat=1 bias=1/2
254.85/254.93	c Solving starts ...
254.85/254.93	c ============================[ Search Statistics ]============================
254.85/254.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
254.85/254.93	c       |         |          |          |    Limit     GC | Var      | Constra 
254.85/254.93	c =============================================================================
254.85/254.93	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
254.95/255.00	c  0.1s |       0 |      382 |        0 |    46785      0 |       52 |      141
254.95/255.00	c #cpu_time = 0.065s
254.95/255.00	c #wall_clock_time = 0.065s
254.95/255.00	c #decision = 382
254.95/255.00	c #random_decision = 0
254.95/255.00	c #conflict = 0
254.95/255.00	c #restart = 0
254.95/255.00	c BCD2: found a new core of size 2: cost of the new core is >=1
254.95/255.00	c lower bound updated to 1
386.34/386.42	c BCD2: 1 <= obj <= 6909909
386.34/386.42	c BCD2: #cores=1, #unrelaxed=7251, #relaxed=2, #hardened=0
386.34/386.42	c BCD2: #sat=1 #unsat=2 bias=2/3
386.34/386.42	c Solving starts ...
386.34/386.42	c ============================[ Search Statistics ]============================
386.34/386.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
386.34/386.42	c       |         |          |          |    Limit     GC | Var      | Constra 
386.34/386.42	c =============================================================================
386.34/386.43	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
386.34/386.48	c  0.1s |       0 |      750 |        0 |    46785      0 |       52 |      141
386.34/386.48	c #cpu_time = 0.057s
386.34/386.48	c #wall_clock_time = 0.057s
386.34/386.48	c #decision = 750
386.34/386.48	c #random_decision = 0
386.34/386.48	c #conflict = 0
386.34/386.48	c #restart = 0
386.34/386.48	c BCD2: found a new core of size 2: cost of the new core is >=1
386.34/386.48	c lower bound updated to 2
532.62/532.77	c BCD2: 2 <= obj <= 6909909
532.62/532.77	c BCD2: #cores=2, #unrelaxed=7249, #relaxed=4, #hardened=0
532.62/532.77	c BCD2: #sat=1 #unsat=3 bias=3/4
532.62/532.77	c Solving starts ...
532.62/532.77	c ============================[ Search Statistics ]============================
532.62/532.77	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
532.62/532.77	c       |         |          |          |    Limit     GC | Var      | Constra 
532.62/532.77	c =============================================================================
532.62/532.77	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
532.71/532.83	c  0.1s |       0 |      780 |        0 |    46785      0 |       52 |      141
532.71/532.83	c #cpu_time = 0.057s
532.71/532.83	c #wall_clock_time = 0.058s
532.71/532.83	c #decision = 780
532.71/532.83	c #random_decision = 0
532.71/532.83	c #conflict = 0
532.71/532.83	c #restart = 0
532.71/532.83	c BCD2: found a new core of size 2: cost of the new core is >=1
532.71/532.83	c lower bound updated to 3
684.55/684.76	c BCD2: 3 <= obj <= 6909909
684.55/684.76	c BCD2: #cores=3, #unrelaxed=7247, #relaxed=6, #hardened=0
684.55/684.76	c BCD2: #sat=1 #unsat=4 bias=4/5
684.55/684.76	c Solving starts ...
684.55/684.76	c ============================[ Search Statistics ]============================
684.55/684.76	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
684.55/684.76	c       |         |          |          |    Limit     GC | Var      | Constra 
684.55/684.76	c =============================================================================
684.55/684.76	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
684.65/684.82	c  0.1s |       0 |      827 |        0 |    46785      0 |       52 |      141
684.65/684.82	c #cpu_time = 0.065s
684.65/684.82	c #wall_clock_time = 0.065s
684.65/684.82	c #decision = 827
684.65/684.82	c #random_decision = 0
684.65/684.82	c #conflict = 0
684.65/684.82	c #restart = 0
684.65/684.82	c BCD2: found a new core of size 2: cost of the new core is >=1
684.65/684.82	c lower bound updated to 4
842.29/842.51	c BCD2: 4 <= obj <= 6909909
842.29/842.51	c BCD2: #cores=4, #unrelaxed=7245, #relaxed=8, #hardened=0
842.29/842.51	c BCD2: #sat=1 #unsat=5 bias=5/6
842.29/842.51	c Solving starts ...
842.29/842.51	c ============================[ Search Statistics ]============================
842.29/842.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
842.29/842.51	c       |         |          |          |    Limit     GC | Var      | Constra 
842.29/842.51	c =============================================================================
842.29/842.51	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
842.29/842.58	c  0.1s |       0 |      916 |        0 |    46785      0 |       52 |      141
842.29/842.58	c #cpu_time = 0.073s
842.29/842.58	c #wall_clock_time = 0.073s
842.29/842.58	c #decision = 916
842.29/842.58	c #random_decision = 0
842.29/842.58	c #conflict = 0
842.29/842.58	c #restart = 0
842.29/842.58	c BCD2: found a new core of size 1: cost of the new core is >=1
842.29/842.58	c lower bound updated to 5
999.97/1000.30	c BCD2: 5 <= obj <= 6909909
999.97/1000.30	c BCD2: #cores=5, #unrelaxed=7244, #relaxed=9, #hardened=0
999.97/1000.30	c BCD2: #sat=1 #unsat=6 bias=6/7
999.97/1000.30	c Solving starts ...
999.97/1000.30	c ============================[ Search Statistics ]============================
999.97/1000.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
999.97/1000.30	c       |         |          |          |    Limit     GC | Var      | Constra 
999.97/1000.30	c =============================================================================
999.97/1000.30	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1000.06/1000.38	c  0.1s |       0 |     1047 |        0 |    46785      0 |       52 |      141
1000.06/1000.38	c #cpu_time = 0.077s
1000.06/1000.38	c #wall_clock_time = 0.078s
1000.06/1000.38	c #decision = 1047
1000.06/1000.38	c #random_decision = 0
1000.06/1000.38	c #conflict = 0
1000.06/1000.38	c #restart = 0
1000.06/1000.38	c BCD2: found a new core of size 2: cost of the new core is >=1
1000.06/1000.38	c lower bound updated to 6
1166.93/1167.20	c BCD2: 6 <= obj <= 6909909
1166.93/1167.20	c BCD2: #cores=6, #unrelaxed=7242, #relaxed=11, #hardened=0
1166.93/1167.20	c BCD2: #sat=1 #unsat=7 bias=7/8
1166.93/1167.20	c Solving starts ...
1166.93/1167.20	c ============================[ Search Statistics ]============================
1166.93/1167.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1166.93/1167.20	c       |         |          |          |    Limit     GC | Var      | Constra 
1166.93/1167.20	c =============================================================================
1166.93/1167.20	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1166.93/1167.28	c  0.1s |       0 |     1201 |        0 |    46785      0 |       52 |      141
1166.93/1167.28	c #cpu_time = 0.081s
1166.93/1167.28	c #wall_clock_time = 0.081s
1166.93/1167.28	c #decision = 1201
1166.93/1167.28	c #random_decision = 0
1166.93/1167.28	c #conflict = 0
1166.93/1167.28	c #restart = 0
1166.93/1167.28	c BCD2: found a new core of size 2: cost of the new core is >=1
1166.93/1167.28	c lower bound updated to 7
1325.82/1326.10	c BCD2: 7 <= obj <= 6909909
1325.82/1326.10	c BCD2: #cores=7, #unrelaxed=7240, #relaxed=13, #hardened=0
1325.82/1326.10	c BCD2: #sat=1 #unsat=8 bias=8/9
1325.82/1326.10	c Solving starts ...
1325.82/1326.10	c ============================[ Search Statistics ]============================
1325.82/1326.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1325.82/1326.10	c       |         |          |          |    Limit     GC | Var      | Constra 
1325.82/1326.10	c =============================================================================
1325.82/1326.10	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1325.92/1326.20	c  0.1s |       0 |     2171 |        1 |    46785      0 |       52 |      141
1325.92/1326.20	c #cpu_time = 0.097s
1325.92/1326.20	c #wall_clock_time = 0.097s
1325.92/1326.20	c #decision = 2171
1325.92/1326.20	c #random_decision = 0
1325.92/1326.20	c #conflict = 1
1325.92/1326.20	c #restart = 0
1325.92/1326.20	c BCD2: found a new core of size 2: cost of the new core is >=1
1325.92/1326.20	c lower bound updated to 8
1492.99/1493.30	c BCD2: 8 <= obj <= 6909909
1492.99/1493.30	c BCD2: #cores=8, #unrelaxed=7238, #relaxed=15, #hardened=0
1492.99/1493.30	c BCD2: #sat=1 #unsat=9 bias=9/10
1492.99/1493.30	c Solving starts ...
1492.99/1493.30	c ============================[ Search Statistics ]============================
1492.99/1493.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1492.99/1493.30	c       |         |          |          |    Limit     GC | Var      | Constra 
1492.99/1493.30	c =============================================================================
1492.99/1493.30	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1492.99/1493.38	c  0.1s |       0 |     1257 |        0 |    46785      0 |       52 |      141
1492.99/1493.38	c #cpu_time = 0.079s
1492.99/1493.38	c #wall_clock_time = 0.079s
1492.99/1493.38	c #decision = 1257
1492.99/1493.38	c #random_decision = 0
1492.99/1493.38	c #conflict = 0
1492.99/1493.38	c #restart = 0
1492.99/1493.38	c BCD2: found a new core of size 2: cost of the new core is >=1
1492.99/1493.38	c lower bound updated to 9
1652.17/1652.57	c BCD2: 9 <= obj <= 6909909
1652.17/1652.57	c BCD2: #cores=9, #unrelaxed=7236, #relaxed=17, #hardened=0
1652.17/1652.57	c BCD2: #sat=1 #unsat=10 bias=10/11
1652.17/1652.57	c Solving starts ...
1652.17/1652.57	c ============================[ Search Statistics ]============================
1652.17/1652.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1652.17/1652.57	c       |         |          |          |    Limit     GC | Var      | Constra 
1652.17/1652.57	c =============================================================================
1652.17/1652.57	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1652.26/1652.67	c  0.1s |       0 |     1411 |        0 |    46785      0 |       52 |      141
1652.26/1652.67	c #cpu_time = 0.089s
1652.26/1652.67	c #wall_clock_time = 0.089s
1652.26/1652.67	c #decision = 1411
1652.26/1652.67	c #random_decision = 0
1652.26/1652.67	c #conflict = 0
1652.26/1652.67	c #restart = 0
1652.26/1652.67	c BCD2: found a new core of size 2: cost of the new core is >=1
1652.26/1652.67	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-4079144-1465269518/watcher-4079144-1465269518 -o /tmp/evaluation-result-4079144-1465269518/solver-4079144-1465269518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9910 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079144-1465269518.opb 

pid=11038
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.27 2.25 2.19 2/179 11041
/proc/meminfo: memFree=29085172/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=683452 CPUtime=0 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 2540 0 0 0 0 0 0 0 20 0 4 0 108885141 699854848 3412 33554432000 4194304 16246674 140733994844080 140733994843504 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 171631 3422 441 2943 0 168525 0
[pid=11041/tid=11042] ppid=11038 vsize=701884 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 718729216 3482 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=705980 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 722923520 3498 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=710076 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108885141 727117824 3515 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.27 2.25 2.19 2/179 11041
/proc/meminfo: memFree=29085172/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 28880 0 0 0 5 4 0 0 20 0 4 0 108885141 1333334016 29691 33554432000 4194304 16246674 140733994844080 140733994843392 7371468 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 325521 29705 800 2943 0 322415 0
[pid=11041/tid=11042] ppid=11038 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1333334016 29716 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1333334016 29728 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1333334016 29738 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200519 s]
/proc/loadavg: 2.27 2.25 2.19 2/179 11041
/proc/meminfo: memFree=29085172/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 48573 0 0 0 12 7 0 0 20 0 4 0 108885141 1344868352 49894 33554432000 4194304 16246674 140733994844080 140733994843392 8058950 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 328337 49894 800 2943 0 325231 0
[pid=11041/tid=11042] ppid=11038 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1344868352 49894 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1344868352 49894 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1344868352 49894 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300497 s]
/proc/loadavg: 2.27 2.25 2.19 2/179 11041
/proc/meminfo: memFree=29085172/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 63288 0 0 0 20 9 0 0 20 0 4 0 108885141 1344868352 64609 33554432000 4194304 16246674 140733994844080 140733994841920 7377092 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 328337 64609 800 2943 0 325231 0
[pid=11041/tid=11042] ppid=11038 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1344868352 64609 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1344868352 64609 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1344868352 64609 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700401 s]
/proc/loadavg: 2.27 2.25 2.19 2/179 11041
/proc/meminfo: memFree=29085172/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 73131 0 0 0 59 10 0 0 20 0 4 0 108885141 1344868352 74452 33554432000 4194304 16246674 140733994844080 140733994841920 8058509 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 328337 74452 800 2943 0 325231 0
[pid=11041/tid=11042] ppid=11038 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1344868352 74452 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1344868352 74452 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1344868352 74452 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50046 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 11045
/proc/meminfo: memFree=28466048/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 193778 0 0 0 122 27 0 0 20 0 4 0 108885141 1344868352 195099 33554432000 4194304 16246674 140733994844080 140733994825984 7203965 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 328337 195108 840 2943 0 325231 0
[pid=11041/tid=11042] ppid=11038 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1344868352 195115 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1344868352 195121 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1344868352 195126 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10039 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 11045
/proc/meminfo: memFree=27991004/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=3.09 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 275193 0 0 0 270 39 0 0 20 0 4 0 108885141 1389957120 276515 33554432000 4194304 16246674 140733994844080 140733994825984 5828874 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 276520 889 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 276525 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 276528 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 276532 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1357380

[startup+6.3004 s]
/proc/loadavg: 2.25 2.25 2.19 3/183 11045
/proc/meminfo: memFree=27960764/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=6.29 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 280024 0 0 0 589 40 0 0 20 0 4 0 108885141 1389957120 281345 33554432000 4194304 16246674 140733994844080 140733994825984 5828996 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 281345 895 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281345 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281345 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281345 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.37 2.27 2.20 3/183 11045
/proc/meminfo: memFree=27960696/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=12.69 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 280032 0 0 0 1229 40 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140733994841920 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 281353 903 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1357380

[startup+25.5004 s]
/proc/loadavg: 2.38 2.28 2.20 3/183 11045
/proc/meminfo: memFree=27959960/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=25.5 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 280032 0 0 0 2510 40 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140733994825984 12414114 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 281353 903 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 1357380

[startup+51.1004 s]
/proc/loadavg: 2.31 2.27 2.20 3/183 11045
/proc/meminfo: memFree=27959048/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=51.09 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 280032 0 0 0 5069 40 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140733994825984 12429806 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 281353 903 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1357380

[startup+102.3 s]
/proc/loadavg: 2.23 2.25 2.20 3/184 11049
/proc/meminfo: memFree=27958812/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=102.28 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 280032 0 0 0 10188 40 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140733994825984 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 281353 903 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281353 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1357380


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

/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.27 2.26 2.20 3/184 11225
/proc/meminfo: memFree=27919876/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=1302.01 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 280171 0 0 0 130160 41 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140733994843256 13949845 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 281373 919 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.31 2.28 2.21 4/183 11226
/proc/meminfo: memFree=27920336/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=1362.01 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 280171 0 0 0 136159 42 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140733994825984 12449399 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 281373 919 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.35 2.29 2.21 3/183 11227
/proc/meminfo: memFree=27920360/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=1422 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 280171 0 0 0 142158 42 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140733994825984 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 281373 919 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.34 2.29 2.22 3/183 11229
/proc/meminfo: memFree=27920328/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=1481.99 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 280171 0 0 0 148157 42 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140733994825984 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 281373 919 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 1357380

[startup+1542.3 s]
/proc/loadavg: 2.24 2.27 2.21 3/183 11230
/proc/meminfo: memFree=27919312/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=1541.98 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 280171 0 0 0 154156 42 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140733994825984 12654244 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 281373 919 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.29 2.27 2.21 3/183 11231
/proc/meminfo: memFree=27919304/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=1601.97 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 280171 0 0 0 160155 42 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140733994825984 12429241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 281373 919 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.22 2.25 2.21 3/183 11232
/proc/meminfo: memFree=27919316/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=1661.97 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 280171 0 0 0 166155 42 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140733994841984 4206664 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 281373 919 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.16 2.23 2.20 3/183 11233
/proc/meminfo: memFree=27919856/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=1721.95 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 280171 0 0 0 172153 42 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140733994825984 12429162 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 281373 919 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 1357380

[startup+1782.31 s]
/proc/loadavg: 2.33 2.26 2.21 4/183 11235
/proc/meminfo: memFree=27919720/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=1781.95 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 280171 0 0 0 178153 42 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140733994825984 12449200 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 281373 919 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.32 2.27 2.21 4/183 11235
/proc/meminfo: memFree=27919848/32872528 swapFree=15272/1656604
[pid=11041] ppid=11038 vsize=1357380 CPUtime=1800.04 cores=0,2,4,6
/proc/11041/stat : 11041 (toysat) R 11038 11041 9894 0 -1 4202496 280171 0 0 0 179962 42 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140733994841920 12429162 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11041/statm: 339345 281373 919 2943 0 336239 0
[pid=11041/tid=11042] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11042/stat : 11042 (toysat) S 11038 11041 9894 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022258838768 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11041/tid=11043] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11043/stat : 11043 (toysat) S 11038 11041 9894 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022174952688 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11041/tid=11044] ppid=11038 vsize=1357380 CPUtime=0 cores=0,2,4,6
/proc/11041/task/11044/stat : 11044 (toysat) S 11038 11041 9894 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 108885141 1389957120 281373 33554432000 4194304 16246674 140733994844080 140022164479152 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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 11041 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1799.63
CPU system time (s): 0.423935
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.63
system time used= 0.423935
maximum resident set size= 1125492
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280171
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= 146
involuntary context switches= 1843

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.50331 second user time and 7.01793 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-07 05:18:38
IDJOB=4079144
IDBENCH=72223
IDSOLVER=2542
FILE ID=node136/4079144-1465269518
RUNJOBID= node136-1465261284-9910
PBS_JOBID= 19843291
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/10orplus/normalized-libhtml-parser-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-4079144-1465269518/watcher-4079144-1465269518 -o /tmp/evaluation-result-4079144-1465269518/solver-4079144-1465269518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1465261284-9910 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079144-1465269518.opb

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

MD5SUM BENCH= 7a4c2b917ef01224b1df0f9c03e12d6e
RANDOM SEED=1887616975

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

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.959
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.959
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.59
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.959
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.959
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:        29085468 kB
Buffers:          104368 kB
Cached:           199124 kB
SwapCached:          812 kB
Active:          1210280 kB
Inactive:         184684 kB
Active(anon):    1092300 kB
Inactive(anon):     1256 kB
Active(file):     117980 kB
Inactive(file):   183428 kB
Unevictable:     1656604 kB
Mlocked:           15272 kB
SwapTotal:      67108856 kB
SwapFree:       67099384 kB
Dirty:             19924 kB
Writeback:             0 kB
AnonPages:       2747560 kB
Mapped:            10796 kB
Shmem:                 0 kB
Slab:             599832 kB
SReclaimable:      43872 kB
SUnreclaim:       555960 kB
KernelStack:        1496 kB
PageTables:         9744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2891404 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1648640 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node136 at 2016-06-07 05:48:39