Trace number 4119065

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.1 1800.41

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-BIGINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-55.lin.opb
MD5SUM33f5309e3d20bc334ae9aa0d95f0cee9
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-56529
Best CPU time to get the best result obtained on this benchmark1800.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40402
Total number of constraints80694
Number of constraints which are clauses40347
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints40347
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 40402
Biggest coefficient in the objective function 10142
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 4450356
Number of bits of the sum of numbers in the objective function 23
Biggest number in a constraint 10142
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 4450356
Number of bits of the biggest sum of numbers23
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-30T00:56:05+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-4119065-1467240965.opb"]
0.00/0.01	c use --random-gen="1058759214 1720159418 1615986702 4126903092 3386864947 1711355668 2114424734 1198948873 2238118693 4098983637 2718200451 302439663 2022016651 4135355161 3168721241 3308637036 3267291922 918926877 2970297789 1751685494 532141959 2050219506 971727078 3178536337 3986939977 2122886587 4000665118 2860301410 705044122 3501012016 3331201696 3802438251 3795582155 2519700615 657972661 3327756128 1555776108 2280624860 2737782148 2978179797 4120049405 3654021413 3596178824 129349291 675790496 3778249529 797468697 3833783524 390302937 1475971906 3700904723 2629720155 574064016 2110530993 2662241028 503144389 3858707780 2997538233 2185125971 1654614978 4109565189 3962758670 917577242 2691409409 3576015643 3427607823 779037922 2553688038 4260870484 1665719525 4198212015 1466031552 2573110363 3159446804 1447326976 1520640021 1687488407 3399337359 2810079666 3619176563 1122898938 2531280940 3944727297 3112526409 2813927197 322903870 3087184364 780077555 1313571653 3402369977 4033906263 849691301 2410641281 4065944657 1483146144 444106819 2497156928 2824163177 2453554934 538833315 3134717224 2944548235 2162182925 3897490387 2257637758 381368160 3051995730 665263650 1610192885 3771305057 1548219196 376267095 1108534984 1974820684 2403809801 2920947391 3526406018 293702115 1747939553 2646235234 3084333607 1693293240 4048064512 3539083203 1969885983 406547180 3149972184 1292412627 2740981501 4038195335 214386047 158443259 2518004840 1951229118 1049688549 1374985573 2537193826 3203926201 1788394382 4228666840 3039453063 933244397 2269522878 2413089023 208487618 2654511139 2809055766 2438213433 3861074474 1002927576 1809808768 1185786268 1468610395 1228446673 2042951229 3774934368 3505338378 1382113937 2774957930 1875495460 29342876 4278693042 162365921 1424712197 1015635054 1374145751 2997278320 2795736783 1418586125 750342161 3756846802 3589941537 1209194651 3809970833 571417144 2509059108 3254509553 2608219955 1434154226 1565496323 263409955 2262427045 1712704741 2359807299 2906312820 664729053 3644775077 971630849 3058284960 689204820 1459580022 2612303884 3939925033 898074336 110217730 682166725 884838918 1822446236 197231041 3048754540 3796931310 2490616640 1308943472 1571539126 3587089426 1803520311 1999347781 897867983 3207074097 83279671 1697587706 2405221468 2120501072 3140105669 71252289 919622417 1009100969 1239853917 2926457526 2290386911 950641303 4201719285 2412964307 972633547 994615280 2342288875 4019957763 2357893669 2590546234 1403674034 1937955545 399267629 1650751559 3463472803 2273016675 143290702 3113045751 3323098808 2956785611 1865803760 2026022768 2793867868 1245448591 4241849399 1975989379 3828973377 3099509498 4062377452 4225774887 27152140 1961305420 3507122501 2691102784 1597113956 1909689759 3639288424 255 362436" option to reproduce the execution
0.78/0.82	c #vars 40402
0.78/0.82	c #constraints 80694
2.49/2.51	c BCD2: Hardening is enabled.
2.49/2.51	c BCD2: BiasedSearch is enabled.
2.49/2.51	c Solving starts ...
2.49/2.51	c ============================[ Search Statistics ]============================
2.49/2.51	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.49/2.51	c       |         |          |          |    Limit     GC | Var      | Constra 
2.49/2.51	c =============================================================================
2.49/2.51	c  0.0s |       0 |        0 |        0 |    40365      0 |        0 |        0
2.69/2.73	c  0.2s |       0 |       54 |        0 |    40365      0 |        0 |        0
2.69/2.73	c #cpu_time = 0.177s
2.69/2.73	c #wall_clock_time = 0.178s
2.69/2.73	c #decision = 54
2.69/2.73	c #random_decision = 0
2.69/2.73	c #conflict = 0
2.69/2.73	c #restart = 0
2.69/2.73	o 0

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

pid=5125
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.37 2.26 2.19 3/179 5128
/proc/meminfo: memFree=27485572/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=404924 CPUtime=0 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 1454 0 0 0 0 0 0 0 20 0 4 0 3124102 414642176 1814 33554432000 4194304 16246674 140735505191952 140735505191376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 101743 1825 441 2943 0 98637 0
[pid=5128/tid=5129] ppid=5125 vsize=421308 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 431419392 1879 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=425404 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 435613696 1897 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=430524 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3124102 440856576 1916 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 2.37 2.26 2.19 3/179 5128
/proc/meminfo: memFree=27485572/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1300036 CPUtime=0.08 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 28093 0 0 0 5 3 0 0 20 0 4 0 3124102 1331236864 28391 33554432000 4194304 16246674 140735505191952 140735505191264 8058197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 325009 28408 799 2943 0 321903 0
[pid=5128/tid=5129] ppid=5125 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1331236864 28419 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1331236864 28429 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1300036 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1331236864 28436 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1300036

[startup+0.20054 s]
/proc/loadavg: 2.37 2.26 2.19 3/179 5128
/proc/meminfo: memFree=27485572/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 49568 0 0 0 13 6 0 0 20 0 4 0 3124102 1343819776 50377 33554432000 4194304 16246674 140735505191952 140735505191264 7375712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 328081 50377 800 2943 0 324975 0
[pid=5128/tid=5129] ppid=5125 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1343819776 50377 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1343819776 50377 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1343819776 50384 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300492 s]
/proc/loadavg: 2.37 2.26 2.19 3/179 5128
/proc/meminfo: memFree=27485572/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 67318 0 0 0 21 8 0 0 20 0 4 0 3124102 1343819776 68127 33554432000 4194304 16246674 140735505191952 140735505191264 4206886 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 328081 68127 800 2943 0 324975 0
[pid=5128/tid=5129] ppid=5125 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1343819776 68127 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1343819776 68127 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1343819776 68127 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700433 s]
/proc/loadavg: 2.37 2.26 2.19 3/179 5128
/proc/meminfo: memFree=27485572/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 74401 0 0 0 60 9 0 0 20 0 4 0 3124102 1345916928 75210 33554432000 4194304 16246674 140735505191952 140735505189760 4220543 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 328593 75210 800 2943 0 325487 0
[pid=5128/tid=5129] ppid=5125 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1345916928 75210 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1345916928 75210 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1345916928 75210 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.5004 s]
/proc/loadavg: 2.34 2.25 2.19 3/183 5132
/proc/meminfo: memFree=27114420/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1314372 CPUtime=1.48 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 166716 0 0 0 124 24 0 0 20 0 4 0 3124102 1345916928 167525 33554432000 4194304 16246674 140735505191952 140735505189760 6156109 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 328593 167535 838 2943 0 325487 0
[pid=5128/tid=5129] ppid=5125 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1345916928 167540 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1345916928 167545 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1345916928 167550 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10042 s]
/proc/loadavg: 2.34 2.25 2.19 3/183 5132
/proc/meminfo: memFree=26368188/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=3.09 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285894 0 0 0 268 41 0 0 20 0 4 0 3124102 1414074368 286703 33554432000 4194304 16246674 140735505191952 140735505191264 4226111 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286703 875 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286703 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286703 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286703 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1380932

[startup+6.30036 s]
/proc/loadavg: 2.39 2.27 2.20 3/183 5132
/proc/meminfo: memFree=26339468/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=6.29 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285903 0 0 0 587 42 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140735505173824 12371080 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286712 882 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1380932

[startup+12.7004 s]
/proc/loadavg: 2.36 2.26 2.20 3/183 5132
/proc/meminfo: memFree=26339508/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=12.69 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285903 0 0 0 1227 42 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140735505173824 13965680 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286712 882 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1380932

[startup+25.5005 s]
/proc/loadavg: 2.28 2.25 2.19 3/183 5132
/proc/meminfo: memFree=26340244/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=25.48 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285903 0 0 0 2506 42 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140735505173824 12652957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286712 882 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1380932

[startup+51.1005 s]
/proc/loadavg: 2.25 2.24 2.19 4/183 5132
/proc/meminfo: memFree=26340244/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=51.08 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285903 0 0 0 5066 42 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140735505173824 12656190 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286712 882 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1380932

[startup+102.301 s]
/proc/loadavg: 2.24 2.24 2.19 3/183 5133
/proc/meminfo: memFree=26339932/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=102.28 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285903 0 0 0 10185 43 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140735505173824 12429087 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286712 882 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286712 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1380932


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

/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1380932

[startup+1302.3 s]
/proc/loadavg: 2.32 2.26 2.22 3/183 5234
/proc/meminfo: memFree=24871476/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=1302.09 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285908 0 0 0 130159 50 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140735505173824 12653117 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286969 882 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1380932

[startup+1362.3 s]
/proc/loadavg: 2.38 2.27 2.22 3/183 5236
/proc/meminfo: memFree=24869144/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=1362.08 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285911 0 0 0 136158 50 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140735505173824 12414096 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286969 882 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1380932

[startup+1422.3 s]
/proc/loadavg: 2.43 2.31 2.23 4/183 5237
/proc/meminfo: memFree=24869660/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=1422.07 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285920 0 0 0 142157 50 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140735505173824 12449296 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286969 882 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 1380932

[startup+1482.3 s]
/proc/loadavg: 2.26 2.28 2.23 3/184 5241
/proc/meminfo: memFree=24869212/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=1482.05 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285923 0 0 0 148154 51 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140735505173824 12429087 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286969 882 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1380932

[startup+1542.31 s]
/proc/loadavg: 2.36 2.29 2.23 3/183 5242
/proc/meminfo: memFree=24869096/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=1542.05 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285933 0 0 0 154154 51 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140735505173824 12653043 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286969 882 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 1380932

[startup+1602.3 s]
/proc/loadavg: 2.33 2.30 2.24 3/183 5243
/proc/meminfo: memFree=24868752/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=1602.03 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285934 0 0 0 160152 51 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140735505173824 13950192 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286969 882 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1380932

[startup+1662.3 s]
/proc/loadavg: 2.42 2.32 2.24 3/183 5245
/proc/meminfo: memFree=24869428/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=1662.01 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285943 0 0 0 166150 51 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140735505173824 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286969 882 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1380932

[startup+1722.3 s]
/proc/loadavg: 2.31 2.30 2.24 3/183 5246
/proc/meminfo: memFree=24869024/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=1722 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285951 0 0 0 172149 51 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140735505173824 12449269 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286969 882 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1380932

[startup+1782.3 s]
/proc/loadavg: 2.19 2.27 2.24 3/183 5247
/proc/meminfo: memFree=24868968/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=1781.99 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285951 0 0 0 178148 51 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140735505173824 12654426 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286969 882 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1380932



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.30 2.29 2.24 3/183 5247
/proc/meminfo: memFree=24869092/32872528 swapFree=1553660/1717180
[pid=5128] ppid=5125 vsize=1380932 CPUtime=1800.08 cores=1,3,5,7
/proc/5128/stat : 5128 (toysat) R 5125 5128 1984 0 -1 4202496 285951 0 0 0 179957 51 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140735505173824 12413997 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/5128/statm: 345233 286969 882 2943 0 342127 0
[pid=5128/tid=5129] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5129/stat : 5129 (toysat) S 5125 5128 1984 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040446389488 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=5128/tid=5130] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5130/stat : 5130 (toysat) S 5125 5128 1984 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040361454832 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=5128/tid=5131] ppid=5125 vsize=1380932 CPUtime=0 cores=1,3,5,7
/proc/5128/task/5131/stat : 5131 (toysat) S 5125 5128 1984 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3124102 1414074368 286969 33554432000 4194304 16246674 140735505191952 140040350981296 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1380932

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.58
CPU system time (s): 0.518921
CPU usage (%): 99.9829
Max. virtual memory (cumulated for all children) (KiB): 1380932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.58
system time used= 0.518921
maximum resident set size= 1147876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 285951
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= 62
involuntary context switches= 2334

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.46932 second user time and 7.13392 second system time

The end

Launcher Data 

Begin job on node117 at 2016-06-30 00:56:05
IDJOB=4119065
IDBENCH=111645
IDSOLVER=2542
FILE ID=node117/4119065-1467240965
RUNJOBID= node117-1467210309-2001
PBS_JOBID= 19997597
Free space on /tmp= 71608 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-BIGINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern55-55.lin.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119065-1467240965/watcher-4119065-1467240965 -o /tmp/evaluation-result-4119065-1467240965/solver-4119065-1467240965 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node117-1467210309-2001 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119065-1467240965.opb

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

MD5SUM BENCH= 33f5309e3d20bc334ae9aa0d95f0cee9
RANDOM SEED=76018663

node117.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.714
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.42
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.714
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.714
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.45
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.714
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.714
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.714
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.714
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.714
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:        27486504 kB
Buffers:           73704 kB
Cached:          1739456 kB
SwapCached:            0 kB
Active:          1262628 kB
Inactive:        1689600 kB
Active(anon):    1141488 kB
Inactive(anon):        4 kB
Active(file):     121140 kB
Inactive(file):  1689596 kB
Unevictable:     1717180 kB
Mlocked:         1553660 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             19884 kB
Writeback:             0 kB
AnonPages:       2855948 kB
Mapped:            17320 kB
Shmem:               204 kB
Slab:             581780 kB
SReclaimable:      26188 kB
SUnreclaim:       555592 kB
KernelStack:        1480 kB
PageTables:         9380 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2989884 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1284096 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= 71576 MiB
End job on node117 at 2016-06-30 01:26:05