Trace number 4111080

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) 1003.04 1003.2

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f44-DC_ESS.seq-B-2-1-irabcde.opb
MD5SUM199b76dd0a9466fa8aca264abe3937df
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark28729626282
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables7320
Total number of constraints20837
Number of constraints which are clauses20693
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 526
Biggest coefficient in the objective function 346719785
Number of bits for the biggest coefficient in the objective function 29
Sum of the numbers in the objective function 118924886254
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 346719785
Number of bits of the biggest number in a constraint 29
Biggest sum of numbers in a constraint 118924886254
Number of bits of the biggest sum of numbers37
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-20T06:31:25+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-4111080-1466397085.opb"]
0.00/0.01	c use --random-gen="3352000461 399279608 1644985771 1467351421 3535576752 3981795414 576086347 3998403111 1488533938 308200024 9366245 3629273810 3656047336 1150934616 1238257168 2512500784 2707662179 1111668022 711909822 390221520 1822985855 1070911346 810934789 3368042990 1916222915 1777594437 616835755 648862320 3105873486 3232465533 408140366 3397326088 3412151959 207947209 1907890786 1786489642 542454812 1226445876 2221846276 2082172900 2370035127 3095112339 1950758165 2275616793 1864516005 929209776 1942237250 4106676803 3013950823 3474717327 2058969138 2628610746 1327199803 1942231145 1009865212 2354290719 366429679 3729108962 847676791 76852560 648921531 1896955089 801728849 73469340 3293540727 278385959 1931969688 2664380203 3033031685 2919205896 1728965049 68623988 4147106257 2063388033 3010391993 2348586264 1935016161 1727172729 3752052803 529137828 2339571011 3569553991 247516947 962268460 9602767 1675779955 1793364601 3002811380 3534651853 3091113202 1920205465 3067393511 1061457844 3629587123 2062982465 1185959582 3227982484 294441382 318195310 2775651924 3444948707 3895360200 2560839488 86000693 1958310465 897249927 1673083179 1265632229 2681103110 2542936443 4172048975 829243679 800481953 1102963986 3936126310 1758290355 3343743108 2745772391 502682157 1498287423 3424986244 212326893 2062469154 3213533572 648679999 2529960911 864436910 4285960985 87882636 1317000782 885654149 3763590701 1344722224 2963193328 2152410093 2996892737 1763790464 853851608 1593532750 736483592 3733556762 3041936707 614471861 296560706 3368803519 2368009370 487690573 2979118734 3909916580 3067749798 1360397623 2429079927 4099502196 2286387456 2316619933 3178858060 1193824587 3041360430 1197158588 324437106 2671317021 3849803531 3222679636 1211140163 3482240552 940511879 1997425969 1383293696 2547346756 2705367145 1965260272 2538249637 3958016194 133408182 405700005 798008798 1855301100 3878537413 2029154586 2951996830 432733894 366538880 67954484 1853504841 14320961 141971564 75601130 2352269117 2020137272 1684224813 4246414652 1043323968 1781438863 928037101 1824508032 1240709014 463084002 1116666931 4203442775 2095812649 3090058389 1743438198 3309918561 104489297 3025882264 3338045325 1167470055 952899435 274128756 3475461978 2508154870 4149466966 1764693595 111635408 3150486917 2399046357 1260154198 3802907133 3838866855 3574633000 3192527285 587435416 3550578643 3846490906 4227197072 1892240094 3171716249 1966869000 1978473768 3878425 4118051299 1733837597 120206890 662419056 4267928817 2733934840 2928627976 1193990887 553581793 2355702303 1358728429 388470857 2859624622 3576262116 3405411393 2080048310 4149161870 1499635998 644362596 3018060332 1234035132 2536975841 1852377515 1331441584 1298827052 3992640062 255 362436" option to reproduce the execution
0.09/0.16	c #vars 7320
0.09/0.16	c #constraints 20837
0.39/0.42	c BCD2: Hardening is enabled.
0.39/0.42	c BCD2: BiasedSearch is enabled.
0.39/0.42	c Solving starts ...
0.39/0.42	c ============================[ Search Statistics ]============================
0.39/0.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.39/0.42	c       |         |          |          |    Limit     GC | Var      | Constra 
0.39/0.42	c =============================================================================
0.39/0.46	c  0.0s |       0 |        0 |        0 |     8878      0 |      433 |        0
0.39/0.49	c  0.0s |       0 |      688 |       17 |     8878      0 |      433 |      222
0.39/0.49	c #cpu_time = 0.028s
0.39/0.49	c #wall_clock_time = 0.028s
0.39/0.49	c #decision = 688
0.39/0.49	c #random_decision = 1
0.39/0.49	c #conflict = 17
0.39/0.49	c #restart = 0
0.39/0.49	o 74542879614
0.49/0.50	c BCD2: updating upper bound: 118924886254 -> 74542879613

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

pid=3650
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.18 2.21 2.18 3/179 3653
/proc/meminfo: memFree=22746396/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=478652 CPUtime=0 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 1744 0 0 0 0 0 0 0 20 0 4 0 41755024 490139648 2104 33554432000 4194304 16246674 140734657434560 140734657433984 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3653/statm: 120175 2112 441 2943 0 117069 0
[pid=3653/tid=3654] ppid=3650 vsize=496060 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 507965440 2172 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=500156 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 512159744 2188 33554432000 4194304 16246674 140734657434560 139910705028336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=504252 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41755024 516354048 2205 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100125 s]
/proc/loadavg: 2.18 2.21 2.18 3/179 3653
/proc/meminfo: memFree=22746396/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=1221188 CPUtime=0.09 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 25071 0 0 0 5 4 0 0 20 0 4 0 41755024 1250496512 25369 33554432000 4194304 16246674 140734657434560 140734657433872 4220897 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3653/statm: 305297 25369 799 2943 0 302191 0
[pid=3653/tid=3654] ppid=3650 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 1250496512 25369 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 1250496512 25369 33554432000 4194304 16246674 140734657434560 139910705028336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 1250496512 25369 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200475 s]
/proc/loadavg: 2.18 2.21 2.18 3/179 3653
/proc/meminfo: memFree=22746396/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 45385 0 0 0 12 7 0 0 20 0 4 0 41755024 1333334016 45683 33554432000 4194304 16246674 140734657434560 140734657433872 13789059 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3653/statm: 325521 45683 832 2943 0 322415 0
[pid=3653/tid=3654] ppid=3650 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 1333334016 45683 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 1333334016 45683 33554432000 4194304 16246674 140734657434560 139910705028336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 1333334016 45683 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300463 s]
/proc/loadavg: 2.18 2.21 2.18 3/179 3653
/proc/meminfo: memFree=22746396/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 57176 0 0 0 19 10 0 0 20 0 4 0 41755024 1333334016 57475 33554432000 4194304 16246674 140734657434560 140734657433872 6926817 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3653/statm: 325521 57482 832 2943 0 322415 0
[pid=3653/tid=3654] ppid=3650 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 1333334016 57487 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 1333334016 57493 33554432000 4194304 16246674 140734657434560 139910705028336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 1333334016 57498 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700351 s]
/proc/loadavg: 2.18 2.21 2.18 3/179 3653
/proc/meminfo: memFree=22746396/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 97856 0 0 0 54 15 0 0 20 0 4 0 41755024 1345916928 98154 33554432000 4194304 16246674 140734657434560 140734657416448 12429797 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3653/statm: 328593 98156 898 2943 0 325487 0
[pid=3653/tid=3654] ppid=3650 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 1345916928 98161 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 1345916928 98165 33554432000 4194304 16246674 140734657434560 139910705028336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 1345916928 98169 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.18 2.21 2.18 3/183 3657
/proc/meminfo: memFree=21964084/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=1349188 CPUtime=1.49 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 278245 0 0 0 108 41 0 0 20 0 4 0 41755024 1381568512 278543 33554432000 4194304 16246674 140734657434560 140734657433224 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 337297 278547 899 2943 0 334191 0
[pid=3653/tid=3654] ppid=3650 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 1381568512 278550 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 1381568512 278552 33554432000 4194304 16246674 140734657434560 139910705028336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=1349188 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 1381568512 278555 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1349188

[startup+3.10035 s]
/proc/loadavg: 2.18 2.21 2.18 3/183 3657
/proc/meminfo: memFree=21596424/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=1386052 CPUtime=3.09 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 287524 0 0 0 267 42 0 0 20 0 4 0 41755024 1419317248 287822 33554432000 4194304 16246674 140734657434560 140734657416448 12656036 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 346513 287822 899 2943 0 343407 0
[pid=3653/tid=3654] ppid=3650 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 1419317248 287822 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 1419317248 287822 33554432000 4194304 16246674 140734657434560 139910705028336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 1419317248 287822 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1386052

[startup+6.30041 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 3657
/proc/meminfo: memFree=21594332/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=1386052 CPUtime=6.29 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 287712 0 0 0 587 42 0 0 20 0 4 0 41755024 1419317248 288010 33554432000 4194304 16246674 140734657434560 140734657432336 4220897 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 346513 288010 899 2943 0 343407 0
[pid=3653/tid=3654] ppid=3650 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 1419317248 288010 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 1419317248 288010 33554432000 4194304 16246674 140734657434560 139910705028112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 1419317248 288010 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1386052

[startup+12.7004 s]
/proc/loadavg: 2.23 2.22 2.18 4/183 3657
/proc/meminfo: memFree=21402296/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=1487428 CPUtime=12.68 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 313056 0 0 0 1223 45 0 0 20 0 4 0 41755024 1523126272 313354 33554432000 4194304 16246674 140734657434560 140734657432448 13883741 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 371857 313354 899 2943 0 368751 0
[pid=3653/tid=3654] ppid=3650 vsize=1487428 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 1523126272 313354 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=1487428 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 1523126272 313354 33554432000 4194304 16246674 140734657434560 139910705028336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=1487428 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 1523126272 313354 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1487428

[startup+25.5005 s]
/proc/loadavg: 2.26 2.22 2.18 3/183 3657
/proc/meminfo: memFree=19504248/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=2118212 CPUtime=25.48 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 470752 0 0 0 2481 67 0 0 20 0 4 0 41755024 2169049088 471050 33554432000 4194304 16246674 140734657434560 140734657433736 4225157 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 529553 471050 899 2943 0 526447 0
[pid=3653/tid=3654] ppid=3650 vsize=2118212 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 2169049088 471050 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=2118212 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 2169049088 471050 33554432000 4194304 16246674 140734657434560 139910705028336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=2118212 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 2169049088 471050 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2118212

[startup+51.1005 s]
/proc/loadavg: 2.25 2.22 2.18 3/183 3657
/proc/meminfo: memFree=18470188/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=2797124 CPUtime=51.08 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 640482 0 0 0 5018 90 0 0 20 0 4 0 41755024 2864254976 640780 33554432000 4194304 16246674 140734657434560 140734657416448 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 699281 640780 900 2943 0 696175 0
[pid=3653/tid=3654] ppid=3650 vsize=2797124 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 2864254976 640780 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=2797124 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 2864254976 640780 33554432000 4194304 16246674 140734657434560 139910705028336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=2797124 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 2864254976 640780 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2797124

[startup+102.301 s]
/proc/loadavg: 2.33 2.24 2.19 4/183 3658
/proc/meminfo: memFree=15579236/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=4446788 CPUtime=102.28 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 1076962 0 0 0 10074 154 0 0 20 0 4 0 41755024 4553510912 1053196 33554432000 4194304 16246674 140734657434560 140734657433776 12371101 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 1111697 1053196 900 2943 0 1108591 0
[pid=3653/tid=3654] ppid=3650 vsize=4446788 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 4553510912 1053196 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=4446788 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 4553510912 1053196 33554432000 4194304 16246674 140734657434560 139910705028336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=4446788 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 4553510912 1053196 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4446788


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


[startup+642.3 s]
/proc/loadavg: 2.17 2.19 2.18 4/183 3672
/proc/meminfo: memFree=2051584/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=14072388 CPUtime=642.18 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 4842219 0 0 0 63498 720 0 0 20 0 4 0 41755024 14410125312 3459605 33554432000 4194304 16246674 140734657434560 140734657432512 14016657 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 3518097 3459605 904 2943 0 3514991 0
[pid=3653/tid=3654] ppid=3650 vsize=14072388 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 14410125312 3459605 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=14072388 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 14410125312 3459605 33554432000 4194304 16246674 140734657434560 139910705028112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=14072388 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 14410125312 3459605 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 642.18
Current children cumulated vsize (KiB) 14072388

[startup+702.3 s]
/proc/loadavg: 2.12 2.17 2.17 3/183 3673
/proc/meminfo: memFree=1343664/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=14072388 CPUtime=702.18 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 4842219 0 0 0 69493 725 0 0 20 0 4 0 41755024 14410125312 3459605 33554432000 4194304 16246674 140734657434560 140734657432512 13899658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 3518097 3459605 904 2943 0 3514991 0
[pid=3653/tid=3654] ppid=3650 vsize=14072388 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 14410125312 3459605 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=14072388 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 14410125312 3459605 33554432000 4194304 16246674 140734657434560 139910705028112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=14072388 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 14410125312 3459605 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 14072388

[startup+762.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 3674
/proc/meminfo: memFree=1130656/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=14284356 CPUtime=762.17 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 4842494 0 0 0 75485 732 0 0 20 0 4 0 41755024 14627180544 3512513 33554432000 4194304 16246674 140734657434560 140734657433656 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 3571089 3512513 904 2943 0 3567983 0
[pid=3653/tid=3654] ppid=3650 vsize=14284356 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 14627180544 3512513 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=14284356 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 14627180544 3512513 33554432000 4194304 16246674 140734657434560 139910705028336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=14284356 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 14627180544 3512513 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 14284356

[startup+822.3 s]
/proc/loadavg: 2.27 2.21 2.18 4/183 3723
/proc/meminfo: memFree=14677468/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=14290500 CPUtime=822.16 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 4844114 0 0 0 81480 736 0 0 20 0 4 0 41755024 14633472000 3514133 33554432000 4194304 16246674 140734657434560 140734657433656 4220480 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 3572625 3514133 904 2943 0 3569519 0
[pid=3653/tid=3654] ppid=3650 vsize=14290500 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 14633472000 3514133 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=14290500 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 14633472000 3514133 33554432000 4194304 16246674 140734657434560 139910705028336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=14290500 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 14633472000 3514133 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 14290500

[startup+882.307 s]
/proc/loadavg: 2.29 2.23 2.19 3/183 3725
/proc/meminfo: memFree=12735272/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=15141444 CPUtime=882.16 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 5000640 0 0 0 87448 768 0 0 20 0 4 0 41755024 15504838656 3726869 33554432000 4194304 16246674 140734657434560 140734657432512 14003388 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 3785361 3726869 904 2943 0 3782255 0
[pid=3653/tid=3654] ppid=3650 vsize=15141444 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 15504838656 3726869 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=15141444 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 15504838656 3726869 33554432000 4194304 16246674 140734657434560 139910705028112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=15141444 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 15504838656 3726869 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 15141444

[startup+942.3 s]
/proc/loadavg: 2.30 2.23 2.19 3/183 3726
/proc/meminfo: memFree=11626424/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=15602244 CPUtime=942.14 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 5057586 0 0 0 93429 785 0 0 20 0 4 0 41755024 15976697856 3842069 33554432000 4194304 16246674 140734657434560 140734657432256 4225343 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 3900561 3842069 904 2943 0 3897455 0
[pid=3653/tid=3654] ppid=3650 vsize=15602244 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 15976697856 3842069 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=15602244 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 15976697856 3842069 33554432000 4194304 16246674 140734657434560 139910705028112 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=15602244 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 15976697856 3842069 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 15602244

[startup+1002.3 s]
/proc/loadavg: 2.39 2.26 2.20 4/183 3727
/proc/meminfo: memFree=10513632/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=15831620 CPUtime=1002.13 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 5114921 0 0 0 99414 799 0 0 20 0 4 0 41755024 16211578880 3899405 33554432000 4194304 16246674 140734657434560 140734657433736 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 3957905 3899411 904 2943 0 3954799 0
[pid=3653/tid=3654] ppid=3650 vsize=15832644 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 16212627456 3899418 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=15832644 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 16212627456 3899422 33554432000 4194304 16246674 140734657434560 139910705028336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=15832644 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 16212627456 3899427 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 15831620



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1002.4 s]
/proc/loadavg: 2.39 2.26 2.20 4/183 3727
/proc/meminfo: memFree=10513632/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=15872580 CPUtime=1002.23 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) R 3650 3653 1977 0 -1 4202496 5125112 0 0 0 99422 801 0 0 20 0 4 0 41755024 16253521920 3909595 33554432000 4194304 16246674 140734657434560 140734657433736 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 3968145 3909601 904 2943 0 3965039 0
[pid=3653/tid=3654] ppid=3650 vsize=15872580 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) S 3650 3653 1977 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 41755024 16253521920 3909607 33554432000 4194304 16246674 140734657434560 139910715518192 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=3653/tid=3655] ppid=3650 vsize=15872580 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3655/stat : 3655 (toysat) S 3650 3653 1977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41755024 16253521920 3909613 33554432000 4194304 16246674 140734657434560 139910705028336 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=3653/tid=3656] ppid=3650 vsize=15872580 CPUtime=0 cores=0,2,4,6
/proc/3653/task/3656/stat : 3656 (toysat) S 3650 3653 1977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41755024 16253521920 3909618 33554432000 4194304 16246674 140734657434560 139910694554800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 15872580

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

[startup+1002.8 s]
/proc/loadavg: 2.39 2.26 2.20 4/183 3727
/proc/meminfo: memFree=10513632/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=0 CPUtime=1002.63 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) Z 3650 3653 1977 0 -1 4203532 5125577 0 0 0 99423 840 0 0 20 0 2 0 41755024 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 0 0 0 0 0 0 0
[pid=3653/tid=3654] ppid=3650 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) R 3650 3653 1977 0 -1 4203588 9 0 0 0 0 38 0 0 20 0 2 0 41755024 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) 1002.63
Current children cumulated vsize (KiB) 0

[startup+1003 s]
/proc/loadavg: 2.39 2.26 2.20 4/183 3727
/proc/meminfo: memFree=10513632/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=0 CPUtime=1002.83 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) Z 3650 3653 1977 0 -1 4203532 5125577 0 0 0 99423 860 0 0 20 0 2 0 41755024 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 0 0 0 0 0 0 0
[pid=3653/tid=3654] ppid=3650 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) R 3650 3653 1977 0 -1 4203588 9 0 0 0 0 58 0 0 20 0 2 0 41755024 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) 1002.83
Current children cumulated vsize (KiB) 0

[startup+1003.1 s]
/proc/loadavg: 2.39 2.26 2.20 4/183 3727
/proc/meminfo: memFree=10513632/32872528 swapFree=1370848/1518016
[pid=3653] ppid=3650 vsize=0 CPUtime=1002.93 cores=0,2,4,6
/proc/3653/stat : 3653 (toysat) Z 3650 3653 1977 0 -1 4203532 5125577 0 0 0 99423 870 0 0 20 0 2 0 41755024 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/3653/statm: 0 0 0 0 0 0 0
[pid=3653/tid=3654] ppid=3650 vsize=0 CPUtime=0.68 cores=0,2,4,6
/proc/3653/task/3654/stat : 3654 (toysat) R 3650 3653 1977 0 -1 4203588 9 0 0 0 0 68 0 0 20 0 2 0 41755024 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) 1002.93
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1003.2
CPU time (s): 1003.04
CPU user time (s): 994.233
CPU system time (s): 8.80366
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 15872580

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 994.233
system time used= 8.80366
maximum resident set size= 15640240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5125577
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= 399
involuntary context switches= 1422

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.10392 second user time and 7.2099 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-20 06:31:25
IDJOB=4111080
IDBENCH=108773
IDSOLVER=2542
FILE ID=node129/4111080-1466397085
RUNJOBID= node129-1466385731-1993
PBS_JOBID= 19923266
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-f44-DC_ESS.seq-B-2-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-4111080-1466397085/watcher-4111080-1466397085 -o /tmp/evaluation-result-4111080-1466397085/solver-4111080-1466397085 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1466385731-1993 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4111080-1466397085.opb

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

MD5SUM BENCH= 199b76dd0a9466fa8aca264abe3937df
RANDOM SEED=1617923575

node129.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.143
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.28
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.143
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.143
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.143
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.143
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.143
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.54
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.143
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.143
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        22746776 kB
Buffers:            7676 kB
Cached:            72192 kB
SwapCached:        54456 kB
Active:          7792776 kB
Inactive:          73524 kB
Active(anon):    7733752 kB
Inactive(anon):    55192 kB
Active(file):      59024 kB
Inactive(file):    18332 kB
Unevictable:     1518016 kB
Mlocked:         1370848 kB
SwapTotal:      67108856 kB
SwapFree:       67046400 kB
Dirty:             16712 kB
Writeback:             0 kB
AnonPages:       9251156 kB
Mapped:            10328 kB
Shmem:                 0 kB
Slab:             593620 kB
SReclaimable:      37852 kB
SUnreclaim:       555768 kB
KernelStack:        1480 kB
PageTables:        22716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    9397440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    147456 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 node129 at 2016-06-20 06:48:09