Trace number 4079174

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.16 1800.46

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
datasets/10orplus/normalized-xvfb.cudf.trendy.opb
MD5SUM19a31dcc7d4af59eaddbb91eafd1bc0a
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2626215701393
Best CPU time to get the best result obtained on this benchmark389.439
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21106
Total number of constraints100071
Number of constraints which are clauses98505
Number of constraints which are cardinality constraints (but not clauses)1566
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 8588
Biggest coefficient in the objective function 79285326336
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 234763814370998
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 79285326336
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 234763814370998
Number of bits of the biggest sum of numbers48
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:53:51+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-4079174-1465271631.opb"]
0.00/0.01	c use --random-gen="3541290025 287424395 3403546233 1335008469 145031079 804102360 387897241 1775807614 3424065189 1296251414 2278666563 3181084203 2206141585 3681246760 2092923862 231812667 4054208289 2676903751 1518819254 2430768156 3502006342 4126160834 1750103974 4130851229 3957880713 20788462 2538128501 180959345 3787990020 1961233525 2264606338 2321391938 4200568606 3567184881 1236546420 4166879806 2060894566 925176856 2162836611 3049272630 2734582909 1240138777 142083924 2747156713 614327058 4183949292 2502421491 347123965 2802598587 365615489 2763465075 2150209620 903222882 1969610045 1553446757 1680331163 1942275982 3460453457 2000769307 3195329604 1514053132 3004662854 2756501553 3412230141 2050236790 3852883022 2521629873 4162114708 993072715 2314059668 720615340 2547075470 1010243985 573715742 3137715263 1798773836 3363118475 4177639226 1259937532 3138759942 83692364 2742201672 2599009308 2204634795 3430049793 3416711814 2291122950 1802826222 2137836908 2230284882 585067573 884116437 1231747951 4137380302 3509879433 157031322 48260232 2717220580 2581370580 1253116502 1248403925 1537486279 1666786725 1675078872 2848093172 3458838211 3968507313 3148117224 3339972586 3336751774 3611392050 1715295409 36232505 2318688007 2556837709 2486339859 2829400581 878389598 1034540300 850099942 2134239455 3705486630 896647710 716737033 820836368 4079853172 1333609873 3919847341 170211890 1278707293 42573377 662032666 2759411863 3535930137 2426006145 677796650 1030333543 765216581 3359186163 3508364797 4099665712 207602267 3169676554 4267784113 1690201174 3524913340 223391672 444107837 3489940731 3164872768 1789984842 672453803 3912237132 3677428005 3894808986 1728014649 566717826 4222195013 3362725782 650338360 3196380491 1872582010 1758809198 1964654178 663734532 3884263974 2452205612 210797392 862040237 550985861 4229348037 3611439839 77200663 3237813982 14335441 4062313334 684553601 2988057298 101290798 3048631894 3251788282 3562501810 1630558102 1556945893 894363938 3767406891 2805826084 971026549 381770954 2086218837 3132082503 349005265 611513686 2561811548 2092065618 2583849031 341681652 1908078471 1689202610 1534328388 1600361048 188012207 3697075429 1652297746 4283056983 470419087 3003116181 2311103173 4055511585 3376004203 700472422 506077637 380538910 3064907467 2904173944 1628751654 1070603762 2520498439 1544626904 1967623873 2551824596 890220873 1433330226 4002980423 1799140913 1230393969 418290076 3115135493 654759791 2715435988 2432583334 966879461 4123489883 4032135405 3804179292 739867874 336887811 2630686225 1628227683 341035545 2292163927 4175221231 2388224564 2187746300 2729649455 3587890662 1000736766 625239828 1790091537 2555911159 741947096 3439924886 1830870565 3665828335 1607382428 3569656189 255 362436" option to reproduce the execution
0.69/0.72	c #vars 21106
0.69/0.72	c #constraints 100071
2.30/2.30	c BCD2: Hardening is enabled.
2.30/2.30	c BCD2: BiasedSearch is enabled.
2.30/2.30	c Solving starts ...
2.30/2.30	c ============================[ Search Statistics ]============================
2.30/2.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.30/2.30	c       |         |          |          |    Limit     GC | Var      | Constra 
2.30/2.30	c =============================================================================
2.30/2.31	c  0.0s |       0 |        0 |        0 |    39949      0 |     1202 |        0
2.99/3.07	c  0.8s |       1 |    86855 |      100 |    39949      0 |     1202 |     1291
4.99/5.09	c  2.8s |       2 |   306456 |      250 |    43944      0 |     1202 |     1291
5.99/6.08	c  3.8s |       2 |   427598 |      354 |    48339      0 |     1202 |     1291
5.99/6.08	c #cpu_time = 3.760s
5.99/6.08	c #wall_clock_time = 3.760s
5.99/6.08	c #decision = 427598
5.99/6.08	c #random_decision = 1285
5.99/6.08	c #conflict = 354
5.99/6.08	c #restart = 2
5.99/6.08	o 48247870963421

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

pid=14927
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.01 2.05 2.07 3/179 14930
/proc/meminfo: memFree=27615456/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=713148 CPUtime=0 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 2659 0 0 0 0 0 0 0 20 0 4 0 109096572 730263552 3530 33554432000 4194304 16246674 140733714520032 140733714519456 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 179055 3539 441 2943 0 175949 0
[pid=14930/tid=14931] ppid=14927 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 749137920 3600 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=734652 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 752283648 3611 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=738748 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109096572 756477952 3626 33554432000 4194304 16246674 140733714520032 139766815251632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100219 s]
/proc/loadavg: 2.01 2.05 2.07 3/179 14930
/proc/meminfo: memFree=27615456/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 30744 0 0 0 5 4 0 0 20 0 4 0 109096572 1334382592 31554 33554432000 4194304 16246674 140733714520032 140733714519344 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 325777 31568 799 2943 0 322671 0
[pid=14930/tid=14931] ppid=14927 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1334382592 31579 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1334382592 31590 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1334382592 31601 33554432000 4194304 16246674 140733714520032 139766815251632 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) 1303108

[startup+0.200527 s]
/proc/loadavg: 2.01 2.05 2.07 3/179 14930
/proc/meminfo: memFree=27615456/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 50532 0 0 0 13 6 0 0 20 0 4 0 109096572 1345916928 51852 33554432000 4194304 16246674 140733714520032 140733714519344 7378888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 328593 51852 799 2943 0 325487 0
[pid=14930/tid=14931] ppid=14927 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1345916928 51852 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1345916928 51852 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1345916928 51852 33554432000 4194304 16246674 140733714520032 139766815251632 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) 1314372

[startup+0.300507 s]
/proc/loadavg: 2.01 2.05 2.07 3/179 14930
/proc/meminfo: memFree=27615456/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 60967 0 0 0 22 7 0 0 20 0 4 0 109096572 1345916928 62287 33554432000 4194304 16246674 140733714520032 140733714519344 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 328593 62287 800 2943 0 325487 0
[pid=14930/tid=14931] ppid=14927 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1345916928 62287 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1345916928 62287 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1345916928 62287 33554432000 4194304 16246674 140733714520032 139766815251632 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) 1314372

[startup+0.700424 s]
/proc/loadavg: 2.01 2.05 2.07 3/179 14930
/proc/meminfo: memFree=27615456/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 71978 0 0 0 59 10 0 0 20 0 4 0 109096572 1345916928 73298 33554432000 4194304 16246674 140733714520032 140733714519344 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 328593 73298 801 2943 0 325487 0
[pid=14930/tid=14931] ppid=14927 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1345916928 73298 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1345916928 73298 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1345916928 73298 33554432000 4194304 16246674 140733714520032 139766815251632 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) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 14934
/proc/meminfo: memFree=27161044/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1318468 CPUtime=1.49 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 192634 0 0 0 123 26 0 0 20 0 4 0 109096572 1350111232 193954 33554432000 4194304 16246674 140733714520032 140733714501952 13930238 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 329617 193963 840 2943 0 326511 0
[pid=14930/tid=14931] ppid=14927 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1350111232 193970 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1350111232 193976 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1318468 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1350111232 193982 33554432000 4194304 16246674 140733714520032 139766815251632 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) 1318468

[startup+3.10036 s]
/proc/loadavg: 2.01 2.05 2.07 3/183 14934
/proc/meminfo: memFree=26511152/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 275098 0 0 0 270 39 0 0 20 0 4 0 109096572 1370034176 276418 33554432000 4194304 16246674 140733714520032 140733714501952 5532218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 334481 276418 890 2943 0 331375 0
[pid=14930/tid=14931] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276418 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276418 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276418 33554432000 4194304 16246674 140733714520032 139766815251632 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) 1337924

[startup+6.30037 s]
/proc/loadavg: 2.09 2.07 2.08 3/183 14934
/proc/meminfo: memFree=26510400/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1337924 CPUtime=6.29 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 275171 0 0 0 590 39 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 140733714501952 12655109 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 334481 276491 904 2943 0 331375 0
[pid=14930/tid=14931] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 139766815251632 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) 1337924

[startup+12.7004 s]
/proc/loadavg: 2.08 2.07 2.08 3/183 14934
/proc/meminfo: memFree=25977292/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1337924 CPUtime=12.69 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 275171 0 0 0 1230 39 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 140733714501952 12371164 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 334481 276491 904 2943 0 331375 0
[pid=14930/tid=14931] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 139766815251632 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) 1337924

[startup+25.5004 s]
/proc/loadavg: 2.06 2.06 2.08 3/182 14934
/proc/meminfo: memFree=25410876/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1337924 CPUtime=25.49 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 275171 0 0 0 2510 39 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 140733714501952 12449395 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 334481 276491 904 2943 0 331375 0
[pid=14930/tid=14931] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 139766815251632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1337924

[startup+51.1004 s]
/proc/loadavg: 2.04 2.06 2.07 3/183 14935
/proc/meminfo: memFree=26338300/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1337924 CPUtime=51.08 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 275171 0 0 0 5069 39 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 140733714501952 12371101 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 334481 276491 904 2943 0 331375 0
[pid=14930/tid=14931] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276491 33554432000 4194304 16246674 140733714520032 139766815251632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1337924

[startup+102.3 s]
/proc/loadavg: 2.02 2.05 2.07 3/183 14936
/proc/meminfo: memFree=25048360/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1337924 CPUtime=102.27 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 275172 0 0 0 10188 39 0 0 20 0 4 0 109096572 1370034176 276492 33554432000 4194304 16246674 140733714520032 140733714517824 12371459 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 334481 276492 904 2943 0 331375 0
[pid=14930/tid=14931] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276492 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276492 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1370034176 276492 33554432000 4194304 16246674 140733714520032 139766815251632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1337924


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

/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1453920256 296972 33554432000 4194304 16246674 140733714520032 139766815251632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1419844

[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/183 14989
/proc/meminfo: memFree=25076800/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1419844 CPUtime=1302.07 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 295652 0 0 0 130159 48 0 0 20 0 4 0 109096572 1453920256 296972 33554432000 4194304 16246674 140733714520032 140733714517824 4206996 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 354961 296972 904 2943 0 351855 0
[pid=14930/tid=14931] ppid=14927 vsize=1419844 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1453920256 296972 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1419844 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1453920256 296972 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1419844 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1453920256 296972 33554432000 4194304 16246674 140733714520032 139766815251632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1419844

[startup+1362.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/183 14990
/proc/meminfo: memFree=24506316/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1495620 CPUtime=1362.06 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 314596 0 0 0 136155 51 0 0 20 0 4 0 109096572 1531514880 315916 33554432000 4194304 16246674 140733714520032 140733714517824 4207010 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 373905 315916 904 2943 0 370799 0
[pid=14930/tid=14931] ppid=14927 vsize=1495620 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1531514880 315916 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1495620 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1531514880 315916 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1495620 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1531514880 315916 33554432000 4194304 16246674 140733714520032 139766815251632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1495620

[startup+1422.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/183 15040
/proc/meminfo: memFree=29259764/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1532484 CPUtime=1422.06 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 323813 0 0 0 142153 53 0 0 20 0 4 0 109096572 1569263616 325135 33554432000 4194304 16246674 140733714520032 140733714519344 12429736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 383121 325135 904 2943 0 380015 0
[pid=14930/tid=14931] ppid=14927 vsize=1532484 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1569263616 325135 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1532484 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1569263616 325135 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1532484 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1569263616 325135 33554432000 4194304 16246674 140733714520032 139766815251632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1532484

[startup+1482.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 15041
/proc/meminfo: memFree=29239800/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1542724 CPUtime=1482.04 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 326374 0 0 0 148151 53 0 0 20 0 4 0 109096572 1579749376 327695 33554432000 4194304 16246674 140733714520032 140733714501952 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 385681 327695 904 2943 0 382575 0
[pid=14930/tid=14931] ppid=14927 vsize=1542724 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1579749376 327695 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1542724 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1579749376 327695 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1542724 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1579749376 327695 33554432000 4194304 16246674 140733714520032 139766815251632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1542724

[startup+1542.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 15042
/proc/meminfo: memFree=29240000/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1542724 CPUtime=1542.03 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 326374 0 0 0 154150 53 0 0 20 0 4 0 109096572 1579749376 327695 33554432000 4194304 16246674 140733714520032 140733714501952 4220495 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 385681 327695 904 2943 0 382575 0
[pid=14930/tid=14931] ppid=14927 vsize=1542724 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1579749376 327695 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1542724 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1579749376 327695 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1542724 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1579749376 327695 33554432000 4194304 16246674 140733714520032 139766815251632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1542724

[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/184 15047
/proc/meminfo: memFree=29231536/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1550916 CPUtime=1602.02 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 328424 0 0 0 160148 54 0 0 20 0 4 0 109096572 1588137984 329743 33554432000 4194304 16246674 140733714520032 140733714517824 4221035 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 387729 329743 904 2943 0 384623 0
[pid=14930/tid=14931] ppid=14927 vsize=1550916 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1588137984 329743 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1550916 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109096572 1588137984 329743 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1550916 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1588137984 329743 33554432000 4194304 16246674 140733714520032 139766815251632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1550916

[startup+1662.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/183 15048
/proc/meminfo: memFree=29231564/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1550916 CPUtime=1662.01 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 328425 0 0 0 166147 54 0 0 20 0 4 0 109096572 1588137984 329743 33554432000 4194304 16246674 140733714520032 140733714519344 12429736 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 387729 329743 904 2943 0 384623 0
[pid=14930/tid=14931] ppid=14927 vsize=1550916 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1588137984 329743 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1550916 CPUtime=0.01 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 109096572 1588137984 329743 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1550916 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1588137984 329743 33554432000 4194304 16246674 140733714520032 139766815251632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1550916

[startup+1722.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 15049
/proc/meminfo: memFree=29208456/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1573444 CPUtime=1722 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 334058 0 0 0 172144 56 0 0 20 0 4 0 109096572 1611206656 335375 33554432000 4194304 16246674 140733714520032 140733714517824 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 393361 335375 904 2943 0 390255 0
[pid=14930/tid=14931] ppid=14927 vsize=1573444 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1611206656 335375 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1573444 CPUtime=0.01 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 109096572 1611206656 335375 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1573444 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1611206656 335375 33554432000 4194304 16246674 140733714520032 139766815251632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1573444

[startup+1782.31 s]
/proc/loadavg: 2.01 2.04 2.00 3/183 15050
/proc/meminfo: memFree=29206496/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1575492 CPUtime=1782 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 334577 0 0 0 178144 56 0 0 20 0 4 0 109096572 1613303808 335887 33554432000 4194304 16246674 140733714520032 140733714501952 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 393873 335887 904 2943 0 390767 0
[pid=14930/tid=14931] ppid=14927 vsize=1575492 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1613303808 335887 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1575492 CPUtime=0.01 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 109096572 1613303808 335887 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1575492 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1613303808 335887 33554432000 4194304 16246674 140733714520032 139766815251632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1575492



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 15050
/proc/meminfo: memFree=29206588/32872528 swapFree=11196/354588
[pid=14930] ppid=14927 vsize=1575492 CPUtime=1800.08 cores=0,2,4,6
/proc/14930/stat : 14930 (toysat) R 14927 14930 12837 0 -1 4202496 334578 0 0 0 179952 56 0 0 20 0 4 0 109096572 1613303808 335887 33554432000 4194304 16246674 140733714520032 140733714517824 4206952 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/14930/statm: 393873 335887 904 2943 0 390767 0
[pid=14930/tid=14931] ppid=14927 vsize=1575492 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14931/stat : 14931 (toysat) S 14927 14930 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109096572 1613303808 335887 33554432000 4194304 16246674 140733714520032 139766911708400 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14932] ppid=14927 vsize=1575492 CPUtime=0.01 cores=0,2,4,6
/proc/14930/task/14932/stat : 14932 (toysat) S 14927 14930 12837 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 4 0 109096572 1613303808 335887 33554432000 4194304 16246674 140733714520032 139766825725168 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=14930/tid=14933] ppid=14927 vsize=1575492 CPUtime=0 cores=0,2,4,6
/proc/14930/task/14933/stat : 14933 (toysat) S 14927 14930 12837 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109096572 1613303808 335887 33554432000 4194304 16246674 140733714520032 139766815251632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1575492

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 14930 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.46
CPU time (s): 1800.16
CPU user time (s): 1799.54
CPU system time (s): 0.616906
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 1575492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.54
system time used= 0.616906
maximum resident set size= 1343548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 334578
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= 1658
involuntary context switches= 1885

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.38433 second user time and 7.07692 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 05:53:51
IDJOB=4079174
IDBENCH=72400
IDSOLVER=2542
FILE ID=node126/4079174-1465271631
RUNJOBID= node126-1465253620-12853
PBS_JOBID= 19843265
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/10orplus/normalized-xvfb.cudf.trendy.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079174-1465271631/watcher-4079174-1465271631 -o /tmp/evaluation-result-4079174-1465271631/solver-4079174-1465271631 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079174-1465271631.opb

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

MD5SUM BENCH= 19a31dcc7d4af59eaddbb91eafd1bc0a
RANDOM SEED=359504787

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27616024 kB
Buffers:           27760 kB
Cached:           115120 kB
SwapCached:         2168 kB
Active:          4094488 kB
Inactive:          72752 kB
Active(anon):    4022400 kB
Inactive(anon):     4052 kB
Active(file):      72088 kB
Inactive(file):    68700 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098636 kB
Dirty:             19916 kB
Writeback:             0 kB
AnonPages:       4377844 kB
Mapped:            10688 kB
Shmem:                 0 kB
Slab:             595972 kB
SReclaimable:      39868 kB
SUnreclaim:       556104 kB
KernelStack:        1488 kB
PageTables:        12472 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4519944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    360448 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 node126 at 2016-06-07 06:23:52