Trace number 4107522

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

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-paranoid/misc2010/datasets/
9orless/normalized-kphotoalbum.cudf.paranoid.opb
MD5SUM71ac916e437400ab81496832a3c1a445
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 benchmark26.072
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-18T23:40:01+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4107522-1466286001.opb"]
0.00/0.01	c use --random-gen="2681770562 3249902651 1598681477 3747400818 4282751696 2689185030 1746293932 4264440181 446040870 1044120784 409190098 668434935 409053493 3687881016 743007048 2320344258 914508098 3560257589 2827175886 85124486 1343363640 3407617104 3269167164 2382337455 71114583 2450300033 2987626978 1152932420 1879822659 3544155750 2508022206 254711631 1228804387 1069922247 2829547046 2996133061 2885240663 733760809 3589613554 1760297114 2070856872 2363745226 71324944 2420229396 1272236929 4244731794 2007766379 2084523833 1598007585 3605923211 534704403 2391658508 125111876 2975311980 1772149129 1622088383 4146321010 3139727883 401494313 2715060821 117925952 3984381449 1536334499 3279229109 1197957133 3160801655 4211457648 2907285914 581055718 2566933641 4273483731 2236349422 2785396508 3378763746 52741789 1970317709 3823732854 604884626 1712563195 3810606139 682452421 1762952792 4203488285 656592812 3624956543 1294043881 3333795436 35946203 4069365083 204095504 2366365060 1933179939 2654445539 525573001 3820392047 3829399724 377506003 790634568 2144399531 743980617 31745256 2191985497 1516108784 3486073408 3041139065 1459177888 726480922 325772799 480302171 1079104363 2748983503 3651393436 368519065 1263756013 3898318434 2851831762 3072580883 3873911483 1683035111 175148826 2206963337 2151659697 2502459566 2234745336 3453529457 3748672733 2689662959 1898428366 957778832 1246931795 3915272934 2135218982 3245484925 4049814328 3677462433 1802075854 1000449283 1233014142 1509370411 1194886556 900448691 447432131 3417167970 2987302875 1506211221 1274267904 2620597392 300445194 2109243384 1500244454 4242657779 3787121297 3773730689 113189368 2638806222 382573219 3457971257 2235313401 3242391971 3054120372 350421584 2636917845 3103936544 3169380671 4016804047 3148373416 514151987 360128941 3758506857 120247639 1572518944 1677724998 2729998112 3588707981 1964610301 3758610519 1224497259 1598004388 1230992064 554175865 1426835282 366419190 132571560 1274324771 3497890459 2017841167 1022336038 1836971575 420005525 3689869010 1734237930 1065351233 3616156414 1929082624 1710378333 3947054174 4289921367 2883223399 2643905363 3833701622 3435184258 1401407390 979376703 2789873949 225980945 592042270 2732162059 2486950362 429542060 2915943391 2532166186 2260516317 379837221 1336877381 3421527114 153409902 3370713409 3818465494 3023626474 942749768 2048653328 3558441204 946536033 2426261784 2800279006 4250256835 2262558468 285516290 1111897256 1522992780 4007065278 2423990663 2487042338 3668960098 3603805745 3526229095 342790408 3459070545 2177922486 2421401214 3519192313 276357589 2934811141 3215787020 2626442894 3724710274 3658786308 2428376144 2810831582 3643739043 2041506106 445886484 4016476309 3644874270 3832891264 1197073992 255 362436" option to reproduce the execution
0.68/0.72	c #vars 19768
0.68/0.72	c #constraints 96403
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 |    38664      0 |       52 |        0
2.79/2.84	c  0.6s |       1 |    90005 |      100 |    38664      0 |       52 |      141
4.49/4.55	c  2.3s |       2 |   297862 |      250 |    42531      0 |       52 |      141
6.88/6.93	c  4.7s |       2 |   569756 |      374 |    46785      0 |       52 |      141
6.88/6.93	c #cpu_time = 4.673s
6.88/6.93	c #wall_clock_time = 4.673s
6.88/6.93	c #decision = 569756
6.88/6.93	c #random_decision = 1865
6.88/6.93	c #conflict = 374
6.88/6.93	c #restart = 2
6.88/6.94	o 6914150
154.87/154.98	c BCD2: updating upper bound: 12717493 -> 6914149
305.44/305.56	c BCD2: 0 <= obj <= 6914149
305.44/305.56	c BCD2: #cores=0, #unrelaxed=7253, #relaxed=0, #hardened=0
305.44/305.56	c BCD2: #sat=1 #unsat=1 bias=1/2
305.44/305.56	c Solving starts ...
305.44/305.56	c ============================[ Search Statistics ]============================
305.44/305.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
305.44/305.56	c       |         |          |          |    Limit     GC | Var      | Constra 
305.44/305.56	c =============================================================================
305.44/305.56	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
305.54/305.61	c  0.1s |       0 |      382 |        0 |    46785      0 |       52 |      141
305.54/305.61	c #cpu_time = 0.054s
305.54/305.61	c #wall_clock_time = 0.054s
305.54/305.61	c #decision = 382
305.54/305.61	c #random_decision = 0
305.54/305.61	c #conflict = 0
305.54/305.61	c #restart = 0
305.54/305.61	c BCD2: found a new core of size 2: cost of the new core is >=1
305.54/305.61	c lower bound updated to 1
456.72/456.89	c BCD2: 1 <= obj <= 6914149
456.72/456.89	c BCD2: #cores=1, #unrelaxed=7251, #relaxed=2, #hardened=0
456.72/456.89	c BCD2: #sat=1 #unsat=2 bias=2/3
456.72/456.89	c Solving starts ...
456.72/456.89	c ============================[ Search Statistics ]============================
456.72/456.89	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
456.72/456.89	c       |         |          |          |    Limit     GC | Var      | Constra 
456.72/456.89	c =============================================================================
456.72/456.89	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
456.82/456.95	c  0.1s |       0 |      750 |        0 |    46785      0 |       52 |      141
456.82/456.95	c #cpu_time = 0.059s
456.82/456.95	c #wall_clock_time = 0.059s
456.82/456.95	c #decision = 750
456.82/456.95	c #random_decision = 0
456.82/456.95	c #conflict = 0
456.82/456.95	c #restart = 0
456.82/456.95	c BCD2: found a new core of size 2: cost of the new core is >=1
456.82/456.95	c lower bound updated to 2
604.79/604.97	c BCD2: 2 <= obj <= 6914149
604.79/604.97	c BCD2: #cores=2, #unrelaxed=7249, #relaxed=4, #hardened=0
604.79/604.97	c BCD2: #sat=1 #unsat=3 bias=3/4
604.79/604.97	c Solving starts ...
604.79/604.97	c ============================[ Search Statistics ]============================
604.79/604.97	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
604.79/604.97	c       |         |          |          |    Limit     GC | Var      | Constra 
604.79/604.97	c =============================================================================
604.79/604.97	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
604.90/605.03	c  0.1s |       0 |      780 |        0 |    46785      0 |       52 |      141
604.90/605.03	c #cpu_time = 0.059s
604.90/605.03	c #wall_clock_time = 0.059s
604.90/605.03	c #decision = 780
604.90/605.03	c #random_decision = 0
604.90/605.03	c #conflict = 0
604.90/605.03	c #restart = 0
604.90/605.03	c BCD2: found a new core of size 2: cost of the new core is >=1
604.90/605.03	c lower bound updated to 3
764.98/765.16	c BCD2: 3 <= obj <= 6914149
764.98/765.16	c BCD2: #cores=3, #unrelaxed=7247, #relaxed=6, #hardened=0
764.98/765.16	c BCD2: #sat=1 #unsat=4 bias=4/5
764.98/765.16	c Solving starts ...
764.98/765.16	c ============================[ Search Statistics ]============================
764.98/765.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
764.98/765.16	c       |         |          |          |    Limit     GC | Var      | Constra 
764.98/765.16	c =============================================================================
764.98/765.16	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
765.08/765.22	c  0.1s |       0 |      827 |        0 |    46785      0 |       52 |      141
765.08/765.22	c #cpu_time = 0.059s
765.08/765.22	c #wall_clock_time = 0.059s
765.08/765.22	c #decision = 827
765.08/765.22	c #random_decision = 0
765.08/765.22	c #conflict = 0
765.08/765.22	c #restart = 0
765.08/765.22	c BCD2: found a new core of size 2: cost of the new core is >=1
765.08/765.22	c lower bound updated to 4
915.75/915.91	c BCD2: 4 <= obj <= 6914149
915.75/915.91	c BCD2: #cores=4, #unrelaxed=7245, #relaxed=8, #hardened=0
915.75/915.91	c BCD2: #sat=1 #unsat=5 bias=5/6
915.75/915.91	c Solving starts ...
915.75/915.91	c ============================[ Search Statistics ]============================
915.75/915.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
915.75/915.91	c       |         |          |          |    Limit     GC | Var      | Constra 
915.75/915.91	c =============================================================================
915.75/915.91	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
915.75/915.97	c  0.1s |       0 |      916 |        0 |    46785      0 |       52 |      141
915.75/915.97	c #cpu_time = 0.061s
915.75/915.97	c #wall_clock_time = 0.061s
915.75/915.97	c #decision = 916
915.75/915.97	c #random_decision = 0
915.75/915.97	c #conflict = 0
915.75/915.97	c #restart = 0
915.75/915.97	c BCD2: found a new core of size 1: cost of the new core is >=1
915.75/915.97	c lower bound updated to 5
1075.72/1075.93	c BCD2: 5 <= obj <= 6914149
1075.72/1075.93	c BCD2: #cores=5, #unrelaxed=7244, #relaxed=9, #hardened=0
1075.72/1075.93	c BCD2: #sat=1 #unsat=6 bias=6/7
1075.72/1075.93	c Solving starts ...
1075.72/1075.93	c ============================[ Search Statistics ]============================
1075.72/1075.93	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1075.72/1075.93	c       |         |          |          |    Limit     GC | Var      | Constra 
1075.72/1075.93	c =============================================================================
1075.72/1075.93	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1075.72/1075.99	c  0.1s |       0 |     1047 |        0 |    46785      0 |       52 |      141
1075.72/1075.99	c #cpu_time = 0.062s
1075.72/1075.99	c #wall_clock_time = 0.062s
1075.72/1075.99	c #decision = 1047
1075.72/1075.99	c #random_decision = 0
1075.72/1075.99	c #conflict = 0
1075.72/1075.99	c #restart = 0
1075.72/1075.99	c BCD2: found a new core of size 2: cost of the new core is >=1
1075.72/1075.99	c lower bound updated to 6
1226.06/1226.38	c BCD2: 6 <= obj <= 6914149
1226.06/1226.38	c BCD2: #cores=6, #unrelaxed=7242, #relaxed=11, #hardened=0
1226.06/1226.38	c BCD2: #sat=1 #unsat=7 bias=7/8
1226.06/1226.38	c Solving starts ...
1226.06/1226.38	c ============================[ Search Statistics ]============================
1226.06/1226.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1226.06/1226.38	c       |         |          |          |    Limit     GC | Var      | Constra 
1226.06/1226.38	c =============================================================================
1226.06/1226.38	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1226.16/1226.44	c  0.1s |       0 |     1201 |        0 |    46785      0 |       52 |      141
1226.16/1226.44	c #cpu_time = 0.062s
1226.16/1226.44	c #wall_clock_time = 0.062s
1226.16/1226.44	c #decision = 1201
1226.16/1226.44	c #random_decision = 0
1226.16/1226.44	c #conflict = 0
1226.16/1226.44	c #restart = 0
1226.16/1226.44	c BCD2: found a new core of size 2: cost of the new core is >=1
1226.16/1226.44	c lower bound updated to 7
1374.40/1374.74	c BCD2: 7 <= obj <= 6914149
1374.40/1374.74	c BCD2: #cores=7, #unrelaxed=7240, #relaxed=13, #hardened=0
1374.40/1374.74	c BCD2: #sat=1 #unsat=8 bias=8/9
1374.40/1374.74	c Solving starts ...
1374.40/1374.74	c ============================[ Search Statistics ]============================
1374.40/1374.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1374.40/1374.74	c       |         |          |          |    Limit     GC | Var      | Constra 
1374.40/1374.74	c =============================================================================
1374.40/1374.74	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1374.50/1374.82	c  0.1s |       0 |     2171 |        1 |    46785      0 |       52 |      141
1374.50/1374.82	c #cpu_time = 0.074s
1374.50/1374.82	c #wall_clock_time = 0.074s
1374.50/1374.82	c #decision = 2171
1374.50/1374.82	c #random_decision = 0
1374.50/1374.82	c #conflict = 1
1374.50/1374.82	c #restart = 0
1374.50/1374.82	c BCD2: found a new core of size 2: cost of the new core is >=1
1374.50/1374.82	c lower bound updated to 8
1528.67/1529.04	c BCD2: 8 <= obj <= 6914149
1528.67/1529.04	c BCD2: #cores=8, #unrelaxed=7238, #relaxed=15, #hardened=0
1528.67/1529.04	c BCD2: #sat=1 #unsat=9 bias=9/10
1528.67/1529.04	c Solving starts ...
1528.67/1529.04	c ============================[ Search Statistics ]============================
1528.67/1529.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1528.67/1529.04	c       |         |          |          |    Limit     GC | Var      | Constra 
1528.67/1529.04	c =============================================================================
1528.67/1529.04	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1528.67/1529.10	c  0.1s |       0 |     1257 |        0 |    46785      0 |       52 |      141
1528.67/1529.10	c #cpu_time = 0.063s
1528.67/1529.10	c #wall_clock_time = 0.063s
1528.67/1529.10	c #decision = 1257
1528.67/1529.10	c #random_decision = 0
1528.67/1529.10	c #conflict = 0
1528.67/1529.10	c #restart = 0
1528.67/1529.10	c BCD2: found a new core of size 2: cost of the new core is >=1
1528.67/1529.10	c lower bound updated to 9
1672.54/1672.99	c BCD2: 9 <= obj <= 6914149
1672.54/1672.99	c BCD2: #cores=9, #unrelaxed=7236, #relaxed=17, #hardened=0
1672.54/1672.99	c BCD2: #sat=1 #unsat=10 bias=10/11
1672.54/1672.99	c Solving starts ...
1672.54/1672.99	c ============================[ Search Statistics ]============================
1672.54/1672.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1672.54/1672.99	c       |         |          |          |    Limit     GC | Var      | Constra 
1672.54/1672.99	c =============================================================================
1672.54/1672.99	c  0.0s |       0 |        0 |        0 |    46785      0 |       52 |      141
1672.64/1673.06	c  0.1s |       0 |     1411 |        0 |    46785      0 |       52 |      141
1672.64/1673.06	c #cpu_time = 0.065s
1672.64/1673.06	c #wall_clock_time = 0.065s
1672.64/1673.06	c #decision = 1411
1672.64/1673.06	c #random_decision = 0
1672.64/1673.06	c #conflict = 0
1672.64/1673.06	c #restart = 0
1672.64/1673.06	c BCD2: found a new core of size 2: cost of the new core is >=1
1672.64/1673.06	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-4107522-1466286001/watcher-4107522-1466286001 -o /tmp/evaluation-result-4107522-1466286001/solver-4107522-1466286001 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24754 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107522-1466286001.opb 

pid=26054
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.26 2.22 2.18 3/180 26057
/proc/meminfo: memFree=29310080/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=789948 CPUtime=0 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 2957 0 0 0 0 0 0 0 20 0 4 0 30646573 808906752 3318 33554432000 4194304 16246674 140736400740704 140736400740128 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26057/statm: 198255 3327 441 2943 0 195149 0
[pid=26057/tid=26058] ppid=26054 vsize=807356 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 826732544 3387 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=812476 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 831975424 3405 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=816572 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30646573 836169728 3420 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100124 s]
/proc/loadavg: 2.26 2.22 2.18 3/180 26057
/proc/meminfo: memFree=29310080/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 28445 0 0 0 5 4 0 0 20 0 4 0 30646573 1333334016 28745 33554432000 4194304 16246674 140736400740704 140736400740016 8058796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26057/statm: 325521 28761 800 2943 0 322415 0
[pid=26057/tid=26058] ppid=26054 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1333334016 28772 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1333334016 28784 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1333334016 28795 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200557 s]
/proc/loadavg: 2.26 2.22 2.18 3/180 26057
/proc/meminfo: memFree=29310080/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 48566 0 0 0 12 7 0 0 20 0 4 0 30646573 1344868352 49376 33554432000 4194304 16246674 140736400740704 140736400740016 7367720 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26057/statm: 328337 49376 800 2943 0 325231 0
[pid=26057/tid=26058] ppid=26054 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1344868352 49376 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1344868352 49376 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1344868352 49376 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300524 s]
/proc/loadavg: 2.26 2.22 2.18 3/180 26057
/proc/meminfo: memFree=29310080/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 63289 0 0 0 20 9 0 0 20 0 4 0 30646573 1344868352 64099 33554432000 4194304 16246674 140736400740704 140736400740016 4220487 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26057/statm: 328337 64099 800 2943 0 325231 0
[pid=26057/tid=26058] ppid=26054 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1344868352 64099 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1344868352 64099 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1344868352 64099 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700429 s]
/proc/loadavg: 2.26 2.22 2.18 3/180 26057
/proc/meminfo: memFree=29310080/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1313348 CPUtime=0.68 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 73132 0 0 0 58 10 0 0 20 0 4 0 30646573 1344868352 73942 33554432000 4194304 16246674 140736400740704 140736400740016 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26057/statm: 328337 73942 800 2943 0 325231 0
[pid=26057/tid=26058] ppid=26054 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1344868352 73942 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1344868352 73942 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1344868352 73942 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50042 s]
/proc/loadavg: 2.24 2.21 2.18 4/184 26061
/proc/meminfo: memFree=28862768/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 191291 0 0 0 122 27 0 0 20 0 4 0 30646573 1344868352 192102 33554432000 4194304 16246674 140736400740704 140736400722624 12874965 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26057/statm: 328337 192113 838 2943 0 325231 0
[pid=26057/tid=26058] ppid=26054 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1344868352 192119 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1344868352 192126 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1344868352 192131 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10043 s]
/proc/loadavg: 2.24 2.21 2.18 3/184 26061
/proc/meminfo: memFree=28220664/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=3.09 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 273912 0 0 0 270 39 0 0 20 0 4 0 30646573 1389957120 274722 33554432000 4194304 16246674 140736400740704 140736400722624 5829366 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26057/statm: 339345 274728 889 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 274732 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 274735 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 274737 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1357380

[startup+6.30042 s]
/proc/loadavg: 2.24 2.21 2.18 3/184 26061
/proc/meminfo: memFree=28187644/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=6.28 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 280026 0 0 0 589 39 0 0 20 0 4 0 30646573 1389957120 280836 33554432000 4194304 16246674 140736400740704 140736400722624 5672230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26057/statm: 339345 280836 895 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280836 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280836 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280836 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1357380

[startup+12.7004 s]
/proc/loadavg: 2.20 2.20 2.18 3/184 26061
/proc/meminfo: memFree=28188184/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=12.69 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 280035 0 0 0 1229 40 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 140736400722624 6928152 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26057/statm: 339345 280845 904 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1357380

[startup+25.5005 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 26061
/proc/meminfo: memFree=28187412/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=25.49 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 280035 0 0 0 2509 40 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 140736400722624 4225167 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26057/statm: 339345 280845 904 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1357380

[startup+51.1005 s]
/proc/loadavg: 2.22 2.21 2.18 3/184 26062
/proc/meminfo: memFree=28187496/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=51.09 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 280035 0 0 0 5069 40 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 140736400722624 12655060 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26057/statm: 339345 280845 904 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.21 2.18 3/183 26063
/proc/meminfo: memFree=28187492/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=102.28 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 280035 0 0 0 10188 40 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 140736400722624 12449395 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26057/statm: 339345 280845 904 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280845 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1357380


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

/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 1357380

[startup+1302.3 s]
/proc/loadavg: 2.29 2.30 2.25 4/184 26128
/proc/meminfo: memFree=28184660/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=1302.03 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 280169 0 0 0 130161 42 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 140736400722624 12449130 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26057/statm: 339345 280865 920 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 1357380

[startup+1362.3 s]
/proc/loadavg: 2.36 2.31 2.25 3/183 26129
/proc/meminfo: memFree=28184456/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=1362 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 280193 0 0 0 136158 42 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 140736400722624 12371164 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26057/statm: 339345 280865 920 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 1357380

[startup+1422.3 s]
/proc/loadavg: 2.21 2.28 2.25 3/183 26130
/proc/meminfo: memFree=28184060/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=1421.99 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 280221 0 0 0 142157 42 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 140736400722624 12413980 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26057/statm: 339345 280865 920 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 1357380

[startup+1482.3 s]
/proc/loadavg: 2.36 2.31 2.26 4/183 26131
/proc/meminfo: memFree=28184072/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=1481.97 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 280221 0 0 0 148155 42 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 140736400738496 12654409 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26057/statm: 339345 280865 920 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 1357380

[startup+1542.31 s]
/proc/loadavg: 2.34 2.31 2.26 3/183 26132
/proc/meminfo: memFree=28184448/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=1541.97 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 280221 0 0 0 154155 42 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 140736400722624 12371164 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26057/statm: 339345 280865 920 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 1357380

[startup+1602.3 s]
/proc/loadavg: 2.37 2.31 2.26 3/183 26183
/proc/meminfo: memFree=28229064/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=1601.95 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 280221 0 0 0 160152 43 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 140736400722624 12449269 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26057/statm: 339345 280865 920 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 1357380

[startup+1662.3 s]
/proc/loadavg: 2.24 2.28 2.26 4/183 26184
/proc/meminfo: memFree=27820712/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=1661.94 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 280221 0 0 0 166151 43 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 140736400722624 12655241 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26057/statm: 339345 280865 920 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 1357380

[startup+1722.3 s]
/proc/loadavg: 2.14 2.24 2.25 4/183 26185
/proc/meminfo: memFree=26986984/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=1721.94 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 280221 0 0 0 172151 43 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 140736400722624 12371230 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26057/statm: 339345 280865 920 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 1357380

[startup+1782.3 s]
/proc/loadavg: 2.24 2.26 2.25 3/183 26186
/proc/meminfo: memFree=26495580/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=1781.93 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 280221 0 0 0 178150 43 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 140736400722624 12654139 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26057/statm: 339345 280865 920 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 1357380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.27 2.26 2.25 3/183 26186
/proc/meminfo: memFree=26409036/32872528 swapFree=1370848/1518016
[pid=26057] ppid=26054 vsize=1357380 CPUtime=1800.02 cores=1,3,5,7
/proc/26057/stat : 26057 (toysat) R 26054 26057 24737 0 -1 4202496 280221 0 0 0 179959 43 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 140736400738496 12429744 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26057/statm: 339345 280865 920 2943 0 336239 0
[pid=26057/tid=26058] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26058/stat : 26058 (toysat) S 26054 26057 24737 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712570305776 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26057/tid=26059] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26059/stat : 26059 (toysat) S 26054 26057 24737 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712559815920 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26057/tid=26060] ppid=26054 vsize=1357380 CPUtime=0 cores=1,3,5,7
/proc/26057/task/26060/stat : 26060 (toysat) S 26054 26057 24737 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30646573 1389957120 280865 33554432000 4194304 16246674 140736400740704 139712549342384 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 26057 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.04
CPU user time (s): 1799.6
CPU system time (s): 0.433934
CPU usage (%): 99.9793
Max. virtual memory (cumulated for all children) (KiB): 1357380

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.6
system time used= 0.433934
maximum resident set size= 1123460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 280221
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= 189
involuntary context switches= 1956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.88711 second user time and 7.76982 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-18 23:40:01
IDJOB=4107522
IDBENCH=72265
IDSOLVER=2542
FILE ID=node129/4107522-1466286001
RUNJOBID= node129-1466274985-24754
PBS_JOBID= 19918243
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/9orless/normalized-kphotoalbum.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-4107522-1466286001/watcher-4107522-1466286001 -o /tmp/evaluation-result-4107522-1466286001/solver-4107522-1466286001 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466274985-24754 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107522-1466286001.opb

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

MD5SUM BENCH= 71ac916e437400ab81496832a3c1a445
RANDOM SEED=1163975406

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29310344 kB
Buffers:           55432 kB
Cached:           128896 kB
SwapCached:         1832 kB
Active:          1207468 kB
Inactive:          99600 kB
Active(anon):    1121632 kB
Inactive(anon):     3464 kB
Active(file):      85836 kB
Inactive(file):    96136 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67099228 kB
Dirty:             19892 kB
Writeback:             0 kB
AnonPages:       2640056 kB
Mapped:            10720 kB
Shmem:                 0 kB
Slab:             600844 kB
SReclaimable:      44512 kB
SUnreclaim:       556332 kB
KernelStack:        1472 kB
PageTables:         9212 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2785628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    149504 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= 71700 MiB
End job on node129 at 2016-06-19 00:10:01