Trace number 4110976

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) 1113.55 1113.77

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f10-DCTotalLoss.seq-B-3-1-irabcde.opb
MD5SUM0d68e51d1afa14ff1579f0eb449d00f9
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark192985144751
Best CPU time to get the best result obtained on this benchmark34.1458
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21656
Total number of constraints79163
Number of constraints which are clauses79019
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints144
Minimum length of a constraint1
Maximum length of a constraint37
Number of terms in the objective function 677
Biggest coefficient in the objective function 554751656
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 272383063095
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 554751656
Number of bits of the biggest number in a constraint 30
Biggest sum of numbers in a constraint 272383063095
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-20T05:43:35+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-4110976-1466394214.opb"]
0.00/0.01	c use --random-gen="2435513014 3515110697 2089137704 802131633 2226379843 1243339775 3670735346 1569321087 2270820500 428621851 4157998662 4236255378 3032252832 3803914864 158998977 395848801 225283642 4033528950 3945447879 3098327797 1383848475 3833417276 3056318107 2201483954 3108527533 1879766763 3564964521 366980522 4158260071 2351946808 2507539988 3604958300 428815945 2735412182 1741365017 978258035 2108505482 452101842 1303011878 1625142099 174398986 143142347 1375906992 3847139323 946166739 3315104592 2155496821 1354364772 299952753 2108829411 191619698 1352507651 370318337 913339702 514318535 1692231620 395442636 3516057886 1144395459 2177422789 898871444 826567562 1047028463 2971162385 3708736968 3176734336 3188419753 876457316 1655776781 3364426113 2321810682 3188093551 3284777740 12659279 1624459932 313991861 4151757322 1327921939 4018941935 3213789085 3710624019 3694922442 4210469559 3162668463 1014947877 3498167403 533685740 956604433 3383766772 1992498387 3515393972 2526940547 2059455790 417491660 2384779582 4165810083 2757670008 2910299104 651883557 3770998817 1025757935 2949620870 893375869 4057806099 3701740290 3215117690 3959965778 1120021910 2170483217 3753617051 852622419 817612856 1988076801 4022598659 4141468464 370534374 3398836166 3404214785 460563532 1334362416 1930855317 1902622496 1426452290 1059536614 208911128 1580762033 647348663 1137331662 1257685436 341103253 3099133461 4085512672 3299942294 2000348099 1983440956 4000847625 2865994258 2123177802 1724221278 2507770875 3452062374 3180617294 1179399687 2231055512 290599085 453823623 4171332361 967931126 556457951 2699056900 744633524 458821305 1444462380 222743297 3985210698 3768837243 3779703115 2155969151 2850669584 234124906 970369782 463875189 3895637517 1960380574 1129156226 3315777781 571837136 885800312 1866639088 485613851 2471331306 818725252 3764854228 1566797306 625536885 3119706391 153505385 2351908921 1545158037 2511779312 3287360822 280060567 2308119059 2805490097 588788961 1347669904 2951198732 26931828 1450241894 2553372548 222635094 1525218615 3714927947 1620683232 855418857 1161214780 1013090895 903894498 1114977865 110709138 2348174985 1271676959 2085993209 3055983302 57446206 3319914061 3285147295 4284185072 2052757754 3620109116 2620518817 3388079808 2135107728 1086172837 1066717493 97934546 1266380309 1975840725 3609869403 1238234303 2301530783 2656744774 1421399134 1526269443 1273748798 1388407292 1079252945 2056317882 486454045 1803348058 3823962426 644209928 907010675 2940697599 1544556051 1952284238 3512188663 3090069420 1771252419 2175634055 207350554 4074522452 3851831799 3773090567 412823776 2969290808 506229691 2587948666 3666163909 1072599153 1553525128 3361230275 217636263 662535323 373995688 3053917632 255 362436" option to reproduce the execution
0.39/0.47	c #vars 21656
0.39/0.47	c #constraints 79163
1.19/1.27	c BCD2: Hardening is enabled.
1.19/1.27	c BCD2: BiasedSearch is enabled.
1.19/1.27	c Solving starts ...
1.19/1.27	c ============================[ Search Statistics ]============================
1.19/1.27	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.19/1.27	c       |         |          |          |    Limit     GC | Var      | Constra 
1.19/1.27	c =============================================================================
1.19/1.27	c  0.0s |       0 |        0 |        0 |    24726      0 |     7876 |        0
1.28/1.37	c  0.1s |       1 |      335 |      100 |    24726      0 |     7876 |    12858
1.48/1.50	c  0.2s |       1 |      888 |      124 |    27199      0 |     7876 |    12858
1.48/1.50	c #cpu_time = 0.221s
1.48/1.50	c #wall_clock_time = 0.221s
1.48/1.50	c #decision = 888
1.48/1.50	c #random_decision = 0
1.48/1.50	c #conflict = 124
1.48/1.50	c #restart = 1
1.48/1.50	o 244088854479
1.48/1.51	c BCD2: updating upper bound: 272383063095 -> 244088854478

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-4110976-1466394214/watcher-4110976-1466394214 -o /tmp/evaluation-result-4110976-1466394214/solver-4110976-1466394214 -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-4110976-1466394214.opb 

pid=13468
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.04 2.01 2.00 3/179 13471
/proc/meminfo: memFree=30778608/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=673212 CPUtime=0 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 2497 0 0 0 0 0 0 0 20 0 4 0 41468182 689369088 3370 33554432000 4194304 16246674 140734457258784 140734457258208 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13471/statm: 168815 3380 441 2943 0 165709 0
[pid=13471/tid=13472] ppid=13468 vsize=689596 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 706146304 3435 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=694716 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 711389184 3454 33554432000 4194304 16246674 140734457258784 140233567874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=698812 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41468182 715583488 3473 33554432000 4194304 16246674 140734457258784 140233557400752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100225 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13471
/proc/meminfo: memFree=30778608/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 25732 0 0 0 6 3 0 0 20 0 4 0 41468182 1250496512 26542 33554432000 4194304 16246674 140734457258784 140734457258096 4220990 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13471/statm: 305297 26542 798 2943 0 302191 0
[pid=13471/tid=13472] ppid=13468 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 1250496512 26542 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 1250496512 26542 33554432000 4194304 16246674 140734457258784 140233567874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 1250496512 26542 33554432000 4194304 16246674 140734457258784 140233557400752 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) 1221188

[startup+0.200519 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13471
/proc/meminfo: memFree=30778608/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 47897 0 0 0 13 6 0 0 20 0 4 0 41468182 1343819776 49218 33554432000 4194304 16246674 140734457258784 140734457258096 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13471/statm: 328081 49224 798 2943 0 324975 0
[pid=13471/tid=13472] ppid=13468 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 1343819776 49228 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 1343819776 49232 33554432000 4194304 16246674 140734457258784 140233567874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 1343819776 49237 33554432000 4194304 16246674 140734457258784 140233557400752 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) 1312324

[startup+0.300483 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13471
/proc/meminfo: memFree=30778608/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 53401 0 0 0 22 7 0 0 20 0 4 0 41468182 1344868352 54722 33554432000 4194304 16246674 140734457258784 140734457258096 7372845 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13471/statm: 328337 54722 799 2943 0 325231 0
[pid=13471/tid=13472] ppid=13468 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 1344868352 54722 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 1344868352 54722 33554432000 4194304 16246674 140734457258784 140233567874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 1344868352 54722 33554432000 4194304 16246674 140734457258784 140233557400752 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.70041 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 13471
/proc/meminfo: memFree=30778608/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 71796 0 0 0 59 10 0 0 20 0 4 0 41468182 1344868352 73117 33554432000 4194304 16246674 140734457258784 140734457258096 5589602 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13471/statm: 328337 73125 838 2943 0 325231 0
[pid=13471/tid=13472] ppid=13468 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 1344868352 73130 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 1344868352 73135 33554432000 4194304 16246674 140734457258784 140233567874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 1344868352 73140 33554432000 4194304 16246674 140734457258784 140233557400752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50036 s]
/proc/loadavg: 2.04 2.01 2.00 4/183 13475
/proc/meminfo: memFree=30269596/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=1324612 CPUtime=1.48 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 126513 0 0 0 129 19 0 0 20 0 4 0 41468182 1356402688 127834 33554432000 4194304 16246674 140734457258784 140734457241776 13943729 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 331153 127834 889 2943 0 328047 0
[pid=13471/tid=13472] ppid=13468 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 1356402688 127834 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 1356402688 127834 33554432000 4194304 16246674 140734457258784 140233567874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=1324612 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 1356402688 127834 33554432000 4194304 16246674 140734457258784 140233557400752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1324612

[startup+3.10035 s]
/proc/loadavg: 2.20 2.05 2.01 3/183 13475
/proc/meminfo: memFree=29686796/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=1345092 CPUtime=3.08 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 276940 0 0 0 268 40 0 0 20 0 4 0 41468182 1377374208 278261 33554432000 4194304 16246674 140734457258784 140734457240704 12654556 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 336273 278261 899 2943 0 333167 0
[pid=13471/tid=13472] ppid=13468 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 1377374208 278261 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 1377374208 278261 33554432000 4194304 16246674 140734457258784 140233567874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 1377374208 278261 33554432000 4194304 16246674 140734457258784 140233557400752 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) 1345092

[startup+6.30036 s]
/proc/loadavg: 2.20 2.05 2.01 3/183 13475
/proc/meminfo: memFree=29666340/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=1345092 CPUtime=6.29 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 276957 0 0 0 588 41 0 0 20 0 4 0 41468182 1377374208 278278 33554432000 4194304 16246674 140734457258784 140734457240704 12371230 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 336273 278278 899 2943 0 333167 0
[pid=13471/tid=13472] ppid=13468 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 1377374208 278278 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 1377374208 278278 33554432000 4194304 16246674 140734457258784 140233567874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 1377374208 278278 33554432000 4194304 16246674 140734457258784 140233557400752 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) 1345092

[startup+12.7004 s]
/proc/loadavg: 2.16 2.04 2.01 4/183 13475
/proc/meminfo: memFree=29667168/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=1345092 CPUtime=12.69 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 276957 0 0 0 1228 41 0 0 20 0 4 0 41468182 1377374208 278278 33554432000 4194304 16246674 140734457258784 140734457258000 12413997 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 336273 278278 899 2943 0 333167 0
[pid=13471/tid=13472] ppid=13468 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 1377374208 278278 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 1377374208 278278 33554432000 4194304 16246674 140734457258784 140233567874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=1345092 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 1377374208 278278 33554432000 4194304 16246674 140734457258784 140233557400752 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) 1345092

[startup+25.5004 s]
/proc/loadavg: 2.14 2.04 2.01 3/183 13475
/proc/meminfo: memFree=28731032/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=1861188 CPUtime=25.48 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 405983 0 0 0 2489 59 0 0 20 0 4 0 41468182 1905856512 407304 33554432000 4194304 16246674 140734457258784 140734457256640 4220921 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 465297 407304 900 2943 0 462191 0
[pid=13471/tid=13472] ppid=13468 vsize=1861188 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 1905856512 407304 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=1861188 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 1905856512 407304 33554432000 4194304 16246674 140734457258784 140233567874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=1861188 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 1905856512 407304 33554432000 4194304 16246674 140734457258784 140233557400752 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) 1861188

[startup+51.1004 s]
/proc/loadavg: 2.17 2.05 2.01 3/183 13475
/proc/meminfo: memFree=26217772/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=2829892 CPUtime=51.07 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 648159 0 0 0 5014 93 0 0 20 0 4 0 41468182 2897809408 649480 33554432000 4194304 16246674 140734457258784 140734457256640 4225343 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 707473 649480 900 2943 0 704367 0
[pid=13471/tid=13472] ppid=13468 vsize=2829892 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 2897809408 649480 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=2829892 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 2897809408 649480 33554432000 4194304 16246674 140734457258784 140233567874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=2829892 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 2897809408 649480 33554432000 4194304 16246674 140734457258784 140233557400752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 2829892

[startup+102.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/183 13477
/proc/meminfo: memFree=22272240/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=4216388 CPUtime=102.27 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 994783 0 0 0 10079 148 0 0 20 0 4 0 41468182 4317581312 996104 33554432000 4194304 16246674 140734457258784 140734457256576 4220990 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13471/statm: 1054097 996104 900 2943 0 1050991 0
[pid=13471/tid=13472] ppid=13468 vsize=4216388 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 4317581312 996104 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=4216388 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 4317581312 996104 33554432000 4194304 16246674 140734457258784 140233567874064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=4216388 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 4317581312 996104 33554432000 4194304 16246674 140734457258784 140233557400752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 4216388


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


[startup+702.3 s]
/proc/loadavg: 2.10 2.11 2.04 3/182 13540
/proc/meminfo: memFree=15404276/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=13952580 CPUtime=702.15 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 4460263 0 0 0 69187 1028 0 0 20 0 4 0 41468182 14287441920 3430160 33554432000 4194304 16246674 140734457258784 140734457256704 14013920 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13471/statm: 3488145 3430160 904 2943 0 3485039 0
[pid=13471/tid=13472] ppid=13468 vsize=13952580 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 14287441920 3430160 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=13952580 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 14287441920 3430160 33554432000 4194304 16246674 140734457258784 140233567874064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=13952580 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 14287441920 3430160 33554432000 4194304 16246674 140734457258784 140233557400752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 702.15
Current children cumulated vsize (KiB) 13952580

[startup+762.3 s]
/proc/loadavg: 2.00 2.08 2.03 3/183 13542
/proc/meminfo: memFree=13560804/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=14118468 CPUtime=762.14 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 4501735 0 0 0 75178 1036 0 0 20 0 4 0 41468182 14457311232 3471632 33554432000 4194304 16246674 140734457258784 140734457257960 4225128 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13471/statm: 3529617 3471632 904 2943 0 3526511 0
[pid=13471/tid=13472] ppid=13468 vsize=14118468 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 14457311232 3471632 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=14118468 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 14457311232 3471632 33554432000 4194304 16246674 140734457258784 140233567874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=14118468 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 14457311232 3471632 33554432000 4194304 16246674 140734457258784 140233557400752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 762.14
Current children cumulated vsize (KiB) 14118468

[startup+822.3 s]
/proc/loadavg: 2.07 2.07 2.03 3/183 13543
/proc/meminfo: memFree=11324736/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=14118468 CPUtime=822.13 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 4501735 0 0 0 81172 1041 0 0 20 0 4 0 41468182 14457311232 3471632 33554432000 4194304 16246674 140734457258784 140734457256640 14003281 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13471/statm: 3529617 3471632 904 2943 0 3526511 0
[pid=13471/tid=13472] ppid=13468 vsize=14118468 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 14457311232 3471632 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=14118468 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 14457311232 3471632 33554432000 4194304 16246674 140734457258784 140233567874064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=14118468 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 14457311232 3471632 33554432000 4194304 16246674 140734457258784 140233557400752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 14118468

[startup+882.307 s]
/proc/loadavg: 2.08 2.07 2.03 3/183 13544
/proc/meminfo: memFree=10074872/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=14516804 CPUtime=882.12 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 4547154 0 0 0 87120 1092 0 0 20 0 4 0 41468182 14865207296 3571217 33554432000 4194304 16246674 140734457258784 140734457257960 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13471/statm: 3629201 3571217 904 2943 0 3626095 0
[pid=13471/tid=13472] ppid=13468 vsize=14516804 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 14865207296 3571217 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=14516804 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 14865207296 3571217 33554432000 4194304 16246674 140734457258784 140233567874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=14516804 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 14865207296 3571217 33554432000 4194304 16246674 140734457258784 140233557400752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 14516804

[startup+942.3 s]
/proc/loadavg: 2.07 2.07 2.03 3/183 13545
/proc/meminfo: memFree=7859644/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=14516804 CPUtime=942.11 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 4547154 0 0 0 93103 1108 0 0 20 0 4 0 41468182 14865207296 3571217 33554432000 4194304 16246674 140734457258784 140734457256704 14014083 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13471/statm: 3629201 3571217 904 2943 0 3626095 0
[pid=13471/tid=13472] ppid=13468 vsize=14516804 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 14865207296 3571217 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=14516804 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 14865207296 3571217 33554432000 4194304 16246674 140734457258784 140233567874064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=14516804 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 14865207296 3571217 33554432000 4194304 16246674 140734457258784 140233557400752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 942.11
Current children cumulated vsize (KiB) 14516804

[startup+1002.3 s]
/proc/loadavg: 2.12 2.09 2.03 4/184 13550
/proc/meminfo: memFree=6516408/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=14516804 CPUtime=1002.1 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 4547154 0 0 0 99097 1113 0 0 20 0 4 0 41468182 14865207296 3571217 33554432000 4194304 16246674 140734457258784 140734457256704 14016751 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13471/statm: 3629201 3571217 904 2943 0 3626095 0
[pid=13471/tid=13472] ppid=13468 vsize=14516804 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 14865207296 3571217 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=14516804 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 14865207296 3571217 33554432000 4194304 16246674 140734457258784 140233567874064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=14516804 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 14865207296 3571217 33554432000 4194304 16246674 140734457258784 140233557400752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 14516804

[startup+1062.3 s]
/proc/loadavg: 2.04 2.07 2.03 3/184 13574
/proc/meminfo: memFree=6110668/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=15657540 CPUtime=1062.09 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 4774084 0 0 0 105048 1161 0 0 20 0 4 0 41468182 16033320960 3856401 33554432000 4194304 16246674 140734457258784 140734457257880 4220543 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13471/statm: 3914385 3856401 904 2943 0 3911279 0
[pid=13471/tid=13472] ppid=13468 vsize=15657540 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 16033320960 3856401 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=15657540 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 16033320960 3856401 33554432000 4194304 16246674 140734457258784 140233567874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=15657540 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 16033320960 3856401 33554432000 4194304 16246674 140734457258784 140233557400752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 15657540



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1112.9 s]
/proc/loadavg: 2.12 2.09 2.03 3/183 13575
/proc/meminfo: memFree=4042680/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=15884868 CPUtime=1112.68 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) R 13468 13471 12018 0 -1 4202496 4830837 0 0 0 110091 1177 0 0 20 0 4 0 41468182 16266104832 3913154 33554432000 4194304 16246674 140734457258784 140734457257880 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13471/statm: 3971217 3913162 904 2943 0 3968111 0
[pid=13471/tid=13472] ppid=13468 vsize=15884868 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13472/stat : 13472 (toysat) S 13468 13471 12018 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41468182 16266104832 3913168 33554432000 4194304 16246674 140734457258784 140233653857520 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=15884868 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) S 13468 13471 12018 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 41468182 16266104832 3913173 33554432000 4194304 16246674 140734457258784 140233567874288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13471/tid=13474] ppid=13468 vsize=15884868 CPUtime=0 cores=0,2,4,6
/proc/13471/task/13474/stat : 13474 (toysat) S 13468 13471 12018 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41468182 16266104832 3913179 33554432000 4194304 16246674 140734457258784 140233557400752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1112.68
Current children cumulated vsize (KiB) 15884868

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

[startup+1113.2 s]
/proc/loadavg: 2.12 2.09 2.03 3/181 13575
/proc/meminfo: memFree=8969648/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=0 CPUtime=1112.98 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) Z 13468 13471 12018 0 -1 4203532 4831310 0 0 0 110091 1207 0 0 20 0 2 0 41468182 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13471/statm: 0 0 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=0 CPUtime=0.29 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) R 13468 13471 12018 0 -1 4203588 7 0 0 0 0 29 0 0 20 0 2 0 41468182 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) 1112.98
Current children cumulated vsize (KiB) 0

[startup+1113.6 s]
/proc/loadavg: 2.12 2.09 2.03 3/181 13575
/proc/meminfo: memFree=8969648/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=0 CPUtime=1113.38 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) Z 13468 13471 12018 0 -1 4203532 4831310 0 0 0 110091 1247 0 0 20 0 2 0 41468182 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13471/statm: 0 0 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) R 13468 13471 12018 0 -1 4203588 7 0 0 0 0 68 0 0 20 0 2 0 41468182 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1113.38
Current children cumulated vsize (KiB) 0

[startup+1113.7 s]
/proc/loadavg: 2.12 2.09 2.03 3/181 13575
/proc/meminfo: memFree=8969648/32872528 swapFree=338416/354768
[pid=13471] ppid=13468 vsize=0 CPUtime=1113.48 cores=0,2,4,6
/proc/13471/stat : 13471 (toysat) Z 13468 13471 12018 0 -1 4203532 4831310 0 0 0 110091 1257 0 0 20 0 2 0 41468182 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/13471/statm: 0 0 0 0 0 0 0
[pid=13471/tid=13473] ppid=13468 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/13471/task/13473/stat : 13473 (toysat) R 13468 13471 12018 0 -1 4203588 7 0 0 0 0 78 0 0 20 0 2 0 41468182 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1113.48
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1113.77
CPU time (s): 1113.55
CPU user time (s): 1100.92
CPU system time (s): 12.6381
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 15884868

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1100.92
system time used= 12.6381
maximum resident set size= 15654508
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4831310
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= 383
involuntary context switches= 1546

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.87356 second user time and 4.22636 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-20 05:43:34
IDJOB=4110976
IDBENCH=108643
IDSOLVER=2542
FILE ID=node126/4110976-1466394214
RUNJOBID= node126-1466383825-12034
PBS_JOBID= 19923255
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f10-DCTotalLoss.seq-B-3-1-irabcde.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4110976-1466394214/watcher-4110976-1466394214 -o /tmp/evaluation-result-4110976-1466394214/solver-4110976-1466394214 -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-4110976-1466394214.opb

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

MD5SUM BENCH= 0d68e51d1afa14ff1579f0eb449d00f9
RANDOM SEED=27811420

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:        30778872 kB
Buffers:           60408 kB
Cached:            91196 kB
SwapCached:         1820 kB
Active:           927992 kB
Inactive:          76304 kB
Active(anon):     853496 kB
Inactive(anon):     1508 kB
Active(file):      74496 kB
Inactive(file):    74796 kB
Unevictable:      354768 kB
Mlocked:          338416 kB
SwapTotal:      67108856 kB
SwapFree:       67099100 kB
Dirty:             18924 kB
Writeback:             0 kB
AnonPages:       1208976 kB
Mapped:            10828 kB
Shmem:                 0 kB
Slab:             600584 kB
SReclaimable:      44492 kB
SUnreclaim:       556092 kB
KernelStack:        1464 kB
PageTables:         6984 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1608368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 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= 71704 MiB
End job on node126 at 2016-06-20 06:02:08