Trace number 4080087

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.1 1800.41

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_1000_60_2.opb
MD5SUMa5ab0443a6669cc558112b6f5f13d1cd
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-65
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -72
Optimality of the best value was proved NO
Number of variables2000
Total number of constraints3001
Number of constraints which are clauses1000
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints2001
Minimum length of a constraint2
Maximum length of a constraint2000
Number of terms in the objective function 1000
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 2000
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)150572
Sum of products size (including duplicates)301144
Number of different products75286
Sum of products size150572

Solver Data 

0.00/0.00	c 2016-06-07T02:53:44+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-4080087-1465260824.opb"]
0.00/0.01	c use --random-gen="3591470656 3225606076 2174975704 2570509049 371165884 3249529751 3435125701 4190333915 3721665876 539926842 2144884059 4016094114 3582221941 3548364565 1278895979 241681820 1868611803 665766824 2923215334 1466975210 1925183132 2617223690 3361725487 1366620247 2301644617 2420897606 3480949998 23087739 3622071677 2849536422 2449831951 4170288201 1593764109 3078788861 2489305679 1617470376 2159250013 2003745430 3863082968 4266408851 3218963132 3887609603 3197887075 1146997422 192627393 1260174692 4196363311 1313943864 3102391736 290800502 4235661657 2715695607 899379380 1783842549 859320504 1206449678 482264630 3637276537 800242913 360922046 954107514 94334548 602499592 1993135085 2591613292 1516535259 224960646 652766804 2914372228 2323046121 1836707325 1104889976 3157124268 3155864123 1279752739 515741520 3305099396 2224438987 4238334359 1709718660 1010227438 3069295541 1138094167 305251943 1539503067 3588784570 1107124293 3386237745 1037579813 1416141416 1945180826 1744687027 3123397622 85389750 4283689385 298395211 806099441 3433807076 2748018803 915103257 3376182603 643693077 1694103855 2248926308 156035676 2508876223 179717199 2820016320 4125445263 2584595185 680246589 1703154018 4027621396 400363614 2233405341 1944505415 3417127621 2172790578 2814943082 3614474230 178096143 3331948122 844903532 125301189 296728497 1043940998 2721144655 1892894228 598639053 3329377624 3071310498 773355450 3630701981 365229080 2336480668 3477905574 2905712191 1577145943 2372193054 1376139029 2568825260 2883685895 2190953841 2995163867 3448017939 4190056159 1487028989 191695739 1532733876 2614132545 1420761685 1075513996 2492486040 1907177913 3987193274 3715536859 457664307 3195558181 2431527926 2384433973 2709816949 301907719 1675878501 1093154621 4137327359 3773700182 145599012 3649718791 1089371448 876579437 253653826 1540584260 621649570 545981255 475444449 335337297 787317831 313245873 914304760 221857148 360442290 4141136456 3928010613 3966888706 2783092399 3285748989 2663276426 4226107852 3231315696 716576123 1701491358 2178631377 478767059 1233375756 3761383064 2008960466 1303401514 471031862 744280157 1249079810 4012559731 4249475607 3954270270 1109626545 2696897559 2405608688 2986242939 550498625 378238752 2558039034 264717356 4065449531 1038639960 915443857 3655569332 429888827 1724616947 433346528 3116084239 1351868106 2628648417 4294288117 3445854572 3621411142 55194261 3205701128 2716075790 3130092535 994792899 2136306475 779409455 3947763618 4133918650 2089308393 990953351 995967738 3168601810 1606966144 167858221 1358727355 4088340328 3802782275 3160030069 2357929628 1139435751 1638436115 3267778818 12990432 2130075444 740925447 3910951530 3213496036 2814038965 1899758288 1648034440 1911997807 255 362436" option to reproduce the execution
0.39/0.42	c #vars 2000
0.39/0.42	c #constraints 3001
2.79/2.81	c BCD2: Hardening is enabled.
2.79/2.81	c BCD2: BiasedSearch is enabled.
2.79/2.81	c Solving starts ...
2.79/2.81	c ============================[ Search Statistics ]============================
2.79/2.81	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.79/2.81	c       |         |          |          |    Limit     GC | Var      | Constra 
2.79/2.81	c =============================================================================
2.79/2.82	c  0.0s |       0 |        0 |        0 |    51858      0 |        0 |        0
2.99/3.03	c  0.2s |       0 |     1044 |        0 |    51858      0 |        0 |        0
2.99/3.03	c #cpu_time = 0.151s
2.99/3.03	c #wall_clock_time = 0.151s
2.99/3.03	c #decision = 1044
2.99/3.03	c #random_decision = 1
2.99/3.03	c #conflict = 0
2.99/3.03	c #restart = 0
2.99/3.03	o -48
2.99/3.03	c BCD2: updating upper bound: 1000 -> 951
2.99/3.03	c BCD2: 0 <= obj <= 951
2.99/3.03	c BCD2: #cores=0, #unrelaxed=1000, #relaxed=0, #hardened=0
2.99/3.03	c BCD2: #sat=1 #unsat=1 bias=1/2
2.99/3.03	c Solving starts ...
2.99/3.03	c ============================[ Search Statistics ]============================
2.99/3.03	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
2.99/3.03	c       |         |          |          |    Limit     GC | Var      | Constra 
2.99/3.03	c =============================================================================
2.99/3.03	c  0.0s |       0 |        0 |        0 |    51858      0 |        0 |        0
3.09/3.16	c  0.1s |       0 |      513 |        2 |    51858      0 |        0 |        0
3.09/3.16	c #cpu_time = 0.131s
3.09/3.16	c #wall_clock_time = 0.131s
3.09/3.16	c #decision = 513
3.09/3.16	c #random_decision = 0
3.09/3.16	c #conflict = 2
3.40/3.48	c #restart = 0
3.40/3.48	c BCD2: found a new core of size 500: cost of the new core is >=1
3.40/3.48	c lower bound updated to -999
3.40/3.48	c BCD2: 1 <= obj <= 951
3.40/3.48	c BCD2: #cores=1, #unrelaxed=500, #relaxed=500, #hardened=0
3.40/3.48	c BCD2: #sat=1 #unsat=2 bias=2/3
3.40/3.48	c Solving starts ...
3.40/3.48	c ============================[ Search Statistics ]============================
3.40/3.48	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.40/3.48	c       |         |          |          |    Limit     GC | Var      | Constra 
3.40/3.48	c =============================================================================
3.40/3.48	c  0.0s |       0 |        0 |        0 |    51858      0 |        0 |        0
3.69/3.74	c  0.5s |       0 |      501 |        1 |    51858      0 |        0 |        0
3.69/3.74	c #cpu_time = 0.523s
3.69/3.74	c #wall_clock_time = 0.523s
3.69/3.74	c #decision = 501
3.69/3.74	c #random_decision = 0
3.69/3.74	c #conflict = 1
3.69/3.74	c #restart = 0
3.69/3.74	c BCD2: relaxing 500 and merging with 1 cores into a new core of size 1000: cost of the new core is >=2
3.69/3.74	c lower bound updated to -998
3.69/3.74	c BCD2: 2 <= obj <= 951
3.69/3.74	c BCD2: #cores=1, #unrelaxed=0, #relaxed=1000, #hardened=0
3.69/3.74	c BCD2: #sat=1 #unsat=3 bias=3/4
3.69/3.74	c Solving starts ...
3.69/3.74	c ============================[ Search Statistics ]============================
3.69/3.74	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
3.69/3.74	c       |         |          |          |    Limit     GC | Var      | Constra 
3.69/3.74	c =============================================================================
3.69/3.74	c  0.0s |       0 |        0 |        0 |    51858      0 |        1 |        0
4.50/4.51	c  0.8s |       1 |    16682 |      100 |    57044      0 |        1 |        1
5.19/5.25	c  1.5s |       2 |    46457 |      250 |    62749      0 |        1 |        1
6.09/6.18	c  2.4s |       3 |    87009 |      475 |    69024      0 |        1 |        1
17.29/17.35	c 13.6s |       3 |    99009 |      575 |    69024      0 |        1 |        1
24.99/25.03	c 21.3s |       3 |   109776 |      675 |    69024      0 |        1 |        1
34.19/34.22	c 30.5s |       3 |   119670 |      775 |    69024      0 |        1 |        1
40.98/41.08	c 37.3s |       4 |   122608 |      813 |    75927      0 |        1 |        1
54.99/55.07	c 51.3s |       4 |   129651 |      913 |    75927      0 |        1 |        1
61.48/61.59	c 57.8s |       4 |   147024 |     1013 |    75927      0 |        1 |        1
65.58/65.65	c 61.9s |       4 |   163339 |     1113 |    75927      0 |        1 |        1
75.38/75.41	c 71.7s |       4 |   171094 |     1213 |    75927      0 |        1 |        1
81.68/81.73	c 78.0s |       4 |   187278 |     1313 |    75927      0 |        1 |        1
81.68/81.75	c 78.0s |       5 |   188361 |     1320 |    83520      0 |        1 |        1
88.78/88.88	c 85.1s |       5 |   193947 |     1420 |    83520      0 |        1 |        1
96.78/96.86	c 93.1s |       5 |   199834 |     1520 |    83520      0 |        1 |        1
106.68/106.77	c  103s |       5 |   204826 |     1620 |    83520      0 |        1 |        1
111.68/111.76	c  108s |       5 |   209649 |     1720 |    83520      0 |        1 |        1
115.37/115.49	c  111s |       5 |   215750 |     1820 |    83520      0 |        1 |        1
119.88/119.93	c  116s |       5 |   221095 |     1920 |    83520      0 |        1 |        1
122.66/122.76	c  119s |       5 |   230324 |     2020 |    83520      0 |        1 |        1
125.48/125.54	c  121s |       6 |   237174 |     2081 |    91873      0 |        1 |        1
131.87/131.93	c  128s |       6 |   249958 |     2181 |    91873      0 |        1 |        1
136.67/136.74	c  132s |       6 |   253582 |     2281 |    91873      0 |        1 |        1
140.96/141.09	c  137s |       6 |   257861 |     2381 |    91873      0 |        1 |        1
144.07/144.11	c  140s |       6 |   262225 |     2481 |    91873      0 |        1 |        1
147.66/147.74	c  143s |       6 |   266498 |     2581 |    91873      0 |        1 |        1
156.16/156.28	c  152s |       6 |   270689 |     2681 |    91873      0 |        1 |        1
166.96/167.05	c  163s |       6 |   273445 |     2781 |    91873      0 |        1 |        1
173.76/173.84	c  170s |       6 |   277822 |     2881 |    91873      0 |        1 |        1
178.45/178.50	c  174s |       6 |   281964 |     2981 |    91873      0 |        1 |        1
191.96/192.02	c  188s |       6 |   284672 |     3081 |    91873      0 |        1 |        1
206.95/207.01	c  203s |       6 |   286715 |     3181 |    91873      0 |        1 |        1
217.66/217.76	c  214s |       7 |   287431 |     3223 |   101061      0 |        1 |        1
247.34/247.41	c  243s |       7 |   289003 |     3323 |   101061      0 |        1 |        1
272.15/272.27	c  268s |       7 |   290397 |     3423 |   101061      0 |        1 |        1
304.23/304.32	c  300s |       7 |   291610 |     3523 |   101061      0 |        1 |        1
334.93/335.06	c  331s |       7 |   291898 |     3623 |   101061      0 |        1 |        1
364.63/364.78	c  361s |       7 |   293728 |     3723 |   101061      0 |        1 |        1
373.72/373.81	c  370s |       7 |   295434 |     3823 |   101061      0 |        1 |        1
381.03/381.11	c  377s |       7 |   302106 |     3923 |   101061      0 |        1 |        1
394.13/394.23	c  390s |       7 |   307577 |     4023 |   101061      0 |        1 |        1
407.43/407.54	c  403s |       7 |   313009 |     4123 |   101061      0 |        1 |        1
422.43/422.55	c  418s |       7 |   315547 |     4223 |   101061      0 |        1 |        1
444.42/444.59	c  440s |       7 |   315547 |     4323 |   101061      0 |        1 |        1
476.51/476.63	c  472s |       7 |   315547 |     4423 |   101061      0 |        1 |        1
518.30/518.46	c  514s |       7 |   315547 |     4523 |   101061      0 |        1 |        1
537.50/537.68	c  533s |       7 |   323528 |     4623 |   101061      0 |        1 |        1
542.99/543.17	c  539s |       7 |   336988 |     4723 |   101061      0 |        1 |        1
557.99/558.15	c  554s |       7 |   336988 |     4823 |   101061      0 |        1 |        1
583.39/583.56	c  579s |       7 |   336988 |     4923 |   111168      0 |        1 |        1
587.58/587.70	c  583s |       8 |   336988 |     4936 |   111168      0 |        1 |        1
591.98/592.10	c  588s |       8 |   347840 |     5036 |   111168      0 |        1 |        1
602.38/602.52	c  598s |       8 |   347840 |     5136 |   111168      0 |        1 |        1
620.17/620.33	c  616s |       8 |   347961 |     5236 |   111168      0 |        1 |        1
637.07/637.25	c  633s |       8 |   348084 |     5336 |   111168      0 |        1 |        1
646.07/646.28	c  642s |       8 |   350386 |     5436 |   111168      0 |        1 |        1
650.56/650.75	c  647s |       8 |   354187 |     5536 |   111168      0 |        1 |        1
654.06/654.27	c  650s |       8 |   356072 |     5636 |   111168      0 |        1 |        1
659.76/659.95	c  656s |       8 |   356556 |     5736 |   111168      0 |        1 |        1
664.45/664.62	c  660s |       8 |   357446 |     5836 |   111168      0 |        1 |        1
680.65/680.82	c  677s |       8 |   357575 |     5936 |   111168      0 |        1 |        1
721.25/721.45	c  717s |       8 |   357575 |     6036 |   111168      0 |        1 |        1
735.15/735.39	c  731s |       8 |   357667 |     6136 |   111168      0 |        1 |        1
763.84/764.05	c  760s |       8 |   357950 |     6236 |   111168      0 |        1 |        1
805.14/805.33	c  801s |       8 |   358481 |     6336 |   111168      0 |        1 |        1
815.33/815.53	c  811s |       8 |   359031 |     6436 |   111168      0 |        1 |        1
832.74/832.98	c  829s |       8 |   365639 |     6536 |   111168      0 |        1 |        1
855.43/855.62	c  851s |       8 |   378472 |     6636 |   111168      0 |        1 |        1
896.62/896.86	c  893s |       8 |   378885 |     6736 |   111168      0 |        1 |        1
939.81/940.04	c  936s |       8 |   379126 |     6836 |   111168      0 |        1 |        1
977.41/977.62	c  973s |       8 |   379393 |     6936 |   111168      0 |        1 |        1
1017.41/1017.69	c 1013s |       8 |   379823 |     7036 |   111168      0 |        1 |        1
1054.50/1054.72	c 1050s |       8 |   380127 |     7136 |   111168      0 |        1 |        1
1064.79/1065.09	c 1061s |       8 |   382880 |     7236 |   111168      0 |        1 |        1
1096.90/1097.13	c 1093s |       8 |   384850 |     7336 |   111168      0 |        1 |        1
1139.49/1139.71	c 1135s |       8 |   384950 |     7436 |   111168      0 |        1 |        1
1167.48/1167.73	c 1163s |       9 |   385022 |     7506 |   122285      0 |        1 |        1
1205.28/1205.59	c 1201s |       9 |   385241 |     7606 |   122285      0 |        1 |        1
1242.07/1242.37	c 1238s |       9 |   385391 |     7706 |   122285      0 |        1 |        1
1283.66/1283.91	c 1280s |       9 |   385487 |     7806 |   122285      0 |        1 |        1
1321.76/1322.00	c 1318s |       9 |   385587 |     7906 |   122285      0 |        1 |        1
1360.15/1360.48	c 1356s |       9 |   385689 |     8006 |   122285      0 |        1 |        1
1380.55/1380.83	c 1377s |       9 |   387613 |     8106 |   122285      0 |        1 |        1
1390.15/1390.49	c 1386s |       9 |   391403 |     8206 |   122285      0 |        1 |        1
1398.75/1399.01	c 1395s |       9 |   399865 |     8306 |   122285      0 |        1 |        1
1408.14/1408.41	c 1404s |       9 |   405040 |     8406 |   122285      0 |        1 |        1
1417.54/1417.80	c 1414s |       9 |   409834 |     8506 |   122285      0 |        1 |        1
1427.64/1427.91	c 1424s |       9 |   412815 |     8606 |   122285      0 |        1 |        1
1443.04/1443.35	c 1439s |       9 |   412994 |     8706 |   122285      0 |        1 |        1
1466.63/1466.99	c 1463s |       9 |   412994 |     8806 |   122285      0 |        1 |        1
1497.03/1497.35	c 1493s |       9 |   413453 |     8906 |   122285      0 |        1 |        1
1534.73/1535.00	c 1531s |       9 |   413453 |     9006 |   122285      0 |        1 |        1
1578.11/1578.41	c 1574s |       9 |   413935 |     9106 |   122285      0 |        1 |        1
1583.41/1583.70	c 1579s |       9 |   432639 |     9206 |   122285      0 |        1 |        1
1594.83/1595.18	c 1591s |       9 |   436066 |     9306 |   122285      0 |        1 |        1
1617.31/1617.64	c 1613s |       9 |   436066 |     9406 |   122285      0 |        1 |        1
1649.41/1649.75	c 1646s |       9 |   436066 |     9506 |   122285      0 |        1 |        1
1686.11/1686.43	c 1682s |       9 |   440258 |     9606 |   122285      0 |        1 |        1
1696.70/1697.09	c 1693s |       9 |   448327 |     9706 |   122285      0 |        1 |        1
1719.30/1719.67	c 1715s |       9 |   448327 |     9806 |   122285      0 |        1 |        1
1748.29/1748.67	c 1744s |       9 |   449208 |     9906 |   122285      0 |        1 |        1
1753.39/1753.75	c 1750s |       9 |   459416 |    10006 |   122285      0 |        1 |        1
1759.89/1760.24	c 1756s |       9 |   459416 |    10106 |   122285      0 |        1 |        1
1767.39/1767.79	c 1764s |       9 |   460803 |    10206 |   122285      0 |        1 |        1
1777.29/1777.70	c 1773s |       9 |   462424 |    10306 |   122285      0 |        1 |        1

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

pid=13547
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.05 2.05 2.01 3/179 13550
/proc/meminfo: memFree=30480592/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=680516 CPUtime=0 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 2534 0 0 0 0 0 0 0 20 0 4 0 108015867 696848384 2894 33554432000 4194304 16246674 140736932094048 140736932093472 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 170897 2907 442 2943 0 167791 0
[pid=13550/tid=13551] ppid=13547 vsize=698948 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 715722752 2968 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=703044 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 719917056 2983 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=708164 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 725159936 3001 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100185 s]
/proc/loadavg: 2.05 2.05 2.01 3/179 13550
/proc/meminfo: memFree=30480592/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 25876 0 0 0 5 4 0 0 20 0 4 0 108015867 1332285440 26175 33554432000 4194304 16246674 140736932094048 140736932093360 8055408 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 325265 26190 800 2943 0 322159 0
[pid=13550/tid=13551] ppid=13547 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1332285440 26201 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1332285440 26211 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1332285440 26223 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200527 s]
/proc/loadavg: 2.05 2.05 2.01 3/179 13550
/proc/meminfo: memFree=30480592/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1312324 CPUtime=0.18 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 46218 0 0 0 11 7 0 0 20 0 4 0 108015867 1343819776 47027 33554432000 4194304 16246674 140736932094048 140736932093360 8058916 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 328081 47027 801 2943 0 324975 0
[pid=13550/tid=13551] ppid=13547 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1343819776 47027 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1343819776 47027 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1343819776 47027 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.300453 s]
/proc/loadavg: 2.05 2.05 2.01 3/179 13550
/proc/meminfo: memFree=30480592/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 57868 0 0 0 20 9 0 0 20 0 4 0 108015867 1344868352 58677 33554432000 4194304 16246674 140736932094048 140736932093360 8058627 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 328337 58677 801 2943 0 325231 0
[pid=13550/tid=13551] ppid=13547 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1344868352 58677 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1344868352 58677 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1344868352 58677 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700415 s]
/proc/loadavg: 2.05 2.05 2.01 3/179 13550
/proc/meminfo: memFree=30480592/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 60058 0 0 0 60 9 0 0 20 0 4 0 108015867 1344868352 60867 33554432000 4194304 16246674 140736932094048 140736932093360 12500901 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 328337 60867 839 2943 0 325231 0
[pid=13550/tid=13551] ppid=13547 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1344868352 60867 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1344868352 60867 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1344868352 60867 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50041 s]
/proc/loadavg: 2.05 2.05 2.01 3/183 13554
/proc/meminfo: memFree=30179584/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1321540 CPUtime=1.48 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 112158 0 0 0 131 17 0 0 20 0 4 0 108015867 1353256960 112967 33554432000 4194304 16246674 140736932094048 140736932091840 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 330385 112967 841 2943 0 327279 0
[pid=13550/tid=13551] ppid=13547 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1353256960 112967 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1353256960 112967 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1321540 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1353256960 112967 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1321540

[startup+3.10039 s]
/proc/loadavg: 2.05 2.05 2.01 3/183 13554
/proc/meminfo: memFree=29782908/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1330756 CPUtime=3.09 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243329 0 0 0 273 36 0 0 20 0 4 0 108015867 1362694144 244138 33554432000 4194304 16246674 140736932094048 140736932075968 5586310 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 332689 244138 888 2943 0 329583 0
[pid=13550/tid=13551] ppid=13547 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1362694144 244138 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1362694144 244138 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1362694144 244138 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1330756

[startup+6.30042 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 13554
/proc/meminfo: memFree=29504300/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1330756 CPUtime=6.29 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243360 0 0 0 593 36 0 0 20 0 4 0 108015867 1362694144 244169 33554432000 4194304 16246674 140736932094048 140736932075968 5754504 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 332689 244169 919 2943 0 329583 0
[pid=13550/tid=13551] ppid=13547 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1362694144 244169 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1362694144 244169 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1330756 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1362694144 244169 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1330756

[startup+12.7004 s]
/proc/loadavg: 2.04 2.05 2.00 3/183 13603
/proc/meminfo: memFree=30266916/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1331780 CPUtime=12.69 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243616 0 0 0 1232 37 0 0 20 0 4 0 108015867 1363742720 244425 33554432000 4194304 16246674 140736932094048 140736932091840 4225315 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 332945 244425 919 2943 0 329839 0
[pid=13550/tid=13551] ppid=13547 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1363742720 244425 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1363742720 244425 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1331780 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1363742720 244425 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1331780

[startup+25.5005 s]
/proc/loadavg: 2.10 2.06 2.01 3/183 13603
/proc/meminfo: memFree=29544372/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1332804 CPUtime=25.49 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243872 0 0 0 2510 39 0 0 20 0 4 0 108015867 1364791296 244681 33554432000 4194304 16246674 140736932094048 140736932075968 4220936 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 333201 244681 919 2943 0 330095 0
[pid=13550/tid=13551] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 244681 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 244681 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 244681 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1332804

[startup+51.1005 s]
/proc/loadavg: 2.07 2.06 2.01 3/183 13603
/proc/meminfo: memFree=29511440/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1332804 CPUtime=51.08 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243872 0 0 0 5065 43 0 0 20 0 4 0 108015867 1364791296 249721 33554432000 4194304 16246674 140736932094048 140736932093224 4220912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 333201 249721 919 2943 0 330095 0
[pid=13550/tid=13551] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 249721 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 249721 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 249721 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1332804

[startup+102.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/183 13604
/proc/meminfo: memFree=29430756/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1332804 CPUtime=102.28 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243872 0 0 0 10178 50 0 0 20 0 4 0 108015867 1364791296 269881 33554432000 4194304 16246674 140736932094048 140736932091840 12478356 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 333201 269881 919 2943 0 330095 0
[pid=13550/tid=13551] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 269881 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 269881 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 269881 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1332804


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

/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1332804

[startup+1302.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/184 13656
/proc/meminfo: memFree=29380040/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1332804 CPUtime=1302.06 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243930 0 0 0 129977 229 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140736932091840 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 333201 274627 919 2943 0 330095 0
[pid=13550/tid=13551] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1332804

[startup+1362.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/184 13658
/proc/meminfo: memFree=29379444/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1332804 CPUtime=1362.05 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243930 0 0 0 135968 237 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140736932093224 12477724 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 333201 274627 919 2943 0 330095 0
[pid=13550/tid=13551] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1332804

[startup+1422.3 s]
/proc/loadavg: 2.10 2.08 2.01 3/184 13659
/proc/meminfo: memFree=29380304/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1332804 CPUtime=1422.05 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243930 0 0 0 141956 249 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140736932075968 12478249 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 333201 274627 919 2943 0 330095 0
[pid=13550/tid=13551] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1332804

[startup+1482.3 s]
/proc/loadavg: 2.07 2.07 2.01 4/184 13660
/proc/meminfo: memFree=29380600/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1332804 CPUtime=1482.03 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243930 0 0 0 147943 260 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140736932093224 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 333201 274627 919 2943 0 330095 0
[pid=13550/tid=13551] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1332804

[startup+1542.31 s]
/proc/loadavg: 2.12 2.09 2.01 3/184 13661
/proc/meminfo: memFree=29380348/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1332804 CPUtime=1542.03 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243930 0 0 0 153932 271 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140736932091904 13899088 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 333201 274627 919 2943 0 330095 0
[pid=13550/tid=13551] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1332804

[startup+1602.3 s]
/proc/loadavg: 2.18 2.11 2.02 3/185 13665
/proc/meminfo: memFree=29380240/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1332804 CPUtime=1602.02 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243930 0 0 0 159924 278 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140736932091904 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 333201 274627 919 2943 0 330095 0
[pid=13550/tid=13551] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274627 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1332804

[startup+1662.3 s]
/proc/loadavg: 2.12 2.11 2.02 4/184 13667
/proc/meminfo: memFree=29378936/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1332804 CPUtime=1662 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243931 0 0 0 165909 291 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140736932093224 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 333201 274975 919 2943 0 330095 0
[pid=13550/tid=13551] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1332804

[startup+1722.3 s]
/proc/loadavg: 2.04 2.08 2.02 3/184 13668
/proc/meminfo: memFree=29378556/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1332804 CPUtime=1722 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243931 0 0 0 171899 301 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140736932091840 4220880 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 333201 274975 919 2943 0 330095 0
[pid=13550/tid=13551] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 1332804

[startup+1782.3 s]
/proc/loadavg: 2.10 2.09 2.02 3/184 13669
/proc/meminfo: memFree=29378676/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1332804 CPUtime=1781.99 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243931 0 0 0 177888 311 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140736932093144 4221095 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 333201 274975 919 2943 0 330095 0
[pid=13550/tid=13551] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1332804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.15 2.10 2.03 3/184 13669
/proc/meminfo: memFree=29378676/32872528 swapFree=11196/354588
[pid=13550] ppid=13547 vsize=1332804 CPUtime=1800.08 cores=0,2,4,6
/proc/13550/stat : 13550 (toysat) R 13547 13550 12837 0 -1 4202496 243931 0 0 0 179693 315 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140736932091840 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13550/statm: 333201 274975 919 2943 0 330095 0
[pid=13550/tid=13551] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13551/stat : 13551 (toysat) S 13547 13550 12837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140664430898416 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13550/tid=13552] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13552/stat : 13552 (toysat) S 13547 13550 12837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140664420408560 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13550/tid=13553] ppid=13547 vsize=1332804 CPUtime=0 cores=0,2,4,6
/proc/13550/task/13553/stat : 13553 (toysat) S 13547 13550 12837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108015867 1364791296 274975 33554432000 4194304 16246674 140736932094048 140664339688624 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1332804

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1796.94
CPU system time (s): 3.15752
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 1332804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.94
system time used= 3.15752
maximum resident set size= 1099900
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 243931
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= 73
involuntary context switches= 1847

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.5953 second user time and 6.86895 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 02:53:44
IDJOB=4080087
IDBENCH=48230
IDSOLVER=2542
FILE ID=node126/4080087-1465260824
RUNJOBID= node126-1465253620-12853
PBS_JOBID= 19843265
Free space on /tmp= 71720 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_2.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4080087-1465260824/watcher-4080087-1465260824 -o /tmp/evaluation-result-4080087-1465260824/solver-4080087-1465260824 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465253620-12853 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4080087-1465260824.opb

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

MD5SUM BENCH= a5ab0443a6669cc558112b6f5f13d1cd
RANDOM SEED=1677225268

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.500
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:        30480964 kB
Buffers:           70804 kB
Cached:           145000 kB
SwapCached:         2244 kB
Active:          1206664 kB
Inactive:         129224 kB
Active(anon):    1120360 kB
Inactive(anon):     2384 kB
Active(file):      86304 kB
Inactive(file):   126840 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098552 kB
Dirty:             18264 kB
Writeback:             0 kB
AnonPages:       1594584 kB
Mapped:            10944 kB
Shmem:                 0 kB
Slab:             568960 kB
SReclaimable:      13324 kB
SUnreclaim:       555636 kB
KernelStack:        1520 kB
PageTables:         6716 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1616472 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1576960 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71704 MiB
End job on node126 at 2016-06-07 03:23:45