Trace number 4119548

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.02 1800.31

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-20.opb
MD5SUM28a765edf66b70b0d65e7cfc7ea87990
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-12445
Best CPU time to get the best result obtained on this benchmark1800.43
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables0
Total number of constraints0
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint-1
Maximum length of a constraint0
Number of terms in the objective function 7243
Biggest coefficient in the objective function 4380
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 889560
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 4380
Number of bits of the biggest number in a constraint 13
Biggest sum of numbers in a constraint 889560
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)7203
Sum of products size (including duplicates)23184
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-30T06:31:40+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-4119548-1467261100.opb"]
0.00/0.01	c use --random-gen="4224834363 2151677572 1754849576 2808283862 3891798912 2465332554 3526053594 3316598364 644848595 4250268540 1556106572 2321901882 799101620 588478571 1915631830 2288429617 1693101005 3866685890 1339375871 4013582861 3533629667 211887878 4018210449 3720267180 404702897 2879755894 3183494700 2031859342 1875952799 302001337 1602340469 3131527938 3371917235 2867882008 1803448317 3762063137 728783756 2029639805 65090210 167415970 1035099341 3374903164 991236482 1668841797 2019107912 3082889394 537340266 2084318970 108351492 2257839160 3136012557 519599555 1238175793 3648286226 320194533 3266602743 1983916865 154104613 4215513288 3872342776 1966854547 213999384 738070824 21266371 2783989689 357617966 3415424337 1793607329 1792726768 1586703728 1276586163 3674058996 3400751857 3413140716 824599183 3558913075 506205585 4131485258 3567591984 1255006491 3106750214 2532277422 996368551 2848669957 3767059946 3326890445 793093652 1854688280 767030829 1159235769 902945502 3241377638 2361853141 2839196543 3431948602 2539146269 1856464217 834692960 460985572 3079492259 2527580095 2756782908 477780371 3056151587 2726110485 2707739627 716319409 3862282838 3532239846 2605357311 2311247081 2188770669 1481346954 3696223957 2850156264 1471137760 2637291544 1688221979 85627499 1611768996 979670742 29948502 3940856826 1721679182 634713303 2938438529 1288312817 2016879998 2288051849 1477087385 1689716614 2909924747 1834598729 2169932444 3384459369 51662962 1216272558 3676505394 1621156210 3138399851 1404952507 3955339717 372348815 2374588672 1983762563 1316242191 1161569118 2826890963 403143415 3151922359 1711558837 2896134668 703181860 3895088863 2261878863 2868290146 122849175 722556860 3914178711 2833285933 1535867425 325025781 121834890 43936704 2503669652 1101282475 2852830292 2926379901 3869657517 3417634912 3628852273 3756944223 3011549733 2494272594 3718951361 2925730539 3179517833 3080301047 421817453 2595454154 1264657282 2388184348 3892005393 1651456587 1930782060 1109078267 2200311718 2010842458 4072621248 1906001502 3885899070 324568470 1252428817 2956895928 808527307 4207269837 2569531929 3595125600 155326906 1334124749 3026010640 376861140 2156053681 3822371809 4248244363 575511108 3916349915 1363170488 1791507483 694659078 3266384556 3107934321 2542724984 2750856289 1132883728 3318739724 1474096356 171985230 2668869782 2859511183 3106389408 4037420144 3593102081 304256864 3435669742 2853413590 3031900492 1186803320 1342547606 2271283119 537286607 1238098697 1255426938 2739848667 1185483067 224362624 3929479041 2867087049 772749465 831318915 3290401177 2841048660 4133162061 1111411346 1046918876 710954728 1071749668 1680183789 556629390 1076451588 632533983 2410577864 761693586 794154150 3206740365 1408553428 255 362436" option to reproduce the execution
0.00/0.04	c #vars 40
0.00/0.04	c #constraints 0
0.09/0.16	c BCD2: Hardening is enabled.
0.09/0.16	c BCD2: BiasedSearch is enabled.
0.09/0.16	c Solving starts ...
0.09/0.16	c ============================[ Search Statistics ]============================
0.09/0.16	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.16	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.16	c =============================================================================
0.09/0.16	c  0.0s |       0 |        0 |        0 |     7807      0 |        0 |        0
0.19/0.23	c  0.1s |       0 |     5054 |        0 |     7807      0 |        0 |        0
0.19/0.23	c #cpu_time = 0.063s
0.19/0.23	c #wall_clock_time = 0.063s
0.19/0.23	c #decision = 5054
0.19/0.23	c #random_decision = 17
0.19/0.23	c #conflict = 0
0.19/0.23	c #restart = 0
0.19/0.23	o 0
72.38/72.41	c BCD2: updating upper bound: 889560 -> 444779
145.96/146.06	c BCD2: 0 <= obj <= 444779
145.96/146.06	c BCD2: #cores=0, #unrelaxed=7243, #relaxed=0, #hardened=0
145.96/146.06	c BCD2: #sat=1 #unsat=1 bias=1/2
145.96/146.06	c Solving starts ...
145.96/146.06	c ============================[ Search Statistics ]============================
145.96/146.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
145.96/146.06	c       |         |          |          |    Limit     GC | Var      | Constra 
145.96/146.06	c =============================================================================
145.96/146.06	c  0.0s |       0 |        0 |        0 |     7807      0 |        0 |        0
145.96/146.08	c  0.0s |       0 |     2716 |        0 |     7807      0 |        0 |        0
145.96/146.08	c #cpu_time = 0.013s
145.96/146.08	c #wall_clock_time = 0.013s
145.96/146.08	c #decision = 2716
145.96/146.08	c #random_decision = 0
145.96/146.08	c #conflict = 0
145.96/146.08	c #restart = 0
145.96/146.08	c BCD2: found a new core of size 3: cost of the new core is >=68
145.96/146.08	c lower bound updated to -444712
221.66/221.79	c BCD2: 68 <= obj <= 444779
221.66/221.79	c BCD2: #cores=1, #unrelaxed=7240, #relaxed=3, #hardened=0
221.66/221.79	c BCD2: #sat=1 #unsat=2 bias=2/3
221.66/221.79	c Solving starts ...
221.66/221.79	c ============================[ Search Statistics ]============================
221.66/221.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
221.66/221.79	c       |         |          |          |    Limit     GC | Var      | Constra 
221.66/221.79	c =============================================================================
221.66/221.79	c  0.0s |       0 |        0 |        0 |     7807      0 |        0 |        1
221.76/221.80	c  0.0s |       0 |     2715 |        0 |     7807      0 |        0 |        1
221.76/221.80	c #cpu_time = 0.012s
221.76/221.80	c #wall_clock_time = 0.012s
221.76/221.80	c #decision = 2715
221.76/221.80	c #random_decision = 0
221.76/221.80	c #conflict = 0
221.76/221.80	c #restart = 0
221.76/221.80	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 5: cost of the new core is >=136
221.76/221.80	c BCD2: refineLB: 69 -> 136
221.76/221.80	c lower bound updated to -444644
299.14/299.22	c BCD2: 136 <= obj <= 444779
299.14/299.22	c BCD2: #cores=1, #unrelaxed=7238, #relaxed=5, #hardened=0
299.14/299.22	c BCD2: #sat=1 #unsat=3 bias=3/4
299.14/299.22	c Solving starts ...
299.14/299.22	c ============================[ Search Statistics ]============================
299.14/299.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
299.14/299.22	c       |         |          |          |    Limit     GC | Var      | Constra 
299.14/299.22	c =============================================================================
299.14/299.22	c  0.0s |       0 |        0 |        0 |     7807      0 |        1 |        1
299.14/299.23	c  0.0s |       0 |        1 |        1 |     7807      0 |        2 |        3
299.14/299.23	c #cpu_time = 0.012s
299.14/299.23	c #wall_clock_time = 0.012s
299.14/299.23	c #decision = 1
299.14/299.23	c #random_decision = 0
299.14/299.23	c #conflict = 1
299.14/299.23	c #restart = 0
299.14/299.23	c BCD2: updating lower bound of a core
299.14/299.23	c BCD2: refineLB: 188 -> 204
299.14/299.23	c lower bound updated to -444576
378.33/378.41	c BCD2: 204 <= obj <= 444779
378.33/378.41	c BCD2: #cores=1, #unrelaxed=7238, #relaxed=5, #hardened=0
378.33/378.41	c BCD2: #sat=1 #unsat=4 bias=4/5
378.33/378.41	c Solving starts ...
378.33/378.41	c ============================[ Search Statistics ]============================
378.33/378.41	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
378.33/378.41	c       |         |          |          |    Limit     GC | Var      | Constra 
378.33/378.41	c =============================================================================
378.33/378.41	c  0.0s |       0 |        0 |        0 |     7807      0 |        2 |        3
378.33/378.42	c  0.0s |       0 |      568 |        0 |     7807      0 |        2 |        3
378.33/378.42	c #cpu_time = 0.011s
378.33/378.42	c #wall_clock_time = 0.011s
378.33/378.42	c #decision = 568
378.33/378.42	c #random_decision = 0
378.33/378.42	c #conflict = 0
378.33/378.42	c #restart = 0
378.33/378.42	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 6: cost of the new core is >=237
378.33/378.42	c BCD2: refineLB: 205 -> 237
378.33/378.42	c lower bound updated to -444543
459.32/459.44	c BCD2: 237 <= obj <= 444779
459.32/459.44	c BCD2: #cores=1, #unrelaxed=7237, #relaxed=6, #hardened=0
459.32/459.44	c BCD2: #sat=1 #unsat=5 bias=5/6
459.32/459.44	c Solving starts ...
459.32/459.44	c ============================[ Search Statistics ]============================
459.32/459.44	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
459.32/459.44	c       |         |          |          |    Limit     GC | Var      | Constra 
459.32/459.44	c =============================================================================
459.32/459.44	c  0.0s |       0 |        0 |        0 |     7807      0 |        3 |        3
459.32/459.45	c  0.0s |       0 |        1 |        1 |     7807      0 |        4 |        5
459.32/459.45	c #cpu_time = 0.012s
459.32/459.45	c #wall_clock_time = 0.012s
459.32/459.45	c #decision = 1
459.32/459.45	c #random_decision = 0
459.32/459.45	c #conflict = 1
459.32/459.45	c #restart = 0
459.32/459.45	c BCD2: updating lower bound of a core
459.32/459.45	c BCD2: refineLB: 265 -> 270
459.32/459.45	c lower bound updated to -444510
542.60/542.71	c BCD2: 270 <= obj <= 444779
542.60/542.71	c BCD2: #cores=1, #unrelaxed=7237, #relaxed=6, #hardened=0
542.60/542.71	c BCD2: #sat=1 #unsat=6 bias=6/7
542.60/542.71	c Solving starts ...
542.60/542.71	c ============================[ Search Statistics ]============================
542.60/542.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
542.60/542.71	c       |         |          |          |    Limit     GC | Var      | Constra 
542.60/542.71	c =============================================================================
542.60/542.71	c  0.0s |       0 |        0 |        0 |     7807      0 |        4 |        5
542.60/542.72	c  0.0s |       0 |     2713 |        0 |     7807      0 |        4 |        5
542.60/542.72	c #cpu_time = 0.013s
542.60/542.72	c #wall_clock_time = 0.013s
542.60/542.72	c #decision = 2713
542.60/542.72	c #random_decision = 0
542.60/542.72	c #conflict = 0
542.60/542.72	c #restart = 0
542.60/542.72	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 8: cost of the new core is >=274
542.60/542.72	c BCD2: refineLB: 271 -> 274
542.60/542.72	c lower bound updated to -444506
628.29/628.43	c BCD2: 274 <= obj <= 444779
628.29/628.43	c BCD2: #cores=1, #unrelaxed=7235, #relaxed=8, #hardened=0
628.29/628.43	c BCD2: #sat=1 #unsat=7 bias=7/8
628.29/628.43	c Solving starts ...
628.29/628.43	c ============================[ Search Statistics ]============================
628.29/628.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
628.29/628.43	c       |         |          |          |    Limit     GC | Var      | Constra 
628.29/628.43	c =============================================================================
628.29/628.43	c  0.0s |       0 |        0 |        0 |     7807      0 |        5 |        5
628.29/628.44	c  0.0s |       0 |        1 |        1 |     7807      0 |        6 |        7
628.29/628.44	c #cpu_time = 0.013s
628.29/628.44	c #wall_clock_time = 0.013s
628.29/628.44	c #decision = 1
628.29/628.44	c #random_decision = 0
628.29/628.44	c #conflict = 1
628.29/628.44	c #restart = 0
628.29/628.44	c BCD2: updating lower bound of a core
628.29/628.44	c BCD2: refineLB: 453 -> 478
628.29/628.44	c lower bound updated to -444302
717.96/718.11	c BCD2: 478 <= obj <= 444779
717.96/718.11	c BCD2: #cores=1, #unrelaxed=7235, #relaxed=8, #hardened=0
717.96/718.11	c BCD2: #sat=1 #unsat=8 bias=8/9
717.96/718.11	c Solving starts ...
717.96/718.11	c ============================[ Search Statistics ]============================
717.96/718.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
717.96/718.11	c       |         |          |          |    Limit     GC | Var      | Constra 
717.96/718.11	c =============================================================================
717.96/718.11	c  0.0s |       0 |        0 |        0 |     7807      0 |        6 |        7
717.96/718.13	c  0.0s |       0 |      549 |        0 |     7807      0 |        6 |        7
717.96/718.13	c #cpu_time = 0.015s
717.96/718.13	c #wall_clock_time = 0.015s
717.96/718.13	c #decision = 549
717.96/718.13	c #random_decision = 0
717.96/718.13	c #conflict = 0
717.96/718.13	c #restart = 0
717.96/718.13	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 9: cost of the new core is >=480
717.96/718.13	c BCD2: refineLB: 479 -> 480
717.96/718.13	c lower bound updated to -444300
809.15/809.31	c BCD2: 480 <= obj <= 444779
809.15/809.31	c BCD2: #cores=1, #unrelaxed=7234, #relaxed=9, #hardened=0
809.15/809.31	c BCD2: #sat=1 #unsat=9 bias=9/10
809.15/809.31	c Solving starts ...
809.15/809.31	c ============================[ Search Statistics ]============================
809.15/809.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
809.15/809.31	c       |         |          |          |    Limit     GC | Var      | Constra 
809.15/809.31	c =============================================================================
809.15/809.31	c  0.0s |       0 |        0 |        0 |     7807      0 |        7 |        7
809.15/809.33	c  0.0s |       0 |     1130 |        1 |     7807      0 |        7 |        8
809.15/809.33	c #cpu_time = 0.021s
809.15/809.33	c #wall_clock_time = 0.021s
809.15/809.33	c #decision = 1130
809.15/809.33	c #random_decision = 0
809.15/809.33	c #conflict = 1
809.15/809.33	c #restart = 0
809.15/809.33	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 10: cost of the new core is >=544
809.15/809.33	c lower bound updated to -444236
899.34/899.57	c BCD2: 544 <= obj <= 444779
899.34/899.57	c BCD2: #cores=1, #unrelaxed=7233, #relaxed=10, #hardened=0
899.34/899.57	c BCD2: #sat=1 #unsat=10 bias=10/11
899.34/899.57	c Solving starts ...
899.34/899.57	c ============================[ Search Statistics ]============================
899.34/899.57	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
899.34/899.57	c       |         |          |          |    Limit     GC | Var      | Constra 
899.34/899.57	c =============================================================================
899.34/899.57	c  0.0s |       0 |        0 |        0 |     7807      0 |        8 |        8
899.34/899.59	c  0.0s |       0 |     2710 |        0 |     7807      0 |        8 |        9
899.34/899.59	c #cpu_time = 0.016s
899.34/899.59	c #wall_clock_time = 0.016s
899.34/899.59	c #decision = 2710
899.34/899.59	c #random_decision = 0
899.34/899.59	c #conflict = 0
899.34/899.59	c #restart = 0
899.34/899.59	c BCD2: relaxing 2 and merging with 1 cores into a new core of size 12: cost of the new core is >=678
899.34/899.59	c BCD2: refineLB: 666 -> 678
899.34/899.59	c lower bound updated to -444102
989.92/990.20	c BCD2: 678 <= obj <= 444779
989.92/990.20	c BCD2: #cores=1, #unrelaxed=7231, #relaxed=12, #hardened=0
989.92/990.20	c BCD2: #sat=1 #unsat=11 bias=11/12
989.92/990.20	c Solving starts ...
989.92/990.20	c ============================[ Search Statistics ]============================
989.92/990.20	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
989.92/990.20	c       |         |          |          |    Limit     GC | Var      | Constra 
989.92/990.20	c =============================================================================
989.92/990.20	c  0.0s |       0 |        0 |        0 |     7807      0 |        9 |        9
990.03/990.22	c  0.0s |       0 |     1060 |        1 |     7807      0 |        9 |       10
990.03/990.22	c #cpu_time = 0.023s
990.03/990.22	c #wall_clock_time = 0.023s
990.03/990.22	c #decision = 1060
990.03/990.22	c #random_decision = 0
990.03/990.22	c #conflict = 1
990.03/990.22	c #restart = 0
990.03/990.22	c BCD2: relaxing 1 and merging with 1 cores into a new core of size 13: cost of the new core is >=884
990.03/990.22	c lower bound updated to -443896
1082.21/1082.48	c BCD2: 884 <= obj <= 444779
1082.21/1082.48	c BCD2: #cores=1, #unrelaxed=7230, #relaxed=13, #hardened=0
1082.21/1082.48	c BCD2: #sat=1 #unsat=12 bias=12/13
1082.21/1082.48	c Solving starts ...
1082.21/1082.48	c ============================[ Search Statistics ]============================
1082.21/1082.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1082.21/1082.48	c       |         |          |          |    Limit     GC | Var      | Constra 
1082.21/1082.48	c =============================================================================
1082.21/1082.48	c  0.0s |       0 |        0 |        0 |     7807      0 |       10 |       10
1082.21/1082.50	c  0.0s |       0 |     4904 |        1 |     7807      0 |       10 |       11
1082.21/1082.50	c #cpu_time = 0.011s
1082.21/1082.50	c #wall_clock_time = 0.011s
1082.21/1082.50	c #decision = 4904
1082.21/1082.50	c #random_decision = 0
1082.21/1082.50	c #conflict = 1
1082.21/1082.50	c #restart = 0
1082.21/1082.50	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 16: cost of the new core is >=1147
1082.21/1082.50	c lower bound updated to -443633
1171.99/1172.21	c BCD2: 1147 <= obj <= 444779
1171.99/1172.21	c BCD2: #cores=1, #unrelaxed=7227, #relaxed=16, #hardened=0
1171.99/1172.21	c BCD2: #sat=1 #unsat=13 bias=13/14
1171.99/1172.21	c Solving starts ...
1171.99/1172.21	c ============================[ Search Statistics ]============================
1171.99/1172.21	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1171.99/1172.21	c       |         |          |          |    Limit     GC | Var      | Constra 
1171.99/1172.21	c =============================================================================
1171.99/1172.21	c  0.0s |       0 |        0 |        0 |     7807      0 |       11 |       11
1171.99/1172.22	c  0.0s |       0 |     4919 |        1 |     7807      0 |       11 |       12
1171.99/1172.22	c #cpu_time = 0.010s
1171.99/1172.22	c #wall_clock_time = 0.010s
1171.99/1172.22	c #decision = 4919
1171.99/1172.22	c #random_decision = 0
1171.99/1172.22	c #conflict = 1
1171.99/1172.22	c #restart = 0
1171.99/1172.22	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 19: cost of the new core is >=1505
1171.99/1172.22	c lower bound updated to -443275
1262.98/1263.22	c BCD2: 1505 <= obj <= 444779
1262.98/1263.22	c BCD2: #cores=1, #unrelaxed=7224, #relaxed=19, #hardened=0
1262.98/1263.22	c BCD2: #sat=1 #unsat=14 bias=14/15
1262.98/1263.22	c Solving starts ...
1262.98/1263.22	c ============================[ Search Statistics ]============================
1262.98/1263.22	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1262.98/1263.22	c       |         |          |          |    Limit     GC | Var      | Constra 
1262.98/1263.22	c =============================================================================
1262.98/1263.22	c  0.0s |       0 |        0 |        0 |     7807      0 |       12 |       12
1262.98/1263.24	c  0.0s |       0 |     4934 |        1 |     7807      0 |       12 |       13
1262.98/1263.24	c #cpu_time = 0.011s
1262.98/1263.24	c #wall_clock_time = 0.011s
1262.98/1263.24	c #decision = 4934
1262.98/1263.24	c #random_decision = 0
1262.98/1263.24	c #conflict = 1
1262.98/1263.24	c #restart = 0
1262.98/1263.24	c BCD2: relaxing 3 and merging with 1 cores into a new core of size 22: cost of the new core is >=1945
1262.98/1263.24	c lower bound updated to -442835
1354.47/1354.79	c BCD2: 1945 <= obj <= 444779
1354.47/1354.79	c BCD2: #cores=1, #unrelaxed=7221, #relaxed=22, #hardened=0
1354.47/1354.79	c BCD2: #sat=1 #unsat=15 bias=15/16
1354.47/1354.79	c Solving starts ...
1354.47/1354.79	c ============================[ Search Statistics ]============================
1354.47/1354.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1354.47/1354.79	c       |         |          |          |    Limit     GC | Var      | Constra 
1354.47/1354.79	c =============================================================================
1354.47/1354.79	c  0.0s |       0 |        0 |        0 |     7807      0 |       13 |       13
1354.57/1354.80	c  0.0s |       0 |     4932 |        1 |     7807      0 |       13 |       14
1354.57/1354.80	c #cpu_time = 0.010s
1354.57/1354.80	c #wall_clock_time = 0.010s
1354.57/1354.80	c #decision = 4932
1354.57/1354.80	c #random_decision = 0
1354.57/1354.80	c #conflict = 1
1354.57/1354.80	c #restart = 0
1354.57/1354.80	c BCD2: relaxing 4 and merging with 1 cores into a new core of size 26: cost of the new core is >=2377
1354.57/1354.80	c lower bound updated to -442403
1444.96/1445.25	c BCD2: 2377 <= obj <= 444779
1444.96/1445.25	c BCD2: #cores=1, #unrelaxed=7217, #relaxed=26, #hardened=0
1444.96/1445.25	c BCD2: #sat=1 #unsat=16 bias=16/17
1444.96/1445.25	c Solving starts ...
1444.96/1445.25	c ============================[ Search Statistics ]============================
1444.96/1445.25	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1444.96/1445.25	c       |         |          |          |    Limit     GC | Var      | Constra 
1444.96/1445.25	c =============================================================================
1444.96/1445.25	c  0.0s |       0 |        0 |        0 |     7807      0 |       14 |       14
1444.96/1445.26	c  0.0s |       0 |     4945 |        1 |     7807      0 |       14 |       15
1444.96/1445.26	c #cpu_time = 0.011s
1444.96/1445.26	c #wall_clock_time = 0.011s
1444.96/1445.26	c #decision = 4945
1444.96/1445.26	c #random_decision = 0
1444.96/1445.26	c #conflict = 1
1444.96/1445.26	c #restart = 0
1444.96/1445.26	c BCD2: relaxing 4 and merging with 1 cores into a new core of size 30: cost of the new core is >=2893
1444.96/1445.26	c lower bound updated to -441887
1535.94/1536.28	c BCD2: 2893 <= obj <= 444779
1535.94/1536.28	c BCD2: #cores=1, #unrelaxed=7213, #relaxed=30, #hardened=0
1535.94/1536.28	c BCD2: #sat=1 #unsat=17 bias=17/18
1535.94/1536.28	c Solving starts ...
1535.94/1536.28	c ============================[ Search Statistics ]============================
1535.94/1536.28	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1535.94/1536.28	c       |         |          |          |    Limit     GC | Var      | Constra 
1535.94/1536.28	c =============================================================================
1535.94/1536.28	c  0.0s |       0 |        0 |        0 |     7807      0 |       15 |       15
1535.94/1536.29	c  0.0s |       0 |     4942 |        1 |     7807      0 |       15 |       16
1535.94/1536.29	c #cpu_time = 0.011s
1535.94/1536.29	c #wall_clock_time = 0.011s
1535.94/1536.29	c #decision = 4942
1535.94/1536.29	c #random_decision = 0
1535.94/1536.29	c #conflict = 1
1535.94/1536.29	c #restart = 0
1535.94/1536.29	c BCD2: relaxing 5 and merging with 1 cores into a new core of size 35: cost of the new core is >=3399
1535.94/1536.29	c lower bound updated to -441381
1627.63/1627.99	c BCD2: 3399 <= obj <= 444779
1627.63/1627.99	c BCD2: #cores=1, #unrelaxed=7208, #relaxed=35, #hardened=0
1627.63/1627.99	c BCD2: #sat=1 #unsat=18 bias=18/19
1627.63/1627.99	c Solving starts ...
1627.63/1627.99	c ============================[ Search Statistics ]============================
1627.63/1627.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1627.63/1627.99	c       |         |          |          |    Limit     GC | Var      | Constra 
1627.63/1627.99	c =============================================================================
1627.63/1627.99	c  0.0s |       0 |        0 |        0 |     7807      0 |       16 |       16
1627.73/1628.00	c  0.0s |       0 |     4938 |        1 |     7807      0 |       16 |       17
1627.73/1628.00	c #cpu_time = 0.012s
1627.73/1628.00	c #wall_clock_time = 0.012s
1627.73/1628.00	c #decision = 4938
1627.73/1628.00	c #random_decision = 0
1627.73/1628.00	c #conflict = 1
1627.73/1628.00	c #restart = 0
1627.73/1628.00	c BCD2: relaxing 6 and merging with 1 cores into a new core of size 41: cost of the new core is >=3895
1627.73/1628.00	c lower bound updated to -440885
1718.42/1718.70	c BCD2: 3895 <= obj <= 444779
1718.42/1718.70	c BCD2: #cores=1, #unrelaxed=7202, #relaxed=41, #hardened=0
1718.42/1718.70	c BCD2: #sat=1 #unsat=19 bias=19/20
1718.42/1718.70	c Solving starts ...
1718.42/1718.70	c ============================[ Search Statistics ]============================
1718.42/1718.70	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1718.42/1718.70	c       |         |          |          |    Limit     GC | Var      | Constra 
1718.42/1718.70	c =============================================================================
1718.42/1718.70	c  0.0s |       0 |        0 |        0 |     7807      0 |       17 |       17
1718.42/1718.71	c  0.0s |       0 |     4920 |        1 |     7807      0 |       17 |       18
1718.42/1718.71	c #cpu_time = 0.015s
1718.42/1718.71	c #wall_clock_time = 0.015s
1718.42/1718.71	c #decision = 4920
1718.42/1718.71	c #random_decision = 0
1718.42/1718.71	c #conflict = 1
1718.42/1718.71	c #restart = 0
1718.42/1718.72	c BCD2: relaxing 8 and merging with 1 cores into a new core of size 49: cost of the new core is >=4291
1718.42/1718.72	c lower bound updated to -440489

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

pid=9565
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.08 1.94 3/171 9569
/proc/meminfo: memFree=26914312/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 2715 0 0 0 0 0 0 0 20 0 4 0 7077340 744943616 3586 33554432000 4194304 16246674 140736487289840 140736487289264 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 182639 3594 441 2943 0 179533 0
[pid=9569/tid=9570] ppid=9565 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 762769408 3654 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=750012 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 768012288 3672 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=754108 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 7077340 772206592 3687 33554432000 4194304 16246674 140736487289840 140004581956784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.09 2.08 1.94 3/171 9569
/proc/meminfo: memFree=26914312/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1223236 CPUtime=0.09 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 28210 0 0 0 5 4 0 0 20 0 4 0 7077340 1252593664 29040 33554432000 4194304 16246674 140736487289840 140736487289152 13930363 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 305809 29040 770 2943 0 302703 0
[pid=9569/tid=9570] ppid=9565 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1252593664 29040 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1252593664 29040 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1252593664 29040 33554432000 4194304 16246674 140736487289840 140004581956784 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) 1223236

[startup+0.200493 s]
/proc/loadavg: 2.09 2.08 1.94 3/171 9569
/proc/meminfo: memFree=26914312/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1223236 CPUtime=0.19 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 39867 0 0 0 14 5 0 0 20 0 4 0 7077340 1252593664 40697 33554432000 4194304 16246674 140736487289840 140736487289152 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 305809 40697 805 2943 0 302703 0
[pid=9569/tid=9570] ppid=9565 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1252593664 40697 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1252593664 40697 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1223236 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1252593664 40697 33554432000 4194304 16246674 140736487289840 140004581956784 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) 1223236

[startup+0.300483 s]
/proc/loadavg: 2.09 2.08 1.94 3/171 9569
/proc/meminfo: memFree=26914312/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1296964 CPUtime=0.29 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 56623 0 0 0 22 7 0 0 20 0 4 0 7077340 1328091136 57454 33554432000 4194304 16246674 140736487289840 140736487271744 12449273 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 324241 57470 819 2943 0 321135 0
[pid=9569/tid=9570] ppid=9565 vsize=1296964 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1328091136 57481 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1296964 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1328091136 57494 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1296964 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1328091136 57504 33554432000 4194304 16246674 140736487289840 140004581956784 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) 1296964

[startup+0.700394 s]
/proc/loadavg: 2.09 2.08 1.94 3/171 9569
/proc/meminfo: memFree=26914312/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1296964 CPUtime=0.69 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 170173 0 0 0 47 22 0 0 20 0 4 0 7077340 1328091136 171003 33554432000 4194304 16246674 140736487289840 140736487271744 12414100 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 324241 171019 819 2943 0 321135 0
[pid=9569/tid=9570] ppid=9565 vsize=1296964 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1328091136 171028 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1296964 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1328091136 171036 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1296964 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1328091136 171041 33554432000 4194304 16246674 140736487289840 140004581956784 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) 1296964

[startup+1.50042 s]
/proc/loadavg: 2.08 2.08 1.94 4/183 9586
/proc/meminfo: memFree=25664800/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1306180 CPUtime=1.49 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 267575 0 0 0 115 34 0 0 20 0 4 0 7077340 1337528320 268405 33554432000 4194304 16246674 140736487289840 140736487271744 12449372 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 326545 268405 819 2943 0 323439 0
[pid=9569/tid=9570] ppid=9565 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1337528320 268405 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1337528320 268405 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1337528320 268405 33554432000 4194304 16246674 140736487289840 140004581956784 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) 1306180

[startup+3.10041 s]
/proc/loadavg: 2.08 2.08 1.94 3/183 9586
/proc/meminfo: memFree=25661576/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 267619 0 0 0 275 34 0 0 20 0 4 0 7077340 1337528320 268449 33554432000 4194304 16246674 140736487289840 140736487271744 12654409 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 326545 268449 819 2943 0 323439 0
[pid=9569/tid=9570] ppid=9565 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1337528320 268449 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1337528320 268449 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1337528320 268449 33554432000 4194304 16246674 140736487289840 140004581956784 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) 1306180

[startup+6.30034 s]
/proc/loadavg: 2.08 2.08 1.94 3/183 9586
/proc/meminfo: memFree=25659732/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1307204 CPUtime=6.29 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 267875 0 0 0 595 34 0 0 20 0 4 0 7077340 1338576896 268705 33554432000 4194304 16246674 140736487289840 140736487271744 12654356 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 326801 268705 819 2943 0 323695 0
[pid=9569/tid=9570] ppid=9565 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1338576896 268705 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1338576896 268705 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1338576896 268705 33554432000 4194304 16246674 140736487289840 140004581956784 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) 1307204

[startup+12.7003 s]
/proc/loadavg: 2.07 2.08 1.94 3/183 9586
/proc/meminfo: memFree=24741972/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1316420 CPUtime=12.69 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 270035 0 0 0 1235 34 0 0 20 0 4 0 7077340 1348014080 270865 33554432000 4194304 16246674 140736487289840 140736487288504 12371171 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 329105 270865 819 2943 0 325999 0
[pid=9569/tid=9570] ppid=9565 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1348014080 270865 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1348014080 270865 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1348014080 270865 33554432000 4194304 16246674 140736487289840 140004581956784 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) 1316420

[startup+25.5004 s]
/proc/loadavg: 2.06 2.08 1.94 3/183 9586
/proc/meminfo: memFree=24732828/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1316420 CPUtime=25.49 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 270179 0 0 0 2515 34 0 0 20 0 4 0 7077340 1348014080 271009 33554432000 4194304 16246674 140736487289840 140736487271744 12654426 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 329105 271009 819 2943 0 325999 0
[pid=9569/tid=9570] ppid=9565 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1348014080 271009 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1348014080 271009 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1348014080 271009 33554432000 4194304 16246674 140736487289840 140004581956784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1316420

[startup+51.1003 s]
/proc/loadavg: 2.10 2.08 1.95 3/183 9586
/proc/meminfo: memFree=24716436/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1316420 CPUtime=51.08 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 270179 0 0 0 5074 34 0 0 20 0 4 0 7077340 1348014080 271012 33554432000 4194304 16246674 140736487289840 140736487271744 12654383 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 329105 271012 819 2943 0 325999 0
[pid=9569/tid=9570] ppid=9565 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1348014080 271012 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1348014080 271012 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1348014080 271012 33554432000 4194304 16246674 140736487289840 140004581956784 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) 1316420

[startup+102.3 s]
/proc/loadavg: 2.10 2.08 1.95 3/183 9588
/proc/meminfo: memFree=24695768/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1316420 CPUtime=102.27 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 270183 0 0 0 10193 34 0 0 20 0 4 0 7077340 1348014080 271016 33554432000 4194304 16246674 140736487289840 140736487271744 6962071 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 329105 271016 823 2943 0 325999 0
[pid=9569/tid=9570] ppid=9565 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1348014080 271016 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1348014080 271016 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1316420 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1348014080 271016 33554432000 4194304 16246674 140736487289840 140004581956784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1316420


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

/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004581956784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 1323588

[startup+1362.3 s]
/proc/loadavg: 2.18 2.16 2.07 3/183 9620
/proc/meminfo: memFree=24660284/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1323588 CPUtime=1362.07 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 272033 0 0 0 136171 36 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140736487271744 12652940 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 330897 272843 857 2943 0 327791 0
[pid=9569/tid=9570] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004581956784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1323588

[startup+1422.3 s]
/proc/loadavg: 2.30 2.19 2.09 4/183 9621
/proc/meminfo: memFree=24660320/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1323588 CPUtime=1422.06 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 272033 0 0 0 142170 36 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140736487271744 6955088 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 330897 272843 857 2943 0 327791 0
[pid=9569/tid=9570] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004581956784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1323588

[startup+1482.3 s]
/proc/loadavg: 2.17 2.17 2.08 4/183 9622
/proc/meminfo: memFree=24660324/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1323588 CPUtime=1482.05 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 272033 0 0 0 148169 36 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140736487271744 12654316 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 330897 272843 857 2943 0 327791 0
[pid=9569/tid=9570] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004581956784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1323588

[startup+1542.3 s]
/proc/loadavg: 2.18 2.16 2.09 3/183 9623
/proc/meminfo: memFree=24660276/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1323588 CPUtime=1542.04 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 272033 0 0 0 154168 36 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140736487271744 12371328 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 330897 272843 857 2943 0 327791 0
[pid=9569/tid=9570] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004581956784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1323588

[startup+1602.3 s]
/proc/loadavg: 2.24 2.18 2.10 4/183 9625
/proc/meminfo: memFree=24660160/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1323588 CPUtime=1602.03 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 272033 0 0 0 160167 36 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140736487271744 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 330897 272843 857 2943 0 327791 0
[pid=9569/tid=9570] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004581956784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1323588

[startup+1662.3 s]
/proc/loadavg: 2.22 2.18 2.10 3/183 9626
/proc/meminfo: memFree=24660168/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1323588 CPUtime=1662.03 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 272033 0 0 0 166167 36 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140736487271744 12654104 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 330897 272843 857 2943 0 327791 0
[pid=9569/tid=9570] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004581956784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1323588

[startup+1722.3 s]
/proc/loadavg: 2.13 2.16 2.09 3/184 9630
/proc/meminfo: memFree=24659664/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1323588 CPUtime=1722.02 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 272033 0 0 0 172166 36 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140736487271744 12652936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 330897 272843 857 2943 0 327791 0
[pid=9569/tid=9570] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004581956784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1323588

[startup+1782.31 s]
/proc/loadavg: 2.23 2.17 2.10 4/184 9654
/proc/meminfo: memFree=24658836/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1323588 CPUtime=1782.01 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 272033 0 0 0 178165 36 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140736487271744 12414096 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 330897 272843 857 2943 0 327791 0
[pid=9569/tid=9570] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004581956784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 1323588



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.18 2.16 2.10 3/184 9654
/proc/meminfo: memFree=24659064/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1323588 CPUtime=1800 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 272033 0 0 0 179964 36 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140736487271744 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 330897 272843 857 2943 0 327791 0
[pid=9569/tid=9570] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004581956784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1323588

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

[startup+1800.3 s]
/proc/loadavg: 2.18 2.16 2.10 3/184 9654
/proc/meminfo: memFree=24659064/32872528 swapFree=11740/941760
[pid=9569] ppid=9565 vsize=1323588 CPUtime=1800 cores=0,2,4,6
/proc/9569/stat : 9569 (toysat) R 9565 9569 8048 0 -1 4202496 272033 0 0 0 179964 36 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140736487271744 12449269 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/9569/statm: 330897 272843 857 2943 0 327791 0
[pid=9569/tid=9570] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9570/stat : 9570 (toysat) S 9565 9569 8048 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004672122096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=9569/tid=9571] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9571/stat : 9571 (toysat) S 9565 9569 8048 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004592430320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=9569/tid=9572] ppid=9565 vsize=1323588 CPUtime=0 cores=0,2,4,6
/proc/9569/task/9572/stat : 9572 (toysat) S 9565 9569 8048 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 7077340 1355354112 272843 33554432000 4194304 16246674 140736487289840 140004581956784 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1323588

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.02
CPU user time (s): 1799.65
CPU system time (s): 0.360945
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 1323588

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.65
system time used= 0.360945
maximum resident set size= 1091372
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272033
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= 37
involuntary context switches= 1866

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.40972 second user time and 9.78351 second system time

The end

Launcher Data 

Begin job on node113 at 2016-06-30 06:31:40
IDJOB=4119548
IDBENCH=111758
IDSOLVER=2542
FILE ID=node113/4119548-1467261100
RUNJOBID= node113-1467259299-9407
PBS_JOBID= 20004475
Free space on /tmp= 71736 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-NLC/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern40-20.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119548-1467261100/watcher-4119548-1467261100 -o /tmp/evaluation-result-4119548-1467261100/solver-4119548-1467261100 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1467259299-9407 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119548-1467261100.opb

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

MD5SUM BENCH= 28a765edf66b70b0d65e7cfc7ea87990
RANDOM SEED=297472498

node113.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.947
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.89
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.947
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	: 5325.52
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.947
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.56
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.947
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.54
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.947
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.56
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.947
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.947
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		: 2666.947
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26915312 kB
Buffers:           96752 kB
Cached:          4142288 kB
SwapCached:            0 kB
Active:          2827548 kB
Inactive:        1426940 kB
Active(anon):      11764 kB
Inactive(anon):     5940 kB
Active(file):    2815784 kB
Inactive(file):  1421000 kB
Unevictable:      941760 kB
Mlocked:           11740 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16352 kB
Writeback:             0 kB
AnonPages:       1059164 kB
Mapped:            13084 kB
Shmem:               204 kB
Slab:             628144 kB
SReclaimable:      72520 kB
SUnreclaim:       555624 kB
KernelStack:        1520 kB
PageTables:         5744 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1040596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1038336 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 node113 at 2016-06-30 07:01:41