Trace number 4121962

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 632.523 632.623

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-subsetCardinalitySigma-28-2.cnf.gz-plain.pb.metafix.opb
MD5SUM2af8a06562c31491dddb58fbfd546536
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark113.947
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables113
Total number of constraints236
Number of constraints which are clauses236
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T21:44:57+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-4121962-1467315897.opb"]
0.00/0.01	c use --random-gen="1667053262 2424303191 904072313 3362009806 3655133114 1572316262 3629339898 1450341465 2915051403 3383445392 1910875939 185925389 2389731170 4149010326 589646246 2527645659 1806174376 1258647553 3569520051 2051621350 2675324490 7895343 413988663 3611724513 3024484895 66315118 1971924938 2531294206 454483318 888705882 86258224 3408912206 1484111130 4268750625 3170197908 3560593503 3959635417 2135643422 250747684 3493138859 2568082112 2955690909 1138767845 3907824517 1468186517 1916316606 4073110560 1447174578 507284835 527844875 463145477 662613422 3165740031 3843237749 150585478 4132281498 15735101 3221354627 1226855489 2283815624 2307759852 1275649021 3347320498 4001713594 3164280227 2316627626 417331777 3636547417 3373595334 2423393176 3624127760 3067939885 2784230820 1042587222 591076532 2903377630 1708045592 2065727360 262150027 1146478587 1076237852 2158701361 1622094570 3183061734 3077587951 833707675 964402489 3011129342 4235913306 579586637 218589220 2344461977 2272615409 2697010304 1573900165 329990677 372262456 3439578234 2497690596 2446463853 260893858 1620824172 593130201 955008693 1283073763 2642343959 3087115643 2570341400 3189135684 3458347260 4061225992 3952872116 802185181 119993486 2011185409 1702147492 379077754 2092887577 1569047402 2249862184 761964340 3293551232 2371612842 2323224280 2415042784 3779556593 3469624747 828665730 3104464372 1856655760 1509208229 1147055836 2597716915 167666045 2616632859 3389328882 2936200755 1718071678 661338812 3139188710 2741764300 1327033010 2150243718 3305984852 1345643765 2958312398 3681637311 3288419284 335520248 3812716102 2565495684 3103309646 247701438 1164368171 1128978826 2960167209 4231829733 2337876674 1677903061 1172148652 2130480162 2072390217 4141853917 878215101 159933388 898318148 1009457306 3243767406 492228795 1258156990 404940726 34210013 3250529437 3488737422 2315475721 3492544288 49296682 3126840370 1206290427 3860880289 1160222857 2904558575 1152327268 2288370071 3368820374 321902491 1287876508 2247529370 3803204219 3518507535 800294351 1384866091 2820777142 1006536410 398774137 2407629471 3468174498 1648017149 2166978950 2227546380 718422537 2010388877 1278896270 1591242700 3577105855 1272220260 1446087350 3047150548 1188567894 900943970 2956822103 2856511612 1360193177 4272022973 1816518309 2889483144 106790798 2014582632 1265397678 1706364625 331882242 678281120 324327190 1165632833 3339450522 3299201935 3107589511 4225575515 4274063905 1763769705 1409318922 99511881 832309715 3544144297 589077149 218222366 2326474828 512184641 2156197692 2816629618 2430948131 2252960865 933725576 2946966971 8877291 1955594852 3087295065 2042488705 754543916 1846446147 3582814219 1647774191 2345561103 926028930 1977697832 2868477696 255 362436" option to reproduce the execution
0.00/0.01	c #vars 113
0.00/0.01	c #constraints 236
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      116      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      171 |      100 |      116      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      413 |      250 |      128      2 |        0 |        0
0.00/0.07	c  0.0s |       3 |      747 |      475 |      141      4 |        0 |        0
0.08/0.11	c  0.1s |       4 |     1273 |      813 |      156      8 |        0 |        0
0.08/0.17	c  0.2s |       5 |     1998 |     1320 |      172     13 |        0 |        0
0.19/0.24	c  0.2s |       6 |     3070 |     2081 |      210     20 |        0 |        0
0.29/0.37	c  0.3s |       7 |     4748 |     3223 |      232     29 |        0 |        0
0.49/0.55	c  0.5s |       8 |     7068 |     4936 |      256     43 |        0 |        0
0.78/0.83	c  0.8s |       9 |    10839 |     7506 |      282     61 |        0 |        0
1.09/1.18	c  1.2s |      10 |    15572 |    11361 |      311     86 |        0 |        0
1.58/1.63	c  1.6s |      11 |    22978 |    17144 |      343    121 |        0 |        0
2.19/2.30	c  2.3s |      12 |    34460 |    25819 |      378    168 |        0 |        0
3.08/3.25	c  3.2s |      13 |    52477 |    38832 |      416    234 |        0 |        0
4.68/4.76	c  4.7s |      14 |    78153 |    58352 |      458    324 |        0 |        0
6.69/6.76	c  6.7s |      14 |   111276 |    83652 |      458    430 |        0 |        0
7.08/7.11	c  7.1s |      15 |   116130 |    87632 |      504    447 |        0 |        0
9.08/9.12	c  9.1s |      15 |   152008 |   113932 |      504    547 |        0 |        0
10.48/10.54	c 10.5s |      16 |   175088 |   131552 |      555    615 |        0 |        0
12.48/12.54	c 12.5s |      16 |   211470 |   158352 |      555    709 |        0 |        0
14.49/14.54	c 14.5s |      16 |   243401 |   183352 |      555    797 |        0 |        0
15.60/15.63	c 15.6s |      17 |   263063 |   197432 |      611    846 |        0 |        0
17.59/17.63	c 17.6s |      17 |   292431 |   220732 |      611    921 |        0 |        0
19.59/19.64	c 19.6s |      17 |   323741 |   244432 |      611    997 |        0 |        0
21.59/21.64	c 21.6s |      17 |   354985 |   268532 |      611   1074 |        0 |        0
23.59/23.65	c 23.6s |      17 |   387683 |   293532 |      611   1154 |        0 |        0
23.79/23.88	c 23.9s |      18 |   391480 |   296252 |      673   1162 |        0 |        0
25.79/25.88	c 25.9s |      18 |   425112 |   320652 |      673   1233 |        0 |        0
27.79/27.89	c 27.9s |      18 |   458007 |   345252 |      673   1305 |        0 |        0
29.79/29.89	c 29.9s |      18 |   488187 |   368852 |      673   1374 |        0 |        0
31.78/31.89	c 31.9s |      18 |   519714 |   392552 |      673   1443 |        0 |        0
33.78/33.90	c 33.9s |      18 |   551410 |   416552 |      673   1513 |        0 |        0
35.88/35.90	c 35.9s |      18 |   581452 |   439952 |      673   1581 |        0 |        0
36.28/36.30	c 36.3s |      19 |   586803 |   444482 |      741   1593 |        0 |        0
38.28/38.31	c 38.3s |      19 |   618346 |   468682 |      741   1658 |        0 |        0
40.28/40.32	c 40.3s |      19 |   653186 |   493882 |      741   1725 |        0 |        0
42.28/42.32	c 42.3s |      19 |   687674 |   518982 |      741   1791 |        0 |        0
44.28/44.33	c 44.3s |      19 |   720176 |   543482 |      741   1857 |        0 |        0
46.29/46.34	c 46.3s |      19 |   750424 |   567382 |      741   1920 |        0 |        0
48.28/48.34	c 48.3s |      19 |   781396 |   590682 |      741   1982 |        0 |        0
50.28/50.35	c 50.3s |      19 |   814955 |   614882 |      741   2047 |        0 |        0
52.28/52.36	c 52.3s |      19 |   845876 |   638282 |      741   2109 |        0 |        0
54.28/54.36	c 54.3s |      19 |   879588 |   663282 |      816   2175 |        0 |        0
54.58/54.66	c 54.6s |      20 |   884167 |   666827 |      816   2184 |        0 |        0
56.58/56.66	c 56.6s |      20 |   917030 |   691327 |      816   2243 |        0 |        0
58.58/58.67	c 58.7s |      20 |   950729 |   715727 |      816   2302 |        0 |        0
60.58/60.67	c 60.7s |      20 |   985544 |   740527 |      816   2362 |        0 |        0
62.57/62.68	c 62.7s |      20 |  1020756 |   765127 |      816   2421 |        0 |        0
64.57/64.68	c 64.7s |      20 |  1053154 |   788527 |      816   2478 |        0 |        0
66.57/66.69	c 66.7s |      20 |  1085286 |   811827 |      816   2534 |        0 |        0
68.57/68.69	c 68.7s |      20 |  1114965 |   835027 |      816   2591 |        0 |        0
70.58/70.69	c 70.7s |      20 |  1143968 |   857327 |      816   2645 |        0 |        0
72.57/72.69	c 72.7s |      20 |  1176548 |   881527 |      816   2703 |        0 |        0
74.67/74.70	c 74.7s |      20 |  1206471 |   904327 |      816   2759 |        0 |        0
76.67/76.71	c 76.7s |      20 |  1236890 |   926827 |      816   2813 |        0 |        0
78.68/78.71	c 78.7s |      20 |  1264262 |   948627 |      816   2866 |        0 |        0
80.68/80.72	c 80.7s |      20 |  1289625 |   969727 |      816   2917 |        0 |        0
82.68/82.72	c 82.7s |      20 |  1317148 |   991527 |      816   2970 |        0 |        0
83.48/83.55	c 83.5s |      21 |  1328330 |  1000345 |      898   2989 |        0 |        0
85.48/85.55	c 85.5s |      21 |  1354159 |  1020645 |      898   3033 |        0 |        0
87.47/87.55	c 87.5s |      21 |  1377666 |  1039745 |      898   3075 |        0 |        0
89.47/89.56	c 89.5s |      21 |  1401092 |  1058845 |      898   3117 |        0 |        0
91.48/91.57	c 91.6s |      21 |  1424849 |  1078045 |      898   3159 |        0 |        0
93.47/93.58	c 93.6s |      21 |  1449265 |  1097945 |      898   3203 |        0 |        0
95.47/95.58	c 95.6s |      21 |  1473918 |  1118345 |      898   3247 |        0 |        0
97.47/97.59	c 97.6s |      21 |  1498951 |  1138545 |      898   3292 |        0 |        0
99.47/99.59	c 99.6s |      21 |  1524452 |  1158945 |      898   3336 |        0 |        0
101.57/101.60	c  101s |      21 |  1550180 |  1179445 |      898   3381 |        0 |        0
103.47/103.60	c  103s |      21 |  1574262 |  1199545 |      898   3426 |        0 |        0
105.58/105.60	c  105s |      21 |  1598951 |  1219745 |      898   3470 |        0 |        0
107.57/107.61	c  107s |      21 |  1622701 |  1239245 |      898   3513 |        0 |        0
109.57/109.61	c  109s |      21 |  1647519 |  1259445 |      898   3557 |        0 |        0
111.57/111.61	c  111s |      21 |  1671108 |  1278845 |      898   3600 |        0 |        0
113.57/113.62	c  113s |      21 |  1694948 |  1298345 |      898   3643 |        0 |        0
115.58/115.62	c  115s |      21 |  1720232 |  1318745 |      898   3688 |        0 |        0
117.57/117.63	c  117s |      21 |  1743044 |  1337945 |      898   3730 |        0 |        0
119.57/119.64	c  119s |      21 |  1764687 |  1356645 |      898   3771 |        0 |        0
121.57/121.64	c  121s |      21 |  1789810 |  1377045 |      898   3815 |        0 |        0
123.57/123.64	c  123s |      21 |  1812021 |  1395945 |      898   3857 |        0 |        0
125.57/125.65	c  125s |      21 |  1836691 |  1416045 |      898   3901 |        0 |        0
127.57/127.66	c  127s |      21 |  1862482 |  1436845 |      898   3947 |        0 |        0
129.57/129.66	c  129s |      21 |  1888548 |  1457745 |      898   3993 |        0 |        0
131.56/131.67	c  131s |      21 |  1917286 |  1479645 |      898   4041 |        0 |        0
133.56/133.67	c  133s |      21 |  1943090 |  1500045 |      988   4084 |        0 |        0
133.66/133.74	c  133s |      22 |  1943763 |  1500622 |      988   4085 |        0 |        0
135.66/135.74	c  135s |      22 |  1968325 |  1520422 |      988   4124 |        0 |        0
137.67/137.74	c  137s |      22 |  1993020 |  1540122 |      988   4164 |        0 |        0
139.66/139.75	c  139s |      22 |  2018146 |  1560222 |      988   4204 |        0 |        0
141.66/141.75	c  141s |      22 |  2041676 |  1579922 |      988   4243 |        0 |        0
143.66/143.76	c  143s |      22 |  2068792 |  1600622 |      988   4285 |        0 |        0
145.66/145.76	c  145s |      22 |  2093001 |  1620122 |      988   4324 |        0 |        0
147.66/147.76	c  147s |      22 |  2118616 |  1640322 |      988   4364 |        0 |        0
149.67/149.76	c  149s |      22 |  2143268 |  1660122 |      988   4404 |        0 |        0
151.66/151.77	c  151s |      22 |  2170641 |  1680822 |      988   4445 |        0 |        0
153.66/153.77	c  153s |      22 |  2195292 |  1700522 |      988   4484 |        0 |        0
155.66/155.78	c  155s |      22 |  2217634 |  1719322 |      988   4522 |        0 |        0
157.66/157.79	c  157s |      22 |  2240198 |  1738222 |      988   4560 |        0 |        0
159.67/159.79	c  159s |      22 |  2263030 |  1757222 |      988   4598 |        0 |        0
161.66/161.80	c  161s |      22 |  2287835 |  1777322 |      988   4639 |        0 |        0
163.76/163.81	c  163s |      22 |  2312253 |  1796922 |      988   4678 |        0 |        0
165.76/165.81	c  165s |      22 |  2334597 |  1815422 |      988   4715 |        0 |        0
167.76/167.82	c  167s |      22 |  2359151 |  1834822 |      988   4754 |        0 |        0
169.76/169.82	c  169s |      22 |  2382829 |  1853622 |      988   4791 |        0 |        0
171.77/171.83	c  171s |      22 |  2407210 |  1872822 |      988   4830 |        0 |        0
173.76/173.84	c  173s |      22 |  2430786 |  1891822 |      988   4868 |        0 |        0
175.76/175.84	c  175s |      22 |  2456697 |  1911822 |      988   4908 |        0 |        0
177.76/177.85	c  177s |      22 |  2479020 |  1930322 |      988   4945 |        0 |        0
179.76/179.85	c  179s |      22 |  2502996 |  1948822 |      988   4982 |        0 |        0
181.76/181.86	c  181s |      22 |  2529449 |  1968922 |      988   5022 |        0 |        0
183.77/183.86	c  183s |      22 |  2556575 |  1989422 |      988   5063 |        0 |        0
185.76/185.87	c  185s |      22 |  2578632 |  2007522 |      988   5100 |        0 |        0
187.76/187.87	c  187s |      22 |  2600510 |  2025822 |      988   5136 |        0 |        0
189.76/189.88	c  189s |      22 |  2623826 |  2044622 |      988   5174 |        0 |        0
191.76/191.88	c  191s |      22 |  2647369 |  2063522 |      988   5212 |        0 |        0
193.76/193.89	c  193s |      22 |  2668788 |  2081522 |      988   5248 |        0 |        0
195.76/195.90	c  195s |      22 |  2691380 |  2099822 |      988   5285 |        0 |        0
197.86/197.91	c  197s |      22 |  2713353 |  2117922 |      988   5321 |        0 |        0
199.86/199.92	c  199s |      22 |  2735706 |  2136122 |      988   5358 |        0 |        0
201.86/201.92	c  201s |      22 |  2755174 |  2153022 |      988   5392 |        0 |        0
203.85/203.92	c  203s |      22 |  2778098 |  2171722 |      988   5429 |        0 |        0
205.86/205.93	c  205s |      22 |  2804614 |  2192522 |      988   5471 |        0 |        0
207.85/207.94	c  207s |      22 |  2830837 |  2213122 |      988   5512 |        0 |        0
209.85/209.95	c  209s |      22 |  2856571 |  2233222 |      988   5552 |        0 |        0
211.65/211.79	c  211s |      23 |  2878275 |  2251038 |     1087   5585 |        0 |        0
213.76/213.80	c  213s |      23 |  2901740 |  2269638 |     1087   5619 |        0 |        0
215.77/215.80	c  215s |      23 |  2924214 |  2288038 |     1087   5652 |        0 |        0
217.76/217.81	c  217s |      23 |  2950656 |  2307538 |     1087   5688 |        0 |        0
219.76/219.81	c  219s |      23 |  2974003 |  2326138 |     1087   5721 |        0 |        0
221.75/221.82	c  221s |      23 |  3000779 |  2346138 |     1087   5758 |        0 |        0
223.75/223.82	c  223s |      23 |  3027720 |  2366538 |     1087   5795 |        0 |        0
225.75/225.83	c  225s |      23 |  3054220 |  2386538 |     1087   5831 |        0 |        0
227.76/227.84	c  227s |      23 |  3077095 |  2405438 |     1087   5866 |        0 |        0
229.75/229.85	c  229s |      23 |  3099921 |  2424138 |     1087   5900 |        0 |        0
231.75/231.85	c  231s |      23 |  3122781 |  2442738 |     1087   5933 |        0 |        0
233.75/233.86	c  233s |      23 |  3144582 |  2460638 |     1087   5966 |        0 |        0
235.75/235.86	c  235s |      23 |  3164826 |  2477438 |     1087   5996 |        0 |        0
237.75/237.86	c  237s |      23 |  3184876 |  2494438 |     1087   6027 |        0 |        0
239.75/239.87	c  239s |      23 |  3204653 |  2511038 |     1087   6057 |        0 |        0
241.76/241.88	c  241s |      23 |  3223468 |  2527138 |     1087   6086 |        0 |        0
243.75/243.88	c  243s |      23 |  3243139 |  2544138 |     1087   6117 |        0 |        0
245.75/245.89	c  245s |      23 |  3264830 |  2561538 |     1087   6149 |        0 |        0
247.75/247.89	c  247s |      23 |  3287254 |  2579638 |     1087   6181 |        0 |        0
249.76/249.89	c  249s |      23 |  3311917 |  2598638 |     1087   6216 |        0 |        0
251.85/251.90	c  251s |      23 |  3335593 |  2617138 |     1087   6249 |        0 |        0
253.85/253.91	c  253s |      23 |  3356009 |  2634138 |     1087   6280 |        0 |        0
255.85/255.91	c  255s |      23 |  3375649 |  2650738 |     1087   6310 |        0 |        0
257.85/257.92	c  257s |      23 |  3396561 |  2668138 |     1087   6342 |        0 |        0
259.85/259.93	c  259s |      23 |  3416438 |  2684938 |     1087   6372 |        0 |        0
261.86/261.94	c  261s |      23 |  3436556 |  2701938 |     1087   6403 |        0 |        0
263.85/263.95	c  263s |      23 |  3457805 |  2719638 |     1087   6435 |        0 |        0
265.85/265.95	c  265s |      23 |  3477566 |  2736738 |     1087   6466 |        0 |        0
267.85/267.95	c  267s |      23 |  3496594 |  2753438 |     1087   6497 |        0 |        0
269.85/269.96	c  269s |      23 |  3516131 |  2770038 |     1087   6527 |        0 |        0
271.85/271.96	c  271s |      23 |  3537015 |  2787338 |     1087   6558 |        0 |        0
273.84/273.96	c  273s |      23 |  3559170 |  2805438 |     1087   6591 |        0 |        0
275.84/275.96	c  275s |      23 |  3583496 |  2824838 |     1087   6626 |        0 |        0
277.84/277.96	c  277s |      23 |  3605546 |  2843238 |     1087   6660 |        0 |        0
279.84/279.97	c  279s |      23 |  3627108 |  2861838 |     1087   6694 |        0 |        0
281.84/281.98	c  281s |      23 |  3649622 |  2880838 |     1087   6728 |        0 |        0
283.85/283.98	c  283s |      23 |  3671005 |  2898838 |     1087   6761 |        0 |        0
285.84/285.98	c  285s |      23 |  3694955 |  2918338 |     1087   6796 |        0 |        0
287.85/287.99	c  287s |      23 |  3717550 |  2937138 |     1087   6831 |        0 |        0
289.85/289.99	c  289s |      23 |  3740942 |  2956138 |     1087   6865 |        0 |        0
291.95/292.00	c  291s |      23 |  3764658 |  2975138 |     1087   6900 |        0 |        0
293.95/294.00	c  293s |      23 |  3787060 |  2993838 |     1087   6934 |        0 |        0
295.95/296.01	c  295s |      23 |  3809004 |  3012338 |     1087   6968 |        0 |        0
297.95/298.02	c  298s |      23 |  3834274 |  3031938 |     1087   7003 |        0 |        0
299.95/300.02	c  300s |      23 |  3857496 |  3050838 |     1087   7038 |        0 |        0
301.94/302.02	c  302s |      23 |  3880786 |  3069738 |     1087   7072 |        0 |        0
303.94/304.03	c  304s |      23 |  3903007 |  3088138 |     1087   7105 |        0 |        0
305.95/306.04	c  306s |      23 |  3924512 |  3106338 |     1087   7138 |        0 |        0
307.94/308.04	c  308s |      23 |  3947858 |  3125238 |     1087   7173 |        0 |        0
309.94/310.05	c  310s |      23 |  3966783 |  3141538 |     1087   7202 |        0 |        0
311.94/312.05	c  312s |      23 |  3989957 |  3159938 |     1087   7236 |        0 |        0
313.94/314.06	c  314s |      23 |  4015111 |  3178838 |     1087   7270 |        0 |        0
315.94/316.06	c  316s |      23 |  4037805 |  3197638 |     1087   7305 |        0 |        0
317.94/318.07	c  318s |      23 |  4063332 |  3217738 |     1087   7341 |        0 |        0
319.94/320.07	c  320s |      23 |  4086574 |  3236638 |     1087   7375 |        0 |        0
321.94/322.09	c  322s |      23 |  4108238 |  3254738 |     1087   7408 |        0 |        0
323.94/324.09	c  324s |      23 |  4129619 |  3272638 |     1087   7441 |        0 |        0
326.04/326.10	c  326s |      23 |  4150780 |  3290238 |     1087   7473 |        0 |        0
328.04/328.10	c  328s |      23 |  4173309 |  3308538 |     1087   7506 |        0 |        0
330.04/330.11	c  330s |      23 |  4196834 |  3327338 |     1087   7541 |        0 |        0
332.03/332.12	c  332s |      23 |  4218878 |  3345438 |     1087   7573 |        0 |        0
334.03/334.12	c  334s |      23 |  4241952 |  3363738 |     1196   7605 |        0 |        0
335.43/335.55	c  335s |      24 |  4258282 |  3376662 |     1196   7626 |        0 |        0
337.43/337.55	c  337s |      24 |  4277950 |  3393362 |     1196   7654 |        0 |        0
339.43/339.55	c  339s |      24 |  4298643 |  3410662 |     1196   7682 |        0 |        0
341.43/341.56	c  341s |      24 |  4320882 |  3428662 |     1196   7712 |        0 |        0
343.44/343.57	c  343s |      24 |  4343338 |  3446762 |     1196   7742 |        0 |        0
345.44/345.58	c  345s |      24 |  4365112 |  3464562 |     1196   7771 |        0 |        0
347.44/347.58	c  347s |      24 |  4385916 |  3481862 |     1196   7800 |        0 |        0
349.44/349.59	c  349s |      24 |  4408618 |  3500062 |     1196   7830 |        0 |        0
351.54/351.60	c  351s |      24 |  4431773 |  3518562 |     1196   7861 |        0 |        0
353.54/353.60	c  353s |      24 |  4452496 |  3535662 |     1196   7889 |        0 |        0
355.53/355.61	c  355s |      24 |  4476293 |  3554662 |     1196   7921 |        0 |        0
357.54/357.61	c  357s |      24 |  4499689 |  3573162 |     1196   7951 |        0 |        0
359.53/359.62	c  359s |      24 |  4522814 |  3591662 |     1196   7982 |        0 |        0
361.53/361.62	c  361s |      24 |  4545681 |  3610162 |     1196   8013 |        0 |        0
363.53/363.63	c  363s |      24 |  4568127 |  3628662 |     1196   8043 |        0 |        0
365.53/365.63	c  365s |      24 |  4593453 |  3648262 |     1196   8076 |        0 |        0
367.54/367.64	c  367s |      24 |  4617607 |  3667162 |     1196   8107 |        0 |        0
369.53/369.64	c  369s |      24 |  4639516 |  3684962 |     1196   8137 |        0 |        0
371.53/371.65	c  371s |      24 |  4661477 |  3703162 |     1196   8167 |        0 |        0
373.53/373.66	c  373s |      24 |  4683415 |  3720962 |     1196   8196 |        0 |        0
375.53/375.66	c  375s |      24 |  4706758 |  3739462 |     1196   8227 |        0 |        0
377.53/377.67	c  377s |      24 |  4729430 |  3757762 |     1196   8257 |        0 |        0
379.53/379.67	c  379s |      24 |  4752707 |  3776562 |     1196   8288 |        0 |        0
381.53/381.68	c  381s |      24 |  4775938 |  3794962 |     1196   8319 |        0 |        0
383.53/383.68	c  383s |      24 |  4799428 |  3813862 |     1196   8350 |        0 |        0
385.53/385.68	c  385s |      24 |  4823325 |  3832962 |     1196   8382 |        0 |        0
387.53/387.68	c  387s |      24 |  4846178 |  3851862 |     1196   8413 |        0 |        0
389.53/389.69	c  389s |      24 |  4870513 |  3871262 |     1196   8446 |        0 |        0
391.52/391.70	c  391s |      24 |  4892330 |  3889762 |     1196   8476 |        0 |        0
393.62/393.70	c  393s |      24 |  4914736 |  3908462 |     1196   8507 |        0 |        0
395.63/395.70	c  395s |      24 |  4939329 |  3928062 |     1196   8540 |        0 |        0
397.63/397.70	c  397s |      24 |  4963709 |  3947162 |     1196   8572 |        0 |        0
399.63/399.71	c  399s |      24 |  4989464 |  3966762 |     1196   8604 |        0 |        0
401.64/401.72	c  401s |      24 |  5014692 |  3986162 |     1196   8636 |        0 |        0
403.63/403.72	c  403s |      24 |  5038308 |  4004962 |     1196   8668 |        0 |        0
405.63/405.73	c  405s |      24 |  5061630 |  4023662 |     1196   8699 |        0 |        0
407.63/407.74	c  407s |      24 |  5087194 |  4043462 |     1196   8732 |        0 |        0
409.63/409.75	c  409s |      24 |  5113000 |  4063662 |     1196   8765 |        0 |        0
411.63/411.75	c  411s |      24 |  5136879 |  4083162 |     1196   8798 |        0 |        0
413.63/413.75	c  413s |      24 |  5159345 |  4101662 |     1196   8828 |        0 |        0
415.63/415.75	c  415s |      24 |  5183518 |  4120662 |     1196   8860 |        0 |        0
417.63/417.75	c  417s |      24 |  5207160 |  4140162 |     1196   8892 |        0 |        0
419.63/419.76	c  419s |      24 |  5231021 |  4159162 |     1196   8923 |        0 |        0
421.62/421.77	c  421s |      24 |  5254581 |  4177962 |     1196   8955 |        0 |        0
423.63/423.77	c  423s |      24 |  5280240 |  4197862 |     1196   8988 |        0 |        0
425.63/425.78	c  425s |      24 |  5304246 |  4217362 |     1196   9020 |        0 |        0
427.62/427.78	c  427s |      24 |  5328922 |  4237062 |     1196   9053 |        0 |        0
429.62/429.79	c  429s |      24 |  5352019 |  4255962 |     1196   9084 |        0 |        0
431.62/431.79	c  431s |      24 |  5376977 |  4275662 |     1196   9117 |        0 |        0
433.72/433.80	c  433s |      24 |  5400520 |  4295062 |     1196   9149 |        0 |        0
435.63/435.80	c  435s |      24 |  5423447 |  4314062 |     1196   9180 |        0 |        0
437.72/437.81	c  437s |      24 |  5448422 |  4333962 |     1196   9214 |        0 |        0
439.72/439.81	c  439s |      24 |  5472115 |  4352762 |     1196   9245 |        0 |        0
441.72/441.82	c  441s |      24 |  5497792 |  4372362 |     1196   9277 |        0 |        0
443.72/443.82	c  443s |      24 |  5524120 |  4392262 |     1196   9310 |        0 |        0
445.72/445.83	c  445s |      24 |  5549658 |  4411762 |     1196   9342 |        0 |        0
447.73/447.84	c  447s |      24 |  5577351 |  4431762 |     1196   9375 |        0 |        0
449.72/449.85	c  449s |      24 |  5603626 |  4451762 |     1196   9409 |        0 |        0
451.72/451.85	c  451s |      24 |  5628662 |  4471462 |     1196   9441 |        0 |        0
453.72/453.86	c  453s |      24 |  5655212 |  4491662 |     1196   9475 |        0 |        0
455.71/455.86	c  455s |      24 |  5679255 |  4510862 |     1196   9506 |        0 |        0
457.72/457.87	c  457s |      24 |  5703474 |  4530262 |     1196   9538 |        0 |        0
459.71/459.88	c  459s |      24 |  5727698 |  4549562 |     1196   9570 |        0 |        0
461.71/461.89	c  461s |      24 |  5753427 |  4569362 |     1196   9603 |        1 |        3
463.71/463.89	c  463s |      24 |  5778505 |  4588462 |     1196   9634 |        1 |        3
465.81/465.90	c  465s |      24 |  5800203 |  4606162 |     1196   9663 |        1 |        3
467.82/467.90	c  467s |      24 |  5822619 |  4623862 |     1196   9693 |        1 |        3
469.83/469.91	c  469s |      24 |  5848201 |  4642662 |     1196   9724 |        1 |        3
471.82/471.92	c  471s |      24 |  5873544 |  4661862 |     1196   9755 |        1 |        3
473.82/473.93	c  473s |      24 |  5896632 |  4680362 |     1196   9786 |        1 |        3
475.82/475.94	c  475s |      24 |  5918577 |  4698262 |     1196   9816 |        1 |        3
477.82/477.94	c  477s |      24 |  5941554 |  4716762 |     1196   9846 |        1 |        3
479.82/479.96	c  479s |      24 |  5965657 |  4735662 |     1196   9878 |        1 |        3
481.82/481.96	c  481s |      24 |  5989955 |  4754462 |     1196   9909 |        1 |        3
483.81/483.97	c  483s |      24 |  6013792 |  4773262 |     1196   9940 |        1 |        3
485.81/485.97	c  485s |      24 |  6038251 |  4792462 |     1196   9972 |        1 |        3
487.81/487.99	c  487s |      24 |  6062726 |  4811162 |     1196  10003 |        1 |        3
489.81/489.99	c  489s |      24 |  6088772 |  4830462 |     1196  10034 |        1 |        3
491.91/492.00	c  491s |      24 |  6113419 |  4849562 |     1196  10066 |        1 |        3
493.92/494.01	c  493s |      24 |  6136899 |  4868462 |     1196  10098 |        1 |        3
495.91/496.01	c  495s |      24 |  6162578 |  4888162 |     1196  10130 |        1 |        3
497.91/498.02	c  498s |      24 |  6188491 |  4907962 |     1196  10163 |        1 |        3
499.91/500.02	c  500s |      24 |  6214778 |  4927662 |     1196  10196 |        1 |        3
501.91/502.02	c  502s |      24 |  6241991 |  4947962 |     1196  10230 |        1 |        3
503.91/504.03	c  504s |      24 |  6268202 |  4967962 |     1196  10263 |        1 |        3
505.91/506.04	c  506s |      24 |  6295563 |  4988562 |     1196  10297 |        1 |        3
507.91/508.04	c  508s |      24 |  6320783 |  5008562 |     1196  10330 |        1 |        3
509.91/510.04	c  510s |      24 |  6347179 |  5028662 |     1196  10363 |        1 |        3
511.91/512.05	c  512s |      24 |  6371457 |  5047662 |     1316  10392 |        1 |        3
513.82/513.95	c  513s |      25 |  6393462 |  5065098 |     1316  10418 |        1 |        3
515.81/515.96	c  515s |      25 |  6418500 |  5084098 |     1316  10447 |        1 |        3
517.81/517.96	c  517s |      25 |  6443748 |  5103298 |     1316  10476 |        1 |        3
519.81/519.96	c  519s |      25 |  6470445 |  5123198 |     1316  10505 |        1 |        3
521.81/521.97	c  521s |      25 |  6493564 |  5141298 |     1316  10533 |        1 |        3
523.81/523.97	c  523s |      25 |  6514766 |  5159198 |     1316  10560 |        1 |        3
525.82/525.99	c  525s |      25 |  6537251 |  5177398 |     1316  10587 |        1 |        3
527.81/527.99	c  527s |      25 |  6561254 |  5196298 |     1316  10616 |        1 |        3
529.91/530.00	c  529s |      25 |  6586409 |  5215598 |     1316  10645 |        1 |        3
531.91/532.01	c  531s |      25 |  6609253 |  5233898 |     1316  10672 |        1 |        3
533.90/534.02	c  534s |      25 |  6632282 |  5251898 |     1316  10699 |        1 |        3
535.90/536.03	c  536s |      25 |  6653899 |  5269398 |     1316  10726 |        1 |        3
537.91/538.04	c  538s |      25 |  6674057 |  5285998 |     1316  10751 |        1 |        3
539.90/540.04	c  540s |      25 |  6693826 |  5302598 |     1316  10775 |        1 |        3
541.90/542.04	c  542s |      25 |  6715431 |  5319798 |     1316  10801 |        1 |        3
543.90/544.05	c  544s |      25 |  6737331 |  5337098 |     1316  10827 |        1 |        3
545.90/546.06	c  546s |      25 |  6758892 |  5354498 |     1316  10853 |        1 |        3
547.91/548.07	c  548s |      25 |  6779865 |  5371498 |     1316  10879 |        1 |        3
549.90/550.08	c  550s |      25 |  6800747 |  5388698 |     1316  10905 |        1 |        3
551.91/552.08	c  552s |      25 |  6821688 |  5406298 |     1316  10931 |        1 |        3
553.90/554.09	c  554s |      25 |  6844302 |  5424098 |     1316  10958 |        1 |        3
556.00/556.10	c  556s |      25 |  6868709 |  5442798 |     1316  10986 |        1 |        3
558.00/558.10	c  558s |      25 |  6894370 |  5462198 |     1316  11015 |        1 |        3
559.91/560.10	c  560s |      25 |  6919216 |  5480898 |     1316  11044 |        1 |        3
562.00/562.11	c  562s |      25 |  6943768 |  5499598 |     1316  11072 |        1 |        3
564.00/564.12	c  564s |      25 |  6968613 |  5518398 |     1316  11100 |        1 |        3
566.00/566.13	c  566s |      25 |  6992243 |  5537398 |     1316  11129 |        1 |        3
568.00/568.13	c  568s |      25 |  7013086 |  5554498 |     1316  11154 |        1 |        3
570.00/570.14	c  570s |      25 |  7033461 |  5571298 |     1316  11180 |        1 |        3
572.00/572.14	c  572s |      25 |  7052738 |  5587498 |     1316  11204 |        1 |        3
574.00/574.15	c  574s |      25 |  7074701 |  5605198 |     1316  11230 |        1 |        3
576.00/576.15	c  576s |      25 |  7097422 |  5623398 |     1316  11258 |        1 |        3
578.00/578.16	c  578s |      25 |  7119553 |  5641098 |     1316  11284 |        1 |        3
580.00/580.17	c  580s |      25 |  7142917 |  5659598 |     1316  11312 |        1 |        3
582.01/582.18	c  582s |      25 |  7164131 |  5676698 |     1316  11338 |        1 |        3
584.00/584.19	c  584s |      25 |  7186828 |  5694498 |     1316  11364 |        1 |        3
586.10/586.20	c  586s |      25 |  7207667 |  5711698 |     1316  11389 |        2 |        6
588.10/588.21	c  588s |      25 |  7231442 |  5730298 |     1316  11417 |        2 |        6
590.10/590.21	c  590s |      25 |  7256126 |  5748998 |     1316  11446 |        2 |        6
592.10/592.22	c  592s |      25 |  7280703 |  5768098 |     1316  11474 |        2 |        6
594.11/594.22	c  594s |      25 |  7307383 |  5787798 |     1316  11504 |        2 |        6
596.10/596.23	c  596s |      25 |  7333662 |  5807198 |     1316  11533 |        2 |        6
598.10/598.23	c  598s |      25 |  7357172 |  5825298 |     1316  11560 |        2 |        6
600.10/600.23	c  600s |      25 |  7380777 |  5843198 |     1316  11587 |        2 |        6
602.10/602.25	c  602s |      25 |  7401316 |  5859898 |     1316  11613 |        2 |        6
604.10/604.25	c  604s |      25 |  7424014 |  5878098 |     1316  11640 |        2 |        6
606.10/606.25	c  606s |      25 |  7448493 |  5896998 |     1316  11668 |        2 |        6
608.10/608.26	c  608s |      25 |  7472754 |  5915098 |     1316  11695 |        2 |        6
610.10/610.26	c  610s |      25 |  7498559 |  5934598 |     1316  11725 |        3 |        9
612.10/612.27	c  612s |      25 |  7521931 |  5953398 |     1316  11753 |        3 |        9
614.09/614.27	c  614s |      25 |  7544500 |  5971998 |     1316  11781 |        3 |        9
616.10/616.28	c  616s |      25 |  7568154 |  5990798 |     1316  11809 |        3 |        9
618.09/618.29	c  618s |      25 |  7593129 |  6009998 |     1316  11838 |        4 |       15
620.09/620.29	c  620s |      25 |  7618907 |  6029498 |     1316  11867 |        4 |       15
622.19/622.30	c  622s |      25 |  7644557 |  6048798 |     1316  11896 |        4 |       15
624.19/624.30	c  624s |      25 |  7669280 |  6067998 |     1316  11925 |        4 |       15
626.19/626.31	c  626s |      25 |  7696847 |  6087998 |     1316  11954 |        5 |       18
628.20/628.31	c  628s |      25 |  7721875 |  6107498 |     1316  11984 |        5 |       18
630.19/630.32	c  630s |      25 |  7749815 |  6127798 |     1316  12013 |        6 |       21
632.19/632.33	c  632s |      25 |  7776794 |  6148698 |     1316  12043 |        8 |       27
632.39/632.56	c  632s |      25 |  7780262 |  6151254 |     1316  12046 |       36 |       88
632.39/632.56	c #cpu_time = 630.920s
632.39/632.56	c #wall_clock_time = 632.539s
632.39/632.56	c #decision = 7780262
632.39/632.56	c #random_decision = 33942
632.39/632.56	c #conflict = 6151254
632.39/632.56	c #restart = 25
632.39/632.56	s UNSATISFIABLE
632.39/632.56	c total CPU time = 630.937s
632.39/632.56	c total wall clock time = 632.556s

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

pid=19571
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.33 2.27 2.22 3/179 19574
/proc/meminfo: memFree=28504044/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=443836 CPUtime=0 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 1604 0 0 0 0 0 0 0 20 0 4 0 12546480 454488064 2475 33554432000 4194304 16246674 140736903845872 140736903845296 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 111471 2486 441 2943 0 108365 0
[pid=19574/tid=19575] ppid=19571 vsize=460220 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 471265280 2542 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=464316 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 475459584 2558 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=468412 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 479653888 2574 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.33 2.27 2.22 3/179 19574
/proc/meminfo: memFree=28504044/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 25002 0 0 0 5 3 0 0 20 0 4 0 12546480 1247350784 25863 33554432000 4194304 16246674 140736903845872 140736903845296 5830026 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 304529 25871 708 2943 0 301423 0
[pid=19574/tid=19575] ppid=19571 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1247350784 25878 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1247350784 25884 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1247350784 25891 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200504 s]
/proc/loadavg: 2.33 2.27 2.22 3/179 19574
/proc/meminfo: memFree=28504044/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 48496 0 0 0 12 7 0 0 20 0 4 0 12546480 1247350784 49357 33554432000 4194304 16246674 140736903845872 140736903845296 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 304529 49366 708 2943 0 301423 0
[pid=19574/tid=19575] ppid=19571 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1247350784 49374 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1247350784 49380 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1247350784 49386 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300518 s]
/proc/loadavg: 2.33 2.27 2.22 3/179 19574
/proc/meminfo: memFree=28504044/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 71517 0 0 0 19 10 0 0 20 0 4 0 12546480 1247350784 72377 33554432000 4194304 16246674 140736903845872 140736903845296 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 304529 72388 708 2943 0 301423 0
[pid=19574/tid=19575] ppid=19571 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1247350784 72398 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1247350784 72405 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1247350784 72411 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700398 s]
/proc/loadavg: 2.33 2.27 2.22 3/179 19574
/proc/meminfo: memFree=28504044/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 164976 0 0 0 45 23 0 0 20 0 4 0 12546480 1247350784 165836 33554432000 4194304 16246674 140736903845872 140736903845296 5546181 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 304529 165847 708 2943 0 301423 0
[pid=19574/tid=19575] ppid=19571 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1247350784 165857 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1247350784 165862 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1247350784 165868 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.30 2.26 2.22 3/183 19578
/proc/meminfo: memFree=27520060/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1218116 CPUtime=1.48 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 245510 0 0 0 116 32 0 0 20 0 4 0 12546480 1247350784 246350 33554432000 4194304 16246674 140736903845872 140736903845184 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 304529 246350 784 2943 0 301423 0
[pid=19574/tid=19575] ppid=19571 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1247350784 246350 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1247350784 246350 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1247350784 246350 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.10041 s]
/proc/loadavg: 2.30 2.26 2.22 3/183 19578
/proc/meminfo: memFree=27432268/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1306180 CPUtime=3.08 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267412 0 0 0 273 35 0 0 20 0 4 0 12546480 1337528320 268252 33554432000 4194304 16246674 140736903845872 140736903828872 5754620 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326545 268252 784 2943 0 323439 0
[pid=19574/tid=19575] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268252 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268252 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268252 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.28 2.26 2.22 3/183 19578
/proc/meminfo: memFree=27431220/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267422 0 0 0 593 35 0 0 20 0 4 0 12546480 1337528320 268262 33554432000 4194304 16246674 140736903845872 140736903828872 13962080 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326545 268262 784 2943 0 323439 0
[pid=19574/tid=19575] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268262 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268262 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268262 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.25 2.25 2.21 3/183 19578
/proc/meminfo: memFree=27431268/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267423 0 0 0 1233 35 0 0 20 0 4 0 12546480 1337528320 268263 33554432000 4194304 16246674 140736903845872 140736903827776 6011022 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326545 268263 784 2943 0 323439 0
[pid=19574/tid=19575] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268263 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268263 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268263 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5073 s]
/proc/loadavg: 2.34 2.27 2.22 3/183 19578
/proc/meminfo: memFree=27429636/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267490 0 0 0 2513 36 0 0 20 0 4 0 12546480 1337528320 268330 33554432000 4194304 16246674 140736903845872 140736903828872 5677720 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326545 268330 787 2943 0 323439 0
[pid=19574/tid=19575] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268330 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268330 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268330 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.22 2.25 2.21 3/183 19578
/proc/meminfo: memFree=27429304/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1306180 CPUtime=51.08 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267491 0 0 0 5072 36 0 0 20 0 4 0 12546480 1337528320 268331 33554432000 4194304 16246674 140736903845872 140736903828872 5808568 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326545 268331 788 2943 0 323439 0
[pid=19574/tid=19575] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268331 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268331 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268331 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.20 2.24 2.21 3/183 19579
/proc/meminfo: memFree=27428636/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1306180 CPUtime=102.27 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267491 0 0 0 10190 37 0 0 20 0 4 0 12546480 1337528320 268331 33554432000 4194304 16246674 140736903845872 140736903827776 6026640 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326545 268331 788 2943 0 323439 0
[pid=19574/tid=19575] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268331 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268331 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1337528320 268331 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180


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


[startup+522.3 s]
/proc/loadavg: 2.22 2.22 2.20 3/183 19591
/proc/meminfo: memFree=27425380/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1307204 CPUtime=522.21 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267723 0 0 0 52175 46 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140736903827776 12483218 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326801 268563 788 2943 0 323695 0
[pid=19574/tid=19575] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1307204

[startup+582.3 s]
/proc/loadavg: 2.21 2.21 2.19 4/182 19592
/proc/meminfo: memFree=27425948/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1307204 CPUtime=582.2 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267723 0 0 0 58172 48 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140736903827776 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326801 268563 788 2943 0 323695 0
[pid=19574/tid=19575] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1307204

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 19574 sig 9
??? kill -19574 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+588.9 s]
/proc/loadavg: 2.27 2.22 2.20 3/182 19592
/proc/meminfo: memFree=27426320/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1307204 CPUtime=588.8 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267723 0 0 0 58832 48 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140736903827776 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326801 268563 788 2943 0 323695 0
[pid=19574/tid=19575] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 588.8
Current children cumulated vsize (KiB) 1307204

[startup+614.5 s]
/proc/loadavg: 2.24 2.22 2.19 3/183 19594
/proc/meminfo: memFree=27425368/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1307204 CPUtime=614.39 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267723 0 0 0 61391 48 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140736903827776 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326801 268563 788 2943 0 323695 0
[pid=19574/tid=19575] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 614.39
Current children cumulated vsize (KiB) 1307204

[startup+620.9 s]
/proc/loadavg: 2.21 2.21 2.19 3/183 19594
/proc/meminfo: memFree=27425504/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1307204 CPUtime=620.79 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267723 0 0 0 62031 48 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140736903827776 5672188 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326801 268563 788 2943 0 323695 0
[pid=19574/tid=19575] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 620.79
Current children cumulated vsize (KiB) 1307204

[startup+627.3 s]
/proc/loadavg: 2.19 2.21 2.19 3/183 19594
/proc/meminfo: memFree=27425488/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1307204 CPUtime=627.19 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267723 0 0 0 62671 48 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140736903828872 6020849 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326801 268563 788 2943 0 323695 0
[pid=19574/tid=19575] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 627.19
Current children cumulated vsize (KiB) 1307204

[startup+630.507 s]
/proc/loadavg: 2.19 2.21 2.19 3/183 19594
/proc/meminfo: memFree=27425364/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1307204 CPUtime=630.4 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267723 0 0 0 62992 48 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140736903827776 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326801 268563 788 2943 0 323695 0
[pid=19574/tid=19575] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 630.4
Current children cumulated vsize (KiB) 1307204

[startup+631.3 s]
/proc/loadavg: 2.19 2.21 2.19 3/183 19594
/proc/meminfo: memFree=27425364/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1307204 CPUtime=631.19 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267723 0 0 0 63071 48 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140736903827776 5672197 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326801 268563 788 2943 0 323695 0
[pid=19574/tid=19575] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 631.19
Current children cumulated vsize (KiB) 1307204

[startup+632.1 s]
/proc/loadavg: 2.25 2.22 2.19 3/183 19594
/proc/meminfo: memFree=27424852/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1307204 CPUtime=631.99 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267723 0 0 0 63151 48 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140736903827776 13954608 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326801 268563 788 2943 0 323695 0
[pid=19574/tid=19575] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 631.99
Current children cumulated vsize (KiB) 1307204

[startup+632.5 s]
/proc/loadavg: 2.25 2.22 2.19 3/183 19594
/proc/meminfo: memFree=27424852/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=1307204 CPUtime=632.39 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202496 267723 0 0 0 63191 48 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140736903827776 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 326801 268563 788 2943 0 323695 0
[pid=19574/tid=19575] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19575/stat : 19575 (toysat) S 19571 19574 13393 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095520746736 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19574/tid=19576] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19576/stat : 19576 (toysat) S 19571 19574 13393 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095510256880 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19574/tid=19577] ppid=19571 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/19574/task/19577/stat : 19577 (toysat) S 19571 19574 13393 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12546480 1338576896 268563 33554432000 4194304 16246674 140736903845872 140095390739632 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 632.39
Current children cumulated vsize (KiB) 1307204

[startup+632.6 s]
/proc/loadavg: 2.25 2.22 2.19 3/180 19594
/proc/meminfo: memFree=28123592/32872528 swapFree=1498612/1645780
[pid=19574] ppid=19571 vsize=0 CPUtime=632.5 cores=0,2,4,6
/proc/19574/stat : 19574 (toysat) R 19571 19574 13393 0 -1 4202500 267728 0 0 0 63197 53 0 0 20 0 1 0 12546480 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19574/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 632.5
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 632.623
CPU time (s): 632.523
CPU user time (s): 631.975
CPU system time (s): 0.547916
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 631.975
system time used= 0.547916
maximum resident set size= 1074264
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267728
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= 22
involuntary context switches= 653

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.52931 second user time and 5.40518 second system time

The end

Launcher Data 

Begin job on node124 at 2016-06-30 21:44:57
IDJOB=4121962
IDBENCH=110795
IDSOLVER=2542
FILE ID=node124/4121962-1467315897
RUNJOBID= node124-1467310918-18129
PBS_JOBID= 20005255
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-subsetCardinalitySigma-28-2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4121962-1467315897/watcher-4121962-1467315897 -o /tmp/evaluation-result-4121962-1467315897/solver-4121962-1467315897 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node124-1467310918-18129 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121962-1467315897.opb

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

MD5SUM BENCH= 2af8a06562c31491dddb58fbfd546536
RANDOM SEED=67931523

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

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

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

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

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

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

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

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.062
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:        28504968 kB
Buffers:          152352 kB
Cached:           737900 kB
SwapCached:            0 kB
Active:          1342356 kB
Inactive:         633624 kB
Active(anon):    1076888 kB
Inactive(anon):    11336 kB
Active(file):     265468 kB
Inactive(file):   622288 kB
Unevictable:     1645780 kB
Mlocked:         1498612 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16312 kB
Writeback:             4 kB
AnonPages:       2731508 kB
Mapped:            17064 kB
Shmem:               204 kB
Slab:             610948 kB
SReclaimable:      54736 kB
SUnreclaim:       556212 kB
KernelStack:        1448 kB
PageTables:         9340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2868644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    151552 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= 71692 MiB
End job on node124 at 2016-06-30 21:55:29