Trace number 4111092

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? (MO) 1010.88 1011.06

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-irabcde.opb
MD5SUMc3894cd28760ff5d0e81ea4e22af839d
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark8557523278
Best CPU time to get the best result obtained on this benchmark1800.13
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables113873
Total number of constraints380994
Number of constraints which are clauses380846
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints148
Minimum length of a constraint1
Maximum length of a constraint4060
Number of terms in the objective function 795
Biggest coefficient in the objective function 396175840
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 240478734879
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 396175840
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 240478734879
Number of bits of the biggest sum of numbers38
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-20T06:38:27+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-4111092-1466397507.opb"]
0.00/0.01	c use --random-gen="2419386870 3752626492 1175092271 3484974955 3152447608 4180126776 1938511047 505213874 36651373 3300913025 2095309072 1544653861 3461069394 2489846585 735174042 615878709 732241341 2959958041 2454504385 3207699899 1175742791 2052897864 4268284055 153339013 1014622980 1719039295 3831007750 2652143140 469699715 3335911078 3692547171 1636667683 3685534951 2110587090 1552362188 934407836 2453599614 3075589060 3740413776 1791393757 3488941459 921873565 389195923 266692712 871892693 1380958029 3675817090 4273897190 2714883429 3896596754 2384029515 97002152 871142099 3179994695 430559082 2278664767 1676537184 2248729918 1822114626 2529992777 1187693798 3845313825 1624662132 3678323872 407621341 1309325705 599289506 3513323844 184397207 3208622166 3949789662 600336410 4044764332 2688007290 3708967829 3695427759 1603269461 958839058 1778442170 385608557 2675732179 3122099171 319986100 248451759 2230800924 1764774338 75091819 2007758611 3056315320 1415873906 176204930 4007812414 3699194021 3126582062 816637174 2239742865 3975941744 3612146165 439118354 2084400787 3886878362 393041611 310129318 1007966125 3615896919 3898337548 3807934682 1187993445 352208239 2063885624 3273139249 1847919711 339046076 2798113385 596913355 183317619 2783073180 3135662982 3475933120 2270570492 1142110120 619915198 1125951700 488508492 4020188199 3991775269 1208045244 2157158700 2367626977 2936901873 2258554023 1895951297 789824152 3804430164 1096205713 1961799826 2428226354 1872147331 1056198235 1534296895 4021442948 2675079896 2913348229 3279464747 1279587979 595119914 4060331702 2904635175 2196171780 1312388768 4072710016 3524059819 571735685 309260295 3618520507 3964660274 3445548849 2245300593 2156984918 3270560819 3333620952 2326310819 1100678422 536656356 2862817461 2142580284 2097071937 4163082510 3953905810 3676073352 3624723475 3777887271 1566744993 425079534 827405322 2444110422 3975517378 4026536121 4093375442 1065704033 846318840 1756241082 2785762942 1728108128 1787783656 946463205 1929001537 1650815447 3893842917 4244431400 499199305 1447131985 4003551537 2201716254 67312300 1122599593 1709304855 4140227426 3506330842 1532815452 3004275199 2660777447 4229839048 3438133839 2299003388 666378991 929756843 4079978450 244836440 1787773806 1320988327 3674286852 1026166618 3226894332 2525309827 3129134949 655213369 2602610907 1250839149 97394626 3705256037 2024305186 2088753550 500330817 2542879120 2746471614 3230762347 2966407744 1718922324 1658206924 217875725 572490686 714523277 605129733 3583483947 1829048275 990369853 1808392341 2268085864 3109369466 3408720050 3357909224 3834382563 3688848531 2825284797 782867546 4061331144 434695327 1871021439 1088011168 796321295 3457164436 2044887690 1505002101 802036539 3633925132 255 362436" option to reproduce the execution
2.39/2.40	c #vars 113873
2.39/2.40	c #constraints 380994
7.29/7.39	c BCD2: Hardening is enabled.
7.29/7.39	c BCD2: BiasedSearch is enabled.
7.29/7.39	c Solving starts ...
7.29/7.39	c ============================[ Search Statistics ]============================
7.29/7.39	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.29/7.39	c       |         |          |          |    Limit     GC | Var      | Constra 
7.29/7.39	c =============================================================================
7.29/7.39	c  0.0s |       0 |        0 |        0 |   146107      0 |     1014 |        0
7.80/7.89	c  0.5s |       1 |      514 |      100 |   146107      0 |     1014 |     2882
8.49/8.54	c  1.1s |       1 |     1113 |      101 |   160718      0 |     1014 |     2882
8.49/8.54	c #cpu_time = 1.063s
8.49/8.54	c #wall_clock_time = 1.063s
8.49/8.54	c #decision = 1113
8.49/8.54	c #random_decision = 2
8.49/8.54	c #conflict = 101
8.49/8.54	c #restart = 1
8.49/8.54	o 181446449584
8.49/8.56	c BCD2: updating upper bound: 240478734879 -> 181446449583

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13963
/proc/meminfo: memFree=30527772/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=698812 CPUtime=0 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 2606 0 0 0 0 0 0 0 20 0 4 0 41797457 715583488 2966 33554432000 4194304 16246674 140736624461232 140736624460656 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 175471 2974 441 2943 0 172365 0
[pid=13963/tid=13964] ppid=13960 vsize=715332 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 732499968 3032 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=719428 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 736694272 3048 33554432000 4194304 16246674 140736624461232 140105636355312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=724548 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 741937152 3065 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100191 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13963
/proc/meminfo: memFree=30527772/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 25589 0 0 0 5 4 0 0 20 0 4 0 41797457 1333334016 25888 33554432000 4194304 16246674 140736624461232 140736624460544 7375574 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 325521 25902 800 2943 0 322415 0
[pid=13963/tid=13964] ppid=13960 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 1333334016 25913 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 1333334016 25924 33554432000 4194304 16246674 140736624461232 140105636355312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 1333334016 25934 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200571 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13963
/proc/meminfo: memFree=30527772/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 46172 0 0 0 12 7 0 0 20 0 4 0 41797457 1344868352 46981 33554432000 4194304 16246674 140736624461232 140736624443136 8055390 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 328337 46981 801 2943 0 325231 0
[pid=13963/tid=13964] ppid=13960 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 1344868352 46981 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 1344868352 46981 33554432000 4194304 16246674 140736624461232 140105636355312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 1344868352 46981 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300541 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13963
/proc/meminfo: memFree=30527772/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 61874 0 0 0 20 9 0 0 20 0 4 0 41797457 1344868352 62683 33554432000 4194304 16246674 140736624461232 140736624443136 4220489 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 328337 62683 801 2943 0 325231 0
[pid=13963/tid=13964] ppid=13960 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 1344868352 62683 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 1344868352 62683 33554432000 4194304 16246674 140736624461232 140105636355312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 1344868352 62683 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700405 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 13963
/proc/meminfo: memFree=30527772/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=1313348 CPUtime=0.68 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 64300 0 0 0 59 9 0 0 20 0 4 0 41797457 1344868352 65109 33554432000 4194304 16246674 140736624461232 140736624443136 7369700 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 328337 65109 801 2943 0 325231 0
[pid=13963/tid=13964] ppid=13960 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 1344868352 65109 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 1344868352 65109 33554432000 4194304 16246674 140736624461232 140105636355312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 1344868352 65109 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 13967
/proc/meminfo: memFree=30220584/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 81153 0 0 0 137 12 0 0 20 0 4 0 41797457 1344868352 81963 33554432000 4194304 16246674 140736624461232 140736624460408 7377409 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 328337 81980 802 2943 0 325231 0
[pid=13963/tid=13964] ppid=13960 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 1344868352 81994 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 1344868352 82005 33554432000 4194304 16246674 140736624461232 140105636355312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 1344868352 82017 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10041 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 13967
/proc/meminfo: memFree=30022440/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=1351236 CPUtime=3.08 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 202436 0 0 0 280 28 0 0 20 0 4 0 41797457 1383665664 203246 33554432000 4194304 16246674 140736624461232 140736624444224 6156109 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 337809 203253 837 2943 0 334703 0
[pid=13963/tid=13964] ppid=13960 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 1383665664 203258 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 1383665664 203265 33554432000 4194304 16246674 140736624461232 140105636355312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 1383665664 203270 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1351236

[startup+6.30043 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 13967
/proc/meminfo: memFree=29411544/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=1351236 CPUtime=6.29 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 278435 0 0 0 589 40 0 0 20 0 4 0 41797457 1383665664 279244 33554432000 4194304 16246674 140736624461232 140736624443136 5519832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 337809 279244 839 2943 0 334703 0
[pid=13963/tid=13964] ppid=13960 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 1383665664 279244 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 1383665664 279244 33554432000 4194304 16246674 140736624461232 140105636355312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 1383665664 279244 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1351236

[startup+12.7004 s]
/proc/loadavg: 2.09 2.04 2.01 3/183 13967
/proc/meminfo: memFree=29411596/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=1351236 CPUtime=12.69 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 278502 0 0 0 1229 40 0 0 20 0 4 0 41797457 1383665664 279311 33554432000 4194304 16246674 140736624461232 140736624459072 4220543 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 337809 279311 904 2943 0 334703 0
[pid=13963/tid=13964] ppid=13960 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 1383665664 279311 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 1383665664 279311 33554432000 4194304 16246674 140736624461232 140105636355088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 1383665664 279311 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1351236

[startup+25.5005 s]
/proc/loadavg: 2.07 2.03 2.00 3/183 13967
/proc/meminfo: memFree=28628884/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=2125380 CPUtime=25.48 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 472039 0 0 0 2482 66 0 0 20 0 4 0 41797457 2176389120 472848 33554432000 4194304 16246674 140736624461232 140736624459136 4206613 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 531345 472848 904 2943 0 528239 0
[pid=13963/tid=13964] ppid=13960 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 2176389120 472848 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 2176389120 472848 33554432000 4194304 16246674 140736624461232 140105636355088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=2125380 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 2176389120 472848 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2125380

[startup+51.1005 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 13967
/proc/meminfo: memFree=27837860/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=2912836 CPUtime=51.08 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 668903 0 0 0 4974 134 0 0 20 0 4 0 41797457 2982744064 669712 33554432000 4194304 16246674 140736624461232 140736624460328 4208666 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 728209 669712 904 2943 0 725103 0
[pid=13963/tid=13964] ppid=13960 vsize=2912836 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 2982744064 669712 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=2912836 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 2982744064 669712 33554432000 4194304 16246674 140736624461232 140105636355312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=2912836 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 2982744064 669712 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2912836

[startup+102.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 13971
/proc/meminfo: memFree=23039284/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=5124676 CPUtime=102.28 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 1221865 0 0 0 9890 338 0 0 20 0 4 0 41797457 5247668224 1222674 33554432000 4194304 16246674 140736624461232 140736624460544 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 1281169 1222674 904 2943 0 1278063 0
[pid=13963/tid=13964] ppid=13960 vsize=5124676 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 5247668224 1222674 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=5124676 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 5247668224 1222674 33554432000 4194304 16246674 140736624461232 140105636355312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=5124676 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 5247668224 1222674 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 5124676


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


[startup+642.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 14031
/proc/meminfo: memFree=17056352/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=13647428 CPUtime=642.19 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 4150255 0 0 0 62854 1365 0 0 20 0 4 0 41797457 13974966272 3353368 33554432000 4194304 16246674 140736624461232 140736624459072 14014083 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 3411857 3353368 908 2943 0 3408751 0
[pid=13963/tid=13964] ppid=13960 vsize=13647428 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 13974966272 3353368 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=13647428 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 13974966272 3353368 33554432000 4194304 16246674 140736624461232 140105636355088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=13647428 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 13974966272 3353368 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 13647428

[startup+702.301 s]
/proc/loadavg: 2.18 2.07 2.01 3/184 14035
/proc/meminfo: memFree=15337448/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=14239300 CPUtime=702.17 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 4298228 0 0 0 68809 1408 0 0 20 0 4 0 41797457 14581043200 3501592 33554432000 4194304 16246674 140736624461232 140736624459200 14016654 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 3559825 3501592 908 2943 0 3556719 0
[pid=13963/tid=13964] ppid=13960 vsize=14239300 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 14581043200 3501592 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=14239300 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 14581043200 3501592 33554432000 4194304 16246674 140736624461232 140105636355088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=14239300 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 14581043200 3501592 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 702.17
Current children cumulated vsize (KiB) 14239300

[startup+762.301 s]
/proc/loadavg: 2.22 2.09 2.02 3/183 14037
/proc/meminfo: memFree=14359796/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=14239300 CPUtime=762.17 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 4298228 0 0 0 74710 1507 0 0 20 0 4 0 41797457 14581043200 3501592 33554432000 4194304 16246674 140736624461232 140736624459200 13899722 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 3559825 3501592 908 2943 0 3556719 0
[pid=13963/tid=13964] ppid=13960 vsize=14239300 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 14581043200 3501592 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=14239300 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 14581043200 3501592 33554432000 4194304 16246674 140736624461232 140105636355088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=14239300 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 14581043200 3501592 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 14239300

[startup+822.3 s]
/proc/loadavg: 2.08 2.07 2.01 3/183 14038
/proc/meminfo: memFree=12860068/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=14934596 CPUtime=822.16 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 4416248 0 0 0 80644 1572 0 0 20 0 4 0 41797457 15293026304 3675311 33554432000 4194304 16246674 140736624461232 140736624459200 14013616 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 3733649 3675311 908 2943 0 3730543 0
[pid=13963/tid=13964] ppid=13960 vsize=14934596 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 15293026304 3675311 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=14934596 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 15293026304 3675311 33554432000 4194304 16246674 140736624461232 140105636355088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=14934596 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 15293026304 3675311 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 14934596

[startup+882.307 s]
/proc/loadavg: 2.03 2.05 2.00 3/183 14039
/proc/meminfo: memFree=11978712/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=14934596 CPUtime=882.15 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 4416354 0 0 0 86557 1658 0 0 20 0 4 0 41797457 15293026304 3675417 33554432000 4194304 16246674 140736624461232 140736624460328 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 3733649 3675417 908 2943 0 3730543 0
[pid=13963/tid=13964] ppid=13960 vsize=14934596 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 15293026304 3675417 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=14934596 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 15293026304 3675417 33554432000 4194304 16246674 140736624461232 140105636355312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=14934596 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 15293026304 3675417 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 14934596

[startup+942.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/183 14040
/proc/meminfo: memFree=12607176/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=15749700 CPUtime=942.14 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 4561365 0 0 0 92495 1719 0 0 20 0 4 0 41797457 16127692800 3879193 33554432000 4194304 16246674 140736624461232 140736624459200 14014083 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 3937425 3879193 908 2943 0 3934319 0
[pid=13963/tid=13964] ppid=13960 vsize=15749700 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 16127692800 3879193 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=15749700 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 16127692800 3879193 33554432000 4194304 16246674 140736624461232 140105636355088 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=15749700 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 16127692800 3879193 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 15749700

[startup+1002.3 s]
/proc/loadavg: 2.08 2.06 2.00 3/183 14041
/proc/meminfo: memFree=11087212/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=15749700 CPUtime=1002.13 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 4561365 0 0 0 98408 1805 0 0 20 0 4 0 41797457 16127692800 3879193 33554432000 4194304 16246674 140736624461232 140736624460328 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 3937425 3879193 908 2943 0 3934319 0
[pid=13963/tid=13964] ppid=13960 vsize=15749700 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 16127692800 3879193 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=15749700 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 16127692800 3879193 33554432000 4194304 16246674 140736624461232 140105636355312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=15749700 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 16127692800 3879193 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 15749700



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1010.2 s]
/proc/loadavg: 2.07 2.06 2.00 4/183 14041
/proc/meminfo: memFree=9793384/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=15877700 CPUtime=1010.02 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) R 13960 13963 12018 0 -1 4202496 4593161 0 0 0 99153 1849 0 0 20 0 4 0 41797457 16258764800 3910989 33554432000 4194304 16246674 140736624461232 140736624460328 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 3969425 3910996 908 2943 0 3966319 0
[pid=13963/tid=13964] ppid=13960 vsize=15877700 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) S 13960 13963 12018 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41797457 16258764800 3911001 33554432000 4194304 16246674 140736624461232 140105646845168 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13963/tid=13965] ppid=13960 vsize=15877700 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13965/stat : 13965 (toysat) S 13960 13963 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41797457 16258764800 3911008 33554432000 4194304 16246674 140736624461232 140105636355312 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13963/tid=13966] ppid=13960 vsize=15877700 CPUtime=0 cores=0,2,4,6
/proc/13963/task/13966/stat : 13966 (toysat) S 13960 13963 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41797457 16258764800 3911014 33554432000 4194304 16246674 140736624461232 140105524178096 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1010.02
Current children cumulated vsize (KiB) 15877700

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

[startup+1010.4 s]
/proc/loadavg: 2.07 2.06 2.00 4/183 14041
/proc/meminfo: memFree=9793384/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=0 CPUtime=1010.22 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) Z 13960 13963 12018 0 -1 4203532 4593621 0 0 0 99153 1869 0 0 20 0 2 0 41797457 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 0 0 0 0 0 0 0
[pid=13963/tid=13964] ppid=13960 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) R 13960 13963 12018 0 -1 4203588 10 0 0 0 0 18 0 0 20 0 2 0 41797457 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1010.22
Current children cumulated vsize (KiB) 0

[startup+1010.8 s]
/proc/loadavg: 2.07 2.06 2.00 4/183 14041
/proc/meminfo: memFree=9793384/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=0 CPUtime=1010.62 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) Z 13960 13963 12018 0 -1 4203532 4593621 0 0 0 99153 1909 0 0 20 0 2 0 41797457 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 0 0 0 0 0 0 0
[pid=13963/tid=13964] ppid=13960 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) R 13960 13963 12018 0 -1 4203588 10 0 0 0 0 58 0 0 20 0 2 0 41797457 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1010.62
Current children cumulated vsize (KiB) 0

[startup+1011.01 s]
/proc/loadavg: 2.07 2.06 2.00 3/181 14041
/proc/meminfo: memFree=22296880/32872528 swapFree=338416/354768
[pid=13963] ppid=13960 vsize=0 CPUtime=1010.82 cores=0,2,4,6
/proc/13963/stat : 13963 (toysat) Z 13960 13963 12018 0 -1 4203532 4593621 0 0 0 99153 1929 0 0 20 0 2 0 41797457 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13963/statm: 0 0 0 0 0 0 0
[pid=13963/tid=13964] ppid=13960 vsize=0 CPUtime=0.79 cores=0,2,4,6
/proc/13963/task/13964/stat : 13964 (toysat) R 13960 13963 12018 0 -1 4203588 10 0 0 0 0 79 0 0 20 0 2 0 41797457 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1010.82
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1011.06
CPU time (s): 1010.88
CPU user time (s): 991.537
CPU system time (s): 19.3461
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 15877700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 991.537
system time used= 19.3461
maximum resident set size= 15645796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4593621
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= 251
involuntary context switches= 1105

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.595 second user time and 9.10661 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-20 06:38:27
IDJOB=4111092
IDBENCH=108793
IDSOLVER=2542
FILE ID=node126/4111092-1466397507
RUNJOBID= node126-1466383825-12034
PBS_JOBID= 19923255
Free space on /tmp= 71712 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f58-fob_fxl_loss.seq-B-3-combined-irabcde.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4111092-1466397507/watcher-4111092-1466397507 -o /tmp/evaluation-result-4111092-1466397507/solver-4111092-1466397507 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1466383825-12034 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4111092-1466397507.opb

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

MD5SUM BENCH= c3894cd28760ff5d0e81ea4e22af839d
RANDOM SEED=504810316

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.121
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.24
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.121
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.121
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.121
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.121
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.121
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.121
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.121
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:        30528564 kB
Buffers:           62516 kB
Cached:           104536 kB
SwapCached:         1820 kB
Active:          1172536 kB
Inactive:          81136 kB
Active(anon):    1087412 kB
Inactive(anon):     1508 kB
Active(file):      85124 kB
Inactive(file):    79628 kB
Unevictable:      354768 kB
Mlocked:          338416 kB
SwapTotal:      67108856 kB
SwapFree:       67099100 kB
Dirty:             46980 kB
Writeback:             0 kB
AnonPages:       1540848 kB
Mapped:            10764 kB
Shmem:                 0 kB
Slab:             601472 kB
SReclaimable:      45348 kB
SUnreclaim:       556124 kB
KernelStack:        1504 kB
PageTables:         7028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1594032 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    118784 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71696 MiB
End job on node126 at 2016-06-20 06:55:18