Trace number 4110960

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.49 1800.83

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f53-AC_FC1.seq-A-2-1-abcdeir.opb
MD5SUM14df647d2c60f019f691fb65eaa59a93
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2576583730017
Best CPU time to get the best result obtained on this benchmark121.404
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21883
Total number of constraints63749
Number of constraints which are clauses63457
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints292
Minimum length of a constraint1
Maximum length of a constraint74
Number of terms in the objective function 1272
Biggest coefficient in the objective function 135539323520
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 10029909940479
Number of bits of the sum of numbers in the objective function 44
Biggest number in a constraint 135539323520
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 10029909940479
Number of bits of the biggest sum of numbers44
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-20T05:37:46+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-4110960-1466393866.opb"]
0.00/0.01	c use --random-gen="155150365 2325483790 1272187496 1041791805 1217389722 4213377077 1836996729 1524913711 3796718204 2924268925 1497713395 1670887513 508227414 3643268811 3356456699 1282242962 2790454016 1523076818 1723648991 1176186091 3413622898 34874332 1798946029 4003863224 1362836643 1826548543 37441301 3313745742 2958468558 1455517344 2295538141 394481849 404434670 3014848892 379150825 3275663065 1815937476 1038102175 558870135 2281200734 4003458583 1575106294 4092340095 3067916594 4152224027 2075269434 1682216364 1313735548 3771787205 215585415 4015424186 576623865 3612941210 1247766576 2353378104 1385815193 3119977096 90418326 1900259792 3566216833 1013167038 729305112 2975289666 4036706764 811188123 2931137224 2892402540 674139868 1063977118 1502361550 2395808663 3452065420 1862161537 969600652 324716196 229709812 901648779 2973618213 3059986195 3916544877 3355910091 1314308805 969020408 2400976605 1067523431 2772355253 2204597239 854254575 1330098995 3255073540 1531195241 3582018166 120733899 1686804642 3754346925 73913158 638224020 2501602224 483902519 3468219560 1108414558 210020643 457623529 2000303441 1605784720 1720910583 2028530148 817108879 3155297602 3484577001 914545368 750000896 3277441628 945286585 280453421 783974226 1702332890 571940667 601519898 2312817985 729273778 2605322167 1047204111 1919003471 2304870772 3329471151 591824474 2789599830 3434346541 4242376173 422554145 1483861770 561104010 2391252496 2677179443 168375283 1833855003 1933066538 3898510805 118567777 3193780024 3383606402 1222392115 1167865435 3289971275 1309379728 1474504295 103008052 4195532546 1356031376 989250129 4217724213 3576866513 2113923642 610035721 279939356 1106057496 441482128 1993959526 1392020573 343824036 3756708445 1291210561 1862568620 3725404583 1882904068 3638637557 3506971941 3506810570 96216587 851247548 1472842014 1103435536 2628273196 4260873951 2579717096 1060906079 3664397532 3209653759 4112343094 1408640841 805270835 1800375709 2297608864 3755731339 4204617676 3291489244 2726743890 819845173 667610230 1290817032 2380213470 3095342058 2857109014 3714066410 433667071 2632088674 1214480588 4284158254 995599148 668240683 1523260689 3117754573 3432790080 888778105 1297822019 2038292641 1073472353 2526717223 787622539 2507493849 3032141328 2870233028 406355153 1031578835 1400943989 1343538161 443946574 974998200 2186332322 1571358388 2397357687 1098262544 693757216 228032661 223710044 1309273326 3450820081 3423244394 1166189648 2862903952 3276167053 2156432272 3611121237 2600985018 362946013 2738964802 2308950778 1341989440 1671468980 4015001053 2101328293 3111480052 4139529284 1421268449 1431106485 1770389046 3995477614 3280326189 562854438 1125211584 2630417520 713103759 1713829564 2854870529 3430108408 255 362436" option to reproduce the execution
0.29/0.38	c #vars 21883
0.29/0.38	c #constraints 63749
1.10/1.12	c BCD2: Hardening is enabled.
1.10/1.12	c BCD2: BiasedSearch is enabled.
1.10/1.12	c Solving starts ...
1.10/1.12	c ============================[ Search Statistics ]============================
1.10/1.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.10/1.12	c       |         |          |          |    Limit     GC | Var      | Constra 
1.10/1.12	c =============================================================================
1.19/1.25	c  0.0s |       0 |        0 |        0 |    27406      0 |      804 |        0
1.29/1.35	c  0.1s |       0 |     1642 |       34 |    27406      0 |      804 |      146
1.29/1.35	c #cpu_time = 0.092s
1.29/1.35	c #wall_clock_time = 0.092s
1.29/1.35	c #decision = 1642
1.29/1.35	c #random_decision = 1
1.29/1.35	c #conflict = 34
1.29/1.35	c #restart = 0
1.29/1.35	o 9894370620159

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

pid=10810
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.19 3/179 10813
/proc/meminfo: memFree=25781940/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=678332 CPUtime=0 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 2522 0 0 0 0 0 0 0 20 0 4 0 41433256 694611968 2883 33554432000 4194304 16246674 140736466863232 140736466862656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 170095 2891 441 2943 0 166989 0
[pid=10813/tid=10814] ppid=10810 vsize=697788 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 714534912 2960 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=701884 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 718729216 2976 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41433256 722923520 2993 33554432000 4194304 16246674 140736466863232 140654061542576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100264 s]
/proc/loadavg: 2.26 2.22 2.19 3/179 10813
/proc/meminfo: memFree=25781940/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=1301060 CPUtime=0.09 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 25831 0 0 0 5 4 0 0 20 0 4 0 41433256 1332285440 26130 33554432000 4194304 16246674 140736466863232 140736466862544 7374276 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 325265 26143 799 2943 0 322159 0
[pid=10813/tid=10814] ppid=10810 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 1332285440 26154 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 1332285440 26165 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=1301060 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 1332285440 26175 33554432000 4194304 16246674 140736466863232 140654061542576 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) 1301060

[startup+0.20051 s]
/proc/loadavg: 2.26 2.22 2.19 3/179 10813
/proc/meminfo: memFree=25781940/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 47472 0 0 0 13 6 0 0 20 0 4 0 41433256 1343819776 48282 33554432000 4194304 16246674 140736466863232 140736466846224 7367584 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 328081 48282 800 2943 0 324975 0
[pid=10813/tid=10814] ppid=10810 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 1343819776 48282 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 1343819776 48282 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 1343819776 48282 33554432000 4194304 16246674 140736466863232 140654061542576 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) 1312324

[startup+0.300478 s]
/proc/loadavg: 2.26 2.22 2.19 3/179 10813
/proc/meminfo: memFree=25781940/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 60490 0 0 0 20 9 0 0 20 0 4 0 41433256 1344868352 61300 33554432000 4194304 16246674 140736466863232 140736466846224 7384030 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 328337 61300 800 2943 0 325231 0
[pid=10813/tid=10814] ppid=10810 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 1344868352 61300 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 1344868352 61300 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 1344868352 61300 33554432000 4194304 16246674 140736466863232 140654061542576 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.700383 s]
/proc/loadavg: 2.26 2.22 2.19 3/179 10813
/proc/meminfo: memFree=25781940/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 84551 0 0 0 56 13 0 0 20 0 4 0 41433256 1344868352 85361 33554432000 4194304 16246674 140736466863232 140736466846224 7202813 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 328337 85368 833 2943 0 325231 0
[pid=10813/tid=10814] ppid=10810 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 1344868352 85372 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 1344868352 85378 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 1344868352 85383 33554432000 4194304 16246674 140736466863232 140654061542576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50039 s]
/proc/loadavg: 2.24 2.22 2.18 3/183 10817
/proc/meminfo: memFree=25147520/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=1344068 CPUtime=1.49 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 170429 0 0 0 124 25 0 0 20 0 4 0 41433256 1376325632 171239 33554432000 4194304 16246674 140736466863232 140736466861056 12449248 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 336017 171239 895 2943 0 332911 0
[pid=10813/tid=10814] ppid=10810 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 1376325632 171239 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 1376325632 171239 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 1376325632 171239 33554432000 4194304 16246674 140736466863232 140654061542576 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) 1344068

[startup+3.10039 s]
/proc/loadavg: 2.24 2.22 2.18 3/183 10817
/proc/meminfo: memFree=24671724/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=1344068 CPUtime=3.09 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 276700 0 0 0 272 37 0 0 20 0 4 0 41433256 1376325632 277510 33554432000 4194304 16246674 140736466863232 140736466862544 12371230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 336017 277510 896 2943 0 332911 0
[pid=10813/tid=10814] ppid=10810 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 1376325632 277510 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 1376325632 277510 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 1376325632 277510 33554432000 4194304 16246674 140736466863232 140654061542576 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) 1344068

[startup+6.30036 s]
/proc/loadavg: 2.30 2.23 2.19 3/183 10817
/proc/meminfo: memFree=24468180/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=1344068 CPUtime=6.29 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 276700 0 0 0 592 37 0 0 20 0 4 0 41433256 1376325632 277510 33554432000 4194304 16246674 140736466863232 140736466845120 12414096 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 336017 277510 896 2943 0 332911 0
[pid=10813/tid=10814] ppid=10810 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 1376325632 277510 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 1376325632 277510 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 1376325632 277510 33554432000 4194304 16246674 140736466863232 140654061542576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1344068

[startup+12.7004 s]
/proc/loadavg: 2.27 2.23 2.19 3/183 10817
/proc/meminfo: memFree=24042752/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=1344068 CPUtime=12.68 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 276701 0 0 0 1231 37 0 0 20 0 4 0 41433256 1376325632 277511 33554432000 4194304 16246674 140736466863232 140736466845120 4206916 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 336017 277511 896 2943 0 332911 0
[pid=10813/tid=10814] ppid=10810 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 1376325632 277511 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 1376325632 277511 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=1344068 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 1376325632 277511 33554432000 4194304 16246674 140736466863232 140654061542576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1344068

[startup+25.5005 s]
/proc/loadavg: 2.31 2.24 2.19 4/183 10817
/proc/meminfo: memFree=24030940/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=1356356 CPUtime=25.49 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 279773 0 0 0 2511 38 0 0 20 0 4 0 41433256 1388908544 280583 33554432000 4194304 16246674 140736466863232 140736466861056 4206964 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 339089 280583 896 2943 0 335983 0
[pid=10813/tid=10814] ppid=10810 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 1388908544 280583 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 1388908544 280583 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=1356356 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 1388908544 280583 33554432000 4194304 16246674 140736466863232 140654061542576 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) 1356356

[startup+51.1004 s]
/proc/loadavg: 2.35 2.26 2.20 3/183 10817
/proc/meminfo: memFree=22687496/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=1563204 CPUtime=51.09 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 331485 0 0 0 5065 44 0 0 20 0 4 0 41433256 1600720896 332295 33554432000 4194304 16246674 140736466863232 140736466862544 4225157 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 390801 332295 896 2943 0 387695 0
[pid=10813/tid=10814] ppid=10810 vsize=1563204 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 1600720896 332295 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=1563204 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 1600720896 332295 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=1563204 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 1600720896 332295 33554432000 4194304 16246674 140736466863232 140654061542576 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) 1563204

[startup+102.3 s]
/proc/loadavg: 2.29 2.26 2.20 4/183 10818
/proc/meminfo: memFree=21100932/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=2032196 CPUtime=102.28 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 520415 0 0 0 10158 70 0 0 20 0 4 0 41433256 2080968704 449545 33554432000 4194304 16246674 140736466863232 140736466845120 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 508049 449545 897 2943 0 504943 0
[pid=10813/tid=10814] ppid=10810 vsize=2032196 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 2080968704 449545 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=2032196 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 2080968704 449545 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=2032196 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 2080968704 449545 33554432000 4194304 16246674 140736466863232 140654061542576 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) 2032196


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

/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 8706920448 2067476 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=8502852 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 8706920448 2067476 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=8502852 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 8706920448 2067476 33554432000 4194304 16246674 140736466863232 140654061542576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 8502852

[startup+1362.3 s]
/proc/loadavg: 2.24 2.23 2.19 3/184 10902
/proc/meminfo: memFree=8093760/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=8727108 CPUtime=1362.04 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 12093939 0 0 0 134254 1950 0 0 20 0 4 0 41433256 8936558592 2123541 33554432000 4194304 16246674 140736466863232 140736466862408 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 2181777 2123541 897 2943 0 2178671 0
[pid=10813/tid=10814] ppid=10810 vsize=8727108 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 8936558592 2123541 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=8727108 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 8936558592 2123541 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=8727108 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 8936558592 2123541 33554432000 4194304 16246674 140736466863232 140654061542576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 8727108

[startup+1422.3 s]
/proc/loadavg: 2.20 2.21 2.18 4/184 10927
/proc/meminfo: memFree=8138904/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=6875716 CPUtime=1422.04 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 12686835 0 0 0 140148 2056 0 0 20 0 4 0 41433256 7040733184 1660693 33554432000 4194304 16246674 140736466863232 140736466861120 4220489 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 1718929 1660693 897 2943 0 1715823 0
[pid=10813/tid=10814] ppid=10810 vsize=6875716 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 7040733184 1660693 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=6875716 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 7040733184 1660693 33554432000 4194304 16246674 140736466863232 140654072015888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=6875716 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 7040733184 1660693 33554432000 4194304 16246674 140736466863232 140654061542576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 6875716

[startup+1482.3 s]
/proc/loadavg: 2.13 2.19 2.18 3/183 10928
/proc/meminfo: memFree=5594440/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=9415236 CPUtime=1482.02 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 13661428 0 0 0 145999 2203 0 0 20 0 4 0 41433256 9641201664 2295574 33554432000 4194304 16246674 140736466863232 140736466861056 4221035 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 2353809 2295574 897 2943 0 2350703 0
[pid=10813/tid=10814] ppid=10810 vsize=9415236 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 9641201664 2295574 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=9415236 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 9641201664 2295574 33554432000 4194304 16246674 140736466863232 140654072015888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=9415236 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 9641201664 2295574 33554432000 4194304 16246674 140736466863232 140654061542576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 9415236

[startup+1542.31 s]
/proc/loadavg: 2.33 2.23 2.19 3/183 10977
/proc/meminfo: memFree=22129440/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=7277124 CPUtime=1542.02 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 14356213 0 0 0 151874 2328 0 0 20 0 4 0 41433256 7451774976 1761047 33554432000 4194304 16246674 140736466863232 140736466862408 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 1819281 1761047 897 2943 0 1816175 0
[pid=10813/tid=10814] ppid=10810 vsize=7277124 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 7451774976 1761047 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=7277124 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 7451774976 1761047 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=7277124 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 7451774976 1761047 33554432000 4194304 16246674 140736466863232 140654061542576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 7277124

[startup+1602.3 s]
/proc/loadavg: 2.24 2.22 2.18 4/183 10978
/proc/meminfo: memFree=19002408/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=9202244 CPUtime=1601.99 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 15481002 0 0 0 157705 2494 0 0 20 0 4 0 41433256 9423097856 2242251 33554432000 4194304 16246674 140736466863232 140736466861056 13882935 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 2300561 2242251 897 2943 0 2297455 0
[pid=10813/tid=10814] ppid=10810 vsize=9202244 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 9423097856 2242251 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=9202244 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 9423097856 2242251 33554432000 4194304 16246674 140736466863232 140654072015888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=9202244 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 9423097856 2242251 33554432000 4194304 16246674 140736466863232 140654061542576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 9202244

[startup+1662.3 s]
/proc/loadavg: 2.24 2.22 2.18 3/183 10979
/proc/meminfo: memFree=16945988/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=10298948 CPUtime=1661.98 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 16433912 0 0 0 163557 2641 0 0 20 0 4 0 41433256 10546122752 2516505 33554432000 4194304 16246674 140736466863232 140736466861120 4225151 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 2574737 2516505 897 2943 0 2571631 0
[pid=10813/tid=10814] ppid=10810 vsize=10298948 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 10546122752 2516505 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=10298948 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 10546122752 2516505 33554432000 4194304 16246674 140736466863232 140654072015888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=10298948 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 10546122752 2516505 33554432000 4194304 16246674 140736466863232 140654061542576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 10298948

[startup+1722.3 s]
/proc/loadavg: 2.20 2.21 2.18 3/183 10981
/proc/meminfo: memFree=17422456/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=9306692 CPUtime=1721.97 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 17016738 0 0 0 169453 2744 0 0 20 0 4 0 41433256 9530052608 2268355 33554432000 4194304 16246674 140736466863232 140736466861896 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 2326673 2268363 897 2943 0 2323567 0
[pid=10813/tid=10814] ppid=10810 vsize=9306692 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 9530052608 2268367 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=9306692 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 9530052608 2268372 33554432000 4194304 16246674 140736466863232 140654072015888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=9306692 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 9530052608 2268377 33554432000 4194304 16246674 140736466863232 140654061542576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 9306692

[startup+1782.3 s]
/proc/loadavg: 2.19 2.20 2.18 4/183 10982
/proc/meminfo: memFree=19590864/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=9513540 CPUtime=1781.95 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 17845964 0 0 0 175319 2876 0 0 20 0 4 0 41433256 9741864960 2320109 33554432000 4194304 16246674 140736466863232 140736466861896 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 2378385 2320120 897 2943 0 2375279 0
[pid=10813/tid=10814] ppid=10810 vsize=9513540 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 9741864960 2320127 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=9513540 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 9741864960 2320131 33554432000 4194304 16246674 140736466863232 140654072015888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=9513540 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 9741864960 2320137 33554432000 4194304 16246674 140736466863232 140654061542576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 9513540



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.15 2.19 2.18 4/183 10982
/proc/meminfo: memFree=20119508/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=8137284 CPUtime=1800.05 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) R 10810 10813 9424 0 -1 4202496 18061049 0 0 0 177086 2919 0 0 20 0 4 0 41433256 8332578816 1976090 33554432000 4194304 16246674 140736466863232 140736466862328 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 2034321 1976090 897 2943 0 2031215 0
[pid=10813/tid=10814] ppid=10810 vsize=8137284 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10814/stat : 10814 (toysat) S 10810 10813 9424 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41433256 8332578816 1976090 33554432000 4194304 16246674 140736466863232 140654159047920 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=8137284 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) S 10810 10813 9424 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41433256 8332578816 1976090 33554432000 4194304 16246674 140736466863232 140654072016112 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=10813/tid=10816] ppid=10810 vsize=8137284 CPUtime=0 cores=1,3,5,7
/proc/10813/task/10816/stat : 10816 (toysat) S 10810 10813 9424 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41433256 8332578816 1976090 33554432000 4194304 16246674 140736466863232 140654061542576 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 8137284

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 10813 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.81 s]
/proc/loadavg: 2.21 2.20 2.18 4/181 10982
/proc/meminfo: memFree=25266580/32872528 swapFree=1542984/1696284
[pid=10813] ppid=10810 vsize=0 CPUtime=1800.45 cores=1,3,5,7
/proc/10813/stat : 10813 (toysat) Z 10810 10813 9424 0 -1 4203532 18061049 0 0 0 177086 2959 0 0 20 0 2 0 41433256 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/10813/statm: 0 0 0 0 0 0 0
[pid=10813/tid=10815] ppid=10810 vsize=0 CPUtime=0.4 cores=1,3,5,7
/proc/10813/task/10815/stat : 10815 (toysat) R 10810 10813 9424 0 -1 4203588 7 0 0 0 0 40 0 0 20 0 2 0 41433256 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.45
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.83
CPU time (s): 1800.49
CPU user time (s): 1770.87
CPU system time (s): 29.6205
CPU usage (%): 99.9812
Max. virtual memory (cumulated for all children) (KiB): 10373700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.87
system time used= 29.6205
maximum resident set size= 10140776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18061049
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= 1351
involuntary context switches= 2034

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.51231 second user time and 6.95494 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-20 05:37:46
IDJOB=4110960
IDBENCH=108623
IDSOLVER=2542
FILE ID=node125/4110960-1466393866
RUNJOBID= node125-1466384086-9441
PBS_JOBID= 19923262
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f53-AC_FC1.seq-A-2-1-abcdeir.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110960-1466393866/watcher-4110960-1466393866 -o /tmp/evaluation-result-4110960-1466393866/solver-4110960-1466393866 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466384086-9441 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4110960-1466393866.opb

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

MD5SUM BENCH= 14df647d2c60f019f691fb65eaa59a93
RANDOM SEED=1617027269

node125.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.683
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.36
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.683
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.683
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.683
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.54
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.683
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.683
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.55
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.683
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.683
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:        25782212 kB
Buffers:           51812 kB
Cached:            89028 kB
SwapCached:         1616 kB
Active:          4583212 kB
Inactive:          68084 kB
Active(anon):    4511428 kB
Inactive(anon):     1264 kB
Active(file):      71784 kB
Inactive(file):    66820 kB
Unevictable:     1696284 kB
Mlocked:         1542984 kB
SwapTotal:      67108856 kB
SwapFree:       67097092 kB
Dirty:             18264 kB
Writeback:             0 kB
AnonPages:       6146264 kB
Mapped:            10952 kB
Shmem:                 0 kB
Slab:             595072 kB
SReclaimable:      38860 kB
SUnreclaim:       556212 kB
KernelStack:        1520 kB
PageTables:        15948 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6349916 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     96256 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= 71712 MiB
End job on node125 at 2016-06-20 06:07:47