Trace number 4101921

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.13 1800.42

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-nw04.opb
MD5SUM7553b5b0af389e391cbb593275af2f9b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark73
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 41
Optimality of the best value was proved YES
Number of variables87482
Total number of constraints36
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint599
Maximum length of a constraint42032
Number of terms in the objective function 87482
Biggest coefficient in the objective function 23
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 568395
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 23
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 568395
Number of bits of the biggest sum of numbers20
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-18T07:33:38+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-4101921-1466228017.opb"]
0.00/0.01	c use --random-gen="3647054464 2458782523 602113620 535019256 3360780912 4095380774 3832493866 820256044 3813586448 3478673351 3999917092 1471972271 3342034863 1858023627 1124767089 4225329458 1388934139 751953862 3306411688 3578675122 983332658 25916305 2503533348 983744568 382575357 2717705598 3160916181 2999944231 959274637 84895523 170429494 706915934 1988887117 3356346162 2785320994 2979547035 1510127949 3407954310 1301160865 2459279721 399071423 4044158166 932066312 3240321006 1163326979 29423916 3247012441 3249515372 542180762 3599516824 898985422 1779771732 1694710597 1182509249 1366707476 3945932453 1390215019 2356373929 1220863786 2380853250 3377168785 3151132386 2547183107 1038361907 3981800966 1515274049 2466587040 3572731106 1562029326 245978788 4283652769 2144038033 2806434791 1126426515 289631124 4267038543 133294013 3134821631 3122615045 2317196977 742477495 2899267817 1580341886 873050715 1704956876 1825067170 1843401055 537179208 387102382 3340772756 236130813 2881630683 4207313296 4209100042 4168091205 4242190977 1509292139 3332288948 2105957613 1094160613 2026960520 1387640394 3179319976 536653294 2988675165 114408431 959706173 4001297239 3698057293 1584810097 4143620712 1433755433 481653038 2091847510 1774509291 1339149799 2266169783 184714757 3892400709 2597726880 419121604 2893898582 3147998630 176174313 3223865404 779492884 1434253986 82873326 3695677715 1454245287 2021016507 191859082 4073355596 3015069869 770940270 1819882178 3090837234 663389685 2176565608 3871006076 1589070025 3488325888 2920456301 1600481532 932158545 1018440762 2918308951 1167998480 3429727519 3460836180 2717674002 483571878 2534917476 2025601773 1711156030 524771731 2443174227 1751768548 3082959133 1353946052 1499224598 39049435 4236120607 3846189749 3803705708 2231604733 1479022255 4182458250 999366893 2352539716 1124724695 1258517459 514134595 1739442035 2977909212 2477371144 638476930 2631026607 3113596311 3335824419 4044277590 2790231782 1373915048 1990182951 1058748017 519639479 2630713711 1111625058 2213920736 1643915975 3252259150 482881886 3034793196 3091103330 684812769 3541099812 1573941301 4138956516 1598396258 1772561495 1014496747 4028009268 2449599524 211999066 1532505678 1222561257 3714369903 3944066656 3027075499 3123343630 3323850547 2403784295 2482129558 4115117851 1586005466 3539809992 2092658731 4166990480 2898302925 4245974975 639215893 2735941958 2751603481 2113502187 4222958781 3462760989 4099654942 1307906352 1605275476 2340933116 3815020269 762226915 2620087761 529131941 3426810142 1169944260 43398663 257441358 2194324246 1539229351 733503025 2795856362 1452606176 3019806204 4117983820 1007209294 1788895780 3904317525 186988402 11371290 2829599668 3894593177 2802414493 3455178525 372140243 2462529683 255 362436" option to reproduce the execution
1.10/1.16	c #vars 87482
1.10/1.16	c #constraints 36
7.89/7.91	c BCD2: Hardening is enabled.
7.89/7.91	c BCD2: BiasedSearch is enabled.
7.89/7.91	c Solving starts ...
7.89/7.91	c ============================[ Search Statistics ]============================
7.89/7.91	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
7.89/7.91	c       |         |          |          |    Limit     GC | Var      | Constra 
7.89/7.91	c =============================================================================
7.89/7.92	c  0.0s |       0 |        0 |        0 |    29184      0 |        0 |        0
14.79/14.86	c  6.9s |       0 |      245 |       40 |    29184      0 |        0 |        0
14.79/14.86	c #cpu_time = 6.858s
14.79/14.86	c #wall_clock_time = 6.876s
14.79/14.86	c #decision = 245
14.79/14.86	c #random_decision = 0
14.79/14.86	c #conflict = 40
14.79/14.86	c #restart = 0
14.79/14.86	o 163
14.99/15.02	c BCD2: updating upper bound: 568395 -> 162
15.68/15.79	c BCD2: 0 <= obj <= 162
15.68/15.79	c BCD2: #cores=0, #unrelaxed=87482, #relaxed=0, #hardened=0
15.68/15.79	c BCD2: #sat=1 #unsat=1 bias=1/2
15.78/15.80	c Solving starts ...
15.78/15.80	c ============================[ Search Statistics ]============================
15.78/15.80	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.78/15.80	c       |         |          |          |    Limit     GC | Var      | Constra 
15.78/15.80	c =============================================================================
15.78/15.80	c  0.0s |       0 |        0 |        0 |    29184      0 |        0 |        0
16.38/16.40	c  0.6s |       0 |    74922 |        0 |    29184      0 |        0 |        0
16.38/16.40	c #cpu_time = 0.578s
16.38/16.40	c #wall_clock_time = 0.579s
16.38/16.40	c #decision = 74922
16.38/16.40	c #random_decision = 0
16.38/16.40	c #conflict = 0
16.38/16.40	c #restart = 0
16.38/16.41	c BCD2: found a new core of size 7011: cost of the new core is >=1
16.38/16.41	c lower bound updated to 1
16.38/16.48	c BCD2: 1 <= obj <= 162
16.38/16.48	c BCD2: #cores=1, #unrelaxed=80471, #relaxed=7011, #hardened=0
16.38/16.48	c BCD2: #sat=1 #unsat=2 bias=2/3
16.49/16.54	c Solving starts ...
16.49/16.54	c ============================[ Search Statistics ]============================
16.49/16.54	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
16.49/16.54	c       |         |          |          |    Limit     GC | Var      | Constra 
16.49/16.54	c =============================================================================
16.49/16.54	c  0.0s |       0 |        0 |        0 |    29184      0 |        0 |        1
21.29/21.33	c  4.8s |       0 |   453975 |      100 |    32103      0 |        0 |        1
21.29/21.35	c  4.8s |       1 |   453975 |      100 |    32103      0 |        0 |        1
26.69/26.79	c 10.2s |       1 |   756336 |      181 |    32103      0 |        0 |        1
26.69/26.79	c #cpu_time = 10.203s
26.69/26.79	c #wall_clock_time = 10.229s
26.69/26.79	c #decision = 756336
26.69/26.79	c #random_decision = 0
26.69/26.79	c #conflict = 181
26.69/26.79	c #restart = 1
26.79/26.81	c BCD2: relaxing 14987 and merging with 1 cores into a new core of size 21998: cost of the new core is >=2
26.79/26.81	c lower bound updated to 2
26.89/26.94	c BCD2: 2 <= obj <= 162
26.89/26.94	c BCD2: #cores=1, #unrelaxed=65484, #relaxed=21998, #hardened=0
26.89/26.94	c BCD2: #sat=1 #unsat=3 bias=3/4
27.09/27.11	c Solving starts ...
27.09/27.11	c ============================[ Search Statistics ]============================
27.09/27.11	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
27.09/27.11	c       |         |          |          |    Limit     GC | Var      | Constra 
27.09/27.11	c =============================================================================
27.09/27.12	c  0.0s |       0 |        0 |        0 |    32103      0 |        1 |        1
27.89/27.96	c  0.8s |       0 |    69679 |        1 |    32103      0 |        1 |        2
27.89/27.96	c #cpu_time = 0.807s
27.89/27.96	c #wall_clock_time = 0.809s
27.89/27.96	c #decision = 69679
27.89/27.96	c #random_decision = 0
27.89/27.96	c #conflict = 1
27.89/27.96	c #restart = 0
27.89/27.98	c BCD2: relaxing 7855 and merging with 1 cores into a new core of size 29853: cost of the new core is >=3
27.89/27.98	c lower bound updated to 3
28.09/28.14	c BCD2: 3 <= obj <= 162
28.09/28.14	c BCD2: #cores=1, #unrelaxed=57629, #relaxed=29853, #hardened=0
28.09/28.14	c BCD2: #sat=1 #unsat=4 bias=4/5
28.29/28.38	c Solving starts ...
28.29/28.38	c ============================[ Search Statistics ]============================
28.29/28.38	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
28.29/28.38	c       |         |          |          |    Limit     GC | Var      | Constra 
28.29/28.38	c =============================================================================
28.29/28.39	c  0.0s |       0 |        0 |        0 |    32103      0 |        2 |        2
52.58/52.63	c 24.2s |       0 |   172268 |       55 |    35314      0 |        2 |        3
52.58/52.63	c #cpu_time = 24.148s
52.58/52.63	c #wall_clock_time = 24.211s
52.58/52.63	c #decision = 172268
52.58/52.63	c #random_decision = 143
52.58/52.63	c #conflict = 55
52.58/52.63	c #restart = 0
52.89/52.97	c BCD2: relaxing 38952 and merging with 1 cores into a new core of size 68805: cost of the new core is >=4
52.89/52.97	c lower bound updated to 4
53.28/53.36	c BCD2: 4 <= obj <= 162
53.28/53.36	c BCD2: #cores=1, #unrelaxed=18677, #relaxed=68805, #hardened=0
53.28/53.36	c BCD2: #sat=1 #unsat=5 bias=5/6
53.88/53.98	c Solving starts ...
53.88/53.98	c ============================[ Search Statistics ]============================
53.88/53.98	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
53.88/53.98	c       |         |          |          |    Limit     GC | Var      | Constra 
53.88/53.98	c =============================================================================
53.88/53.98	c  0.0s |       0 |        0 |        0 |    35314      0 |        3 |        3
75.98/76.07	c 22.1s |       0 |    55069 |      100 |    35314      0 |        3 |        4
76.07/76.15	c 22.2s |       1 |    55069 |      100 |    35314      0 |        3 |        4
114.57/114.62	c 60.6s |       1 |    94069 |      200 |    35314      0 |        3 |        4
150.07/150.13	c 96.1s |       2 |    94163 |      250 |    38846      0 |        3 |        4
159.86/159.91	c  105s |       2 |   113852 |      350 |    38846      0 |        3 |        4
168.67/168.78	c  114s |       2 |   114434 |      450 |    38846      0 |        3 |        4
172.46/172.53	c  118s |       3 |   114539 |      475 |    38846      0 |        3 |        4
182.26/182.37	c  128s |       3 |   133442 |      575 |    42731      0 |        3 |        4
192.47/192.57	c  138s |       3 |   135127 |      675 |    42731      0 |        3 |        4
206.66/206.73	c  152s |       3 |   136205 |      775 |    42731      0 |        3 |        4
210.45/210.50	c  156s |       4 |   136437 |      813 |    42731      0 |        3 |        4
225.75/225.88	c  171s |       4 |   157243 |      913 |    42731      0 |        3 |        4
238.15/238.28	c  184s |       4 |   157820 |     1013 |    42731      0 |        3 |        4
249.15/249.25	c  195s |       4 |   158343 |     1113 |    47005      0 |        3 |        4
266.55/266.63	c  212s |       4 |   158838 |     1213 |    47005      0 |        3 |        4
277.65/277.74	c  223s |       4 |   160112 |     1313 |    47005      0 |        3 |        4
278.74/278.86	c  224s |       5 |   160391 |     1320 |    47005      0 |        3 |        4
291.56/291.66	c  237s |       5 |   181883 |     1420 |    47005      0 |        3 |        4
302.14/302.20	c  248s |       5 |   183036 |     1520 |    47005      0 |        3 |        4
314.74/314.84	c  260s |       5 |   183297 |     1620 |    47005      0 |        3 |        4
327.24/327.39	c  273s |       5 |   183479 |     1720 |    47005      0 |        3 |        4
339.14/339.23	c  285s |       5 |   184819 |     1820 |    51706      0 |        3 |        4
349.33/349.49	c  295s |       5 |   185225 |     1920 |    51706      0 |        3 |        4
362.84/362.98	c  308s |       5 |   185519 |     2020 |    51706      0 |        3 |        4
370.74/370.82	c  316s |       6 |   185673 |     2081 |    51706      0 |        3 |        4
390.93/391.02	c  337s |       6 |   204635 |     2181 |    51706      0 |        3 |        4
404.93/405.05	c  351s |       6 |   204787 |     2281 |    51706      0 |        3 |        4
413.53/413.65	c  359s |       6 |   205386 |     2381 |    51706      0 |        3 |        4
422.62/422.73	c  368s |       6 |   205981 |     2481 |    51706      0 |        3 |        4
431.83/431.99	c  378s |       6 |   206301 |     2581 |    51706      0 |        3 |        4
445.32/445.47	c  391s |       6 |   206643 |     2681 |    51706      0 |        3 |        4
459.83/459.95	c  405s |       6 |   206924 |     2781 |    51706      0 |        3 |        4
480.32/480.46	c  426s |       6 |   207809 |     2881 |    51706      0 |        3 |        4
500.52/500.67	c  446s |       6 |   210436 |     2981 |    56877      0 |        3 |        4
525.71/525.86	c  471s |       6 |   210818 |     3081 |    56877      0 |        3 |        4
561.20/561.34	c  507s |       6 |   211444 |     3181 |    56877      0 |        3 |        4
582.30/582.43	c  528s |       7 |   211601 |     3223 |    56877      0 |        3 |        4
603.00/603.14	c  549s |       7 |   230995 |     3323 |    56877      0 |        3 |        4
608.30/608.43	c  554s |       7 |   231556 |     3423 |    56877      0 |        3 |        4
614.29/614.44	c  560s |       7 |   232963 |     3523 |    56877      0 |        3 |        4
618.99/619.15	c  565s |       7 |   233927 |     3623 |    56877      0 |        3 |        4
623.49/623.63	c  569s |       7 |   234935 |     3723 |    56877      0 |        3 |        4
630.09/630.28	c  576s |       7 |   235711 |     3823 |    56877      0 |        3 |        4
639.79/639.93	c  585s |       7 |   236223 |     3923 |    56877      0 |        3 |        4
648.99/649.15	c  595s |       7 |   237126 |     4023 |    56877      0 |        3 |        4
657.79/657.93	c  603s |       7 |   238892 |     4123 |    56877      0 |        3 |        4
692.38/692.57	c  638s |       7 |   240110 |     4223 |    56877      0 |        3 |        4
702.98/703.11	c  649s |       7 |   240729 |     4323 |    56877      0 |        3 |        4
725.58/725.76	c  671s |       7 |   241177 |     4423 |    56877      0 |        3 |        4
742.39/742.54	c  688s |       7 |   242533 |     4523 |    56877      0 |        3 |        4
755.37/755.56	c  701s |       7 |   245044 |     4623 |    56877      0 |        3 |        4
771.37/771.57	c  717s |       7 |   245660 |     4723 |    62565      0 |        3 |        4
780.97/781.18	c  727s |       7 |   246024 |     4823 |    62565      0 |        3 |        4
789.77/789.95	c  735s |       7 |   246286 |     4923 |    62565      0 |        3 |        4
791.26/791.49	c  737s |       8 |   246322 |     4936 |    62565      0 |        3 |        4
827.07/827.23	c  773s |       8 |   265407 |     5036 |    62565      0 |        3 |        4
842.86/843.08	c  789s |       8 |   265937 |     5136 |    62565      0 |        3 |        4
852.96/853.15	c  799s |       8 |   266158 |     5236 |    62565      0 |        3 |        4
874.56/874.79	c  820s |       8 |   267562 |     5336 |    62565      0 |        3 |        4
882.06/882.24	c  828s |       8 |   268172 |     5436 |    62565      0 |        3 |        4
888.95/889.12	c  835s |       8 |   269885 |     5536 |    62565      0 |        3 |        4
896.46/896.62	c  842s |       8 |   270399 |     5636 |    62565      0 |        3 |        4
904.06/904.21	c  850s |       8 |   270776 |     5736 |    62565      0 |        3 |        4
914.85/915.03	c  861s |       8 |   271567 |     5836 |    62565      0 |        3 |        4
925.45/925.66	c  871s |       8 |   271915 |     5936 |    62565      0 |        3 |        4
933.15/933.33	c  879s |       8 |   272708 |     6036 |    62565      0 |        3 |        4
954.05/954.27	c  900s |       8 |   273293 |     6136 |    62565      0 |        3 |        4
968.95/969.16	c  915s |       8 |   274090 |     6236 |    62565      0 |        3 |        4
979.84/980.06	c  926s |       8 |   274450 |     6336 |    62565      0 |        3 |        4
990.94/991.18	c  937s |       8 |   275261 |     6436 |    62565      0 |        3 |        4
1003.23/1003.45	c  949s |       8 |   275751 |     6536 |    62565      0 |        3 |        4
1011.84/1012.02	c  958s |       8 |   275986 |     6636 |    62565      0 |        3 |        4
1022.53/1022.78	c  968s |       8 |   276266 |     6736 |    62565      0 |        3 |        4
1034.83/1035.04	c  981s |       8 |   276502 |     6836 |    62565      0 |        3 |        4
1045.53/1045.79	c  991s |       8 |   277108 |     6936 |    62565      0 |        3 |        4
1058.23/1058.43	c 1004s |       8 |   277369 |     7036 |    62565      0 |        3 |        4
1068.93/1069.19	c 1015s |       8 |   277571 |     7136 |    62565      0 |        3 |        4
1078.52/1078.73	c 1024s |       8 |   278134 |     7236 |    68822      0 |        3 |        4
1088.62/1088.85	c 1034s |       8 |   278842 |     7336 |    68822      0 |        3 |        4
1101.32/1101.50	c 1047s |       8 |   279265 |     7436 |    68822      0 |        3 |        4
1105.52/1105.79	c 1051s |       9 |   279762 |     7506 |    68822      0 |        3 |        4
1134.22/1134.44	c 1080s |       9 |   299681 |     7606 |    68822      0 |        3 |        4
1148.11/1148.32	c 1094s |       9 |   301190 |     7706 |    68822      0 |        3 |        4
1164.21/1164.43	c 1110s |       9 |   303474 |     7806 |    68822      0 |        3 |        4
1208.30/1208.56	c 1154s |       9 |   304250 |     7906 |    68822      0 |        3 |        4
1240.40/1240.63	c 1186s |       9 |   304653 |     8006 |    68822      0 |        3 |        4
1251.10/1251.31	c 1197s |       9 |   305048 |     8106 |    68822      0 |        3 |        4
1269.40/1269.68	c 1215s |       9 |   306397 |     8206 |    68822      0 |        3 |        4
1294.89/1295.17	c 1241s |       9 |   306665 |     8306 |    68822      0 |        3 |        4
1317.89/1318.18	c 1264s |       9 |   306873 |     8406 |    68822      0 |        3 |        4
1331.29/1331.57	c 1277s |       9 |   307055 |     8506 |    68822      0 |        3 |        4
1340.38/1340.62	c 1286s |       9 |   308334 |     8606 |    68822      0 |        3 |        4
1347.18/1347.48	c 1293s |       9 |   309675 |     8706 |    68822      0 |        3 |        4
1357.38/1357.68	c 1303s |       9 |   311192 |     8806 |    68822      0 |        3 |        4
1373.48/1373.77	c 1319s |       9 |   312285 |     8906 |    68822      0 |        3 |        4
1385.68/1385.99	c 1332s |       9 |   312858 |     9006 |    68822      0 |        3 |        4
1400.98/1401.21	c 1347s |       9 |   313320 |     9106 |    68822      0 |        3 |        4
1413.87/1414.17	c 1360s |       9 |   313521 |     9206 |    68822      0 |        3 |        4
1422.87/1423.16	c 1369s |       9 |   314315 |     9306 |    68822      0 |        3 |        4
1435.87/1436.20	c 1382s |       9 |   315320 |     9406 |    68822      0 |        3 |        4
1452.76/1453.02	c 1399s |       9 |   317910 |     9506 |    68822      0 |        3 |        4
1474.87/1475.18	c 1421s |       9 |   318589 |     9606 |    68822      0 |        3 |        4
1489.17/1489.46	c 1435s |       9 |   318967 |     9706 |    68822      0 |        3 |        4
1496.96/1497.29	c 1443s |       9 |   320589 |     9806 |    68822      0 |        3 |        4
1509.06/1509.31	c 1455s |       9 |   321028 |     9906 |    68822      0 |        3 |        4
1543.25/1543.55	c 1489s |       9 |   321600 |    10006 |    68822      0 |        3 |        4
1557.05/1557.36	c 1503s |       9 |   322110 |    10106 |    68822      0 |        3 |        4
1571.44/1571.70	c 1517s |       9 |   322320 |    10206 |    68822      0 |        3 |        4
1591.85/1592.15	c 1538s |       9 |   322558 |    10306 |    68822      0 |        3 |        4
1602.04/1602.33	c 1548s |       9 |   322960 |    10406 |    68822      0 |        3 |        4
1612.24/1612.53	c 1558s |       9 |   323372 |    10506 |    68822      0 |        3 |        4
1632.64/1632.92	c 1578s |       9 |   323613 |    10606 |    68822      0 |        3 |        4
1646.83/1647.11	c 1593s |       9 |   323973 |    10706 |    68822      0 |        3 |        4
1660.04/1660.30	c 1606s |       9 |   324435 |    10806 |    68822      0 |        3 |        4
1673.32/1673.66	c 1619s |       9 |   325431 |    10906 |    68822      0 |        3 |        4
1692.64/1692.93	c 1638s |       9 |   326530 |    11006 |    68822      0 |        3 |        4
1702.53/1702.83	c 1648s |       9 |   327240 |    11106 |    75705      0 |        3 |        4
1716.32/1716.62	c 1662s |       9 |   327938 |    11206 |    75705      0 |        3 |        4
1730.92/1731.28	c 1677s |       9 |   328464 |    11306 |    75705      0 |        3 |        4
1742.82/1743.10	c 1689s |      10 |   328948 |    11361 |    75705      0 |        3 |        4
1780.81/1781.18	c 1727s |      10 |   349316 |    11461 |    75705      0 |        3 |        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-4101921-1466228017/watcher-4101921-1466228017 -o /tmp/evaluation-result-4101921-1466228017/solver-4101921-1466228017 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101921-1466228017.opb 

pid=19908
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.29 2.23 2.19 4/179 19911
/proc/meminfo: memFree=27437308/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=709052 CPUtime=0 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 2640 0 0 0 0 0 0 0 20 0 4 0 24847269 726069248 3512 33554432000 4194304 16246674 140736158388896 140736158388320 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 177775 3521 441 2943 0 174669 0
[pid=19911/tid=19912] ppid=19908 vsize=727484 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 744943616 3584 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=731580 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 749137920 3602 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=735676 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 753332224 3618 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.29 2.23 2.19 4/179 19911
/proc/meminfo: memFree=27437308/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 27795 0 0 0 6 3 0 0 20 0 4 0 24847269 1332285440 28604 33554432000 4194304 16246674 140736158388896 140736158388208 7367789 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 325265 28619 798 2943 0 322159 0
[pid=19911/tid=19912] ppid=19908 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 1332285440 28630 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 1332285440 28641 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 1332285440 28653 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200595 s]
/proc/loadavg: 2.29 2.23 2.19 4/179 19911
/proc/meminfo: memFree=27437308/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=1314372 CPUtime=0.19 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 43790 0 0 0 13 6 0 0 20 0 4 0 24847269 1345916928 45110 33554432000 4194304 16246674 140736158388896 140736158388208 7368033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 328593 45110 800 2943 0 325487 0
[pid=19911/tid=19912] ppid=19908 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 1345916928 45110 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 1345916928 45110 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 1345916928 45110 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1314372

[startup+0.300503 s]
/proc/loadavg: 2.29 2.23 2.19 4/179 19911
/proc/meminfo: memFree=27437308/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 56984 0 0 0 21 8 0 0 20 0 4 0 24847269 1345916928 58304 33554432000 4194304 16246674 140736158388896 140736158388208 4221023 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 328593 58304 800 2943 0 325487 0
[pid=19911/tid=19912] ppid=19908 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 1345916928 58304 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 1345916928 58304 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 1345916928 58304 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700419 s]
/proc/loadavg: 2.29 2.23 2.19 4/179 19911
/proc/meminfo: memFree=27437308/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 71300 0 0 0 59 10 0 0 20 0 4 0 24847269 1345916928 72620 33554432000 4194304 16246674 140736158388896 140736158388208 4222992 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 328593 72620 802 2943 0 325487 0
[pid=19911/tid=19912] ppid=19908 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 1345916928 72620 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 1345916928 72620 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 1345916928 72620 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50041 s]
/proc/loadavg: 2.29 2.23 2.19 4/183 19915
/proc/meminfo: memFree=27131480/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=1337924 CPUtime=1.49 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 79379 0 0 0 138 11 0 0 20 0 4 0 24847269 1370034176 83254 33554432000 4194304 16246674 140736158388896 140736158388208 5876472 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 334481 83254 835 2943 0 331375 0
[pid=19911/tid=19912] ppid=19908 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 1370034176 83254 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 1370034176 83254 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 1370034176 83254 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1337924

[startup+3.10039 s]
/proc/loadavg: 2.27 2.23 2.19 4/183 19915
/proc/meminfo: memFree=27099608/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=1337924 CPUtime=3.08 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 123318 0 0 0 291 17 0 0 20 0 4 0 24847269 1370034176 127193 33554432000 4194304 16246674 140736158388896 140736158370816 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 334481 127200 837 2943 0 331375 0
[pid=19911/tid=19912] ppid=19908 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 1370034176 127205 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 1370034176 127211 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 1370034176 127216 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1337924

[startup+6.30041 s]
/proc/loadavg: 2.27 2.23 2.19 3/183 19915
/proc/meminfo: memFree=26717640/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=1337924 CPUtime=6.29 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 191477 0 0 0 601 28 0 0 20 0 4 0 24847269 1370034176 195352 33554432000 4194304 16246674 140736158388896 140736158386880 5893673 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 334481 195352 839 2943 0 331375 0
[pid=19911/tid=19912] ppid=19908 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 1370034176 195352 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 1370034176 195352 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 1370034176 195352 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1337924

[startup+12.7004 s]
/proc/loadavg: 2.23 2.22 2.19 3/183 19915
/proc/meminfo: memFree=26568284/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=1337924 CPUtime=12.69 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 213444 0 0 0 1237 32 0 0 20 0 4 0 24847269 1370034176 217319 33554432000 4194304 16246674 140736158388896 140736158370816 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 334481 217319 895 2943 0 331375 0
[pid=19911/tid=19912] ppid=19908 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 1370034176 217319 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 1370034176 217319 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 1370034176 217319 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1337924

[startup+25.5005 s]
/proc/loadavg: 2.35 2.25 2.19 3/183 19915
/proc/meminfo: memFree=26552688/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=1354308 CPUtime=25.49 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 217568 0 0 0 2516 33 0 0 20 0 4 0 24847269 1386811392 221443 33554432000 4194304 16246674 140736158388896 140736158370816 5754764 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 338577 221443 923 2943 0 335471 0
[pid=19911/tid=19912] ppid=19908 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 1386811392 221443 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 1386811392 221443 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 1386811392 221443 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1354308

[startup+51.1004 s]
/proc/loadavg: 2.23 2.23 2.19 3/183 19915
/proc/meminfo: memFree=26551296/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=1354308 CPUtime=51.08 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 218561 0 0 0 5075 33 0 0 20 0 4 0 24847269 1386811392 222436 33554432000 4194304 16246674 140736158388896 140736158370816 12483464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 338577 222436 923 2943 0 335471 0
[pid=19911/tid=19912] ppid=19908 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 1386811392 222436 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 1386811392 222436 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 1386811392 222436 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1354308

[startup+102.301 s]
/proc/loadavg: 2.38 2.28 2.20 4/183 19916
/proc/meminfo: memFree=26344112/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=1354308 CPUtime=102.28 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 269691 0 0 0 10183 45 0 0 20 0 4 0 24847269 1386811392 273566 33554432000 4194304 16246674 140736158388896 140736158370816 5754961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 338577 273566 923 2943 0 335471 0
[pid=19911/tid=19912] ppid=19908 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 1386811392 273566 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 1386811392 273566 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=1354308 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 1386811392 273566 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1354308


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

/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 2502496256 552886 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=2443844 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 2502496256 552886 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=2443844 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 2502496256 552886 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2443844

[startup+1362.3 s]
/proc/loadavg: 2.26 2.20 2.18 3/183 19947
/proc/meminfo: memFree=25084012/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=2523716 CPUtime=1362.09 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 568887 0 0 0 136031 178 0 0 20 0 4 0 24847269 2584285184 572762 33554432000 4194304 16246674 140736158388896 140736158370752 12483403 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 630929 572762 924 2943 0 627823 0
[pid=19911/tid=19912] ppid=19908 vsize=2523716 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 2584285184 572762 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=2523716 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 2584285184 572762 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=2523716 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 2584285184 572762 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 2523716

[startup+1422.3 s]
/proc/loadavg: 2.23 2.20 2.18 3/183 19949
/proc/meminfo: memFree=25005116/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=2601540 CPUtime=1422.08 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 588496 0 0 0 142020 188 0 0 20 0 4 0 24847269 2663976960 592373 33554432000 4194304 16246674 140736158388896 140736158387992 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 650385 592373 924 2943 0 647279 0
[pid=19911/tid=19912] ppid=19908 vsize=2601540 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 2663976960 592373 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=2601540 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 2663976960 592373 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=2601540 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 2663976960 592373 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 2601540

[startup+1482.3 s]
/proc/loadavg: 2.25 2.21 2.18 3/183 19950
/proc/meminfo: memFree=24945584/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=2660932 CPUtime=1482.06 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 603393 0 0 0 148006 200 0 0 20 0 4 0 24847269 2724794368 607266 33554432000 4194304 16246674 140736158388896 140736158387992 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 665233 607266 924 2943 0 662127 0
[pid=19911/tid=19912] ppid=19908 vsize=2660932 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 2724794368 607266 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=2660932 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 2724794368 607266 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=2660932 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 2724794368 607266 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 2660932

[startup+1542.31 s]
/proc/loadavg: 2.31 2.23 2.19 4/183 19951
/proc/meminfo: memFree=24889844/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=2717252 CPUtime=1542.06 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 617303 0 0 0 153997 209 0 0 20 0 4 0 24847269 2782466048 621176 33554432000 4194304 16246674 140736158388896 140736158370816 5712608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 679313 621176 924 2943 0 676207 0
[pid=19911/tid=19912] ppid=19908 vsize=2717252 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 2782466048 621176 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=2717252 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 2782466048 621176 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=2717252 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 2782466048 621176 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 2717252

[startup+1602.3 s]
/proc/loadavg: 2.31 2.25 2.19 3/184 19955
/proc/meminfo: memFree=24797464/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=2809412 CPUtime=1602.04 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 640281 0 0 0 159981 223 0 0 20 0 4 0 24847269 2876837888 644152 33554432000 4194304 16246674 140736158388896 140736158370816 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 702353 644152 924 2943 0 699247 0
[pid=19911/tid=19912] ppid=19908 vsize=2809412 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 2876837888 644152 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=2809412 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 2876837888 644152 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=2809412 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 2876837888 644152 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 2809412

[startup+1662.3 s]
/proc/loadavg: 2.34 2.26 2.20 4/184 20371
/proc/meminfo: memFree=24896176/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=2873924 CPUtime=1662.03 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 656644 0 0 0 165969 234 0 0 20 0 4 0 24847269 2942898176 660514 33554432000 4194304 16246674 140736158388896 140736158387992 4220794 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 718481 660514 924 2943 0 715375 0
[pid=19911/tid=19912] ppid=19908 vsize=2873924 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 2942898176 660514 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=2873924 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 2942898176 660514 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=2873924 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 2942898176 660514 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 2873924

[startup+1722.3 s]
/proc/loadavg: 2.20 2.24 2.19 3/183 20373
/proc/meminfo: memFree=24804304/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=2960964 CPUtime=1722.02 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 678174 0 0 0 171955 247 0 0 20 0 4 0 24847269 3032027136 682041 33554432000 4194304 16246674 140736158388896 140736158388072 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 740241 682041 924 2943 0 737135 0
[pid=19911/tid=19912] ppid=19908 vsize=2960964 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 3032027136 682041 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=2960964 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 3032027136 682041 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=2960964 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 3032027136 682041 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 2960964

[startup+1782.3 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 20374
/proc/meminfo: memFree=24762096/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=3000900 CPUtime=1782.01 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 688391 0 0 0 177938 263 0 0 20 0 4 0 24847269 3072921600 692258 33554432000 4194304 16246674 140736158388896 140736158370816 4206952 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 750225 692258 924 2943 0 747119 0
[pid=19911/tid=19912] ppid=19908 vsize=3000900 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 3072921600 692258 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=3000900 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 3072921600 692258 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=3000900 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 3072921600 692258 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 3000900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 20374
/proc/meminfo: memFree=24748184/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=3015236 CPUtime=1800 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) R 19908 19911 16189 0 -1 4202496 691803 0 0 0 179733 267 0 0 20 0 4 0 24847269 3087601664 695670 33554432000 4194304 16246674 140736158388896 140736158387992 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 753809 695670 924 2943 0 750703 0
[pid=19911/tid=19912] ppid=19908 vsize=3015236 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) S 19908 19911 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24847270 3087601664 695670 33554432000 4194304 16246674 140736158388896 140721145228528 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=19911/tid=19913] ppid=19908 vsize=3015236 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19913/stat : 19913 (toysat) S 19908 19911 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24847270 3087601664 695670 33554432000 4194304 16246674 140736158388896 140721134738672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=19911/tid=19914] ppid=19908 vsize=3015236 CPUtime=0 cores=0,2,4,6
/proc/19911/task/19914/stat : 19914 (toysat) S 19908 19911 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24847270 3087601664 695670 33554432000 4194304 16246674 140736158388896 140721046678704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 3015236

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

[startup+1800.4 s]
/proc/loadavg: 2.26 2.25 2.19 3/183 20374
/proc/meminfo: memFree=24748184/32872528 swapFree=1459628/1655852
[pid=19911] ppid=19908 vsize=0 CPUtime=1800.11 cores=0,2,4,6
/proc/19911/stat : 19911 (toysat) Z 19908 19911 16189 0 -1 4203532 691803 0 0 0 179734 277 0 0 20 0 2 0 24847269 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19911/statm: 0 0 0 0 0 0 0
[pid=19911/tid=19912] ppid=19908 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/19911/task/19912/stat : 19912 (toysat) R 19908 19911 16189 0 -1 4203588 9 0 0 0 0 8 0 0 20 0 2 0 24847270 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.42
CPU time (s): 1800.13
CPU user time (s): 1797.34
CPU system time (s): 2.78758
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 3015236

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.34
system time used= 2.78758
maximum resident set size= 2782680
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 691803
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= 700
involuntary context switches= 2529

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75397 second user time and 9.14461 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 07:33:37
IDJOB=4101921
IDBENCH=1811
IDSOLVER=2542
FILE ID=node136/4101921-1466228017
RUNJOBID= node136-1466206055-16205
PBS_JOBID= 19918141
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-nw04.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101921-1466228017/watcher-4101921-1466228017 -o /tmp/evaluation-result-4101921-1466228017/solver-4101921-1466228017 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101921-1466228017.opb

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

MD5SUM BENCH= 7553b5b0af389e391cbb593275af2f9b
RANDOM SEED=628871815

node136.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.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		: 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.56
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.67
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:        27437332 kB
Buffers:          166144 kB
Cached:          1685548 kB
SwapCached:            0 kB
Active:          1334388 kB
Inactive:        1698592 kB
Active(anon):    1184180 kB
Inactive(anon):        0 kB
Active(file):     150208 kB
Inactive(file):  1698592 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             23356 kB
Writeback:             4 kB
AnonPages:       2931636 kB
Mapped:            16556 kB
Shmem:               204 kB
Slab:             610680 kB
SReclaimable:      54932 kB
SUnreclaim:       555748 kB
KernelStack:        1520 kB
PageTables:         9600 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2970780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    296960 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= 71700 MiB
End job on node136 at 2016-06-18 08:03:38