Trace number 4101905

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.24 1800.56

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-van.opb
MD5SUMd92d79a852cb21e3bf779066f8153c82
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark39649
Best CPU time to get the best result obtained on this benchmark1800.96
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 41696
Optimality of the best value was proved NO
Number of variables135360
Total number of constraints39616
Number of constraints which are clauses128
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints39488
Minimum length of a constraint2
Maximum length of a constraint496
Number of terms in the objective function 192
Biggest coefficient in the objective function 3977
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 524416
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 170151
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524573
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:32:11+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-4101905-1466227929.opb"]
0.00/0.01	c use --random-gen="869952316 143354670 3068790840 889636810 1816370625 1606252054 270457420 1423005689 2377757884 2035591459 1427056004 1238672688 2107846135 1512748067 3853457028 1884444430 1931977529 2004759205 1249390742 1956058358 3441903816 2820178340 3718868129 893041438 2391790802 2490990944 2774611691 869417380 2192853001 2265201964 918977125 948488580 3499809952 231960845 3039720140 1687659366 4243633272 2788873655 215390193 772813672 2316032127 796368466 974108935 2732763588 1300385841 781901863 527971721 2818037810 312880259 1763760497 3944914115 1624881437 1859290998 1257840394 3172977339 710598037 1461892899 3035709946 3242529740 4273759069 3597143719 3636599063 1240061908 4061635419 1382816837 2481880990 4190646110 513023294 3439780341 1209011898 388751859 2501954700 2663433379 1138583458 811681684 2711556976 2694564152 282598316 601855938 4048766134 357873669 3484022229 2649508671 3243919672 1212253733 616790172 3139710458 3763316652 4110761650 4123300554 2134915780 1403442655 754180607 4076972336 1875444620 988075290 2757882580 2981039448 3537027667 1586675525 1365823352 1119106822 2445180666 1814296921 821506832 359753973 55226816 3211064350 708933205 2692023216 3087052299 3345866005 2500012008 87231076 3269836869 3342821774 3731325389 1988526366 3003922739 2425627942 1419496823 1696831783 1435236430 3746462813 83755623 4031872419 218902472 1903705315 4147471316 3421500809 3251246083 1620277900 1589748176 3093851383 2298538835 3832037223 2088934052 894061421 106540784 4057300848 1040536939 2682498149 2045286676 1502636633 233510853 2294462607 1122850517 3489286529 45712061 2246397973 2111377384 1279440097 79640383 3938227132 2854844954 4285376503 247922235 2639186956 3986968818 3318897202 435239716 2284446315 2147751223 2012344690 4043459585 353847127 846201002 2892615659 55918124 537547270 403719108 1224920802 291415351 2855018611 1041615140 2006599492 1120878176 2442931962 690096312 1910189357 766615191 2333794523 1448702610 654277008 3267834813 1403461500 1090884121 2164491487 673930682 3042942114 163010162 555033129 919514283 3722352047 1322398507 3383815094 3588689224 1727393963 3142957930 2132761661 1233766213 3869791739 3216278464 3652002518 2671329334 4056424918 2352184820 1869749070 187771469 1740274042 1025002451 2252534038 4152309093 1455976102 2337084216 3932679516 3599877221 3976755463 3315653069 3951697185 2949977610 1818721719 2226773105 1921303656 2340073640 840012652 1104859043 1142827656 729191724 2257368843 2188231567 4237336700 1478526848 4088262498 3617301882 3100507450 61754437 1580848642 508426185 512157576 3884797847 1534320855 287748581 3805169728 866682117 2384185101 3163878277 3617046515 4277065090 3846254429 3553200977 2581011353 3593744813 1135003868 951942356 1849009348 255 362436" option to reproduce the execution
9.38/9.48	c #vars 135360
9.38/9.48	c #constraints 39616
60.28/60.32	c BCD2: Hardening is enabled.
60.28/60.32	c BCD2: BiasedSearch is enabled.
60.28/60.32	c Solving starts ...
60.28/60.32	c ============================[ Search Statistics ]============================
60.28/60.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
60.28/60.32	c       |         |          |          |    Limit     GC | Var      | Constra 
60.28/60.32	c =============================================================================
60.28/60.32	c  0.0s |       0 |        0 |        0 |    58389      0 |    54208 |        0
68.88/68.98	c  8.7s |       0 |     1162 |       36 |    58389      0 |    54210 |     9856
68.88/68.98	c #cpu_time = 8.124s
68.88/68.98	c #wall_clock_time = 8.145s
68.88/68.98	c #decision = 1162
68.88/68.98	c #random_decision = 1
68.88/68.98	c #conflict = 36
68.88/68.98	c #restart = 0
68.88/68.98	o 71104
69.08/69.17	c BCD2: refineUB: 71103 -> 71102
69.08/69.17	c BCD2: updating upper bound: 524416 -> 71102
69.08/69.17	c BCD2: 0 <= obj <= 71102
69.08/69.17	c BCD2: #cores=0, #unrelaxed=192, #relaxed=0, #hardened=0
69.08/69.17	c BCD2: #sat=1 #unsat=1 bias=1/2
69.08/69.17	c Solving starts ...
69.08/69.17	c ============================[ Search Statistics ]============================
69.08/69.17	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
69.08/69.17	c       |         |          |          |    Limit     GC | Var      | Constra 
69.08/69.17	c =============================================================================
69.08/69.17	c  0.0s |       0 |        0 |        0 |    58389      0 |    54210 |     9856
70.58/70.64	c  1.5s |       0 |       72 |        0 |    58389      0 |    54210 |     9856
70.58/70.64	c #cpu_time = 1.214s
70.58/70.64	c #wall_clock_time = 1.217s
70.58/70.64	c #decision = 72
70.58/70.64	c #random_decision = 0
70.58/70.64	c #conflict = 0
70.58/70.64	c #restart = 0
70.58/70.64	c BCD2: found a new core of size 45: cost of the new core is >=2047
70.58/70.64	c lower bound updated to 2047
70.78/70.82	c BCD2: refineUB: 71103 -> 71102
70.78/70.82	c BCD2: 2047 <= obj <= 71102
70.78/70.82	c BCD2: #cores=1, #unrelaxed=147, #relaxed=45, #hardened=0
70.78/70.82	c BCD2: #sat=1 #unsat=2 bias=2/3
70.78/70.83	c Solving starts ...
70.78/70.83	c ============================[ Search Statistics ]============================
70.78/70.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
70.78/70.83	c       |         |          |          |    Limit     GC | Var      | Constra 
70.78/70.83	c =============================================================================
70.78/70.83	c  0.0s |       0 |        0 |        0 |    58389      0 |    54210 |     9856
72.38/72.46	c  1.6s |       0 |       80 |        0 |    58389      0 |    54210 |     9856
72.38/72.46	c #cpu_time = 1.312s
72.38/72.46	c #wall_clock_time = 1.315s
72.38/72.46	c #decision = 80
72.38/72.46	c #random_decision = 0
72.38/72.46	c #conflict = 0
72.38/72.46	c #restart = 0
72.38/72.46	c BCD2: found a new core of size 25: cost of the new core is >=2170
72.38/72.46	c lower bound updated to 4217
72.58/72.64	c BCD2: refineUB: 71103 -> 71102
72.58/72.64	c BCD2: 4217 <= obj <= 71102
72.58/72.64	c BCD2: #cores=2, #unrelaxed=122, #relaxed=70, #hardened=0
72.58/72.64	c BCD2: #sat=1 #unsat=3 bias=3/4
72.58/72.64	c Solving starts ...
72.58/72.64	c ============================[ Search Statistics ]============================
72.58/72.64	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
72.58/72.64	c       |         |          |          |    Limit     GC | Var      | Constra 
72.58/72.64	c =============================================================================
72.58/72.64	c  0.0s |       0 |        0 |        0 |    58389      0 |    54210 |     9856
74.27/74.37	c  1.7s |       0 |       85 |        0 |    58389      0 |    54210 |     9856
74.27/74.37	c #cpu_time = 1.380s
74.27/74.37	c #wall_clock_time = 1.383s
74.27/74.37	c #decision = 85
74.27/74.37	c #random_decision = 0
74.27/74.37	c #conflict = 0
74.27/74.37	c #restart = 0
74.27/74.37	c BCD2: found a new core of size 45: cost of the new core is >=2047
74.27/74.37	c lower bound updated to 6264
74.48/74.56	c BCD2: refineUB: 71103 -> 71102
74.48/74.56	c BCD2: 6264 <= obj <= 71102
74.48/74.56	c BCD2: #cores=3, #unrelaxed=77, #relaxed=115, #hardened=0
74.48/74.56	c BCD2: #sat=1 #unsat=4 bias=4/5
74.48/74.56	c Solving starts ...
74.48/74.56	c ============================[ Search Statistics ]============================
74.48/74.56	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
74.48/74.56	c       |         |          |          |    Limit     GC | Var      | Constra 
74.48/74.56	c =============================================================================
74.48/74.56	c  0.0s |       0 |        0 |        0 |    58389      0 |    54210 |     9856
85.37/85.45	c 10.9s |       0 |      256 |      100 |    64228      0 |    54210 |     9856
85.78/85.88	c 11.3s |       1 |      256 |      100 |    64228      0 |    54210 |     9856
102.47/102.52	c 28.0s |       1 |      488 |      200 |    64228      0 |    54210 |     9856
112.67/112.75	c 38.2s |       2 |      572 |      250 |    70651      0 |    54210 |     9856
139.46/139.53	c 65.0s |       2 |      798 |      350 |    70651      0 |    54210 |     9856
161.96/162.09	c 87.5s |       2 |      973 |      450 |    77717      0 |    54210 |     9856
166.96/167.06	c 92.5s |       3 |     1005 |      475 |    77717      0 |    54210 |     9856
169.76/169.81	c 95.2s |       3 |     1091 |      482 |    77717      0 |    54210 |     9856
169.76/169.81	c #cpu_time = 94.702s
169.76/169.81	c #wall_clock_time = 94.945s
169.76/169.81	c #decision = 1091
169.76/169.81	c #random_decision = 0
169.76/169.81	c #conflict = 482
169.76/169.81	c #restart = 3
169.76/169.81	c BCD2: relaxing 51 and merging with 2 cores into a new core of size 141: cost of the new core is >=6141
169.76/169.81	c lower bound updated to 8311
169.96/170.00	c BCD2: refineUB: 71103 -> 71102
169.96/170.00	c BCD2: 8311 <= obj <= 71102
169.96/170.00	c BCD2: #cores=2, #unrelaxed=26, #relaxed=166, #hardened=0
169.96/170.00	c BCD2: #sat=1 #unsat=5 bias=5/6
170.26/170.31	c Solving starts ...
170.26/170.31	c ============================[ Search Statistics ]============================
170.26/170.31	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
170.26/170.31	c       |         |          |          |    Limit     GC | Var      | Constra 
170.26/170.31	c =============================================================================
170.26/170.31	c  0.0s |       0 |        0 |        0 |    77717      0 |    54214 |     9856
176.16/176.25	c  5.9s |       0 |      240 |       53 |    77717      0 |    54214 |     9862
176.16/176.25	c #cpu_time = 5.425s
176.16/176.25	c #wall_clock_time = 5.439s
176.16/176.25	c #decision = 240
176.16/176.25	c #random_decision = 0
176.16/176.25	c #conflict = 53
176.16/176.25	c #restart = 0
176.16/176.25	o 47843
176.26/176.30	c BCD2: refineUB: 47842 -> 47841
176.26/176.30	c BCD2: updating upper bound: 71102 -> 47841
176.26/176.31	c BCD2: 8311 <= obj <= 47841
176.26/176.31	c BCD2: #cores=2, #unrelaxed=26, #relaxed=166, #hardened=0
176.26/176.31	c BCD2: #sat=2 #unsat=5 bias=5/7
176.26/176.32	c Solving starts ...
176.26/176.32	c ============================[ Search Statistics ]============================
176.26/176.32	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
176.26/176.32	c       |         |          |          |    Limit     GC | Var      | Constra 
176.26/176.32	c =============================================================================
176.26/176.32	c  0.0s |       0 |        0 |        0 |    77717      0 |    54214 |     9863
183.56/183.60	c  7.3s |       0 |      181 |      100 |    77717      0 |    54214 |     9863
183.96/184.00	c  7.7s |       1 |      181 |      100 |    77717      0 |    54214 |     9863
196.75/196.86	c 20.5s |       1 |     2027 |      200 |    77717      0 |    54214 |     9863
203.26/203.36	c 27.0s |       2 |     2417 |      250 |    85489      0 |    54214 |     9863
218.45/218.51	c 42.2s |       2 |     3053 |      350 |    85489      0 |    54214 |     9863
226.05/226.17	c 49.9s |       2 |     3468 |      450 |    85489      0 |    54214 |     9863
229.46/229.53	c 53.2s |       3 |     3632 |      475 |    85489      0 |    54214 |     9863
237.75/237.87	c 61.6s |       3 |     3842 |      575 |    85489      0 |    54214 |     9863
249.85/249.94	c 73.6s |       3 |     3981 |      675 |    85489      0 |    54214 |     9863
267.74/267.80	c 91.5s |       3 |     4171 |      775 |    94038      0 |    54214 |     9863
271.34/271.44	c 95.1s |       4 |     4221 |      813 |    94038      0 |    54214 |     9863
280.94/281.09	c  104s |       4 |     4474 |      913 |    94038      0 |    54214 |     9863
304.83/304.92	c  128s |       4 |     4802 |     1013 |    94038      0 |    54214 |     9863
329.04/329.14	c  152s |       4 |     5001 |     1113 |    94038      0 |    54214 |     9863
347.13/347.26	c  170s |       4 |     5342 |     1213 |    94038      0 |    54214 |     9863
360.84/360.93	c  184s |       4 |     5484 |     1313 |    94038      0 |    54214 |     9863
362.43/362.51	c  186s |       5 |     5500 |     1320 |    94038      0 |    54214 |     9863
372.13/372.21	c  195s |       5 |     5816 |     1420 |    94038      0 |    54214 |     9863
380.13/380.25	c  203s |       5 |     6019 |     1520 |   103442      0 |    54214 |     9863
388.03/388.14	c  211s |       5 |     6216 |     1620 |   103442      0 |    54214 |     9863
393.83/393.97	c  217s |       5 |     6456 |     1720 |   103442      0 |    54214 |     9863
400.83/400.95	c  224s |       5 |     6690 |     1820 |   103442      0 |    54214 |     9863
419.32/419.40	c  243s |       5 |     7361 |     1920 |   103442      0 |    54215 |     9863
431.72/431.87	c  255s |       5 |     7772 |     2020 |   103442      0 |    54215 |     9863
439.32/439.40	c  263s |       6 |     8156 |     2081 |   103442      0 |    54215 |     9863
453.92/454.03	c  277s |       6 |     9168 |     2181 |   103442      0 |    54215 |     9863
459.73/459.84	c  283s |       6 |     9444 |     2281 |   103442      0 |    54215 |     9863
467.61/467.74	c  291s |       6 |     9660 |     2381 |   103442      0 |    54215 |     9863
479.92/480.02	c  303s |       6 |    10086 |     2481 |   103442      0 |    54215 |     9863
492.91/493.00	c  316s |       6 |    10448 |     2581 |   103442      0 |    54215 |     9863
503.01/503.17	c  326s |       6 |    10861 |     2681 |   113787      0 |    54215 |     9863
515.11/515.28	c  338s |       6 |    11066 |     2781 |   113787      0 |    54215 |     9863
523.61/523.76	c  347s |       6 |    11241 |     2881 |   113787      0 |    54215 |     9863
534.10/534.23	c  357s |       6 |    11460 |     2981 |   113787      0 |    54215 |     9863
547.10/547.26	c  370s |       6 |    11675 |     3081 |   113787      0 |    54215 |     9863
560.19/560.33	c  384s |       6 |    12298 |     3181 |   113787      0 |    54215 |     9863
568.50/568.69	c  392s |       7 |    12713 |     3223 |   113787      0 |    54215 |     9863
587.90/588.02	c  411s |       7 |    13925 |     3323 |   113787      0 |    54215 |     9863
611.49/611.60	c  435s |       7 |    15033 |     3423 |   113787      0 |    54215 |     9863
629.39/629.52	c  453s |       7 |    15821 |     3523 |   113787      0 |    54215 |     9863
645.18/645.38	c  469s |       7 |    16668 |     3623 |   113787      0 |    54215 |     9863
656.78/656.91	c  480s |       7 |    17019 |     3723 |   113787      0 |    54215 |     9863
668.98/669.16	c  492s |       7 |    17256 |     3823 |   113787      0 |    54215 |     9863
685.08/685.29	c  508s |       7 |    17445 |     3923 |   113787      0 |    54215 |     9863
701.37/701.51	c  525s |       7 |    17619 |     4023 |   113787      0 |    54215 |     9863
720.67/720.84	c  544s |       7 |    17845 |     4123 |   113787      0 |    54215 |     9863
734.86/735.03	c  558s |       7 |    18152 |     4223 |   113787      0 |    54215 |     9863
755.96/756.12	c  579s |       7 |    18335 |     4323 |   113787      0 |    54215 |     9863
779.95/780.17	c  603s |       7 |    18483 |     4423 |   125166      0 |    54215 |     9863
810.25/810.47	c  634s |       7 |    18611 |     4523 |   125166      0 |    54215 |     9863
837.85/838.08	c  661s |       7 |    18992 |     4623 |   125166      0 |    54215 |     9863
860.15/860.36	c  684s |       7 |    19260 |     4723 |   125166      0 |    54215 |     9863
889.74/889.98	c  713s |       7 |    19636 |     4823 |   125166      0 |    54215 |     9863
912.53/912.72	c  736s |       7 |    20907 |     4923 |   125166      0 |    54215 |     9863
915.63/915.86	c  739s |       8 |    21008 |     4936 |   125166      0 |    54215 |     9863
931.83/932.02	c  755s |       8 |    21248 |     5036 |   125166      0 |    54215 |     9863
949.72/949.97	c  773s |       8 |    21376 |     5136 |   125166      0 |    54215 |     9863
972.92/973.15	c  796s |       8 |    21645 |     5236 |   125166      0 |    54215 |     9863
992.12/992.33	c  816s |       8 |    22259 |     5336 |   125166      0 |    54215 |     9863
1013.51/1013.79	c  837s |       8 |    22821 |     5436 |   125166      0 |    54215 |     9863
1045.91/1046.19	c  869s |       8 |    23018 |     5536 |   125166      0 |    54215 |     9863
1078.80/1079.00	c  902s |       8 |    23420 |     5636 |   125166      0 |    54215 |     9863
1107.00/1107.23	c  930s |       8 |    24055 |     5736 |   125166      0 |    54215 |     9863
1142.09/1142.35	c  966s |       8 |    25212 |     5836 |   125166      0 |    54215 |     9863
1172.69/1172.95	c  996s |       8 |    25756 |     5936 |   125166      0 |    54215 |     9863
1194.68/1194.98	c 1018s |       8 |    25946 |     6036 |   125166      0 |    54215 |     9863
1224.88/1225.16	c 1048s |       8 |    26100 |     6136 |   125166      0 |    54215 |     9863
1248.57/1248.84	c 1072s |       8 |    26309 |     6236 |   125166      0 |    54215 |     9863
1276.67/1276.96	c 1100s |       8 |    26471 |     6336 |   125166      0 |    54215 |     9863
1299.97/1300.24	c 1123s |       8 |    26841 |     6436 |   125166      0 |    54215 |     9863
1327.47/1327.74	c 1151s |       8 |    27348 |     6536 |   125166      0 |    54215 |     9863
1348.96/1349.23	c 1172s |       8 |    27607 |     6636 |   125166      0 |    54215 |     9863
1372.06/1372.35	c 1196s |       8 |    27811 |     6736 |   125166      0 |    54215 |     9863
1402.85/1403.10	c 1226s |       8 |    27985 |     6836 |   125166      0 |    54215 |     9863
1437.15/1437.43	c 1261s |       8 |    28135 |     6936 |   137683      0 |    54215 |     9863
1464.64/1464.98	c 1288s |       8 |    28384 |     7036 |   137683      0 |    54215 |     9863
1491.04/1491.37	c 1315s |       8 |    28620 |     7136 |   137683      0 |    54215 |     9863
1523.43/1523.77	c 1347s |       8 |    28790 |     7236 |   137683      0 |    54215 |     9863
1558.02/1558.30	c 1381s |       8 |    29102 |     7336 |   137683      0 |    54215 |     9863
1604.62/1604.94	c 1428s |       8 |    29337 |     7436 |   137683      0 |    54215 |     9863
1625.32/1625.69	c 1449s |       9 |    29603 |     7506 |   137683      0 |    54215 |     9863
1633.91/1634.23	c 1457s |       9 |    29922 |     7606 |   137683      0 |    54215 |     9863
1640.11/1640.45	c 1464s |       9 |    30116 |     7706 |   137683      0 |    54215 |     9863
1648.11/1648.50	c 1472s |       9 |    30322 |     7806 |   137683      0 |    54215 |     9863
1657.11/1657.40	c 1481s |       9 |    30608 |     7906 |   137683      0 |    54215 |     9863
1663.01/1663.39	c 1487s |       9 |    30789 |     8006 |   137683      0 |    54215 |     9863
1669.10/1669.41	c 1493s |       9 |    30979 |     8106 |   137683      0 |    54215 |     9863
1674.50/1674.87	c 1498s |       9 |    31152 |     8206 |   137683      0 |    54215 |     9863
1679.51/1679.85	c 1503s |       9 |    31310 |     8306 |   137683      0 |    54215 |     9863
1687.41/1687.79	c 1511s |       9 |    31486 |     8406 |   137683      0 |    54215 |     9863
1698.60/1698.92	c 1522s |       9 |    31625 |     8506 |   137683      0 |    54215 |     9863
1710.10/1710.49	c 1534s |       9 |    31792 |     8606 |   137683      0 |    54215 |     9863
1720.90/1721.23	c 1544s |       9 |    31956 |     8706 |   137683      0 |    54215 |     9863
1732.50/1732.80	c 1556s |       9 |    32105 |     8806 |   137683      0 |    54215 |     9863
1744.19/1744.55	c 1568s |       9 |    32254 |     8906 |   137683      0 |    54215 |     9863
1757.40/1757.79	c 1581s |       9 |    32411 |     9006 |   137683      0 |    54215 |     9863
1774.79/1775.11	c 1598s |       9 |    32583 |     9106 |   137683      0 |    54215 |     9863
1785.88/1786.29	c 1609s |       9 |    32752 |     9206 |   137683      0 |    54215 |     9863
1795.28/1795.65	c 1619s |       9 |    32967 |     9306 |   137683      0 |    54215 |     9863

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

pid=2146
running on 4 cores: 1,3,5,7

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.31 2.19 2.17 3/179 2149
/proc/meminfo: memFree=27568752/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=660924 CPUtime=0 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 2453 0 0 0 0 0 0 0 20 0 4 0 24839632 676786176 3324 33554432000 4194304 16246674 140733359812352 140733359811776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 165999 3333 441 2943 0 162893 0
[pid=2149/tid=2150] ppid=2146 vsize=704956 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 721874944 3497 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 727117824 3516 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=715196 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 732360704 3535 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100177 s]
/proc/loadavg: 2.31 2.19 2.17 3/179 2149
/proc/meminfo: memFree=27568752/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 29517 0 0 0 6 3 0 0 20 0 4 0 24839632 1333334016 30327 33554432000 4194304 16246674 140733359812352 140733359811664 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 325521 30343 800 2943 0 322415 0
[pid=2149/tid=2150] ppid=2146 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 1333334016 30357 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 1333334016 30368 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 1333334016 30379 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200545 s]
/proc/loadavg: 2.31 2.19 2.17 3/179 2149
/proc/meminfo: memFree=27568752/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 47085 0 0 0 14 5 0 0 20 0 4 0 24839632 1343819776 48405 33554432000 4194304 16246674 140733359812352 140733359811664 7374592 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 328081 48405 800 2943 0 324975 0
[pid=2149/tid=2150] ppid=2146 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 1343819776 48405 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 1343819776 48405 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 1343819776 48405 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300503 s]
/proc/loadavg: 2.31 2.19 2.17 3/179 2149
/proc/meminfo: memFree=27568752/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 50004 0 0 0 23 6 0 0 20 0 4 0 24839632 1343819776 51324 33554432000 4194304 16246674 140733359812352 140733359811664 8058700 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 328081 51324 800 2943 0 324975 0
[pid=2149/tid=2150] ppid=2146 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 1343819776 51324 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 1343819776 51324 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 1343819776 51324 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700406 s]
/proc/loadavg: 2.31 2.19 2.17 3/179 2149
/proc/meminfo: memFree=27568752/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=1312324 CPUtime=0.68 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 60330 0 0 0 61 7 0 0 20 0 4 0 24839632 1343819776 61650 33554432000 4194304 16246674 140733359812352 140733359795344 7440474 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 328081 61650 801 2943 0 324975 0
[pid=2149/tid=2150] ppid=2146 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 1343819776 61650 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 1343819776 61650 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 1343819776 61650 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1312324

[startup+1.50041 s]
/proc/loadavg: 2.31 2.19 2.17 3/183 2153
/proc/meminfo: memFree=27229056/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=1324612 CPUtime=1.48 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 82335 0 0 0 137 11 0 0 20 0 4 0 24839632 1356402688 86210 33554432000 4194304 16246674 140733359812352 140733359811448 7889456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 331153 86210 801 2943 0 328047 0
[pid=2149/tid=2150] ppid=2146 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 1356402688 86210 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 1356402688 86210 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 1356402688 86210 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1324612

[startup+3.1007 s]
/proc/loadavg: 2.31 2.19 2.17 3/183 2153
/proc/meminfo: memFree=27057760/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=1349188 CPUtime=3.09 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 120947 0 0 0 291 18 0 0 20 0 4 0 24839632 1381568512 129932 33554432000 4194304 16246674 140733359812352 140733359795344 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 337297 129932 801 2943 0 334191 0
[pid=2149/tid=2150] ppid=2146 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 1381568512 129932 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 1381568512 129932 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=1349188 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 1381568512 129932 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1349188

[startup+6.3004 s]
/proc/loadavg: 2.44 2.22 2.18 4/183 2153
/proc/meminfo: memFree=26784676/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=1398340 CPUtime=6.29 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 178302 0 0 0 602 27 0 0 20 0 4 0 24839632 1431900160 198018 33554432000 4194304 16246674 140733359812352 140733359795344 13784952 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 349585 198018 802 2943 0 346479 0
[pid=2149/tid=2150] ppid=2146 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 1431900160 198018 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 1431900160 198018 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=1398340 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 1431900160 198018 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1398340

[startup+12.7004 s]
/proc/loadavg: 2.41 2.21 2.18 3/183 2153
/proc/meminfo: memFree=26344268/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=1496644 CPUtime=12.69 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 270561 0 0 0 1228 41 0 0 20 0 4 0 24839632 1532563456 306629 33554432000 4194304 16246674 140733359812352 140733359811528 4206952 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 374161 306629 838 2943 0 371055 0
[pid=2149/tid=2150] ppid=2146 vsize=1496644 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 1532563456 306629 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=1496644 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 1532563456 306629 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=1496644 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 1532563456 306629 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1496644

[startup+25.5005 s]
/proc/loadavg: 2.32 2.20 2.17 3/182 2153
/proc/meminfo: memFree=24229108/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=3570244 CPUtime=25.48 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 788737 0 0 0 2438 110 0 0 20 0 4 0 24839632 3655929856 834514 33554432000 4194304 16246674 140733359812352 140733359811528 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 892561 834514 847 2943 0 889455 0
[pid=2149/tid=2150] ppid=2146 vsize=3570244 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 3655929856 834514 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=3570244 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 3655929856 834514 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=3570244 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 3655929856 834514 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3570244

[startup+51.1005 s]
/proc/loadavg: 2.27 2.20 2.18 3/183 2154
/proc/meminfo: memFree=22855520/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=4941380 CPUtime=51.08 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 1131521 0 0 0 4947 161 0 0 20 0 4 0 24839632 5059973120 1177298 33554432000 4194304 16246674 140733359812352 140733359810176 4206664 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 1235345 1177298 847 2943 0 1232239 0
[pid=2149/tid=2150] ppid=2146 vsize=4941380 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 5059973120 1177298 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=4941380 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 5059973120 1177298 33554432000 4194304 16246674 140733359812352 140172547038224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=4941380 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 5059973120 1177298 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 4941380

[startup+102.3 s]
/proc/loadavg: 2.17 2.18 2.17 4/183 2155
/proc/meminfo: memFree=22438148/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=5358148 CPUtime=102.28 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 1235788 0 0 0 10047 181 0 0 20 0 4 0 24839632 5486743552 1281565 33554432000 4194304 16246674 140733359812352 140733359811528 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 1339537 1281565 922 2943 0 1336431 0
[pid=2149/tid=2150] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281565 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281565 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281565 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 5358148


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

/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 5358148

[startup+1362.3 s]
/proc/loadavg: 2.18 2.25 2.25 3/183 2235
/proc/meminfo: memFree=24180308/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=5358148 CPUtime=1362.06 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 1235820 0 0 0 135759 447 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140733359811664 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 1339537 1281570 924 2943 0 1336431 0
[pid=2149/tid=2150] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 5358148

[startup+1422.3 s]
/proc/loadavg: 2.16 2.23 2.25 3/183 2236
/proc/meminfo: memFree=24180220/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=5358148 CPUtime=1422.05 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 1235820 0 0 0 141737 468 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140733359811448 4220978 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 1339537 1281570 924 2943 0 1336431 0
[pid=2149/tid=2150] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172547038224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 5358148

[startup+1482.3 s]
/proc/loadavg: 2.25 2.24 2.25 3/183 2237
/proc/meminfo: memFree=24180004/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=5358148 CPUtime=1482.04 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 1235821 0 0 0 147714 490 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140733359811528 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 1339537 1281570 924 2943 0 1336431 0
[pid=2149/tid=2150] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 5358148

[startup+1542.31 s]
/proc/loadavg: 2.24 2.24 2.25 3/183 2238
/proc/meminfo: memFree=24180044/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=5358148 CPUtime=1542.04 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 1235821 0 0 0 153695 509 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140733359811448 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 1339537 1281570 924 2943 0 1336431 0
[pid=2149/tid=2150] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 5358148

[startup+1602.3 s]
/proc/loadavg: 2.20 2.24 2.25 3/183 2240
/proc/meminfo: memFree=24174736/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=5358148 CPUtime=1602.02 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 1235823 0 0 0 159674 528 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140733359811528 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 1339537 1281570 924 2943 0 1336431 0
[pid=2149/tid=2150] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 5358148

[startup+1662.3 s]
/proc/loadavg: 2.47 2.30 2.27 3/183 2241
/proc/meminfo: memFree=24174528/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=5358148 CPUtime=1662.01 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 1235823 0 0 0 165662 539 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140733359811528 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 1339537 1281570 924 2943 0 1336431 0
[pid=2149/tid=2150] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 5358148

[startup+1722.3 s]
/proc/loadavg: 2.28 2.27 2.26 3/184 2245
/proc/meminfo: memFree=24158540/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=5358148 CPUtime=1722 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 1235823 0 0 0 171652 548 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140733359811528 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 1339537 1281570 924 2943 0 1336431 0
[pid=2149/tid=2150] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 5358148

[startup+1782.3 s]
/proc/loadavg: 2.22 2.25 2.25 3/184 2269
/proc/meminfo: memFree=24158140/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=5358148 CPUtime=1781.99 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 1235824 0 0 0 177639 560 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140733359811528 5600048 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 1339537 1281570 924 2943 0 1336431 0
[pid=2149/tid=2150] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 5358148



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.38 2.28 2.26 3/183 2269
/proc/meminfo: memFree=24158244/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=5358148 CPUtime=1800.09 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) R 2146 2149 31224 0 -1 4202496 1235825 0 0 0 179447 562 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140733359811528 12415740 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 1339537 1281570 924 2943 0 1336431 0
[pid=2149/tid=2150] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2150/stat : 2150 (toysat) S 2146 2149 31224 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172557528304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) S 2146 2149 31224 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172547038448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=2149/tid=2152] ppid=2146 vsize=5358148 CPUtime=0 cores=1,3,5,7
/proc/2149/task/2152/stat : 2152 (toysat) S 2146 2149 31224 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 24839632 5486743552 1281570 33554432000 4194304 16246674 140733359812352 140172431715504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 5358148

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

[startup+1800.5 s]
/proc/loadavg: 2.38 2.28 2.26 3/183 2269
/proc/meminfo: memFree=24158244/32872528 swapFree=1200228/1314692
[pid=2149] ppid=2146 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/2149/stat : 2149 (toysat) Z 2146 2149 31224 0 -1 4203532 1235825 0 0 0 179447 572 0 0 20 0 2 0 24839632 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/2149/statm: 0 0 0 0 0 0 0
[pid=2149/tid=2151] ppid=2146 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/2149/task/2151/stat : 2151 (toysat) R 2146 2149 31224 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 24839632 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.56
CPU time (s): 1800.24
CPU user time (s): 1794.48
CPU system time (s): 5.76812
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 5358148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.48
system time used= 5.76812
maximum resident set size= 5126280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1235825
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= 464
involuntary context switches= 1922

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.90525 second user time and 7.11592 second system time

The end

Launcher Data 

Begin job on node131 at 2016-06-18 07:32:11
IDJOB=4101905
IDBENCH=1809
IDSOLVER=2542
FILE ID=node131/4101905-1466227929
RUNJOBID= node131-1466206062-31241
PBS_JOBID= 19918146
Free space on /tmp= 71568 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-van.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4101905-1466227929/watcher-4101905-1466227929 -o /tmp/evaluation-result-4101905-1466227929/solver-4101905-1466227929 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node131-1466206062-31241 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4101905-1466227929.opb

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

MD5SUM BENCH= d92d79a852cb21e3bf779066f8153c82
RANDOM SEED=1394714150

node131.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.752
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:        27569016 kB
Buffers:          118576 kB
Cached:           281048 kB
SwapCached:         1508 kB
Active:          3064008 kB
Inactive:         178784 kB
Active(anon):    2843336 kB
Inactive(anon):     2684 kB
Active(file):     220672 kB
Inactive(file):   176100 kB
Unevictable:     1314692 kB
Mlocked:         1200228 kB
SwapTotal:      67108856 kB
SwapFree:       67099856 kB
Dirty:             76260 kB
Writeback:             0 kB
AnonPages:       4160140 kB
Mapped:            10884 kB
Shmem:                 0 kB
Slab:             607664 kB
SReclaimable:      51116 kB
SUnreclaim:       556548 kB
KernelStack:        1464 kB
PageTables:        12200 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    4299112 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1419264 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= 71616 MiB
End job on node131 at 2016-06-18 08:02:12