Trace number 4107682

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.07 1800.52

General information on the benchmark

Name/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/
datasets/9orless/normalized-ark.cudf.trendy.opb
MD5SUM485de3b8c7097a1d4a4f931d70c385bb
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2624366011833
Best CPU time to get the best result obtained on this benchmark97.0572
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21101
Total number of constraints100032
Number of constraints which are clauses98467
Number of constraints which are cardinality constraints (but not clauses)1565
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint2962
Number of terms in the objective function 8586
Biggest coefficient in the objective function 79229972375
Number of bits for the biggest coefficient in the objective function 37
Sum of the numbers in the objective function 234599911309658
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 79229972375
Number of bits of the biggest number in a constraint 37
Biggest sum of numbers in a constraint 234599911309658
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-19T00:30:19+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-4107682-1466289019.opb"]
0.00/0.01	c use --random-gen="2868365486 1601862114 3847146466 608129600 758143665 2933496601 3975235320 3290651721 3995885701 1439157725 882873906 718872198 1429622424 1286693272 2998265916 4047621791 2605162453 2607362780 3942668892 4209082660 2967349127 2716976131 3924824846 1734418413 1367638260 2470593008 4109245690 3582720653 3143473395 2628053473 1088012778 543508728 3841969301 646997494 2194584701 446617396 1299826993 2946152449 112009890 512150665 583997471 874393820 1891200643 2892442462 2018276780 2195084458 3973849582 1665377365 3676253851 2996179859 2765390583 2711654124 3337186374 292743431 2483515569 4129741425 3867558339 3368555999 2479887536 4110465673 2463855007 1596428652 3704463744 1000631490 183642393 3810121440 434260957 779811398 513734452 3157485599 4263079273 267582597 1478926518 4285658076 1557051279 4137552664 2147865128 1009877581 2478842669 1856734172 3601615547 1813277891 3104253044 3050586167 2865135999 2311707446 974884866 1349526411 2558982759 303085741 3377527872 3801495457 882618864 1786127316 951996244 1496491059 3983804360 2791927876 1747712843 4070051288 407078321 286182943 1206039464 3699866701 4252931596 794539803 594333318 1979418156 599302202 3778684725 3124273686 1191110280 1759387167 1446759921 886161256 2544242585 4272072323 667349052 3247154 3459049307 2797514865 512193990 861229234 1813620514 1276752282 4262243156 4072292839 2728083455 3424753380 2707770935 100196934 3439394955 1181927755 765173383 1434264148 1771693392 2402002576 1808330105 3776250384 2482258796 1907850324 3437169737 3568202592 1571206038 3436665123 1118271563 4152184259 3738353774 4262835782 1900780634 454679002 1563771992 2322400989 3212907326 3506997528 3837141669 2918676447 4244891597 395451520 2795636261 3968739659 193590090 1441892999 1729045469 1596472901 811645381 2399061112 3147495971 1484320677 4207716904 2932515418 2948916689 877831800 2262807666 3606725947 3210942580 1629740859 2335986954 3142336786 3471791822 3352774614 1080545073 3556396908 703953827 2057488663 3706879349 4050450335 3720665905 1187840908 2693571170 1240251723 3998082726 2989843589 1047773791 3261675511 989954859 1531206282 3716122106 2957531692 254593269 2429873571 2217705063 1491999475 912050656 719047930 632918117 737634566 1254005798 3591286960 2762710418 432101567 2200374578 1469489525 2883278954 2199174381 3398097825 1550463070 406105698 1227364000 1217123890 792941756 1673182101 797269649 2653695826 96919869 2147538645 1913136933 2616111439 1985388075 1824029928 1543861160 3422563432 1695389969 790161903 179026226 2699249816 2654153221 386067534 2315224515 3759958627 1762807902 2850307368 3619842074 4058044689 2422221793 3344132087 2884894373 42717799 2373074470 2248919850 3334908307 3600579983 1475316280 2025222494 371431681 478003863 255 362436" option to reproduce the execution
0.69/0.72	c #vars 21101
0.69/0.72	c #constraints 100032
2.19/2.29	c BCD2: Hardening is enabled.
2.19/2.29	c BCD2: BiasedSearch is enabled.
2.19/2.29	c Solving starts ...
2.19/2.29	c ============================[ Search Statistics ]============================
2.19/2.29	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.19/2.29	c       |         |          |          |    Limit     GC | Var      | Constra 
2.19/2.29	c =============================================================================
2.19/2.30	c  0.0s |       0 |        0 |        0 |    39935      0 |     1202 |        0
2.89/2.92	c  0.6s |       1 |    68733 |      100 |    39935      0 |     1202 |     1291
5.09/5.14	c  2.9s |       2 |   295297 |      250 |    43929      0 |     1203 |     1295
5.99/6.09	c  3.8s |       2 |   425934 |      370 |    48322      0 |     1203 |     1295
5.99/6.09	c #cpu_time = 3.781s
5.99/6.09	c #wall_clock_time = 3.782s
5.99/6.09	c #decision = 425934
5.99/6.09	c #random_decision = 1314
5.99/6.09	c #conflict = 370
5.99/6.09	c #restart = 2
5.99/6.09	o 49245163354838

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

pid=25799
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.01 2.03 2.00 3/180 25802
/proc/meminfo: memFree=17241516/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=778684 CPUtime=0 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 2915 0 0 0 0 0 0 0 20 0 4 0 30947575 797372416 3275 33554432000 4194304 16246674 140734561085792 140734561085216 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 195439 3285 441 2943 0 192333 0
[pid=25802/tid=25803] ppid=25799 vsize=797116 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 816246784 3347 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=802236 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 821489664 3365 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=806332 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30947575 825683968 3382 33554432000 4194304 16246674 140734561085792 139781975559344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100174 s]
/proc/loadavg: 2.01 2.03 2.00 3/180 25802
/proc/meminfo: memFree=17241516/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 31152 0 0 0 4 5 0 0 20 0 4 0 30947575 1334382592 31450 33554432000 4194304 16246674 140734561085792 140734561085104 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 325777 31466 799 2943 0 322671 0
[pid=25802/tid=25803] ppid=25799 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1334382592 31477 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1334382592 31488 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1334382592 31499 33554432000 4194304 16246674 140734561085792 139781975559344 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) 1303108

[startup+0.200593 s]
/proc/loadavg: 2.01 2.03 2.00 3/180 25802
/proc/meminfo: memFree=17241516/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 51658 0 0 0 11 8 0 0 20 0 4 0 30947575 1344868352 52467 33554432000 4194304 16246674 140734561085792 140734561085104 7439429 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 328337 52467 799 2943 0 325231 0
[pid=25802/tid=25803] ppid=25799 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1344868352 52467 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1344868352 52467 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1344868352 52467 33554432000 4194304 16246674 140734561085792 139781975559344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.3005 s]
/proc/loadavg: 2.01 2.03 2.00 3/180 25802
/proc/meminfo: memFree=17241516/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 63864 0 0 0 20 9 0 0 20 0 4 0 30947575 1344868352 64673 33554432000 4194304 16246674 140734561085792 140734561085104 7377127 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 328337 64673 800 2943 0 325231 0
[pid=25802/tid=25803] ppid=25799 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1344868352 64673 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1344868352 64673 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1344868352 64673 33554432000 4194304 16246674 140734561085792 139781975559344 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.700432 s]
/proc/loadavg: 2.01 2.03 2.00 3/180 25802
/proc/meminfo: memFree=17241516/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1319492 CPUtime=0.69 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 75313 0 0 0 58 11 0 0 20 0 4 0 30947575 1351159808 77144 33554432000 4194304 16246674 140734561085792 140734561085104 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 329873 77144 801 2943 0 326767 0
[pid=25802/tid=25803] ppid=25799 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1351159808 77144 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1351159808 77144 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1351159808 77144 33554432000 4194304 16246674 140734561085792 139781975559344 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) 1319492

[startup+1.5004 s]
/proc/loadavg: 2.01 2.03 2.00 4/184 25806
/proc/meminfo: memFree=16782048/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1319492 CPUtime=1.49 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 193099 0 0 0 118 31 0 0 20 0 4 0 30947575 1351159808 194930 33554432000 4194304 16246674 140734561085792 140734561067712 12855560 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 329873 194940 838 2943 0 326767 0
[pid=25802/tid=25803] ppid=25799 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1351159808 194949 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1351159808 194955 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1319492 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1351159808 194960 33554432000 4194304 16246674 140734561085792 139781975559344 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) 1319492

[startup+3.10044 s]
/proc/loadavg: 2.09 2.04 2.01 3/184 25806
/proc/meminfo: memFree=16140704/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1337924 CPUtime=3.09 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 273558 0 0 0 266 43 0 0 20 0 4 0 30947575 1370034176 275389 33554432000 4194304 16246674 140734561085792 140734561067712 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 334481 275389 889 2943 0 331375 0
[pid=25802/tid=25803] ppid=25799 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1370034176 275389 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1370034176 275389 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1370034176 275389 33554432000 4194304 16246674 140734561085792 139781975559344 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) 1337924

[startup+6.30042 s]
/proc/loadavg: 2.09 2.04 2.01 3/184 25806
/proc/meminfo: memFree=16138196/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1337924 CPUtime=6.29 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 273638 0 0 0 586 43 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 140734561067712 12429253 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 334481 275980 904 2943 0 331375 0
[pid=25802/tid=25803] ppid=25799 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 139781975559344 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) 1337924

[startup+12.7004 s]
/proc/loadavg: 2.07 2.04 2.00 3/184 25806
/proc/meminfo: memFree=16138956/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1337924 CPUtime=12.68 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 273638 0 0 0 1225 43 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 140734561067712 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 334481 275980 904 2943 0 331375 0
[pid=25802/tid=25803] ppid=25799 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 139781975559344 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) 1337924

[startup+25.5006 s]
/proc/loadavg: 2.14 2.06 2.01 3/184 25806
/proc/meminfo: memFree=16138328/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1337924 CPUtime=25.48 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 273638 0 0 0 2505 43 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 140734561067712 12449336 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 334481 275980 904 2943 0 331375 0
[pid=25802/tid=25803] ppid=25799 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 139781975559344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1337924

[startup+51.1006 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 25806
/proc/meminfo: memFree=15926120/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1337924 CPUtime=51.08 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 273638 0 0 0 5065 43 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 140734561067712 4206912 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 334481 275980 904 2943 0 331375 0
[pid=25802/tid=25803] ppid=25799 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1370034176 275980 33554432000 4194304 16246674 140734561085792 139781975559344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1337924

[startup+102.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 25807
/proc/meminfo: memFree=15925364/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1338948 CPUtime=102.29 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 273672 0 0 0 10185 44 0 0 20 0 4 0 30947575 1371082752 276014 33554432000 4194304 16246674 140734561085792 140734561067712 12414147 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 334737 276014 904 2943 0 331631 0
[pid=25802/tid=25803] ppid=25799 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1371082752 276014 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1371082752 276014 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1371082752 276014 33554432000 4194304 16246674 140734561085792 139781975559344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 1338948


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

/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1471746048 300816 33554432000 4194304 16246674 140734561085792 139781975559344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1437252

[startup+1362.3 s]
/proc/loadavg: 2.16 2.12 2.09 3/183 25936
/proc/meminfo: memFree=28801608/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1437252 CPUtime=1361.92 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 298725 0 0 0 136141 51 0 0 20 0 4 0 30947575 1471746048 300816 33554432000 4194304 16246674 140734561085792 140734561083648 4206921 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 359313 300816 904 2943 0 356207 0
[pid=25802/tid=25803] ppid=25799 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1471746048 300816 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1471746048 300816 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1471746048 300816 33554432000 4194304 16246674 140734561085792 139781975559344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1437252

[startup+1422.3 s]
/proc/loadavg: 2.20 2.13 2.10 3/183 25937
/proc/meminfo: memFree=28801764/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1437252 CPUtime=1421.91 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 298725 0 0 0 142140 51 0 0 20 0 4 0 30947575 1471746048 300816 33554432000 4194304 16246674 140734561085792 140734561083584 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 359313 300816 904 2943 0 356207 0
[pid=25802/tid=25803] ppid=25799 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1471746048 300816 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1471746048 300816 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1437252 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1471746048 300816 33554432000 4194304 16246674 140734561085792 139781975559344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1437252

[startup+1482.3 s]
/proc/loadavg: 2.17 2.13 2.09 3/183 25939
/proc/meminfo: memFree=28734340/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1503812 CPUtime=1481.9 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 315365 0 0 0 148136 54 0 0 20 0 4 0 30947575 1539903488 317456 33554432000 4194304 16246674 140734561085792 140734561084888 4206959 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 375953 317456 904 2943 0 372847 0
[pid=25802/tid=25803] ppid=25799 vsize=1503812 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1539903488 317456 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1503812 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1539903488 317456 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1503812 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1539903488 317456 33554432000 4194304 16246674 140734561085792 139781975559344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1503812

[startup+1542.31 s]
/proc/loadavg: 2.29 2.17 2.10 3/183 25940
/proc/meminfo: memFree=28714032/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1524292 CPUtime=1541.9 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 320485 0 0 0 154135 55 0 0 20 0 4 0 30947575 1560875008 322576 33554432000 4194304 16246674 140734561085792 140734561067712 12449391 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 381073 322576 904 2943 0 377967 0
[pid=25802/tid=25803] ppid=25799 vsize=1524292 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1560875008 322576 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1524292 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1560875008 322576 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1524292 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1560875008 322576 33554432000 4194304 16246674 140734561085792 139781975559344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 1524292

[startup+1602.3 s]
/proc/loadavg: 2.35 2.20 2.11 4/183 25941
/proc/meminfo: memFree=28698372/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1539652 CPUtime=1601.88 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 324325 0 0 0 160132 56 0 0 20 0 4 0 30947575 1576603648 326416 33554432000 4194304 16246674 140734561085792 140734561085104 12654434 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 384913 326416 904 2943 0 381807 0
[pid=25802/tid=25803] ppid=25799 vsize=1539652 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1576603648 326416 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1539652 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30947575 1576603648 326416 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1539652 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1576603648 326416 33554432000 4194304 16246674 140734561085792 139781975559344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1539652

[startup+1662.3 s]
/proc/loadavg: 2.12 2.16 2.10 3/183 25942
/proc/meminfo: memFree=28688524/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1549892 CPUtime=1661.87 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 326885 0 0 0 166131 56 0 0 20 0 4 0 30947575 1587089408 328976 33554432000 4194304 16246674 140734561085792 140734561083584 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 387473 328976 904 2943 0 384367 0
[pid=25802/tid=25803] ppid=25799 vsize=1549892 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1587089408 328976 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1549892 CPUtime=0.01 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30947575 1587089408 328976 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1549892 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1587089408 328976 33554432000 4194304 16246674 140734561085792 139781975559344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 1549892

[startup+1722.3 s]
/proc/loadavg: 2.13 2.16 2.10 3/183 25943
/proc/meminfo: memFree=28685424/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1552964 CPUtime=1721.86 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 327653 0 0 0 172129 57 0 0 20 0 4 0 30947575 1590235136 329744 33554432000 4194304 16246674 140734561085792 140734561085104 12429080 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 388241 329744 904 2943 0 385135 0
[pid=25802/tid=25803] ppid=25799 vsize=1552964 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1590235136 329744 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1552964 CPUtime=0.01 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30947575 1590235136 329744 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1552964 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1590235136 329744 33554432000 4194304 16246674 140734561085792 139781975559344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 1552964

[startup+1782.3 s]
/proc/loadavg: 2.05 2.13 2.09 3/184 25948
/proc/meminfo: memFree=28679536/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1558084 CPUtime=1781.85 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 328933 0 0 0 178128 57 0 0 20 0 4 0 30947575 1595478016 331024 33554432000 4194304 16246674 140734561085792 140734561085104 4221040 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 389521 331024 904 2943 0 386415 0
[pid=25802/tid=25803] ppid=25799 vsize=1558084 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1595478016 331024 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1558084 CPUtime=0.01 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30947575 1595478016 331024 33554432000 4194304 16246674 140734561085792 139781986032880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1558084 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1595478016 331024 33554432000 4194304 16246674 140734561085792 139781975559344 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 1558084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.04 2.12 2.09 3/184 25949
/proc/meminfo: memFree=28675784/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1562180 CPUtime=1800.05 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 329957 0 0 0 179948 57 0 0 20 0 4 0 30947575 1599672320 332048 33554432000 4194304 16246674 140734561085792 140734561083584 4225070 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 390545 332048 904 2943 0 387439 0
[pid=25802/tid=25803] ppid=25799 vsize=1562180 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1599672320 332048 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1562180 CPUtime=0.01 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30947575 1599672320 332048 33554432000 4194304 16246674 140734561085792 139781986032656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1562180 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1599672320 332048 33554432000 4194304 16246674 140734561085792 139781975559344 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) 1562180

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

[startup+1800.5 s]
/proc/loadavg: 2.04 2.12 2.09 3/184 25949
/proc/meminfo: memFree=28675784/32872528 swapFree=534252/566956
[pid=25802] ppid=25799 vsize=1562180 CPUtime=1800.05 cores=1,3,5,7
/proc/25802/stat : 25802 (toysat) R 25799 25802 24407 0 -1 4202496 329957 0 0 0 179948 57 0 0 20 0 4 0 30947575 1599672320 332048 33554432000 4194304 16246674 140734561085792 140734561083584 4225070 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25802/statm: 390545 332048 904 2943 0 387439 0
[pid=25802/tid=25803] ppid=25799 vsize=1562180 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25803/stat : 25803 (toysat) S 25799 25802 24407 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 30947575 1599672320 332048 33554432000 4194304 16246674 140734561085792 139781996522736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=25802/tid=25804] ppid=25799 vsize=1562180 CPUtime=0.01 cores=1,3,5,7
/proc/25802/task/25804/stat : 25804 (toysat) S 25799 25802 24407 0 -1 4202560 8 0 0 0 0 1 0 0 20 0 4 0 30947575 1599672320 332048 33554432000 4194304 16246674 140734561085792 139781986032656 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=25802/tid=25805] ppid=25799 vsize=1562180 CPUtime=0 cores=1,3,5,7
/proc/25802/task/25805/stat : 25805 (toysat) S 25799 25802 24407 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30947575 1599672320 332048 33554432000 4194304 16246674 140734561085792 139781975559344 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) 1562180

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.07
CPU user time (s): 1799.49
CPU system time (s): 0.582911
CPU usage (%): 99.975
Max. virtual memory (cumulated for all children) (KiB): 1562180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.49
system time used= 0.582911
maximum resident set size= 1328192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329957
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= 1872
involuntary context switches= 1956

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.00893 second user time and 20.2179 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-19 00:30:19
IDJOB=4107682
IDBENCH=72460
IDSOLVER=2542
FILE ID=node138/4107682-1466289019
RUNJOBID= node138-1466276409-24424
PBS_JOBID= 19918262
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/OPT-BIGINT-LIN/leberre/opb-trendy/misc2010/datasets/9orless/normalized-ark.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-4107682-1466289019/watcher-4107682-1466289019 -o /tmp/evaluation-result-4107682-1466289019/solver-4107682-1466289019 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466276409-24424 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107682-1466289019.opb

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

MD5SUM BENCH= 485de3b8c7097a1d4a4f931d70c385bb
RANDOM SEED=1120739730

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        17241796 kB
Buffers:          153592 kB
Cached:           288076 kB
SwapCached:          888 kB
Active:         13985028 kB
Inactive:         310380 kB
Active(anon):   13845556 kB
Inactive(anon):    10916 kB
Active(file):     139472 kB
Inactive(file):   299464 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099640 kB
Dirty:             20060 kB
Writeback:             0 kB
AnonPages:      14420632 kB
Mapped:            10732 kB
Shmem:                 0 kB
Slab:             608956 kB
SReclaimable:      52364 kB
SUnreclaim:       556592 kB
KernelStack:        1464 kB
PageTables:        32232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   14566756 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 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= 71692 MiB
End job on node138 at 2016-06-19 01:00:20