Trace number 4111024

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) 1006.12 1006.28

General information on the benchmark

Namenormalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/
normalized-single-obj-f51-DC_side2.seq-B-2-1-irabcde.opb
MD5SUM7c91eca793b0e6d30d7e23337e606fde
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark22532399645
Best CPU time to get the best result obtained on this benchmark35.9455
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables6625
Total number of constraints19248
Number of constraints which are clauses19112
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint1
Maximum length of a constraint35
Number of terms in the objective function 517
Biggest coefficient in the objective function 262609375
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 90337624999
Number of bits of the sum of numbers in the objective function 37
Biggest number in a constraint 262609375
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 90337624999
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:05:41+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-4111024-1466395541.opb"]
0.00/0.01	c use --random-gen="2246387823 246975323 3283115491 2366143362 982199793 3013760475 245536702 2171895408 2796453173 3876081323 1086724795 2482378350 3962512003 1693077478 461542892 1945427514 843107865 1095836943 3841935304 1492129686 331434646 257320162 990394094 2095617729 3685551275 1742059760 3950137381 3461371816 350292921 2266841329 2528046106 1189316340 3924118643 1078623838 3626912763 4243327841 643472828 2394331502 2242817338 2586026457 1372618172 258279330 3223142075 1436422110 2100622918 2848254749 3617315733 3625028617 976334478 1273384760 2299236493 91284051 1186078349 3484773292 1947371370 1062203384 1810502503 1517343405 4132320452 1656600377 2994317731 545444163 3691522401 1141848960 3632174162 569789927 40770226 2838283449 1334861702 1256322919 2773302299 3925915721 3890852809 1679641853 1156558806 2915159733 1337846550 2230688338 3203700911 1861139486 357076276 81567439 3857093129 476604880 1967782821 1575230473 132881769 3431242841 3499711506 3417623413 2285220556 1051945117 2611660417 477066522 3740297090 2415210870 1321417709 1903547407 280351624 3821390476 2859881564 2145703679 1214035907 2603672401 3939239999 3842231138 1489096582 413099807 167118475 4256395665 771203892 2835782757 3190150171 153337218 2818684181 462228383 2056364631 487933591 3998581034 3346719897 977681454 1963344617 2454435210 3873922338 38576801 1172192967 2840911759 859905919 2599029699 735471167 3049108013 2251924622 1739848759 210321648 2933843800 3469592558 2774913126 3788469653 801735816 3129462162 126686816 4092059309 1070946195 1964890237 3208109135 3205344389 2187694529 2899998023 1833542881 1749648172 3831927078 33435431 3263874476 3725265107 3230661025 405193812 3792590624 1625279188 3028483833 1962541502 2775254309 228245104 3775679252 1535528969 3354026487 3683004978 1034279178 52574225 3437615523 4162947799 1020577018 1277155433 139094618 3962237535 3270111355 95624421 1319130404 3761010793 628589916 1990187475 3601591684 3858846887 3978082735 2071855690 1760094035 3532248265 2076102239 3415859302 2251547929 609968912 1715032223 1885348366 1357162998 3478518837 3547032782 1093557218 923726967 3619297985 1295338684 1177995908 1262387610 2531494363 181955824 1112364652 2847003403 1496812791 3395824119 2069403298 4265724758 1756988627 1046574659 331736946 503234474 2003181482 2090311441 1805119505 782115613 3565767369 3377528812 4148363146 989144558 2438099844 863670298 3638828665 3509973018 1075540407 1146777802 1657628850 916496619 3603423728 1721664087 2835927870 536191144 2246648277 4160053430 3116380023 172247238 4215987278 506634634 3812512857 2582372051 1474511241 1517771156 2138549056 2982017524 1009153107 786983394 3805087463 2004568815 3180642193 2969818353 1325772490 3516984063 1689637859 3703661939 1715362785 255 362436" option to reproduce the execution
0.09/0.15	c #vars 6625
0.09/0.15	c #constraints 19248
0.29/0.34	c BCD2: Hardening is enabled.
0.29/0.34	c BCD2: BiasedSearch is enabled.
0.29/0.34	c Solving starts ...
0.29/0.34	c ============================[ Search Statistics ]============================
0.29/0.34	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.29/0.34	c       |         |          |          |    Limit     GC | Var      | Constra 
0.29/0.34	c =============================================================================
0.29/0.35	c  0.0s |       0 |        0 |        0 |     7969      0 |      670 |        0
0.29/0.38	c  0.0s |       0 |      332 |        7 |     7969      0 |      670 |      558
0.29/0.38	c #cpu_time = 0.032s
0.29/0.38	c #wall_clock_time = 0.032s
0.29/0.38	c #decision = 332
0.29/0.38	c #random_decision = 0
0.29/0.38	c #conflict = 7
0.29/0.38	c #restart = 0
0.29/0.38	o 68802155625
0.29/0.39	c BCD2: updating upper bound: 90337624999 -> 68802155624

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

pid=20607
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.09 2.04 2.00 3/179 20610
/proc/meminfo: memFree=28577184/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=757180 CPUtime=0 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 2834 0 0 0 0 0 0 0 20 0 4 0 41598964 775352320 2683 33554432000 4194304 16246674 140736373289168 140736373288592 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 190063 2693 441 2943 0 186957 0
[pid=20610/tid=20611] ppid=20607 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 793178112 2749 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=778684 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 797372416 2766 33554432000 4194304 16246674 140736373289168 139996177603824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 41598964 801566720 2783 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100142 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 20610
/proc/meminfo: memFree=28577184/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=1220164 CPUtime=0.09 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 28211 0 0 0 5 4 0 0 20 0 4 0 41598964 1249447936 27998 33554432000 4194304 16246674 140736373289168 140736373288384 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 305297 28003 800 2943 0 302191 0
[pid=20610/tid=20611] ppid=20607 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 1250496512 28007 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 1250496512 28011 33554432000 4194304 16246674 140736373289168 139996177603824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 1250496512 28016 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1220164

[startup+0.200517 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 20610
/proc/meminfo: memFree=28577184/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=1302084 CPUtime=0.19 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 48518 0 0 0 13 6 0 0 20 0 4 0 41598964 1333334016 48305 33554432000 4194304 16246674 140736373289168 140736373288384 12479322 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 325521 48305 836 2943 0 322415 0
[pid=20610/tid=20611] ppid=20607 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 1333334016 48305 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 1333334016 48305 33554432000 4194304 16246674 140736373289168 139996177603824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 1333334016 48305 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1302084

[startup+0.300484 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 20610
/proc/meminfo: memFree=28577184/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=1302084 CPUtime=0.29 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 59513 0 0 0 22 7 0 0 20 0 4 0 41598964 1333334016 59300 33554432000 4194304 16246674 140736373289168 140736373288384 6165910 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 325521 59308 838 2943 0 322415 0
[pid=20610/tid=20611] ppid=20607 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 1333334016 59314 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 1333334016 59320 33554432000 4194304 16246674 140736373289168 139996177603824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 1333334016 59325 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700406 s]
/proc/loadavg: 2.09 2.04 2.00 3/179 20610
/proc/meminfo: memFree=28577184/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=1302084 CPUtime=0.69 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 158163 0 0 0 48 21 0 0 20 0 4 0 41598964 1333334016 157950 33554432000 4194304 16246674 140736373289168 140736373288384 12429797 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 325521 157956 898 2943 0 322415 0
[pid=20610/tid=20611] ppid=20607 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 1333334016 157959 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 1333334016 157962 33554432000 4194304 16246674 140736373289168 139996177603824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 1333334016 157966 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1302084

[startup+1.50037 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 20614
/proc/meminfo: memFree=27528748/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=1366596 CPUtime=1.49 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 282585 0 0 0 113 36 0 0 20 0 4 0 41598964 1399394304 282372 33554432000 4194304 16246674 140736373289168 140736373288480 12371179 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 341649 282372 899 2943 0 338543 0
[pid=20610/tid=20611] ppid=20607 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 1399394304 282372 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 1399394304 282372 33554432000 4194304 16246674 140736373289168 139996177603824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 1399394304 282372 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1366596

[startup+3.1004 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 20614
/proc/meminfo: memFree=27447288/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=1366596 CPUtime=3.09 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 282850 0 0 0 273 36 0 0 20 0 4 0 41598964 1399394304 282637 33554432000 4194304 16246674 140736373289168 140736373286976 4220871 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 341649 282637 899 2943 0 338543 0
[pid=20610/tid=20611] ppid=20607 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 1399394304 282637 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 1399394304 282637 33554432000 4194304 16246674 140736373289168 139996177603824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 1399394304 282637 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1366596

[startup+6.30041 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 20614
/proc/meminfo: memFree=27447292/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=1366596 CPUtime=6.29 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 282850 0 0 0 593 36 0 0 20 0 4 0 41598964 1399394304 282637 33554432000 4194304 16246674 140736373289168 140736373271040 4225120 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 341649 282637 899 2943 0 338543 0
[pid=20610/tid=20611] ppid=20607 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 1399394304 282637 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 1399394304 282637 33554432000 4194304 16246674 140736373289168 139996177603824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 1399394304 282637 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1366596

[startup+12.7004 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 20614
/proc/meminfo: memFree=27135816/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=1366596 CPUtime=12.69 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 282850 0 0 0 1233 36 0 0 20 0 4 0 41598964 1399394304 282637 33554432000 4194304 16246674 140736373289168 140736373287040 12654590 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 341649 282637 899 2943 0 338543 0
[pid=20610/tid=20611] ppid=20607 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 1399394304 282637 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 1399394304 282637 33554432000 4194304 16246674 140736373289168 139996177603824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=1366596 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 1399394304 282637 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1366596

[startup+25.5005 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 20614
/proc/meminfo: memFree=26635432/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=1761860 CPUtime=25.48 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 431841 0 0 0 2490 58 0 0 20 0 4 0 41598964 1804144640 381452 33554432000 4194304 16246674 140736373289168 140736373286976 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 440721 381463 899 2943 0 437615 0
[pid=20610/tid=20611] ppid=20607 vsize=1762884 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 1805193216 381467 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=1762884 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 1805193216 381470 33554432000 4194304 16246674 140736373289168 139996177603600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=1762884 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 1805193216 381477 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1761860

[startup+51.1005 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 20614
/proc/meminfo: memFree=25552980/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=2885188 CPUtime=51.08 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 712676 0 0 0 5010 98 0 0 20 0 4 0 41598964 2954432512 662287 33554432000 4194304 16246674 140736373289168 140736373288264 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 721297 662287 900 2943 0 718191 0
[pid=20610/tid=20611] ppid=20607 vsize=2885188 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 2954432512 662287 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=2885188 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 2954432512 662287 33554432000 4194304 16246674 140736373289168 139996177603824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=2885188 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 2954432512 662287 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2885188

[startup+102.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 20615
/proc/meminfo: memFree=23835292/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=4514372 CPUtime=102.28 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 1119972 0 0 0 10072 156 0 0 20 0 4 0 41598964 4622716928 1069583 33554432000 4194304 16246674 140736373289168 140736373288344 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 1128593 1069583 900 2943 0 1125487 0
[pid=20610/tid=20611] ppid=20607 vsize=4514372 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 4622716928 1069583 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=4514372 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 4622716928 1069583 33554432000 4194304 16246674 140736373289168 139996177603824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=4514372 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 4622716928 1069583 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 4514372


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


[startup+642.3 s]
/proc/loadavg: 1.98 2.01 1.99 3/183 20629
/proc/meminfo: memFree=12701220/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=13032004 CPUtime=642.19 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 4298732 0 0 0 63579 640 0 0 20 0 4 0 41598964 13344772096 3198999 33554432000 4194304 16246674 140736373289168 140736373286976 4206688 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 3258001 3198999 904 2943 0 3254895 0
[pid=20610/tid=20611] ppid=20607 vsize=13032004 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 13344772096 3198999 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=13032004 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 13344772096 3198999 33554432000 4194304 16246674 140736373289168 139996177603600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=13032004 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 13344772096 3198999 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 642.19
Current children cumulated vsize (KiB) 13032004

[startup+702.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 20630
/proc/meminfo: memFree=11856196/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=14036548 CPUtime=702.18 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 4549868 0 0 0 69543 675 0 0 20 0 4 0 41598964 14373425152 3450135 33554432000 4194304 16246674 140736373289168 140736373287040 4206928 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 3509137 3450135 904 2943 0 3506031 0
[pid=20610/tid=20611] ppid=20607 vsize=14036548 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 14373425152 3450135 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=14036548 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 14373425152 3450135 33554432000 4194304 16246674 140736373289168 139996177603600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=14036548 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 14373425152 3450135 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 14036548

[startup+762.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 20631
/proc/meminfo: memFree=12288460/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=14178884 CPUtime=762.17 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 4585452 0 0 0 75533 684 0 0 20 0 4 0 41598964 14519177216 3485719 33554432000 4194304 16246674 140736373289168 140736373287040 13899629 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 3544721 3485719 904 2943 0 3541615 0
[pid=20610/tid=20611] ppid=20607 vsize=14178884 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 14519177216 3485719 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=14178884 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 14519177216 3485719 33554432000 4194304 16246674 140736373289168 139996177603600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=14178884 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 14519177216 3485719 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 14178884

[startup+822.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/182 20632
/proc/meminfo: memFree=11641884/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=14178884 CPUtime=822.16 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 4585452 0 0 0 81530 686 0 0 20 0 4 0 41598964 14519177216 3485719 33554432000 4194304 16246674 140736373289168 140736373287104 14016704 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 3544721 3485719 904 2943 0 3541615 0
[pid=20610/tid=20611] ppid=20607 vsize=14178884 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 14519177216 3485719 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=14178884 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 14519177216 3485719 33554432000 4194304 16246674 140736373289168 139996177603600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=14178884 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 14519177216 3485719 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 14178884

[startup+882.307 s]
/proc/loadavg: 2.02 2.02 2.00 3/184 20637
/proc/meminfo: memFree=11416236/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=14680644 CPUtime=882.16 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 4656215 0 0 0 87508 708 0 0 20 0 4 0 41598964 15032979456 3611159 33554432000 4194304 16246674 140736373289168 140736373287040 13899629 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 3670161 3611159 904 2943 0 3667055 0
[pid=20610/tid=20611] ppid=20607 vsize=14680644 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 15032979456 3611159 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=14680644 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 15032979456 3611159 33554432000 4194304 16246674 140736373289168 139996177603600 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=14680644 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 15032979456 3611159 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 14680644

[startup+942.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 20638
/proc/meminfo: memFree=9437324/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=14680644 CPUtime=942.13 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 4656215 0 0 0 93502 711 0 0 20 0 4 0 41598964 15032979456 3611159 33554432000 4194304 16246674 140736373289168 140736373288264 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 3670161 3611159 904 2943 0 3667055 0
[pid=20610/tid=20611] ppid=20607 vsize=14680644 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 15032979456 3611159 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=14680644 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 15032979456 3611159 33554432000 4194304 16246674 140736373289168 139996177603824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=14680644 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 15032979456 3611159 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 14680644

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20639
/proc/meminfo: memFree=9846220/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=14680644 CPUtime=1002.13 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 4656215 0 0 0 99498 715 0 0 20 0 4 0 41598964 15032979456 3611159 33554432000 4194304 16246674 140736373289168 140736373288264 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 3670161 3611159 904 2943 0 3667055 0
[pid=20610/tid=20611] ppid=20607 vsize=14680644 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 15032979456 3611159 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=14680644 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 15032979456 3611159 33554432000 4194304 16246674 140736373289168 139996177603824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=14680644 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 15032979456 3611159 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 14680644



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1005.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20639
/proc/meminfo: memFree=7914256/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=15883844 CPUtime=1005.23 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) R 20607 20610 17450 0 -1 4202496 4897993 0 0 0 99766 757 0 0 20 0 4 0 41598964 16265056256 3911702 33554432000 4194304 16246674 140736373289168 140736373288264 13885184 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 3970961 3911702 904 2943 0 3967855 0
[pid=20610/tid=20611] ppid=20607 vsize=15883844 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) S 20607 20610 17450 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 41598964 16265056256 3911702 33554432000 4194304 16246674 140736373289168 139996188093680 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20610/tid=20612] ppid=20607 vsize=15883844 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20612/stat : 20612 (toysat) S 20607 20610 17450 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 41598964 16265056256 3911702 33554432000 4194304 16246674 140736373289168 139996177603824 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=20610/tid=20613] ppid=20607 vsize=15883844 CPUtime=0 cores=0,2,4,6
/proc/20610/task/20613/stat : 20613 (toysat) S 20607 20610 17450 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 41598964 16265056256 3911702 33554432000 4194304 16246674 140736373289168 139996167130288 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1005.23
Current children cumulated vsize (KiB) 15883844

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

[startup+1005.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20639
/proc/meminfo: memFree=7914256/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=0 CPUtime=1005.43 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) Z 20607 20610 17450 0 -1 4203532 4897993 0 0 0 99767 776 0 0 20 0 2 0 41598964 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 0 0 0 0 0 0 0
[pid=20610/tid=20611] ppid=20607 vsize=0 CPUtime=0.17 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) R 20607 20610 17450 0 -1 4203588 10 0 0 0 0 17 0 0 20 0 2 0 41598964 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1005.43
Current children cumulated vsize (KiB) 0

[startup+1006 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20639
/proc/meminfo: memFree=7914256/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=0 CPUtime=1005.83 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) Z 20607 20610 17450 0 -1 4203532 4897993 0 0 0 99767 816 0 0 20 0 2 0 41598964 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 0 0 0 0 0 0 0
[pid=20610/tid=20611] ppid=20607 vsize=0 CPUtime=0.57 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) R 20607 20610 17450 0 -1 4203588 10 0 0 0 0 57 0 0 20 0 2 0 41598964 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1005.83
Current children cumulated vsize (KiB) 0

[startup+1006.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 20639
/proc/meminfo: memFree=7914256/32872528 swapFree=8292/8292
[pid=20610] ppid=20607 vsize=0 CPUtime=1006.03 cores=0,2,4,6
/proc/20610/stat : 20610 (toysat) Z 20607 20610 17450 0 -1 4203532 4897993 0 0 0 99767 836 0 0 20 0 2 0 41598964 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20610/statm: 0 0 0 0 0 0 0
[pid=20610/tid=20611] ppid=20607 vsize=0 CPUtime=0.77 cores=0,2,4,6
/proc/20610/task/20611/stat : 20611 (toysat) R 20607 20610 17450 0 -1 4203588 10 0 0 0 0 77 0 0 20 0 2 0 41598964 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1006.03
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1006.28
CPU time (s): 1006.12
CPU user time (s): 997.671
CPU system time (s): 8.44671
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 15883844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 997.671
system time used= 8.44671
maximum resident set size= 15646808
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4897993
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= 338
involuntary context switches= 1228

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.50362 second user time and 3.90441 second system time

The end

Launcher Data 

Begin job on node151 at 2016-06-20 06:05:41
IDJOB=4111024
IDBENCH=108695
IDSOLVER=2542
FILE ID=node151/4111024-1466395541
RUNJOBID= node151-1466384055-17466
PBS_JOBID= 19923260
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/OPT-BIGINT-LIN/lion9-single-obj/normalized-single-obj-f51-DC_side2.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-4111024-1466395541/watcher-4111024-1466395541 -o /tmp/evaluation-result-4111024-1466395541/solver-4111024-1466395541 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node151-1466384055-17466 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4111024-1466395541.opb

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

MD5SUM BENCH= 7c91eca793b0e6d30d7e23337e606fde
RANDOM SEED=839107719

node151.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		: 2667.103
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	: 5334.20
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		: 2667.103
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		: 2667.103
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		: 2667.103
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		: 2667.103
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.54
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		: 2667.103
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		: 2667.103
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.56
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		: 2667.103
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:        28577604 kB
Buffers:           29684 kB
Cached:           190268 kB
SwapCached:          652 kB
Active:          3399708 kB
Inactive:         137108 kB
Active(anon):    3315996 kB
Inactive(anon):     2836 kB
Active(file):      83712 kB
Inactive(file):   134272 kB
Unevictable:        8292 kB
Mlocked:            8292 kB
SwapTotal:      67108856 kB
SwapFree:       67099852 kB
Dirty:             16704 kB
Writeback:             0 kB
AnonPages:       3359228 kB
Mapped:            10684 kB
Shmem:                 0 kB
Slab:             612468 kB
SReclaimable:      56040 kB
SUnreclaim:       556428 kB
KernelStack:        1520 kB
PageTables:        10772 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3468268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     38912 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= 71708 MiB
End job on node151 at 2016-06-20 06:22:28