Trace number 4120458

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 619.54 619.64

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n92-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUMf025bb6566268319f053f5e1ab6b192a
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 benchmark2.02069
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables138
Total number of constraints368
Number of constraints which are clauses368
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-30T20:27:23+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4120458-1467311243.opb"]
0.00/0.01	c use --random-gen="3849051198 169120574 2061540810 2303686516 1484009137 1801515937 2003719071 1648307354 2216058449 3396823704 3749993549 1646977365 458123650 3332935229 2783158886 4045624994 3430436904 546223710 152344771 2293345309 4043578620 2078361240 2029623786 3042218437 617539318 684663960 355150164 1413620769 2146284544 1045102517 2434040962 3126413023 1102956821 1020734869 3754667271 980598447 1892443253 3636885966 4180271415 3885455024 2084053529 1338278458 2544995977 3905115460 2534916169 3758511313 275931791 227281184 3226154439 2345386411 3027076424 3876863650 2619802426 2902296378 2061297347 3943207614 3236181172 3186328843 560525608 2885090789 3046212266 2859623488 1860873491 4040586996 2187968223 3191450931 171449602 2242648862 220431697 3008388167 3946064925 3667662837 3480785901 1013003630 701949208 2738646007 3342820981 619648780 364884315 3612944775 1626863541 3677767862 1166140770 652890900 2814924303 2052087301 1535465826 2896640963 68123687 2127768768 1898704651 3405696998 2025943765 4236029034 2789164790 71322213 3788026127 3323456425 2828789030 203827646 1365277327 3553275803 2454569981 3378339241 3817709200 2575655953 150623863 1422340039 327947905 325845076 1273781701 2268018305 3066858934 3902951823 2747924492 1850855384 270289804 3479939231 356782443 1422874502 3326468068 4260563678 1591075753 805531430 1318044949 1838656738 787860751 2901458289 2104541454 1535333493 376873781 437704774 215911183 2103491310 1525764758 3814219525 4126445374 822398974 873259354 2169474989 3072161918 911007999 349363421 3135656817 1490730573 1463144093 1018904902 1410704032 4237569605 921425594 1344598953 2291833342 3751998080 1009855331 1898085089 1710152562 1702762782 1217648266 396281996 1984582028 4060456323 2100685016 2867683981 2486451622 1849513799 2993950095 70986113 1120367548 1585514273 4255450929 3071757951 4028391938 113530504 260039394 2099743471 1122525323 3240618400 3819775032 1331701823 3748552139 3545534110 779811229 3061214355 764951950 2680125405 2023401812 2600124491 2696818780 3932870834 2409724864 3798920458 3287785057 1090025873 1734511880 1547007504 1173966573 48405353 2054540868 3915711396 3508919192 4125277561 3748192363 584049719 3239739640 1607931185 452556094 2040810020 440055124 3012519810 3029344933 3282786233 1328590332 1535108258 1573661575 1614511376 908680726 934786436 1256062545 2589965397 1700743743 2793192601 3955572558 4090485716 3831976087 2723773106 639540412 290668003 2246601443 3001014243 1537985410 1966868287 3344052372 636719002 50370530 1416601944 3184814879 1875255718 2748176594 2368760423 3624595781 1177979997 1469082210 2839588624 2157570965 2805080304 1306124975 1884068200 3565974331 1565024146 1385079724 2535970008 3405143143 3893360002 2452252451 1137166738 1313755353 255 362436" option to reproduce the execution
0.00/0.02	c #vars 138
0.00/0.02	c #constraints 368
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 |      168      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      206 |      100 |      168      0 |        0 |        0
0.00/0.05	c  0.0s |       2 |      451 |      250 |      185      0 |        0 |        0
0.00/0.07	c  0.0s |       3 |      866 |      475 |      204      2 |        0 |        0
0.08/0.10	c  0.1s |       4 |     1269 |      813 |      225      4 |        0 |        0
0.08/0.15	c  0.1s |       5 |     1995 |     1320 |      248      7 |        0 |        0
0.18/0.24	c  0.2s |       6 |     2965 |     2081 |      301     12 |        0 |        0
0.28/0.37	c  0.3s |       7 |     4375 |     3223 |      332     18 |        0 |        0
0.48/0.57	c  0.5s |       8 |     6496 |     4936 |      366     27 |        0 |        0
0.78/0.87	c  0.8s |       9 |     9947 |     7506 |      403     39 |        0 |        0
1.09/1.19	c  1.2s |      10 |    15812 |    11361 |      444     57 |        0 |        0
1.59/1.68	c  1.7s |      11 |    22128 |    17144 |      489     82 |        0 |        0
2.39/2.44	c  2.4s |      12 |    32416 |    25819 |      538    115 |        0 |        0
3.19/3.24	c  3.2s |      13 |    51189 |    38832 |      592    162 |        0 |        0
4.39/4.46	c  4.4s |      14 |    80209 |    58352 |      652    226 |        0 |        0
6.38/6.40	c  6.4s |      15 |   120562 |    87632 |      718    313 |        0 |        0
8.38/8.40	c  8.4s |      15 |   159717 |   116732 |      718    393 |        0 |        0
9.38/9.40	c  9.4s |      16 |   180265 |   131552 |      790    433 |        0 |        0
11.39/11.40	c 11.4s |      16 |   213560 |   156952 |      790    496 |        0 |        0
13.39/13.41	c 13.4s |      16 |   248759 |   181552 |      790    557 |        0 |        0
14.49/14.53	c 14.5s |      17 |   269935 |   197432 |      870    596 |        0 |        0
16.49/16.53	c 16.5s |      17 |   307187 |   224532 |      870    658 |        0 |        0
18.49/18.54	c 18.5s |      17 |   347457 |   253032 |      870    722 |        0 |        0
20.49/20.54	c 20.5s |      17 |   387026 |   281532 |      870    787 |        0 |        0
21.79/21.82	c 21.8s |      18 |   405004 |   296252 |      958    820 |        0 |        0
23.78/23.82	c 23.8s |      18 |   443152 |   324152 |      958    878 |        0 |        0
25.78/25.82	c 25.8s |      18 |   479966 |   351552 |      958    934 |        0 |        0
27.78/27.83	c 27.8s |      18 |   517831 |   379252 |      958    992 |        0 |        0
29.79/29.83	c 29.8s |      18 |   557271 |   407452 |      958   1050 |        0 |        0
31.78/31.84	c 31.8s |      18 |   595908 |   435652 |      958   1108 |        0 |        0
32.38/32.47	c 32.4s |      19 |   607534 |   444482 |     1054   1126 |        0 |        0
34.38/34.47	c 34.5s |      19 |   645163 |   471882 |     1054   1177 |        0 |        0
36.39/36.48	c 36.5s |      19 |   682134 |   499782 |     1054   1229 |        0 |        0
38.38/38.48	c 38.5s |      19 |   718325 |   527382 |     1054   1281 |        0 |        0
40.38/40.49	c 40.5s |      19 |   754826 |   555182 |     1054   1334 |        0 |        0
42.38/42.49	c 42.5s |      19 |   787709 |   581682 |     1054   1383 |        0 |        0
44.48/44.50	c 44.5s |      19 |   825543 |   609082 |     1054   1435 |        0 |        0
46.48/46.50	c 46.5s |      19 |   863117 |   636982 |     1054   1487 |        0 |        0
48.38/48.50	c 48.5s |      19 |   902895 |   665482 |     1160   1540 |        0 |        0
48.48/48.59	c 48.6s |      20 |   904790 |   666827 |     1160   1542 |        0 |        0
50.48/50.60	c 50.6s |      20 |   935848 |   689727 |     1160   1581 |        0 |        0
52.58/52.60	c 52.6s |      20 |   967436 |   713827 |     1160   1622 |        0 |        0
54.58/54.61	c 54.6s |      20 |   998405 |   737927 |     1160   1664 |        0 |        0
56.58/56.61	c 56.6s |      20 |  1029116 |   762327 |     1160   1705 |        0 |        0
58.58/58.62	c 58.6s |      20 |  1059773 |   785927 |     1160   1746 |        0 |        0
60.58/60.62	c 60.6s |      20 |  1089876 |   810227 |     1160   1787 |        0 |        0
62.57/62.63	c 62.6s |      20 |  1119534 |   832927 |     1160   1826 |        0 |        0
64.57/64.63	c 64.6s |      20 |  1150298 |   854127 |     1160   1862 |        0 |        0
66.57/66.65	c 66.6s |      20 |  1181690 |   878227 |     1160   1904 |        0 |        0
68.57/68.65	c 68.6s |      20 |  1217938 |   904427 |     1160   1948 |        0 |        0
70.57/70.65	c 70.6s |      20 |  1251102 |   929427 |     1160   1991 |        0 |        0
72.58/72.66	c 72.6s |      20 |  1283796 |   952527 |     1160   2031 |        0 |        0
74.57/74.66	c 74.6s |      20 |  1310791 |   974727 |     1160   2069 |        0 |        0
76.48/76.51	c 76.5s |      21 |  1346148 |  1000345 |     1276   2111 |        0 |        0
78.48/78.51	c 78.5s |      21 |  1379085 |  1025245 |     1276   2150 |        0 |        0
80.48/80.52	c 80.5s |      21 |  1411907 |  1049545 |     1276   2188 |        0 |        0
82.48/82.53	c 82.5s |      21 |  1442960 |  1073145 |     1276   2224 |        0 |        0
84.48/84.53	c 84.5s |      21 |  1476976 |  1097645 |     1276   2263 |        0 |        0
86.48/86.54	c 86.5s |      21 |  1510276 |  1122245 |     1276   2301 |        0 |        0
88.47/88.54	c 88.5s |      21 |  1543282 |  1146645 |     1276   2339 |        0 |        0
90.47/90.54	c 90.5s |      21 |  1574809 |  1170445 |     1276   2376 |        0 |        0
92.48/92.54	c 92.5s |      21 |  1607736 |  1194745 |     1276   2414 |        0 |        0
94.47/94.55	c 94.5s |      21 |  1638123 |  1218245 |     1276   2450 |        0 |        0
96.47/96.56	c 96.5s |      21 |  1668806 |  1242345 |     1276   2488 |        0 |        0
98.47/98.56	c 98.5s |      21 |  1699799 |  1266045 |     1276   2525 |        0 |        0
100.47/100.57	c  100s |      21 |  1733269 |  1291045 |     1276   2564 |        0 |        0
102.47/102.58	c  102s |      21 |  1769409 |  1317345 |     1276   2605 |        0 |        0
104.48/104.58	c  104s |      21 |  1806254 |  1343945 |     1276   2646 |        0 |        0
106.47/106.58	c  106s |      21 |  1840527 |  1369445 |     1276   2686 |        0 |        0
108.47/108.58	c  108s |      21 |  1871997 |  1393145 |     1276   2723 |        0 |        0
110.47/110.59	c  110s |      21 |  1909116 |  1419245 |     1276   2763 |        0 |        0
112.47/112.59	c  112s |      21 |  1949721 |  1447045 |     1276   2807 |        0 |        0
114.48/114.59	c  114s |      21 |  1985992 |  1473345 |     1276   2848 |        0 |        0
116.47/116.60	c  116s |      21 |  2020571 |  1498045 |     1404   2885 |        0 |        0
116.77/116.81	c  116s |      22 |  2023947 |  1500622 |     1404   2889 |        0 |        0
118.78/118.81	c  118s |      22 |  2059494 |  1525922 |     1404   2924 |        0 |        0
120.77/120.82	c  120s |      22 |  2093676 |  1551022 |     1404   2960 |        0 |        0
122.77/122.82	c  122s |      22 |  2127548 |  1575822 |     1404   2995 |        0 |        0
124.77/124.83	c  124s |      22 |  2164091 |  1602022 |     1404   3032 |        0 |        0
126.77/126.83	c  126s |      22 |  2197452 |  1627422 |     1404   3068 |        0 |        0
128.77/128.84	c  128s |      22 |  2231307 |  1652422 |     1404   3103 |        0 |        0
130.76/130.84	c  130s |      22 |  2265613 |  1677622 |     1404   3139 |        0 |        0
132.76/132.84	c  132s |      22 |  2300903 |  1702322 |     1404   3174 |        0 |        0
134.76/134.85	c  134s |      22 |  2332684 |  1726122 |     1404   3208 |        0 |        0
136.76/136.85	c  136s |      22 |  2364308 |  1749822 |     1404   3241 |        0 |        0
138.76/138.86	c  138s |      22 |  2395225 |  1773322 |     1404   3275 |        0 |        0
140.78/140.86	c  140s |      22 |  2429554 |  1798122 |     1404   3310 |        0 |        0
142.77/142.86	c  142s |      22 |  2462175 |  1822522 |     1404   3344 |        0 |        0
144.77/144.87	c  144s |      22 |  2496005 |  1847522 |     1404   3380 |        0 |        0
146.77/146.88	c  146s |      22 |  2528507 |  1872722 |     1404   3416 |        0 |        0
148.77/148.88	c  148s |      22 |  2559208 |  1896922 |     1404   3450 |        0 |        0
150.77/150.88	c  150s |      22 |  2588798 |  1921022 |     1404   3484 |        0 |        0
152.76/152.89	c  152s |      22 |  2623722 |  1946322 |     1404   3520 |        0 |        0
154.76/154.89	c  154s |      22 |  2657002 |  1970922 |     1404   3555 |        0 |        0
156.76/156.89	c  156s |      22 |  2689695 |  1995222 |     1404   3589 |        0 |        0
158.86/158.90	c  158s |      22 |  2721585 |  2019022 |     1404   3623 |        0 |        0
160.86/160.90	c  160s |      22 |  2755569 |  2044022 |     1404   3658 |        0 |        0
162.86/162.91	c  162s |      22 |  2788544 |  2069222 |     1404   3694 |        0 |        0
164.87/164.91	c  164s |      22 |  2822942 |  2094722 |     1404   3730 |        0 |        0
166.86/166.93	c  166s |      22 |  2857844 |  2120322 |     1404   3767 |        0 |        0
168.86/168.93	c  168s |      22 |  2893215 |  2146122 |     1404   3803 |        0 |        0
170.86/170.94	c  170s |      22 |  2926293 |  2171122 |     1404   3839 |        0 |        0
172.86/172.94	c  172s |      22 |  2961217 |  2196622 |     1404   3875 |        0 |        0
174.87/174.95	c  174s |      22 |  2996356 |  2220922 |     1404   3909 |        0 |        0
176.86/176.95	c  176s |      22 |  3026310 |  2243922 |     1545   3941 |        0 |        0
177.46/177.56	c  177s |      23 |  3035925 |  2251038 |     1545   3950 |        0 |        0
179.46/179.56	c  179s |      23 |  3069284 |  2275438 |     1545   3981 |        0 |        0
181.47/181.57	c  181s |      23 |  3099817 |  2298938 |     1545   4012 |        0 |        0
183.46/183.58	c  183s |      23 |  3131641 |  2322838 |     1545   4042 |        0 |        0
185.46/185.58	c  185s |      23 |  3161800 |  2346338 |     1545   4073 |        0 |        0
187.46/187.58	c  187s |      23 |  3192641 |  2369538 |     1545   4103 |        0 |        0
189.46/189.59	c  189s |      23 |  3225385 |  2394138 |     1545   4134 |        0 |        0
191.46/191.60	c  191s |      23 |  3259495 |  2419338 |     1545   4167 |        0 |        0
193.46/193.60	c  193s |      23 |  3294862 |  2444838 |     1545   4199 |        0 |        0
195.56/195.60	c  195s |      23 |  3328697 |  2469438 |     1545   4231 |        0 |        0
197.55/197.60	c  197s |      23 |  3365313 |  2495138 |     1545   4264 |        0 |        0
199.55/199.60	c  199s |      23 |  3395881 |  2517938 |     1545   4294 |        0 |        0
201.55/201.60	c  201s |      23 |  3429299 |  2542438 |     1545   4325 |        0 |        0
203.56/203.61	c  203s |      23 |  3459717 |  2565038 |     1545   4354 |        0 |        0
205.55/205.62	c  205s |      23 |  3491134 |  2588038 |     1545   4384 |        0 |        0
207.55/207.62	c  207s |      23 |  3522970 |  2610438 |     1545   4413 |        0 |        0
209.55/209.62	c  209s |      23 |  3555278 |  2634238 |     1545   4443 |        0 |        0
211.55/211.62	c  211s |      23 |  3585460 |  2656838 |     1545   4473 |        0 |        0
213.56/213.63	c  213s |      23 |  3620080 |  2681838 |     1545   4505 |        0 |        0
215.56/215.64	c  215s |      23 |  3656017 |  2706438 |     1545   4537 |        0 |        0
217.56/217.64	c  217s |      23 |  3689070 |  2730238 |     1545   4567 |        0 |        0
219.56/219.64	c  219s |      23 |  3721481 |  2754638 |     1545   4599 |        0 |        0
221.56/221.65	c  221s |      23 |  3754014 |  2778038 |     1545   4629 |        0 |        0
223.55/223.65	c  223s |      23 |  3784954 |  2801238 |     1545   4659 |        0 |        0
225.56/225.65	c  225s |      23 |  3814752 |  2824838 |     1545   4689 |        0 |        0
227.55/227.66	c  227s |      23 |  3850306 |  2850438 |     1545   4722 |        0 |        0
229.55/229.66	c  229s |      23 |  3883169 |  2874838 |     1545   4754 |        0 |        0
231.55/231.67	c  231s |      23 |  3916598 |  2899738 |     1545   4786 |        0 |        0
233.55/233.67	c  233s |      23 |  3948916 |  2924338 |     1545   4818 |        0 |        0
235.55/235.68	c  235s |      23 |  3983871 |  2949638 |     1545   4851 |        0 |        0
237.55/237.68	c  237s |      23 |  4017315 |  2973238 |     1545   4881 |        0 |        0
239.55/239.68	c  239s |      23 |  4051542 |  2997938 |     1545   4913 |        0 |        0
241.55/241.69	c  241s |      23 |  4085470 |  3022238 |     1545   4944 |        0 |        0
243.55/243.69	c  243s |      23 |  4118556 |  3046138 |     1545   4975 |        0 |        0
245.55/245.69	c  245s |      23 |  4151780 |  3070738 |     1545   5007 |        0 |        0
247.65/247.70	c  247s |      23 |  4185188 |  3095338 |     1545   5038 |        0 |        0
249.65/249.71	c  249s |      23 |  4218890 |  3120138 |     1545   5070 |        0 |        0
251.64/251.71	c  251s |      23 |  4251033 |  3143838 |     1545   5101 |        0 |        0
253.64/253.71	c  253s |      23 |  4282612 |  3166838 |     1545   5130 |        0 |        0
255.64/255.72	c  255s |      23 |  4314531 |  3190238 |     1545   5161 |        0 |        0
257.64/257.72	c  257s |      23 |  4344892 |  3212538 |     1545   5189 |        0 |        0
259.65/259.72	c  259s |      23 |  4375478 |  3235938 |     1545   5219 |        0 |        0
261.64/261.73	c  261s |      23 |  4406477 |  3259238 |     1545   5249 |        0 |        0
263.64/263.74	c  263s |      23 |  4438746 |  3283238 |     1545   5280 |        0 |        0
265.64/265.74	c  265s |      23 |  4471065 |  3307138 |     1545   5311 |        0 |        0
267.64/267.74	c  267s |      23 |  4505739 |  3332138 |     1545   5343 |        0 |        0
269.64/269.75	c  269s |      23 |  4539240 |  3356138 |     1700   5374 |        0 |        0
271.54/271.63	c  271s |      24 |  4566602 |  3376662 |     1700   5398 |        0 |        0
273.54/273.63	c  273s |      24 |  4597289 |  3398262 |     1700   5423 |        0 |        0
275.54/275.64	c  275s |      24 |  4625260 |  3419462 |     1700   5448 |        0 |        0
277.54/277.64	c  277s |      24 |  4656379 |  3441762 |     1700   5474 |        0 |        0
279.55/279.64	c  279s |      24 |  4688301 |  3464962 |     1700   5501 |        0 |        0
281.55/281.65	c  281s |      24 |  4720979 |  3487562 |     1700   5528 |        0 |        0
283.54/283.65	c  283s |      24 |  4753974 |  3510962 |     1700   5555 |        0 |        0
285.54/285.65	c  285s |      24 |  4779206 |  3529962 |     1700   5577 |        0 |        0
287.54/287.66	c  287s |      24 |  4810274 |  3552662 |     1700   5604 |        0 |        0
289.54/289.66	c  289s |      24 |  4842128 |  3575862 |     1700   5631 |        0 |        0
291.55/291.67	c  291s |      24 |  4875828 |  3599262 |     1700   5658 |        0 |        0
293.54/293.68	c  293s |      24 |  4905547 |  3621462 |     1700   5684 |        0 |        0
295.54/295.68	c  295s |      24 |  4936237 |  3644262 |     1700   5711 |        0 |        0
297.54/297.68	c  297s |      24 |  4968856 |  3667262 |     1700   5738 |        0 |        0
299.54/299.68	c  299s |      24 |  4997982 |  3688162 |     1700   5762 |        0 |        0
301.54/301.69	c  301s |      24 |  5028444 |  3711462 |     1700   5790 |        0 |        0
303.54/303.69	c  303s |      24 |  5058948 |  3733362 |     1700   5815 |        0 |        0
305.64/305.70	c  305s |      24 |  5090710 |  3756162 |     1700   5842 |        0 |        0
307.64/307.70	c  307s |      24 |  5121367 |  3778562 |     1700   5868 |        0 |        0
309.64/309.70	c  309s |      24 |  5152899 |  3801562 |     1700   5895 |        0 |        0
311.63/311.71	c  311s |      24 |  5182160 |  3822862 |     1700   5920 |        0 |        0
313.64/313.71	c  313s |      24 |  5212895 |  3844762 |     1700   5946 |        0 |        0
315.65/315.71	c  315s |      24 |  5241507 |  3865962 |     1700   5971 |        0 |        0
317.64/317.72	c  317s |      24 |  5268732 |  3886562 |     1700   5995 |        0 |        0
319.64/319.72	c  319s |      24 |  5297936 |  3908062 |     1700   6020 |        0 |        0
321.64/321.73	c  321s |      24 |  5325264 |  3928762 |     1700   6045 |        0 |        0
323.64/323.74	c  323s |      24 |  5349084 |  3948162 |     1700   6067 |        0 |        0
325.65/325.75	c  325s |      24 |  5377555 |  3969262 |     1700   6092 |        0 |        0
327.64/327.75	c  327s |      24 |  5406119 |  3990462 |     1700   6117 |        0 |        0
329.64/329.75	c  329s |      24 |  5434516 |  4012162 |     1700   6142 |        0 |        0
331.64/331.76	c  331s |      24 |  5460767 |  4032562 |     1700   6166 |        0 |        0
333.64/333.76	c  333s |      24 |  5489368 |  4054762 |     1700   6192 |        0 |        0
335.64/335.76	c  335s |      24 |  5516821 |  4075962 |     1700   6217 |        0 |        0
337.64/337.77	c  337s |      24 |  5546303 |  4097962 |     1700   6243 |        0 |        0
339.63/339.77	c  339s |      24 |  5573982 |  4119262 |     1700   6268 |        0 |        0
341.63/341.78	c  341s |      24 |  5603647 |  4141162 |     1700   6293 |        0 |        0
343.63/343.78	c  343s |      24 |  5633593 |  4164162 |     1700   6320 |        0 |        0
345.63/345.78	c  345s |      24 |  5665447 |  4187962 |     1700   6348 |        0 |        0
347.64/347.78	c  347s |      24 |  5695496 |  4210962 |     1700   6375 |        0 |        0
349.63/349.79	c  349s |      24 |  5724807 |  4231662 |     1700   6399 |        0 |        0
351.63/351.79	c  351s |      24 |  5753855 |  4253462 |     1700   6425 |        0 |        0
353.63/353.79	c  353s |      24 |  5781223 |  4274862 |     1700   6450 |        0 |        0
355.73/355.80	c  355s |      24 |  5808253 |  4296162 |     1700   6475 |        0 |        0
357.73/357.80	c  357s |      24 |  5833022 |  4316162 |     1700   6498 |        0 |        0
359.74/359.81	c  359s |      24 |  5854144 |  4333962 |     1700   6519 |        0 |        0
361.73/361.81	c  361s |      24 |  5879446 |  4353062 |     1700   6542 |        0 |        0
363.73/363.82	c  363s |      24 |  5906543 |  4373862 |     1700   6566 |        0 |        0
365.73/365.82	c  365s |      24 |  5933104 |  4394362 |     1700   6590 |        0 |        0
367.73/367.83	c  367s |      24 |  5957904 |  4414462 |     1700   6614 |        0 |        0
369.72/369.83	c  369s |      24 |  5989267 |  4437662 |     1700   6641 |        0 |        0
371.73/371.83	c  371s |      24 |  6015733 |  4458662 |     1700   6666 |        0 |        0
373.72/373.84	c  373s |      24 |  6041954 |  4479362 |     1700   6690 |        0 |        0
375.72/375.84	c  375s |      24 |  6067855 |  4500462 |     1700   6715 |        0 |        0
377.72/377.85	c  377s |      24 |  6096550 |  4522562 |     1700   6740 |        0 |        0
379.72/379.85	c  379s |      24 |  6126611 |  4544962 |     1700   6767 |        0 |        0
381.73/381.85	c  381s |      24 |  6159334 |  4568462 |     1700   6794 |        0 |        0
383.73/383.86	c  383s |      24 |  6190148 |  4591362 |     1700   6821 |        0 |        0
385.73/385.86	c  385s |      24 |  6222301 |  4615362 |     1700   6849 |        0 |        0
387.73/387.86	c  387s |      24 |  6252307 |  4637562 |     1700   6875 |        0 |        0
389.73/389.87	c  389s |      24 |  6280323 |  4658162 |     1700   6899 |        0 |        0
391.73/391.87	c  391s |      24 |  6309731 |  4679762 |     1700   6924 |        0 |        0
393.73/393.88	c  393s |      24 |  6339492 |  4701762 |     1700   6950 |        0 |        0
395.73/395.89	c  395s |      24 |  6370303 |  4724462 |     1700   6977 |        0 |        0
397.73/397.89	c  397s |      24 |  6401942 |  4748062 |     1700   7004 |        0 |        0
399.73/399.89	c  399s |      24 |  6433253 |  4771262 |     1700   7032 |        0 |        0
401.82/401.90	c  401s |      24 |  6461037 |  4792462 |     1700   7056 |        0 |        0
403.82/403.91	c  403s |      24 |  6489747 |  4814062 |     1700   7082 |        0 |        0
405.83/405.91	c  405s |      24 |  6515689 |  4834662 |     1700   7106 |        0 |        0
407.82/407.91	c  407s |      24 |  6540125 |  4854262 |     1700   7129 |        0 |        0
409.82/409.92	c  409s |      24 |  6569036 |  4876262 |     1700   7155 |        0 |        0
411.82/411.92	c  411s |      24 |  6601450 |  4899362 |     1700   7182 |        0 |        0
413.82/413.92	c  413s |      24 |  6631862 |  4921862 |     1700   7208 |        0 |        0
415.83/415.93	c  415s |      24 |  6663980 |  4944862 |     1700   7235 |        0 |        0
417.82/417.94	c  417s |      24 |  6694796 |  4967162 |     1700   7261 |        0 |        0
419.82/419.94	c  419s |      24 |  6726963 |  4990662 |     1700   7289 |        0 |        0
421.82/421.95	c  421s |      24 |  6758869 |  5014462 |     1700   7316 |        0 |        0
423.82/423.95	c  423s |      24 |  6788139 |  5036362 |     1871   7341 |        0 |        0
425.82/425.95	c  425s |      24 |  6818114 |  5058762 |     1871   7365 |        0 |        0
426.42/426.51	c  426s |      25 |  6827226 |  5065098 |     1871   7372 |        0 |        0
428.42/428.51	c  428s |      25 |  6855539 |  5086398 |     1871   7394 |        0 |        0
430.42/430.51	c  430s |      25 |  6884298 |  5107898 |     1871   7417 |        0 |        0
432.42/432.52	c  432s |      25 |  6916706 |  5130698 |     1871   7441 |        0 |        0
434.43/434.52	c  434s |      25 |  6947587 |  5152498 |     1871   7465 |        0 |        0
436.42/436.52	c  436s |      25 |  6977314 |  5174598 |     1871   7488 |        0 |        0
438.42/438.52	c  438s |      25 |  7007436 |  5196698 |     1871   7512 |        0 |        0
440.42/440.53	c  440s |      25 |  7036824 |  5218898 |     1871   7535 |        0 |        0
442.42/442.53	c  442s |      25 |  7068421 |  5241798 |     1871   7560 |        0 |        0
444.43/444.53	c  444s |      25 |  7102014 |  5265898 |     1871   7585 |        0 |        0
446.42/446.54	c  446s |      25 |  7133596 |  5288798 |     1871   7610 |        0 |        0
448.42/448.54	c  448s |      25 |  7163008 |  5310498 |     1871   7633 |        0 |        0
450.42/450.54	c  450s |      25 |  7191236 |  5331698 |     1871   7655 |        0 |        0
452.42/452.55	c  452s |      25 |  7220257 |  5353598 |     1871   7679 |        0 |        0
454.42/454.56	c  454s |      25 |  7246683 |  5373698 |     1871   7700 |        0 |        0
456.42/456.56	c  456s |      25 |  7272150 |  5393798 |     1871   7721 |        0 |        0
458.41/458.57	c  458s |      25 |  7302088 |  5415398 |     1871   7744 |        0 |        0
460.41/460.57	c  460s |      25 |  7329565 |  5436498 |     1871   7767 |        0 |        0
462.41/462.58	c  462s |      25 |  7357077 |  5457598 |     1871   7789 |        0 |        0
464.41/464.58	c  464s |      25 |  7386730 |  5479898 |     1871   7813 |        0 |        0
466.42/466.58	c  466s |      25 |  7415821 |  5500898 |     1871   7836 |        0 |        0
468.41/468.59	c  468s |      25 |  7444098 |  5521898 |     1871   7858 |        0 |        0
470.41/470.59	c  470s |      25 |  7477306 |  5545098 |     1871   7883 |        0 |        0
472.51/472.60	c  472s |      25 |  7508813 |  5567898 |     1871   7907 |        0 |        0
474.51/474.60	c  474s |      25 |  7541640 |  5591198 |     1871   7932 |        0 |        0
476.51/476.61	c  476s |      25 |  7570539 |  5611798 |     1871   7954 |        0 |        0
478.52/478.61	c  478s |      25 |  7600827 |  5633598 |     1871   7977 |        0 |        0
480.51/480.62	c  480s |      25 |  7631489 |  5656198 |     1871   8001 |        0 |        0
482.51/482.62	c  482s |      25 |  7665527 |  5679798 |     1871   8026 |        0 |        0
484.51/484.62	c  484s |      25 |  7695500 |  5701798 |     1871   8049 |        0 |        0
486.51/486.63	c  486s |      25 |  7727651 |  5724598 |     1871   8074 |        0 |        0
488.52/488.64	c  488s |      25 |  7755363 |  5746098 |     1871   8096 |        0 |        0
490.52/490.64	c  490s |      25 |  7787189 |  5768898 |     1871   8121 |        0 |        0
492.51/492.64	c  492s |      25 |  7817373 |  5790498 |     1871   8144 |        0 |        0
494.51/494.65	c  494s |      25 |  7849039 |  5811998 |     1871   8167 |        0 |        0
496.51/496.66	c  496s |      25 |  7881084 |  5834498 |     1871   8191 |        0 |        0
498.51/498.66	c  498s |      25 |  7913678 |  5857098 |     1871   8215 |        0 |        0
500.52/500.67	c  500s |      25 |  7947335 |  5880798 |     1871   8240 |        0 |        0
502.51/502.67	c  502s |      25 |  7975738 |  5902198 |     1871   8262 |        0 |        0
504.51/504.67	c  504s |      25 |  8006457 |  5924298 |     1871   8286 |        0 |        0
506.51/506.67	c  506s |      25 |  8040631 |  5948498 |     1871   8312 |        0 |        0
508.51/508.68	c  508s |      25 |  8074475 |  5971998 |     1871   8336 |        1 |        4
510.51/510.68	c  510s |      25 |  8106769 |  5994698 |     1871   8360 |        1 |        4
512.52/512.68	c  512s |      25 |  8136868 |  6016898 |     1871   8384 |        1 |        4
514.51/514.69	c  514s |      25 |  8168762 |  6039698 |     1871   8408 |        1 |        4
516.51/516.69	c  516s |      25 |  8199128 |  6062498 |     1871   8432 |        1 |        4
518.51/518.69	c  518s |      25 |  8228160 |  6084298 |     1871   8456 |        1 |        4
520.61/520.70	c  520s |      25 |  8256524 |  6105698 |     1871   8478 |        1 |        4
522.61/522.71	c  522s |      25 |  8285562 |  6127198 |     1871   8501 |        1 |        4
524.61/524.72	c  524s |      25 |  8315992 |  6150098 |     1871   8526 |        1 |        4
526.60/526.72	c  526s |      25 |  8343620 |  6170798 |     1871   8548 |        1 |        4
528.60/528.73	c  528s |      25 |  8374276 |  6193098 |     1871   8572 |        1 |        4
530.60/530.73	c  530s |      25 |  8406136 |  6215098 |     1871   8595 |        1 |        4
532.60/532.74	c  532s |      25 |  8438019 |  6237198 |     1871   8619 |        1 |        4
534.61/534.75	c  534s |      25 |  8467248 |  6258898 |     1871   8642 |        1 |        4
536.61/536.76	c  536s |      25 |  8496197 |  6280798 |     1871   8665 |        1 |        4
538.61/538.76	c  538s |      25 |  8525919 |  6303098 |     1871   8689 |        1 |        4
540.60/540.77	c  540s |      25 |  8552141 |  6324298 |     1871   8711 |        1 |        4
542.60/542.77	c  542s |      25 |  8581494 |  6346398 |     1871   8735 |        1 |        4
544.60/544.78	c  544s |      25 |  8607208 |  6366798 |     1871   8756 |        1 |        4
546.61/546.79	c  546s |      25 |  8630685 |  6385998 |     1871   8777 |        1 |        4
548.60/548.79	c  548s |      25 |  8654189 |  6405598 |     1871   8798 |        1 |        4
550.60/550.79	c  550s |      25 |  8678884 |  6424898 |     1871   8818 |        1 |        4
552.60/552.80	c  552s |      25 |  8706162 |  6445898 |     1871   8840 |        1 |        4
554.70/554.80	c  554s |      25 |  8735103 |  6468198 |     1871   8864 |        1 |        4
556.70/556.81	c  556s |      25 |  8767124 |  6491298 |     1871   8887 |        2 |        8
558.70/558.81	c  558s |      25 |  8793741 |  6512298 |     1871   8910 |        2 |        8
560.70/560.81	c  560s |      25 |  8821496 |  6533698 |     1871   8932 |        2 |        8
562.70/562.82	c  562s |      25 |  8847418 |  6554298 |     1871   8954 |        2 |        8
564.70/564.82	c  564s |      25 |  8875685 |  6575898 |     1871   8977 |        2 |        8
566.70/566.83	c  566s |      25 |  8907678 |  6599398 |     1871   9002 |        2 |        8
568.71/568.84	c  568s |      25 |  8938085 |  6622198 |     1871   9026 |        2 |        8
570.70/570.84	c  570s |      25 |  8963569 |  6642298 |     1871   9048 |        2 |        8
572.70/572.84	c  572s |      25 |  8988777 |  6662498 |     1871   9069 |        2 |        8
574.70/574.84	c  574s |      25 |  9017134 |  6683798 |     1871   9092 |        2 |        8
576.70/576.85	c  576s |      25 |  9045579 |  6705698 |     1871   9115 |        2 |        8
578.70/578.85	c  578s |      25 |  9073312 |  6726598 |     1871   9137 |        2 |        8
580.70/580.87	c  580s |      25 |  9094471 |  6744498 |     1871   9156 |        2 |        8
582.70/582.87	c  582s |      25 |  9121363 |  6765398 |     1871   9179 |        2 |        8
584.69/584.87	c  584s |      25 |  9152152 |  6787998 |     1871   9202 |        3 |       12
586.69/586.88	c  586s |      25 |  9181565 |  6810198 |     1871   9225 |        3 |       12
588.69/588.89	c  588s |      25 |  9210187 |  6831998 |     1871   9249 |        3 |       12
590.71/590.90	c  590s |      25 |  9238424 |  6853698 |     1871   9272 |        3 |       12
592.70/592.90	c  592s |      25 |  9268062 |  6876198 |     1871   9296 |        3 |       12
594.80/594.90	c  594s |      25 |  9301784 |  6899998 |     1871   9321 |        3 |       12
596.80/596.91	c  596s |      25 |  9331421 |  6923098 |     1871   9345 |        3 |       12
598.80/598.91	c  598s |      25 |  9360193 |  6944398 |     1871   9367 |        4 |       16
600.80/600.91	c  600s |      25 |  9389823 |  6966498 |     1871   9390 |        4 |       16
602.80/602.92	c  602s |      25 |  9421105 |  6989798 |     1871   9415 |        4 |       16
604.80/604.92	c  604s |      25 |  9450165 |  7012098 |     1871   9439 |        4 |       16
606.80/606.93	c  606s |      25 |  9479157 |  7034498 |     1871   9463 |        4 |       16
608.80/608.94	c  608s |      25 |  9509165 |  7057198 |     1871   9485 |        5 |       20
610.79/610.94	c  610s |      25 |  9540324 |  7079898 |     1871   9509 |        5 |       20
612.79/612.94	c  612s |      25 |  9572757 |  7103198 |     1871   9533 |        6 |       24
614.80/614.94	c  614s |      25 |  9603267 |  7125598 |     1871   9557 |        6 |       24
616.79/616.95	c  616s |      25 |  9633286 |  7146998 |     1871   9580 |        6 |       24
618.79/618.95	c  618s |      25 |  9662834 |  7169298 |     1871   9601 |       10 |       40
619.39/619.57	c  619s |      25 |  9671093 |  7176045 |     1871   9606 |       26 |       92
619.39/619.57	c #cpu_time = 619.537s
619.39/619.57	c #wall_clock_time = 619.552s
619.39/619.57	c #decision = 9671093
619.39/619.57	c #random_decision = 46411
619.39/619.57	c #conflict = 7176045
619.39/619.57	c #restart = 25
619.39/619.57	s UNSATISFIABLE
619.39/619.57	c total CPU time = 619.561s
619.39/619.57	c total wall clock time = 619.575s

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

pid=16902
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.26 2.21 2.12 3/179 16905
/proc/meminfo: memFree=28014256/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=411068 CPUtime=0 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 1477 0 0 0 0 0 0 0 20 0 4 0 12085165 420933632 1838 33554432000 4194304 16246674 140736381702272 140736381701696 13880264 0 2 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16905/statm: 103535 1849 441 2943 0 100429 0
[pid=16905/tid=16906] ppid=16902 vsize=417212 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 427225088 1863 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=420284 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 430370816 1875 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=425404 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12085165 435613696 1891 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100152 s]
/proc/loadavg: 2.26 2.21 2.12 3/179 16905
/proc/meminfo: memFree=28014256/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 23521 0 0 0 5 3 0 0 20 0 4 0 12085165 1247350784 23870 33554432000 4194304 16246674 140736381702272 140736381685264 5515837 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16905/statm: 304529 23878 708 2943 0 301423 0
[pid=16905/tid=16906] ppid=16902 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1247350784 23886 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1247350784 23892 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12085165 1247350784 23899 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200467 s]
/proc/loadavg: 2.26 2.21 2.12 3/179 16905
/proc/meminfo: memFree=28014256/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1218116 CPUtime=0.18 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 45782 0 0 0 12 6 0 0 20 0 4 0 12085165 1247350784 46132 33554432000 4194304 16246674 140736381702272 140736381685264 12478070 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16905/statm: 304529 46140 708 2943 0 301423 0
[pid=16905/tid=16906] ppid=16902 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1247350784 46146 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1247350784 46155 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12085165 1247350784 46161 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300428 s]
/proc/loadavg: 2.26 2.21 2.12 3/179 16905
/proc/meminfo: memFree=28014256/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 67975 0 0 0 19 9 0 0 20 0 4 0 12085165 1247350784 68325 33554432000 4194304 16246674 140736381702272 140736381685264 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16905/statm: 304529 68336 708 2943 0 301423 0
[pid=16905/tid=16906] ppid=16902 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1247350784 68343 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1247350784 68351 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12085165 1247350784 68358 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.70035 s]
/proc/loadavg: 2.26 2.21 2.12 3/179 16905
/proc/meminfo: memFree=28014256/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1218116 CPUtime=0.68 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 157300 0 0 0 45 23 0 0 20 0 4 0 12085165 1247350784 157650 33554432000 4194304 16246674 140736381702272 140736381685264 5675357 0 0 0 34082818 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/16905/statm: 304529 157660 709 2943 0 301423 0
[pid=16905/tid=16906] ppid=16902 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1247350784 157668 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1247350784 157676 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12085165 1247350784 157680 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.26 2.21 2.12 3/183 16909
/proc/meminfo: memFree=27031808/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 245609 0 0 0 113 36 0 0 20 0 4 0 12085165 1248399360 245938 33554432000 4194304 16246674 140736381702272 140736381685040 6000062 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 304785 245938 786 2943 0 301679 0
[pid=16905/tid=16906] ppid=16902 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1248399360 245938 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1248399360 245938 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1248399360 245938 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10036 s]
/proc/loadavg: 2.26 2.21 2.12 3/183 16909
/proc/meminfo: memFree=26944644/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 267391 0 0 0 270 39 0 0 20 0 4 0 12085165 1337528320 267720 33554432000 4194304 16246674 140736381702272 140736381685272 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 326545 267720 786 2943 0 323439 0
[pid=16905/tid=16906] ppid=16902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1337528320 267720 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1337528320 267720 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1337528320 267720 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30041 s]
/proc/loadavg: 2.23 2.21 2.12 4/183 16909
/proc/meminfo: memFree=26943764/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 267449 0 0 0 589 39 0 0 20 0 4 0 12085165 1337528320 267778 33554432000 4194304 16246674 140736381702272 140736381684160 6021376 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 326545 267778 786 2943 0 323439 0
[pid=16905/tid=16906] ppid=16902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1337528320 267778 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1337528320 267778 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1337528320 267778 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.22 2.20 2.12 3/183 16909
/proc/meminfo: memFree=26943476/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 267465 0 0 0 1229 40 0 0 20 0 4 0 12085165 1337528320 267794 33554432000 4194304 16246674 140736381702272 140736381685272 13943664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 326545 267794 788 2943 0 323439 0
[pid=16905/tid=16906] ppid=16902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1337528320 267794 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1337528320 267794 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1337528320 267794 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.17 2.19 2.12 4/183 16909
/proc/meminfo: memFree=26943700/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 267535 0 0 0 2508 40 0 0 20 0 4 0 12085165 1337528320 267864 33554432000 4194304 16246674 140736381702272 140736381684160 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 326545 267864 788 2943 0 323439 0
[pid=16905/tid=16906] ppid=16902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1337528320 267864 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1337528320 267864 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1337528320 267864 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.18 2.19 2.12 3/183 16909
/proc/meminfo: memFree=26942840/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 267827 0 0 0 5068 40 0 0 20 0 4 0 12085165 1338576896 268156 33554432000 4194304 16246674 140736381702272 140736381684160 5822604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 326801 268156 789 2943 0 323695 0
[pid=16905/tid=16906] ppid=16902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1338576896 268156 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1338576896 268156 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1338576896 268156 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.15 2.18 2.11 3/183 16910
/proc/meminfo: memFree=26942440/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1307204 CPUtime=102.27 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 267827 0 0 0 10186 41 0 0 20 0 4 0 12085165 1338576896 268156 33554432000 4194304 16246674 140736381702272 140736381684160 6022640 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 326801 268156 789 2943 0 323695 0
[pid=16905/tid=16906] ppid=16902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1338576896 268156 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1338576896 268156 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1338576896 268156 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1307204


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

Current children cumulated vsize (KiB) 1308228

[startup+462.3 s]
/proc/loadavg: 2.20 2.18 2.12 3/183 16920
/proc/meminfo: memFree=26940784/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1308228 CPUtime=462.21 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 268084 0 0 0 46172 49 0 0 20 0 4 0 12085165 1339625472 268413 33554432000 4194304 16246674 140736381702272 140736381685272 5822548 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 327057 268413 791 2943 0 323951 0
[pid=16905/tid=16906] ppid=16902 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1339625472 268413 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1339625472 268413 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1339625472 268413 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1308228

[startup+522.3 s]
/proc/loadavg: 2.30 2.22 2.14 3/183 16922
/proc/meminfo: memFree=26939944/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1308228 CPUtime=522.21 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 268084 0 0 0 52171 50 0 0 20 0 4 0 12085165 1339625472 268413 33554432000 4194304 16246674 140736381702272 140736381684160 12482718 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 327057 268413 791 2943 0 323951 0
[pid=16905/tid=16906] ppid=16902 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1339625472 268413 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1339625472 268413 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1339625472 268413 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1308228

[startup+582.3 s]
/proc/loadavg: 2.26 2.22 2.14 3/183 16923
/proc/meminfo: memFree=26938868/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1309252 CPUtime=582.2 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 268335 0 0 0 58168 52 0 0 20 0 4 0 12085165 1340674048 268664 33554432000 4194304 16246674 140736381702272 140736381684160 5823631 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 327313 268664 791 2943 0 324207 0
[pid=16905/tid=16906] ppid=16902 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1340674048 268664 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1340674048 268664 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1340674048 268664 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1309252

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

[startup+588.8 s]
/proc/loadavg: 2.38 2.25 2.15 4/183 16923
/proc/meminfo: memFree=26938728/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1309252 CPUtime=588.69 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 268335 0 0 0 58817 52 0 0 20 0 4 0 12085165 1340674048 268664 33554432000 4194304 16246674 140736381702272 140736381685272 12861128 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 327313 268664 791 2943 0 324207 0
[pid=16905/tid=16906] ppid=16902 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1340674048 268664 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1340674048 268664 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1340674048 268664 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 588.69
Current children cumulated vsize (KiB) 1309252

[startup+601.6 s]
/proc/loadavg: 2.39 2.26 2.15 3/183 16923
/proc/meminfo: memFree=26938588/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1310276 CPUtime=601.5 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 268348 0 0 0 60097 53 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 140736381684160 12478079 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 327569 268677 791 2943 0 324463 0
[pid=16905/tid=16906] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 601.5
Current children cumulated vsize (KiB) 1310276

[startup+608 s]
/proc/loadavg: 2.36 2.25 2.15 3/183 16924
/proc/meminfo: memFree=26938068/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1310276 CPUtime=607.9 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 268348 0 0 0 60737 53 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 140736381684160 12477688 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 327569 268677 791 2943 0 324463 0
[pid=16905/tid=16906] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 607.9
Current children cumulated vsize (KiB) 1310276

[startup+614.4 s]
/proc/loadavg: 2.30 2.24 2.15 3/183 16924
/proc/meminfo: memFree=26938428/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1310276 CPUtime=614.29 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 268348 0 0 0 61376 53 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 140736381684160 5829901 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 327569 268677 791 2943 0 324463 0
[pid=16905/tid=16906] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 614.29
Current children cumulated vsize (KiB) 1310276

[startup+617.6 s]
/proc/loadavg: 2.30 2.24 2.15 3/183 16924
/proc/meminfo: memFree=26938296/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1310276 CPUtime=617.49 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 268348 0 0 0 61696 53 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 140736381685272 5722604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 327569 268677 791 2943 0 324463 0
[pid=16905/tid=16906] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 617.49
Current children cumulated vsize (KiB) 1310276

[startup+618.4 s]
/proc/loadavg: 2.28 2.24 2.15 3/183 16924
/proc/meminfo: memFree=26937924/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1310276 CPUtime=618.29 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 268348 0 0 0 61776 53 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 140736381685272 5523464 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 327569 268677 791 2943 0 324463 0
[pid=16905/tid=16906] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 618.29
Current children cumulated vsize (KiB) 1310276

[startup+619.2 s]
/proc/loadavg: 2.28 2.24 2.15 3/183 16924
/proc/meminfo: memFree=26937924/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=1310276 CPUtime=619.09 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202496 268348 0 0 0 61856 53 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 140736381685272 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/16905/statm: 327569 268677 791 2943 0 324463 0
[pid=16905/tid=16906] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16906/stat : 16906 (toysat) S 16902 16905 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645075565808 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=16905/tid=16907] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16907/stat : 16907 (toysat) S 16902 16905 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645065075952 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=16905/tid=16908] ppid=16902 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/16905/task/16908/stat : 16908 (toysat) S 16902 16905 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12085165 1341722624 268677 33554432000 4194304 16246674 140736381702272 139645054602416 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 619.09
Current children cumulated vsize (KiB) 1310276

[startup+619.6 s]
/proc/loadavg: 2.28 2.24 2.15 4/183 16924
/proc/meminfo: memFree=26938048/32872528 swapFree=1254912/1391860
[pid=16905] ppid=16902 vsize=0 CPUtime=619.49 cores=0,2,4,6
/proc/16905/stat : 16905 (toysat) R 16902 16905 16091 0 -1 4202500 268353 0 0 0 61894 55 0 0 20 0 1 0 12085165 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16905/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 619.49
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 619.64
CPU time (s): 619.54
CPU user time (s): 618.945
CPU system time (s): 0.594909
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 618.945
system time used= 0.594909
maximum resident set size= 1074720
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268353
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= 16
involuntary context switches= 692

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48977 second user time and 2.46962 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 20:27:23
IDJOB=4120458
IDBENCH=109961
IDSOLVER=2542
FILE ID=node119/4120458-1467311243
RUNJOBID= node119-1467308805-16107
PBS_JOBID= 20005280
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n92-d3-i1-r2.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-4120458-1467311243/watcher-4120458-1467311243 -o /tmp/evaluation-result-4120458-1467311243/solver-4120458-1467311243 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16107 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120458-1467311243.opb

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

MD5SUM BENCH= f025bb6566268319f053f5e1ab6b192a
RANDOM SEED=381649502

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
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.444
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.444
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		: 2666.444
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.444
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:        28014156 kB
Buffers:          199124 kB
Cached:          1431156 kB
SwapCached:            0 kB
Active:          1344612 kB
Inactive:        1374252 kB
Active(anon):    1085484 kB
Inactive(anon):     5936 kB
Active(file):     259128 kB
Inactive(file):  1368316 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16392 kB
Writeback:             0 kB
AnonPages:       2480556 kB
Mapped:            17084 kB
Shmem:               204 kB
Slab:             612044 kB
SReclaimable:      56084 kB
SUnreclaim:       555960 kB
KernelStack:        1456 kB
PageTables:         8556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2614556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71700 MiB
End job on node119 at 2016-06-30 20:37:43