Trace number 4103969

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.31 1800.61

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-ds.opb
MD5SUM7478f253a8ff3e29c2a001743623a20c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark510229
Best CPU time to get the best result obtained on this benchmark1802.32
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 764056
Optimality of the best value was proved NO
Number of variables1354640
Total number of constraints656
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 constraints656
Minimum length of a constraint640
Maximum length of a constraint129180
Number of terms in the objective function 1354640
Biggest coefficient in the objective function 1732247552
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 49715233983525
Number of bits of the sum of numbers in the objective function 46
Biggest number in a constraint 1732247552
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 49715233983525
Number of bits of the biggest sum of numbers46
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-18T10:49:23+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-4103969-1466239753.opb"]
0.00/0.01	c use --random-gen="3475318536 1643516484 2129766332 1664796399 3095100176 2036494044 293372795 2270177206 4221757715 3023760595 1328085879 2338856511 2511961112 920927391 2228272876 681548301 450197020 1259978484 739025166 3956567052 3090675146 683094190 3081928869 490866381 2921931603 289981835 852142755 2470344588 3449224217 2154886693 2291728957 2065632794 1144619854 352886956 1769213170 3259522012 1128837218 1837115510 1031925523 2867031631 545814401 2203191373 595518051 863457351 4164778590 1742265014 3233597824 2199445912 2317835066 1367720982 1898954572 340145998 1434459989 290073509 1351341654 3159061763 3728580151 3703957129 2721651511 783561115 2597130922 3547926723 2664288702 1325566492 1333366454 2709371400 170010469 2084293093 1448660890 3796473624 575497695 3004685730 3265693101 3149639968 1348630867 1287602634 3601763674 141114736 3622872816 4003771403 3620330076 420431312 2933892351 3635547299 2800972944 344465344 2199629453 3939825822 2317107309 1912078864 362239195 2366271760 826110747 4140187773 3027334705 3171561902 2986902838 1222948285 3206624227 81240528 3821937350 921336430 3906329397 2461002677 580383205 1323645207 1120628309 2014522484 60122076 860623211 409879951 1021541627 3505992812 306064286 1404716255 3653511861 2282819240 452867832 3156259530 929301349 23219407 953224311 4234425721 2491527921 3050096430 2636891884 2543160931 203361859 2754929440 894359534 2523356980 4112722737 2469524992 242912177 2141952913 2719017269 2047108553 1190683959 147597390 706340733 2129182175 991556763 3325922944 1404007629 3094257713 910433633 3686923660 3272627538 3392236923 3829511393 3909036608 1410206959 3344811053 3933943217 1437634951 1123300648 3904607204 1216211712 1324109284 2999863721 1678412632 823788492 2241795754 3644284518 360089126 855200488 2013373101 4259644472 409659053 2673833759 709502980 2344001406 2338447434 3020717525 1184345249 4061748683 618168474 3523586369 3596553651 258945498 2794051490 310209384 4057693124 4013361533 2416165 1959633339 2865994425 1993679615 1424429010 2363252552 1423247938 3322776401 1603973239 850673683 3407105095 759046119 1172744669 3232088315 409658805 1530481835 98971015 883326829 3318480491 1635198493 2365052751 2425557000 1093598728 3589346884 252222283 772675514 2090441514 2236067603 2008989677 533929666 2020020420 1872802710 459386841 2268520306 3678435019 1871679190 2026187870 1373158749 156301512 1442439390 336510086 4055737211 1010069706 1777015712 2973554026 2339083628 2401997180 3445265469 1978492429 875719019 3178804848 384287965 3915716788 2193744160 4062755863 1482850477 3522443136 1486743762 3401219235 540906162 3345072429 3353424807 3569005753 2210540457 376942680 2471929968 990828948 63255137 3991462870 941925811 1418129867 1452726562 255 362436" option to reproduce the execution
39.78/39.82	c #vars 1354640
39.78/39.82	c #constraints 656
80.47/80.58	c BCD2: Hardening is enabled.
80.47/80.58	c BCD2: BiasedSearch is enabled.
80.47/80.58	c Solving starts ...
80.47/80.58	c ============================[ Search Statistics ]============================
80.47/80.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
80.47/80.58	c       |         |          |          |    Limit     GC | Var      | Constra 
80.47/80.58	c =============================================================================
80.47/80.58	c  0.0s |       0 |        0 |        0 |   451984      0 |  1286908 |        0
82.37/82.40	c  1.8s |       0 |      155 |        0 |   451984      0 |  1286908 |        0
82.37/82.40	c #cpu_time = 1.714s
82.37/82.40	c #wall_clock_time = 1.718s
82.37/82.40	c #decision = 155
82.37/82.40	c #random_decision = 0
82.37/82.40	c #conflict = 0
82.37/82.40	c #restart = 0
82.37/82.44	o 1279630
87.68/87.79	c BCD2: hardening fixes 610900 literals
88.17/88.27	c BCD2: updating upper bound: 49715233983525 -> 1279629
88.87/88.93	c BCD2: 0 <= obj <= 1279629
88.97/89.07	c BCD2: #cores=0, #unrelaxed=743740, #relaxed=0, #hardened=610900
88.97/89.07	c BCD2: #sat=1 #unsat=1 bias=1/2
89.08/89.12	c Solving starts ...
89.08/89.12	c ============================[ Search Statistics ]============================
89.08/89.12	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
89.08/89.12	c       |         |          |          |    Limit     GC | Var      | Constra 
89.08/89.12	c =============================================================================
89.08/89.12	c  0.0s |       0 |        0 |        0 |   451984      0 |  1286908 |        0
90.68/90.76	c  1.6s |       1 |    74813 |      100 |   451984      0 |  1286908 |        0
93.17/93.23	c  4.1s |       1 |   354700 |      200 |   497183      0 |  1286908 |        0
93.48/93.55	c  4.4s |       1 |   369300 |      226 |   497183      0 |  1286908 |        0
93.48/93.55	c #cpu_time = 4.375s
93.48/93.55	c #wall_clock_time = 4.387s
93.48/93.55	c #decision = 369300
93.48/93.55	c #random_decision = 0
93.48/93.55	c #conflict = 226
93.48/93.55	c #restart = 1
93.48/93.56	c BCD2: found a new core of size 1093: cost of the new core is >=630
93.48/93.56	c lower bound updated to 630
94.58/94.61	c BCD2: 630 <= obj <= 1279629
94.58/94.61	c BCD2: #cores=1, #unrelaxed=742647, #relaxed=1093, #hardened=610900
94.58/94.61	c BCD2: #sat=1 #unsat=2 bias=2/3
96.78/96.88	c Solving starts ...
96.78/96.88	c ============================[ Search Statistics ]============================
96.78/96.88	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
96.78/96.88	c       |         |          |          |    Limit     GC | Var      | Constra 
96.78/96.88	c =============================================================================
96.78/96.88	c  0.0s |       0 |        0 |        0 |   497183      0 |  1286908 |        0
99.97/100.05	c  3.2s |       0 |    94538 |      100 |   546902      0 |  1286908 |        0
100.07/100.11	c  3.2s |       1 |    94538 |      100 |   546902      0 |  1286908 |        0
102.87/102.96	c  6.1s |       1 |   357226 |      166 |   546902      0 |  1286908 |        0
102.87/102.96	c #cpu_time = 6.006s
102.87/102.96	c #wall_clock_time = 6.022s
102.87/102.96	c #decision = 357226
102.87/102.96	c #random_decision = 0
102.87/102.96	c #conflict = 166
102.87/102.96	c #restart = 1
102.87/102.97	c BCD2: found a new core of size 6219: cost of the new core is >=630
102.87/102.97	c lower bound updated to 1260
104.07/104.15	c BCD2: 1260 <= obj <= 1279629
104.48/104.53	c BCD2: #cores=2, #unrelaxed=736428, #relaxed=7312, #hardened=610900
104.48/104.53	c BCD2: #sat=1 #unsat=3 bias=3/4
123.17/123.23	c Solving starts ...
123.17/123.23	c ============================[ Search Statistics ]============================
123.17/123.23	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
123.17/123.23	c       |         |          |          |    Limit     GC | Var      | Constra 
123.17/123.23	c =============================================================================
123.17/123.23	c  0.0s |       0 |        0 |        0 |   546902      0 |  1286908 |        0
124.28/124.32	c  1.1s |       0 |    47058 |        2 |   546902      0 |  1286908 |        0
124.28/124.32	c #cpu_time = 1.017s
124.28/124.32	c #wall_clock_time = 1.019s
124.28/124.32	c #decision = 47058
124.28/124.32	c #random_decision = 0
124.28/124.32	c #conflict = 2
124.28/124.32	c #restart = 0
124.28/124.32	c BCD2: found a new core of size 2539: cost of the new core is >=630
124.28/124.32	c lower bound updated to 1890
127.37/127.45	c BCD2: 1890 <= obj <= 1279629
127.37/127.46	c BCD2: #cores=3, #unrelaxed=733889, #relaxed=9851, #hardened=610900
127.37/127.46	c BCD2: #sat=1 #unsat=4 bias=4/5
151.26/151.30	c Solving starts ...
151.26/151.30	c ============================[ Search Statistics ]============================
151.26/151.30	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
151.26/151.30	c       |         |          |          |    Limit     GC | Var      | Constra 
151.26/151.30	c =============================================================================
151.26/151.30	c  0.0s |       0 |        0 |        0 |   546902      0 |  1286908 |        0
152.36/152.40	c  1.1s |       0 |    41035 |        0 |   546902      0 |  1286908 |        0
152.36/152.40	c #cpu_time = 1.032s
152.36/152.40	c #wall_clock_time = 1.035s
152.36/152.40	c #decision = 41035
152.36/152.40	c #random_decision = 0
152.36/152.40	c #conflict = 0
152.36/152.40	c #restart = 0
152.36/152.41	c BCD2: found a new core of size 2880: cost of the new core is >=630
152.36/152.41	c lower bound updated to 2520
153.47/153.58	c BCD2: 2520 <= obj <= 1279629
153.47/153.58	c BCD2: #cores=4, #unrelaxed=731009, #relaxed=12731, #hardened=610900
153.47/153.58	c BCD2: #sat=1 #unsat=5 bias=5/6
175.56/175.69	c Solving starts ...
175.56/175.69	c ============================[ Search Statistics ]============================
175.56/175.69	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
175.56/175.69	c       |         |          |          |    Limit     GC | Var      | Constra 
175.56/175.69	c =============================================================================
175.56/175.69	c  0.0s |       0 |        0 |        0 |   546902      0 |  1286908 |        1
176.76/176.81	c  1.1s |       0 |    41951 |        0 |   546902      0 |  1286908 |        1
176.76/176.81	c #cpu_time = 1.045s
176.76/176.81	c #wall_clock_time = 1.048s
176.76/176.81	c #decision = 41951
176.76/176.81	c #random_decision = 0
176.76/176.81	c #conflict = 0
176.76/176.81	c #restart = 0
176.76/176.81	c BCD2: found a new core of size 957: cost of the new core is >=642
176.76/176.81	c lower bound updated to 3162
177.86/177.97	c BCD2: 3162 <= obj <= 1279629
177.86/177.97	c BCD2: #cores=5, #unrelaxed=730052, #relaxed=13688, #hardened=610900
177.86/177.97	c BCD2: #sat=1 #unsat=6 bias=6/7
178.46/178.58	c Solving starts ...
178.46/178.58	c ============================[ Search Statistics ]============================
178.46/178.58	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
178.46/178.58	c       |         |          |          |    Limit     GC | Var      | Constra 
178.46/178.58	c =============================================================================
178.46/178.58	c  0.0s |       0 |        0 |        0 |   546902      0 |  1286908 |        2
183.76/183.86	c  5.3s |       0 |    48864 |      100 |   601593      0 |  1286908 |        2
183.86/183.93	c  5.3s |       1 |    48864 |      100 |   601593      0 |  1286908 |        2
186.26/186.36	c  7.8s |       1 |   155275 |      139 |   601593      0 |  1286908 |        2
186.26/186.36	c #cpu_time = 7.695s
186.26/186.36	c #wall_clock_time = 7.716s
186.26/186.36	c #decision = 155275
186.26/186.36	c #random_decision = 0
186.26/186.36	c #conflict = 139
186.26/186.36	c #restart = 1
186.36/186.43	c BCD2: relaxing 6776 and merging with 1 cores into a new core of size 9656: cost of the new core is >=635
186.36/186.43	c BCD2: refineLB: 631 -> 635
186.36/186.43	c lower bound updated to 3167
189.76/189.87	c BCD2: 3167 <= obj <= 1279629
189.76/189.87	c BCD2: #cores=5, #unrelaxed=723276, #relaxed=20464, #hardened=610900
189.76/189.87	c BCD2: #sat=1 #unsat=7 bias=7/8
192.66/192.79	c Solving starts ...
192.66/192.79	c ============================[ Search Statistics ]============================
192.66/192.79	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
192.66/192.79	c       |         |          |          |    Limit     GC | Var      | Constra 
192.66/192.79	c =============================================================================
192.66/192.79	c  0.0s |       0 |        0 |        0 |   601593      0 |  1286909 |        2
193.86/193.98	c  1.2s |       0 |    40570 |        0 |   601593      0 |  1286909 |        3
193.86/193.98	c #cpu_time = 1.114s
193.86/193.98	c #wall_clock_time = 1.117s
193.86/193.98	c #decision = 40570
193.86/193.98	c #random_decision = 0
193.86/193.98	c #conflict = 0
193.86/193.98	c #restart = 0
193.86/193.99	c BCD2: found a new core of size 809: cost of the new core is >=630
193.86/193.99	c lower bound updated to 3797
197.16/197.21	c BCD2: 3797 <= obj <= 1279629
197.16/197.21	c BCD2: #cores=6, #unrelaxed=722467, #relaxed=21273, #hardened=610900
197.16/197.21	c BCD2: #sat=1 #unsat=8 bias=8/9
442.92/443.06	c Solving starts ...
442.92/443.06	c ============================[ Search Statistics ]============================
442.92/443.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
442.92/443.06	c       |         |          |          |    Limit     GC | Var      | Constra 
442.92/443.06	c =============================================================================
442.92/443.06	c  0.0s |       0 |        0 |        0 |   601593      0 |  1286909 |        4
444.11/444.23	c  1.2s |       0 |    39794 |        0 |   601593      0 |  1286909 |        4
444.11/444.23	c #cpu_time = 1.094s
444.11/444.23	c #wall_clock_time = 1.097s
444.11/444.23	c #decision = 39794
444.11/444.23	c #random_decision = 0
444.11/444.23	c #conflict = 0
444.11/444.23	c #restart = 0
444.11/444.23	c BCD2: found a new core of size 1726: cost of the new core is >=630
444.11/444.23	c lower bound updated to 4427
445.21/445.32	c BCD2: 4427 <= obj <= 1279629
445.21/445.32	c BCD2: #cores=7, #unrelaxed=720741, #relaxed=22999, #hardened=610900
445.21/445.32	c BCD2: #sat=1 #unsat=9 bias=9/10
695.37/695.56	c Solving starts ...
695.37/695.56	c ============================[ Search Statistics ]============================
695.37/695.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
695.37/695.56	c       |         |          |          |    Limit     GC | Var      | Constra 
695.37/695.56	c =============================================================================
695.37/695.56	c  0.0s |       0 |        0 |        0 |   601593      0 |  1286909 |        4
696.48/696.68	c  1.1s |       0 |    43202 |        4 |   601593      0 |  1286909 |        4
696.48/696.68	c #cpu_time = 1.037s
696.48/696.68	c #wall_clock_time = 1.040s
696.48/696.68	c #decision = 43202
696.48/696.68	c #random_decision = 0
696.48/696.68	c #conflict = 4
696.48/696.68	c #restart = 0
696.48/696.68	c BCD2: found a new core of size 1097: cost of the new core is >=635
696.48/696.68	c lower bound updated to 5062
697.58/697.72	c BCD2: 5062 <= obj <= 1279629
697.58/697.72	c BCD2: #cores=8, #unrelaxed=719644, #relaxed=24096, #hardened=610900
697.58/697.72	c BCD2: #sat=1 #unsat=10 bias=10/11
1121.20/1121.43	c Solving starts ...
1121.20/1121.43	c ============================[ Search Statistics ]============================
1121.20/1121.43	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1121.20/1121.43	c       |         |          |          |    Limit     GC | Var      | Constra 
1121.20/1121.43	c =============================================================================
1121.20/1121.43	c  0.0s |       0 |        0 |        0 |   601593      0 |  1286909 |        4
1122.91/1123.20	c  1.8s |       0 |    43089 |       13 |   601593      0 |  1286909 |        4
1122.91/1123.20	c #cpu_time = 1.691s
1122.91/1123.20	c #wall_clock_time = 1.695s
1122.91/1123.20	c #decision = 43089
1122.91/1123.20	c #random_decision = 0
1122.91/1123.20	c #conflict = 13
1122.91/1123.20	c #restart = 0
1123.01/1123.22	c BCD2: found a new core of size 5718: cost of the new core is >=630
1123.01/1123.22	c lower bound updated to 5692
1124.21/1124.40	c BCD2: 5692 <= obj <= 1279629
1124.21/1124.41	c BCD2: #cores=9, #unrelaxed=713926, #relaxed=29814, #hardened=610900
1124.21/1124.41	c BCD2: #sat=1 #unsat=11 bias=11/12
1544.82/1545.13	c Solving starts ...
1544.82/1545.13	c ============================[ Search Statistics ]============================
1544.82/1545.13	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1544.82/1545.13	c       |         |          |          |    Limit     GC | Var      | Constra 
1544.82/1545.13	c =============================================================================
1544.82/1545.13	c  0.0s |       0 |        0 |        0 |   601593      0 |  1286909 |        4
1547.22/1547.56	c  2.4s |       0 |    51415 |      100 |   601593      0 |  1286909 |        4
1547.32/1547.64	c  2.5s |       1 |    51415 |      100 |   601593      0 |  1286909 |        4
1551.73/1552.08	c  7.0s |       1 |    96585 |      200 |   601593      0 |  1286909 |        4
1552.82/1553.15	c  8.0s |       2 |    98663 |      250 |   601593      0 |  1286909 |        4
1555.62/1555.97	c 10.8s |       2 |   138804 |      450 |   661753      0 |  1286909 |        4
1556.02/1556.31	c 11.2s |       3 |   139223 |      475 |   661753      0 |  1286909 |        4
1558.02/1558.35	c 13.2s |       3 |   184657 |      575 |   661753      0 |  1286909 |        4
1560.42/1560.74	c 15.6s |       3 |   188069 |      775 |   727929      0 |  1286909 |        4
1561.12/1561.42	c 16.3s |       4 |   188473 |      813 |   727929      0 |  1286909 |        4
1563.62/1563.91	c 18.8s |       4 |   227439 |      913 |   727929      0 |  1286909 |        4
1566.62/1566.97	c 21.8s |       4 |   228402 |     1013 |   727929      0 |  1286909 |        4
1570.22/1570.50	c 25.4s |       4 |   228704 |     1113 |   727929      0 |  1286909 |        4
1577.02/1577.37	c 32.2s |       4 |   229048 |     1213 |   727929      0 |  1286909 |        4
1597.22/1597.55	c 52.4s |       4 |   229354 |     1313 |   727929      0 |  1286909 |        4
1597.71/1598.07	c 52.9s |       5 |   230353 |     1320 |   727929      0 |  1286909 |        4
1600.11/1600.40	c 55.3s |       5 |   273065 |     1420 |   727929      0 |  1286909 |        4
1602.32/1602.69	c 57.6s |       5 |   273332 |     1520 |   727929      0 |  1286909 |        4
1605.11/1605.45	c 60.3s |       5 |   275076 |     1620 |   800722      0 |  1286909 |        4
1608.02/1608.36	c 63.2s |       5 |   283606 |     1820 |   800722      0 |  1286909 |        4
1624.52/1624.87	c 79.7s |       5 |   284266 |     1920 |   800722      0 |  1286909 |        4
1627.22/1627.50	c 82.4s |       5 |   284972 |     2020 |   800722      0 |  1286909 |        4
1628.92/1629.28	c 84.2s |       6 |   285534 |     2081 |   800722      0 |  1286909 |        4
1632.12/1632.43	c 87.3s |       6 |   325485 |     2181 |   800722      0 |  1286909 |        4
1636.11/1636.44	c 91.3s |       6 |   326069 |     2381 |   800722      0 |  1286909 |        4
1639.51/1639.85	c 94.7s |       6 |   327138 |     2581 |   800722      0 |  1286909 |        4
1642.11/1642.45	c 97.3s |       6 |   328212 |     2681 |   880795      0 |  1286909 |        4
1644.41/1644.79	c 99.7s |       6 |   328498 |     2781 |   880795      0 |  1286909 |        4
1651.01/1651.38	c  106s |       6 |   342217 |     2981 |   880795      0 |  1286909 |        4
1665.30/1665.60	c  120s |       6 |   342520 |     3081 |   880795      0 |  1286909 |        4
1682.71/1683.06	c  137s |       6 |   345624 |     3181 |   880795      0 |  1286909 |        4
1695.91/1696.26	c  151s |       7 |   347226 |     3223 |   880795      0 |  1286909 |        4
1705.40/1705.71	c  160s |       7 |   389047 |     3323 |   880795      0 |  1286909 |        4
1719.11/1719.45	c  174s |       7 |   391531 |     3423 |   880795      0 |  1286909 |        4
1723.70/1724.07	c  178s |       7 |   395719 |     3523 |   880795      0 |  1286909 |        4
1726.10/1726.41	c  181s |       7 |   395979 |     3623 |   880795      0 |  1286909 |        4
1730.30/1730.64	c  185s |       7 |   397359 |     3723 |   880795      0 |  1286909 |        4
1732.70/1733.02	c  187s |       7 |   397894 |     3823 |   880795      0 |  1286909 |        4
1735.40/1735.71	c  190s |       7 |   398697 |     3923 |   880795      0 |  1286909 |        4
1741.39/1741.75	c  196s |       7 |   402031 |     4023 |   880795      0 |  1286909 |        4
1746.70/1747.08	c  201s |       7 |   403455 |     4123 |   880795      0 |  1286909 |        4
1755.00/1755.37	c  210s |       7 |   404001 |     4223 |   880795      0 |  1286909 |        4
1764.49/1764.82	c  219s |       7 |   404286 |     4323 |   880795      0 |  1286909 |        4
1792.49/1792.85	c  247s |       7 |   404551 |     4423 |   968875      0 |  1286909 |        4

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

pid=16461
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.15 2.11 2.09 3/179 16464
/proc/meminfo: memFree=19147620/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=708028 CPUtime=0 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 2641 0 0 0 0 0 0 0 20 0 4 0 26026668 725020672 3002 33554432000 4194304 16246674 140735655560144 140735655559080 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 177775 3010 441 2943 0 174669 0
[pid=16464/tid=16465] ppid=16461 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 742846464 3069 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=729532 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26026668 747040768 3086 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=733628 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 751235072 3102 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 2.15 2.11 2.09 3/179 16464
/proc/meminfo: memFree=19147620/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 31337 0 0 0 5 4 0 0 20 0 4 0 26026668 1334382592 31636 33554432000 4194304 16246674 140735655560144 140735655559456 7364033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 325777 31652 799 2943 0 322671 0
[pid=16464/tid=16465] ppid=16461 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 1334382592 31663 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26026668 1334382592 31673 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 1334382592 31684 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200507 s]
/proc/loadavg: 2.15 2.11 2.09 3/179 16464
/proc/meminfo: memFree=19147620/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 39862 0 0 0 14 5 0 0 20 0 4 0 26026668 1343819776 40672 33554432000 4194304 16246674 140735655560144 140735655559456 8057014 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 328081 40672 799 2943 0 324975 0
[pid=16464/tid=16465] ppid=16461 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 1343819776 40672 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26026668 1343819776 40672 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 1343819776 40672 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300488 s]
/proc/loadavg: 2.15 2.11 2.09 3/179 16464
/proc/meminfo: memFree=19147620/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 43301 0 0 0 23 6 0 0 20 0 4 0 26026668 1343819776 44111 33554432000 4194304 16246674 140735655560144 140735655559456 7852992 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 328081 44111 799 2943 0 324975 0
[pid=16464/tid=16465] ppid=16461 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 1343819776 44111 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26026668 1343819776 44111 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 1343819776 44111 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700407 s]
/proc/loadavg: 2.15 2.11 2.09 3/179 16464
/proc/meminfo: memFree=19147620/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 56932 0 0 0 61 8 0 0 20 0 4 0 26026668 1343819776 57742 33554432000 4194304 16246674 140735655560144 140735655559456 4206649 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 328081 57742 800 2943 0 324975 0
[pid=16464/tid=16465] ppid=16461 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 1343819776 57742 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26026668 1343819776 57742 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 1343819776 57742 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50041 s]
/proc/loadavg: 2.22 2.13 2.10 3/183 16468
/proc/meminfo: memFree=18890524/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=1312324 CPUtime=1.49 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 99726 0 0 0 135 14 0 0 20 0 4 0 26026668 1343819776 100537 33554432000 4194304 16246674 140735655560144 140735655543136 7371468 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 328081 100554 800 2943 0 324975 0
[pid=16464/tid=16465] ppid=16461 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 1343819776 100565 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26026668 1343819776 100576 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 1343819776 100587 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.1004 s]
/proc/loadavg: 2.22 2.13 2.10 3/183 16468
/proc/meminfo: memFree=18734328/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=1336900 CPUtime=3.09 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 163979 0 0 0 286 23 0 0 20 0 4 0 26026668 1368985600 170921 33554432000 4194304 16246674 140735655560144 140735655543136 8055516 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 334225 170921 802 2943 0 331119 0
[pid=16464/tid=16465] ppid=16461 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 1368985600 170921 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26026668 1368985600 170921 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 1368985600 170921 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1336900

[startup+6.30041 s]
/proc/loadavg: 2.20 2.13 2.10 3/183 16468
/proc/meminfo: memFree=18340332/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=1386052 CPUtime=6.28 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 187189 0 0 0 600 28 0 0 20 0 4 0 26026668 1419317248 206396 33554432000 4194304 16246674 140735655560144 140735655559240 12752373 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 346513 206414 802 2943 0 343407 0
[pid=16464/tid=16465] ppid=16461 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 1419317248 206424 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26026668 1419317248 206436 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 1419317248 206446 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1386052

[startup+12.7004 s]
/proc/loadavg: 2.18 2.12 2.09 3/183 16468
/proc/meminfo: memFree=18084900/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=1680964 CPUtime=12.69 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 224946 0 0 0 1230 39 0 0 20 0 4 0 26026668 1721307136 293208 33554432000 4194304 16246674 140735655560144 140735655543136 4206572 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 420241 293208 802 2943 0 417135 0
[pid=16464/tid=16465] ppid=16461 vsize=1680964 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 1721307136 293208 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=1680964 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26026668 1721307136 293208 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=1680964 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 1721307136 293208 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1680964

[startup+25.5005 s]
/proc/loadavg: 2.23 2.14 2.10 3/183 16468
/proc/meminfo: memFree=16047912/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=3352132 CPUtime=25.48 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 686477 0 0 0 2436 112 0 0 20 0 4 0 26026668 3432583168 777223 33554432000 4194304 16246674 140735655560144 140735655559320 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 838033 777223 803 2943 0 834927 0
[pid=16464/tid=16465] ppid=16461 vsize=3352132 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 3432583168 777223 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=3352132 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26026668 3432583168 777223 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=3352132 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 3432583168 777223 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3352132

[startup+51.1005 s]
/proc/loadavg: 2.21 2.14 2.10 3/184 16472
/proc/meminfo: memFree=10800692/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=7612996 CPUtime=51.08 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 1751901 0 0 0 4837 271 0 0 20 0 4 0 26026668 7795707904 1844691 33554432000 4194304 16246674 140735655560144 140735655559320 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 1903249 1844691 843 2943 0 1900143 0
[pid=16464/tid=16465] ppid=16461 vsize=7612996 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 7795707904 1844691 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=7612996 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26026668 7795707904 1844691 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=7612996 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 7795707904 1844691 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7612996

[startup+102.3 s]
/proc/loadavg: 2.09 2.11 2.09 3/183 16521
/proc/meminfo: memFree=24455000/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=6605380 CPUtime=102.28 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 2209448 0 0 0 9867 361 0 0 20 0 4 0 26026668 6763909120 1592862 33554432000 4194304 16246674 140735655560144 140735655542016 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 1651345 1592862 916 2943 0 1648239 0
[pid=16464/tid=16465] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1592862 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1592862 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1592862 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 6605380


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

/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140331631746064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 6605380

[startup+1362.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 16576
/proc/meminfo: memFree=19577528/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=6605380 CPUtime=1362.06 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 2209466 0 0 0 135684 522 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140735655559240 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 1651345 1593121 919 2943 0 1648239 0
[pid=16464/tid=16465] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 6605380

[startup+1422.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/183 16577
/proc/meminfo: memFree=19576680/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=6605380 CPUtime=1422.06 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 2209466 0 0 0 141676 530 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140735655559240 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 1651345 1593121 919 2943 0 1648239 0
[pid=16464/tid=16465] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 6605380

[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 16578
/proc/meminfo: memFree=20637412/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=6605380 CPUtime=1482.04 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 2209468 0 0 0 147666 538 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140735655559320 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 1651345 1593121 919 2943 0 1648239 0
[pid=16464/tid=16465] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 6605380

[startup+1542.31 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 16579
/proc/meminfo: memFree=20637048/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=6605380 CPUtime=1542.03 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 2209470 0 0 0 153657 546 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140735655558016 4224715 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 1651345 1593121 919 2943 0 1648239 0
[pid=16464/tid=16465] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140331631746064 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593121 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 6605380

[startup+1602.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 16580
/proc/meminfo: memFree=20636960/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=6605380 CPUtime=1602.02 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 2209474 0 0 0 159642 560 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140735655559320 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 1651345 1593125 923 2943 0 1648239 0
[pid=16464/tid=16465] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 6605380

[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 16582
/proc/meminfo: memFree=20636732/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=6605380 CPUtime=1662.01 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 2209474 0 0 0 165628 573 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140735655559320 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 1651345 1593125 923 2943 0 1648239 0
[pid=16464/tid=16465] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 6605380

[startup+1722.3 s]
/proc/loadavg: 2.07 2.05 2.00 3/183 16583
/proc/meminfo: memFree=20636880/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=6605380 CPUtime=1722 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 2209475 0 0 0 171616 584 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140735655542016 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 1651345 1593125 923 2943 0 1648239 0
[pid=16464/tid=16465] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 6605380

[startup+1782.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/183 16584
/proc/meminfo: memFree=20636536/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=6605380 CPUtime=1781.99 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 2209475 0 0 0 177589 610 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140735655559320 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 1651345 1593125 923 2943 0 1648239 0
[pid=16464/tid=16465] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 6605380



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 16584
/proc/meminfo: memFree=20636880/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=6605380 CPUtime=1800.08 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) R 16461 16464 11324 0 -1 4202496 2209475 0 0 0 179385 623 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140735655559320 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 1651345 1593125 923 2943 0 1648239 0
[pid=16464/tid=16465] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16465/stat : 16465 (toysat) S 16461 16464 11324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140331642236144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) S 16461 16464 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140331631746288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16464/tid=16467] ppid=16461 vsize=6605380 CPUtime=0 cores=0,2,4,6
/proc/16464/task/16467/stat : 16467 (toysat) S 16461 16464 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26026668 6763909120 1593125 33554432000 4194304 16246674 140735655560144 140331546832048 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 6605380

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

[startup+1800.6 s]
/proc/loadavg: 2.09 2.06 2.01 3/183 16584
/proc/meminfo: memFree=20636880/32872528 swapFree=249320/249320
[pid=16464] ppid=16461 vsize=0 CPUtime=1800.29 cores=0,2,4,6
/proc/16464/stat : 16464 (toysat) Z 16461 16464 11324 0 -1 4203532 2209475 0 0 0 179386 643 0 0 20 0 2 0 26026668 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16464/statm: 0 0 0 0 0 0 0
[pid=16464/tid=16466] ppid=16461 vsize=0 CPUtime=0.19 cores=0,2,4,6
/proc/16464/task/16466/stat : 16466 (toysat) R 16461 16464 11324 0 -1 4203588 9 0 0 0 0 19 0 0 20 0 2 0 26026668 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.61
CPU time (s): 1800.31
CPU user time (s): 1793.87
CPU system time (s): 6.44602
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 9442884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.87
system time used= 6.44602
maximum resident set size= 9208824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2209475
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= 803
involuntary context switches= 1952

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.66729 second user time and 6.81496 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 10:49:22
IDJOB=4103969
IDBENCH=2520
IDSOLVER=2542
FILE ID=node103/4103969-1466239753
RUNJOBID= node103-1466206104-11340
PBS_JOBID= 19918169
Free space on /tmp= 71428 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-ds.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4103969-1466239753/watcher-4103969-1466239753 -o /tmp/evaluation-result-4103969-1466239753/solver-4103969-1466239753 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4103969-1466239753.opb

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

MD5SUM BENCH= 7478f253a8ff3e29c2a001743623a20c
RANDOM SEED=1570074462

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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.278
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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:        19147884 kB
Buffers:          130964 kB
Cached:           480476 kB
SwapCached:         2188 kB
Active:         12469168 kB
Inactive:         228628 kB
Active(anon):   12084916 kB
Inactive(anon):     3672 kB
Active(file):     384252 kB
Inactive(file):   224956 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099436 kB
Dirty:            310240 kB
Writeback:             0 kB
AnonPages:      12334852 kB
Mapped:            10896 kB
Shmem:                 0 kB
Slab:             620508 kB
SReclaimable:      60104 kB
SUnreclaim:       560404 kB
KernelStack:        1464 kB
PageTables:        28296 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:   12478076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    223232 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= 71384 MiB
End job on node103 at 2016-06-18 11:19:23