Trace number 4121162

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 635.474 635.702

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n84-d3-i3-f.cnf.gz-plain.pb.metafix.opb
MD5SUMf68bf49a1652f7cf7c5c0792f42247fd
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 benchmark6.16006
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables126
Total number of constraints336
Number of constraints which are clauses336
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:07:55+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-4121162-1467313674.opb"]
0.00/0.01	c use --random-gen="1438560532 2996883556 2656724798 1607976731 2766719448 2388249710 2286942770 2149340064 478104827 2140645782 1215362954 3894379998 637479027 3589166917 1786616439 3246791541 1125203888 172322929 739491807 1724695932 3947972201 3227730044 1274605955 3387283929 2147868505 2675676822 4176335685 3597363026 2258420671 4198770390 2080584681 53148249 2603696849 1345089249 603357728 4166024942 2244802577 1161603154 1237936017 2247635545 2527317348 2127193625 1477051898 4035537430 2654927382 1240971869 3912686051 1687214231 1361847086 41955716 245986221 1317872956 3063455506 621318954 820644535 981185764 470785852 847821850 1449434863 2720027662 1396058869 3407579892 2322074606 1484801187 1746172628 3619774572 2596371279 2709452128 728625751 1732677459 2055956460 818663072 674658179 1513968721 3883546673 639668081 4048045073 3095848435 478927941 4076455155 463870257 809733769 1201837936 1958760712 2518288200 4105943134 3859798809 1117495774 2262141981 1471046833 2127509336 789192152 789649057 1266469002 540925247 3059717168 240924952 3635272183 2831937692 36636089 2655130836 487177087 3885800956 312884698 1374174515 668810194 2319045394 3706736729 3606599480 3782496549 1979550953 1996675215 2546838024 3751670727 1456689813 2794953767 79164248 2462286041 1606688526 1402525495 921959511 3905192209 616291988 695827106 458020670 3057806557 4078896923 1492381555 1334200085 1340963552 1971855950 778101800 1652535847 2052368780 1908648942 1725836050 1701909357 3485317996 2032301226 1343650311 3196794820 3766804312 1189150760 1777352894 3478920300 4201172949 493718751 1278299718 3473129160 2599746773 677546474 733663242 1802637147 432536409 3841841354 992154124 3686541196 3944248181 182137783 174784239 2708723895 3843095079 244933563 2046961672 3980062069 1139454976 919141630 3561359589 3790431185 3367425596 3856803194 4187547607 4107675158 1890866263 3500867993 3361038205 676973144 1705188750 1192465054 2602493293 3394444238 4070159860 3131054126 1022915150 1859256345 3564330404 2212303883 1132105965 1857674680 4011887371 1202184802 2486087597 2290068050 782487515 228926021 3172555678 1834442471 3735340825 1192724685 3521518981 210664861 1893903987 2466200684 231504145 155008486 1430714965 141867926 2314378464 1389699562 2739396084 2632569890 3095380903 1392638821 866517728 1068078950 1871308927 3473156641 2905434848 1858341628 3480231872 4179418874 1410940483 527530211 3343612770 22873823 1387122340 1763788214 2697084827 3739409948 2434291963 3810625274 252405779 1042888498 472505004 2154329153 232074678 705815127 1946994906 1922182639 2739648379 2578648452 3613930949 3986165426 2916128648 813655525 2581059489 4274187943 1834354128 731807236 4199575540 283797240 1238528486 2947376831 1643184775 2659018270 1295106839 255 362436" option to reproduce the execution
0.00/0.01	c #vars 126
0.00/0.01	c #constraints 336
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 |      154      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      169 |      100 |      154      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      405 |      250 |      170      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      722 |      475 |      188      2 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1121 |      813 |      207      5 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1801 |     1320 |      228      8 |        0 |        0
0.19/0.21	c  0.2s |       6 |     2796 |     2081 |      277     14 |        0 |        0
0.29/0.32	c  0.3s |       7 |     4139 |     3223 |      305     20 |        0 |        0
0.39/0.49	c  0.5s |       8 |     6094 |     4936 |      336     31 |        0 |        0
0.69/0.76	c  0.7s |       9 |     9219 |     7506 |      370     45 |        0 |        0
0.99/1.10	c  1.1s |      10 |    14259 |    11361 |      408     64 |        0 |        0
1.39/1.49	c  1.5s |      11 |    21055 |    17144 |      449     92 |        0 |        0
2.09/2.13	c  2.1s |      12 |    32347 |    25819 |      494    129 |        0 |        0
2.89/2.97	c  3.0s |      13 |    50976 |    38832 |      544    180 |        0 |        0
4.29/4.37	c  4.4s |      14 |    76076 |    58352 |      599    249 |        0 |        0
6.29/6.37	c  6.4s |      14 |   113462 |    86552 |      599    341 |        0 |        0
6.41/6.45	c  6.4s |      15 |   115048 |    87632 |      659    344 |        0 |        0
8.39/8.45	c  8.4s |      15 |   151207 |   114832 |      659    425 |        0 |        0
9.79/9.81	c  9.8s |      16 |   171830 |   131552 |      725    474 |        0 |        0
11.79/11.82	c 11.8s |      16 |   210345 |   159852 |      725    550 |        0 |        0
13.79/13.82	c 13.8s |      16 |   249001 |   188052 |      725    627 |        0 |        0
14.49/14.50	c 14.5s |      17 |   261289 |   197432 |      798    652 |        0 |        0
16.49/16.51	c 16.5s |      17 |   296487 |   224032 |      798    718 |        0 |        0
18.49/18.52	c 18.5s |      17 |   332177 |   251332 |      798    785 |        0 |        0
20.49/20.52	c 20.5s |      17 |   368565 |   276832 |      798    848 |        0 |        0
21.89/21.98	c 22.0s |      18 |   394496 |   296252 |      878    896 |        0 |        0
23.89/23.98	c 24.0s |      18 |   428816 |   322552 |      878    955 |        0 |        0
25.89/25.99	c 26.0s |      18 |   463121 |   347952 |      878   1012 |        0 |        0
27.89/27.99	c 28.0s |      18 |   496946 |   373352 |      878   1069 |        0 |        0
29.99/30.00	c 30.0s |      18 |   533280 |   400252 |      878   1129 |        0 |        0
31.89/32.00	c 32.0s |      18 |   569133 |   427052 |      878   1190 |        0 |        0
33.38/33.40	c 33.4s |      19 |   592793 |   444482 |      966   1228 |        0 |        0
35.38/35.40	c 35.4s |      19 |   626650 |   469982 |      966   1280 |        0 |        0
37.39/37.41	c 37.4s |      19 |   658261 |   494882 |      966   1331 |        0 |        0
39.38/39.41	c 39.4s |      19 |   696048 |   522182 |      966   1387 |        0 |        0
41.38/41.42	c 41.4s |      19 |   730894 |   548782 |      966   1442 |        0 |        0
43.38/43.42	c 43.4s |      19 |   766473 |   575382 |      966   1496 |        0 |        0
45.38/45.42	c 45.4s |      19 |   801018 |   601882 |      966   1551 |        0 |        0
47.39/47.42	c 47.4s |      19 |   838116 |   629282 |      966   1607 |        0 |        0
49.38/49.43	c 49.4s |      19 |   873409 |   656082 |      966   1662 |        0 |        0
50.28/50.31	c 50.3s |      20 |   886667 |   666827 |     1063   1683 |        0 |        0
52.29/52.32	c 52.3s |      20 |   918993 |   691527 |     1063   1729 |        0 |        0
54.29/54.32	c 54.3s |      20 |   952555 |   716727 |     1063   1776 |        0 |        0
56.29/56.33	c 56.3s |      20 |   987024 |   742827 |     1063   1824 |        0 |        0
58.29/58.33	c 58.3s |      20 |  1022427 |   769727 |     1063   1875 |        0 |        0
60.28/60.33	c 60.3s |      20 |  1052428 |   793927 |     1063   1920 |        0 |        0
62.28/62.33	c 62.3s |      20 |  1083853 |   818827 |     1063   1966 |        0 |        0
64.28/64.34	c 64.3s |      20 |  1120519 |   846527 |     1063   2018 |        0 |        0
66.28/66.34	c 66.3s |      20 |  1154063 |   872927 |     1063   2068 |        0 |        0
68.29/68.34	c 68.3s |      20 |  1186912 |   898027 |     1063   2114 |        0 |        0
70.28/70.34	c 70.3s |      20 |  1218455 |   923027 |     1063   2161 |        0 |        0
72.28/72.35	c 72.3s |      20 |  1256060 |   950627 |     1063   2213 |        0 |        0
74.28/74.35	c 74.3s |      20 |  1287387 |   974827 |     1063   2258 |        0 |        0
76.28/76.35	c 76.3s |      21 |  1319583 |  1000345 |     1170   2304 |        0 |        0
78.28/78.35	c 78.3s |      21 |  1350455 |  1024945 |     1170   2346 |        0 |        0
80.28/80.36	c 80.3s |      21 |  1384708 |  1050945 |     1170   2390 |        0 |        0
82.27/82.36	c 82.3s |      21 |  1417233 |  1076145 |     1170   2433 |        0 |        0
84.27/84.37	c 84.4s |      21 |  1453920 |  1103545 |     1170   2479 |        0 |        0
86.27/86.37	c 86.4s |      21 |  1489831 |  1129645 |     1170   2524 |        0 |        0
88.28/88.38	c 88.4s |      21 |  1523973 |  1155945 |     1170   2569 |        0 |        0
90.29/90.38	c 90.4s |      21 |  1559113 |  1182245 |     1170   2613 |        0 |        0
92.28/92.38	c 92.4s |      21 |  1591456 |  1207745 |     1170   2657 |        0 |        0
94.28/94.39	c 94.4s |      21 |  1624736 |  1233245 |     1170   2700 |        0 |        0
96.28/96.39	c 96.4s |      21 |  1653411 |  1256045 |     1170   2739 |        0 |        0
98.38/98.40	c 98.4s |      21 |  1685857 |  1280545 |     1170   2780 |        0 |        0
100.38/100.41	c  100s |      21 |  1720073 |  1305445 |     1170   2823 |        0 |        0
102.38/102.41	c  102s |      21 |  1752826 |  1330245 |     1170   2865 |        0 |        0
104.38/104.41	c  104s |      21 |  1785662 |  1354645 |     1170   2906 |        0 |        0
106.37/106.42	c  106s |      21 |  1821806 |  1381045 |     1170   2951 |        0 |        0
108.37/108.42	c  108s |      21 |  1855125 |  1406645 |     1170   2995 |        0 |        0
110.37/110.43	c  110s |      21 |  1889793 |  1432245 |     1170   3038 |        0 |        0
112.37/112.43	c  112s |      21 |  1925418 |  1458745 |     1170   3084 |        0 |        0
114.38/114.44	c  114s |      21 |  1956683 |  1483545 |     1170   3126 |        0 |        0
115.77/115.86	c  115s |      22 |  1978825 |  1500622 |     1287   3153 |        0 |        0
117.78/117.86	c  117s |      22 |  2013400 |  1526222 |     1287   3192 |        0 |        0
119.77/119.87	c  119s |      22 |  2047526 |  1552022 |     1287   3232 |        0 |        0
121.77/121.87	c  121s |      22 |  2079357 |  1576122 |     1287   3269 |        0 |        0
123.77/123.87	c  123s |      22 |  2109899 |  1600622 |     1287   3307 |        0 |        0
125.77/125.87	c  125s |      22 |  2143789 |  1625922 |     1287   3346 |        0 |        0
127.77/127.87	c  127s |      22 |  2179148 |  1652422 |     1287   3387 |        0 |        0
129.77/129.88	c  129s |      22 |  2211359 |  1677522 |     1287   3426 |        0 |        0
131.77/131.89	c  131s |      22 |  2241857 |  1701922 |     1287   3463 |        0 |        0
133.77/133.89	c  133s |      22 |  2275226 |  1726322 |     1287   3501 |        0 |        0
135.77/135.89	c  135s |      22 |  2305955 |  1750322 |     1287   3538 |        0 |        0
137.77/137.89	c  137s |      22 |  2339612 |  1775722 |     1287   3578 |        0 |        0
139.78/139.89	c  139s |      22 |  2373609 |  1801322 |     1287   3617 |        0 |        0
141.88/141.90	c  141s |      22 |  2405529 |  1825622 |     1287   3655 |        0 |        0
143.87/143.91	c  143s |      22 |  2438003 |  1850222 |     1287   3693 |        0 |        0
145.87/145.92	c  145s |      22 |  2471400 |  1875722 |     1287   3732 |        0 |        0
147.87/147.92	c  147s |      22 |  2504034 |  1901022 |     1287   3771 |        0 |        0
149.87/149.92	c  149s |      22 |  2535847 |  1925622 |     1287   3809 |        0 |        0
151.87/151.92	c  151s |      22 |  2569335 |  1950822 |     1287   3848 |        0 |        0
153.87/153.93	c  153s |      22 |  2603915 |  1976422 |     1287   3888 |        0 |        0
155.87/155.94	c  155s |      22 |  2637792 |  2001822 |     1287   3927 |        0 |        0
157.87/157.94	c  157s |      22 |  2672227 |  2027022 |     1287   3966 |        0 |        0
159.86/159.94	c  159s |      22 |  2706300 |  2052422 |     1287   4006 |        0 |        0
161.86/161.95	c  161s |      22 |  2741960 |  2078622 |     1287   4046 |        0 |        0
163.87/163.95	c  163s |      22 |  2776595 |  2104122 |     1287   4086 |        0 |        0
165.86/165.95	c  165s |      22 |  2812062 |  2130122 |     1287   4126 |        0 |        0
167.86/167.97	c  167s |      22 |  2846777 |  2155722 |     1287   4166 |        0 |        0
169.86/169.98	c  169s |      22 |  2880037 |  2180422 |     1287   4204 |        0 |        0
171.86/171.98	c  171s |      22 |  2915108 |  2205222 |     1287   4242 |        0 |        0
173.87/173.98	c  173s |      22 |  2950954 |  2230722 |     1287   4282 |        0 |        0
175.56/175.60	c  175s |      23 |  2978318 |  2251038 |     1416   4311 |        0 |        0
177.56/177.61	c  177s |      23 |  3008466 |  2272938 |     1416   4341 |        0 |        0
179.56/179.62	c  179s |      23 |  3038378 |  2295038 |     1416   4372 |        0 |        0
181.57/181.63	c  181s |      23 |  3064714 |  2316238 |     1416   4402 |        0 |        0
183.56/183.63	c  183s |      23 |  3091114 |  2337338 |     1416   4432 |        0 |        0
185.56/185.63	c  185s |      23 |  3121133 |  2359338 |     1416   4463 |        0 |        0
187.56/187.64	c  187s |      23 |  3145235 |  2379538 |     1416   4491 |        0 |        0
189.56/189.64	c  189s |      23 |  3169966 |  2399638 |     1416   4519 |        0 |        0
191.56/191.65	c  191s |      23 |  3194202 |  2419738 |     1416   4548 |        0 |        0
193.57/193.65	c  193s |      23 |  3219445 |  2440138 |     1416   4576 |        0 |        0
195.56/195.65	c  195s |      23 |  3247778 |  2462138 |     1416   4607 |        0 |        0
197.56/197.66	c  197s |      23 |  3272557 |  2482338 |     1416   4635 |        0 |        0
199.56/199.66	c  199s |      23 |  3299664 |  2504138 |     1416   4666 |        0 |        0
201.56/201.66	c  201s |      23 |  3328104 |  2526138 |     1416   4697 |        0 |        0
203.57/203.67	c  203s |      23 |  3358226 |  2547838 |     1416   4728 |        0 |        0
205.56/205.67	c  205s |      23 |  3387024 |  2570538 |     1416   4759 |        0 |        0
207.56/207.68	c  207s |      23 |  3417182 |  2594038 |     1416   4792 |        0 |        0
209.55/209.68	c  209s |      23 |  3446959 |  2616438 |     1416   4824 |        0 |        0
211.55/211.68	c  211s |      23 |  3476833 |  2638938 |     1416   4856 |        0 |        0
213.55/213.69	c  213s |      23 |  3506115 |  2661638 |     1416   4888 |        0 |        0
215.56/215.70	c  215s |      23 |  3535853 |  2684238 |     1416   4919 |        0 |        0
217.66/217.71	c  217s |      23 |  3565727 |  2706538 |     1416   4951 |        0 |        0
219.66/219.71	c  219s |      23 |  3591477 |  2727238 |     1416   4980 |        0 |        0
221.66/221.72	c  221s |      23 |  3613457 |  2745738 |     1416   5006 |        0 |        0
223.66/223.73	c  223s |      23 |  3636252 |  2764438 |     1416   5032 |        0 |        0
225.66/225.73	c  225s |      23 |  3663828 |  2785038 |     1416   5061 |        0 |        0
227.66/227.74	c  227s |      23 |  3690602 |  2806138 |     1416   5091 |        0 |        0
229.66/229.74	c  229s |      23 |  3717966 |  2827838 |     1416   5121 |        0 |        0
231.65/231.75	c  231s |      23 |  3744842 |  2848838 |     1416   5151 |        0 |        0
233.65/233.75	c  233s |      23 |  3768572 |  2868538 |     1416   5178 |        0 |        0
235.65/235.76	c  235s |      23 |  3793783 |  2889238 |     1416   5207 |        0 |        0
237.66/237.76	c  237s |      23 |  3825567 |  2912638 |     1416   5240 |        0 |        0
239.65/239.76	c  239s |      23 |  3857706 |  2937038 |     1416   5275 |        0 |        0
241.65/241.77	c  241s |      23 |  3887210 |  2959738 |     1416   5307 |        0 |        0
243.65/243.77	c  243s |      23 |  3917172 |  2982238 |     1416   5338 |        0 |        0
245.65/245.78	c  245s |      23 |  3948486 |  3005838 |     1416   5371 |        0 |        0
247.65/247.78	c  247s |      23 |  3977869 |  3029038 |     1416   5404 |        0 |        0
249.65/249.79	c  249s |      23 |  4008385 |  3052938 |     1416   5438 |        0 |        0
251.64/251.79	c  251s |      23 |  4040876 |  3077038 |     1416   5471 |        0 |        0
253.64/253.79	c  253s |      23 |  4073375 |  3101038 |     1416   5505 |        0 |        0
255.74/255.80	c  255s |      23 |  4102881 |  3124038 |     1416   5538 |        0 |        0
257.74/257.81	c  257s |      23 |  4130191 |  3145938 |     1416   5568 |        0 |        0
259.74/259.81	c  259s |      23 |  4155724 |  3167438 |     1416   5599 |        0 |        0
261.75/261.82	c  261s |      23 |  4186625 |  3190038 |     1416   5631 |        0 |        0
263.74/263.82	c  263s |      23 |  4217639 |  3213838 |     1416   5664 |        0 |        0
265.74/265.83	c  265s |      23 |  4249074 |  3237238 |     1416   5697 |        0 |        0
267.74/267.83	c  267s |      23 |  4281086 |  3260938 |     1416   5730 |        0 |        0
269.74/269.84	c  269s |      23 |  4310931 |  3283138 |     1416   5762 |        0 |        0
271.74/271.84	c  271s |      23 |  4340646 |  3305738 |     1416   5793 |        0 |        0
273.74/273.85	c  273s |      23 |  4371055 |  3328338 |     1416   5825 |        0 |        0
275.74/275.86	c  275s |      23 |  4398722 |  3350338 |     1416   5856 |        0 |        0
277.74/277.87	c  277s |      23 |  4425156 |  3371638 |     1558   5883 |        0 |        0
278.25/278.36	c  278s |      24 |  4430803 |  3376662 |     1558   5890 |        0 |        0
280.24/280.36	c  280s |      24 |  4458079 |  3398262 |     1558   5917 |        0 |        0
282.24/282.36	c  282s |      24 |  4485116 |  3419662 |     1558   5945 |        0 |        0
284.24/284.36	c  284s |      24 |  4512236 |  3440662 |     1558   5972 |        0 |        0
286.23/286.36	c  286s |      24 |  4541477 |  3462162 |     1558   5999 |        0 |        0
288.24/288.37	c  288s |      24 |  4571324 |  3483562 |     1558   6026 |        0 |        0
290.23/290.38	c  290s |      24 |  4598538 |  3504562 |     1558   6053 |        0 |        0
292.23/292.39	c  292s |      24 |  4626370 |  3526462 |     1558   6081 |        0 |        0
294.23/294.40	c  294s |      24 |  4654160 |  3547762 |     1558   6108 |        0 |        0
296.33/296.40	c  296s |      24 |  4679264 |  3566262 |     1558   6132 |        0 |        0
298.33/298.41	c  298s |      24 |  4705088 |  3585562 |     1558   6157 |        0 |        0
300.33/300.41	c  300s |      24 |  4732647 |  3607162 |     1558   6184 |        0 |        0
302.33/302.41	c  302s |      24 |  4761211 |  3629462 |     1558   6213 |        0 |        0
304.32/304.42	c  304s |      24 |  4790034 |  3651662 |     1558   6241 |        0 |        0
306.32/306.42	c  306s |      24 |  4816914 |  3672662 |     1558   6268 |        0 |        0
308.32/308.43	c  308s |      24 |  4848374 |  3695562 |     1558   6297 |        0 |        0
310.32/310.43	c  310s |      24 |  4878428 |  3717862 |     1558   6326 |        0 |        0
312.33/312.44	c  312s |      24 |  4910884 |  3741862 |     1558   6356 |        0 |        0
314.32/314.45	c  314s |      24 |  4942175 |  3764962 |     1558   6386 |        0 |        0
316.33/316.45	c  316s |      24 |  4974545 |  3788362 |     1558   6416 |        0 |        0
318.32/318.45	c  318s |      24 |  5004570 |  3810862 |     1558   6445 |        0 |        0
320.32/320.46	c  320s |      24 |  5034654 |  3833562 |     1558   6474 |        0 |        0
322.33/322.47	c  322s |      24 |  5066185 |  3856662 |     1558   6503 |        0 |        0
324.32/324.47	c  324s |      24 |  5100348 |  3881262 |     1558   6535 |        0 |        0
326.32/326.47	c  326s |      24 |  5132393 |  3904462 |     1558   6564 |        0 |        0
328.32/328.47	c  328s |      24 |  5161103 |  3926562 |     1558   6593 |        0 |        0
330.32/330.48	c  330s |      24 |  5190570 |  3949562 |     1558   6622 |        0 |        0
332.32/332.48	c  332s |      24 |  5222769 |  3973762 |     1558   6653 |        0 |        0
334.32/334.49	c  334s |      24 |  5250581 |  3995162 |     1558   6680 |        0 |        0
336.31/336.49	c  336s |      24 |  5278962 |  4016962 |     1558   6708 |        0 |        0
338.31/338.49	c  338s |      24 |  5308728 |  4039862 |     1558   6737 |        0 |        0
340.31/340.49	c  340s |      24 |  5338954 |  4063062 |     1558   6767 |        0 |        0
342.31/342.49	c  342s |      24 |  5369543 |  4086562 |     1558   6797 |        0 |        0
344.31/344.49	c  344s |      24 |  5402757 |  4110862 |     1558   6828 |        0 |        0
346.30/346.50	c  346s |      24 |  5430616 |  4132962 |     1558   6856 |        0 |        0
348.40/348.51	c  348s |      24 |  5461165 |  4155962 |     1558   6886 |        0 |        0
350.40/350.51	c  350s |      24 |  5493834 |  4180562 |     1558   6917 |        0 |        0
352.40/352.52	c  352s |      24 |  5525467 |  4204262 |     1558   6948 |        0 |        0
354.40/354.52	c  354s |      24 |  5557025 |  4227362 |     1558   6977 |        0 |        0
356.41/356.52	c  356s |      24 |  5588092 |  4250562 |     1558   7007 |        0 |        0
358.40/358.53	c  358s |      24 |  5622659 |  4275462 |     1558   7039 |        0 |        0
360.40/360.54	c  360s |      24 |  5657296 |  4300662 |     1558   7071 |        0 |        0
362.40/362.54	c  362s |      24 |  5689612 |  4324962 |     1558   7102 |        0 |        0
364.40/364.54	c  364s |      24 |  5722976 |  4349862 |     1558   7134 |        0 |        0
366.40/366.54	c  366s |      24 |  5752541 |  4373062 |     1558   7164 |        0 |        0
368.40/368.54	c  368s |      24 |  5782833 |  4395962 |     1558   7193 |        0 |        0
370.39/370.54	c  370s |      24 |  5813817 |  4419562 |     1558   7223 |        0 |        0
372.39/372.55	c  372s |      24 |  5844343 |  4442662 |     1558   7253 |        0 |        0
374.39/374.56	c  374s |      24 |  5875900 |  4466462 |     1558   7283 |        0 |        0
376.39/376.57	c  376s |      24 |  5907700 |  4489562 |     1558   7313 |        0 |        0
378.39/378.57	c  378s |      24 |  5941136 |  4514262 |     1558   7344 |        0 |        0
380.39/380.58	c  380s |      24 |  5974603 |  4538962 |     1558   7376 |        0 |        0
382.38/382.58	c  382s |      24 |  6008977 |  4564162 |     1558   7408 |        0 |        0
384.38/384.58	c  384s |      24 |  6041375 |  4588762 |     1558   7439 |        0 |        0
386.38/386.59	c  386s |      24 |  6076476 |  4614462 |     1558   7472 |        0 |        0
388.38/388.59	c  388s |      24 |  6107572 |  4638362 |     1558   7503 |        0 |        0
390.39/390.59	c  390s |      24 |  6143116 |  4664162 |     1558   7536 |        0 |        0
392.38/392.59	c  392s |      24 |  6177365 |  4689862 |     1558   7569 |        0 |        0
394.38/394.60	c  394s |      24 |  6208814 |  4714062 |     1558   7599 |        0 |        0
396.38/396.60	c  396s |      24 |  6239821 |  4737862 |     1558   7630 |        0 |        0
398.47/398.60	c  398s |      24 |  6275007 |  4762862 |     1558   7662 |        0 |        0
400.47/400.60	c  400s |      24 |  6306860 |  4787262 |     1558   7693 |        0 |        0
402.49/402.61	c  402s |      24 |  6341682 |  4812162 |     1558   7725 |        0 |        0
404.48/404.61	c  404s |      24 |  6375721 |  4837162 |     1558   7757 |        0 |        0
406.48/406.62	c  406s |      24 |  6410161 |  4862962 |     1558   7790 |        0 |        0
408.48/408.62	c  408s |      24 |  6444822 |  4888062 |     1558   7822 |        0 |        0
410.48/410.63	c  410s |      24 |  6477939 |  4912762 |     1558   7853 |        0 |        0
412.49/412.64	c  412s |      24 |  6514108 |  4938962 |     1558   7887 |        0 |        0
414.48/414.64	c  414s |      24 |  6547140 |  4963562 |     1558   7918 |        0 |        0
416.47/416.64	c  416s |      24 |  6580558 |  4988862 |     1558   7950 |        0 |        0
418.47/418.64	c  418s |      24 |  6614945 |  5014762 |     1558   7982 |        1 |        4
420.47/420.65	c  420s |      24 |  6647234 |  5038262 |     1714   8011 |        1 |        4
422.47/422.65	c  422s |      24 |  6671089 |  5057962 |     1714   8034 |        1 |        4
423.17/423.33	c  423s |      25 |  6680017 |  5065098 |     1714   8042 |        1 |        4
425.16/425.33	c  425s |      25 |  6709523 |  5087198 |     1714   8068 |        1 |        4
427.16/427.33	c  427s |      25 |  6739415 |  5109898 |     1714   8094 |        1 |        4
429.16/429.33	c  429s |      25 |  6771902 |  5133898 |     1714   8122 |        1 |        4
431.17/431.33	c  431s |      25 |  6804720 |  5157098 |     1714   8149 |        1 |        4
433.17/433.34	c  433s |      25 |  6832393 |  5178998 |     1714   8174 |        1 |        4
435.17/435.34	c  435s |      25 |  6863905 |  5202498 |     1714   8202 |        1 |        4
437.17/437.34	c  437s |      25 |  6895600 |  5226198 |     1714   8229 |        1 |        4
439.17/439.35	c  439s |      25 |  6928420 |  5250398 |     1714   8257 |        1 |        4
441.17/441.35	c  441s |      25 |  6956519 |  5272998 |     1714   8284 |        1 |        4
443.17/443.36	c  443s |      25 |  6986731 |  5295998 |     1714   8310 |        1 |        4
445.16/445.36	c  445s |      25 |  7015828 |  5318398 |     1714   8336 |        1 |        4
447.16/447.37	c  447s |      25 |  7048527 |  5340798 |     1714   8362 |        1 |        4
449.16/449.37	c  449s |      25 |  7080105 |  5364298 |     1714   8390 |        1 |        4
451.16/451.37	c  451s |      25 |  7110481 |  5387898 |     1714   8417 |        1 |        4
453.16/453.38	c  453s |      25 |  7141364 |  5410698 |     1714   8444 |        1 |        4
455.15/455.38	c  455s |      25 |  7171630 |  5433498 |     1714   8470 |        1 |        4
457.15/457.39	c  457s |      25 |  7201177 |  5456198 |     1714   8497 |        1 |        4
459.25/459.40	c  459s |      25 |  7232870 |  5479398 |     1714   8524 |        1 |        4
461.25/461.40	c  461s |      25 |  7262955 |  5502198 |     1714   8550 |        1 |        4
463.25/463.41	c  463s |      25 |  7294143 |  5525598 |     1714   8577 |        1 |        4
465.25/465.41	c  465s |      25 |  7325502 |  5549198 |     1714   8605 |        1 |        4
467.24/467.42	c  467s |      25 |  7352746 |  5570998 |     1714   8630 |        1 |        4
469.25/469.42	c  469s |      25 |  7377468 |  5590798 |     1714   8653 |        1 |        4
471.25/471.42	c  471s |      25 |  7405472 |  5612298 |     1714   8678 |        1 |        4
473.25/473.42	c  473s |      25 |  7432913 |  5633498 |     1714   8703 |        1 |        4
475.24/475.43	c  475s |      25 |  7463280 |  5655998 |     1714   8729 |        1 |        4
477.25/477.44	c  477s |      25 |  7492996 |  5677898 |     1714   8754 |        1 |        4
479.24/479.44	c  479s |      25 |  7522251 |  5699298 |     1714   8779 |        1 |        4
481.24/481.45	c  481s |      25 |  7548969 |  5720598 |     1714   8804 |        1 |        4
483.24/483.45	c  483s |      25 |  7578522 |  5742198 |     1714   8829 |        1 |        4
485.24/485.46	c  485s |      25 |  7607372 |  5764198 |     1714   8855 |        1 |        4
487.25/487.46	c  487s |      25 |  7638312 |  5787398 |     1714   8882 |        1 |        4
489.24/489.46	c  489s |      25 |  7669350 |  5811198 |     1714   8909 |        1 |        4
491.24/491.47	c  491s |      25 |  7702175 |  5833998 |     1714   8936 |        1 |        4
493.24/493.48	c  493s |      25 |  7736076 |  5856798 |     1714   8962 |        1 |        4
495.23/495.48	c  495s |      25 |  7771718 |  5879598 |     1714   8989 |        1 |        4
497.23/497.48	c  497s |      25 |  7802137 |  5901498 |     1714   9014 |        1 |        4
499.23/499.49	c  499s |      25 |  7832670 |  5923298 |     1714   9039 |        1 |        4
501.33/501.50	c  501s |      25 |  7860785 |  5944998 |     1714   9065 |        1 |        4
503.33/503.51	c  503s |      25 |  7890956 |  5968098 |     1714   9091 |        1 |        4
505.32/505.52	c  505s |      25 |  7921980 |  5991598 |     1714   9119 |        1 |        4
507.32/507.52	c  507s |      25 |  7954045 |  6014898 |     1714   9146 |        1 |        4
509.32/509.52	c  509s |      25 |  7982280 |  6037398 |     1714   9172 |        1 |        4
511.33/511.52	c  511s |      25 |  8013168 |  6061198 |     1714   9200 |        1 |        4
513.32/513.52	c  513s |      25 |  8042861 |  6084298 |     1714   9227 |        1 |        4
515.32/515.53	c  515s |      25 |  8072097 |  6106098 |     1714   9252 |        1 |        4
517.32/517.53	c  517s |      25 |  8103870 |  6129598 |     1714   9279 |        1 |        4
519.32/519.53	c  519s |      25 |  8132888 |  6152398 |     1714   9306 |        1 |        4
521.33/521.54	c  521s |      25 |  8162097 |  6174698 |     1714   9331 |        1 |        4
523.33/523.55	c  523s |      25 |  8194191 |  6198898 |     1714   9360 |        1 |        4
525.32/525.55	c  525s |      25 |  8225019 |  6222498 |     1714   9387 |        1 |        4
527.32/527.56	c  527s |      25 |  8255989 |  6246198 |     1714   9415 |        1 |        4
529.32/529.57	c  529s |      25 |  8285741 |  6269498 |     1714   9442 |        1 |        4
531.32/531.57	c  531s |      25 |  8317467 |  6294098 |     1714   9470 |        1 |        4
533.33/533.58	c  533s |      25 |  8349049 |  6318398 |     1714   9498 |        1 |        4
535.31/535.58	c  535s |      25 |  8380152 |  6341698 |     1714   9525 |        2 |        8
537.32/537.59	c  537s |      25 |  8411788 |  6365898 |     1714   9553 |        2 |        8
539.32/539.59	c  539s |      25 |  8443656 |  6388998 |     1714   9579 |        2 |        8
541.31/541.59	c  541s |      25 |  8473159 |  6411498 |     1714   9606 |        2 |        8
543.41/543.60	c  543s |      25 |  8501619 |  6432898 |     1714   9630 |        2 |        8
545.31/545.60	c  545s |      25 |  8531170 |  6455198 |     1714   9656 |        2 |        8
547.41/547.60	c  547s |      25 |  8562790 |  6478998 |     1714   9684 |        2 |        8
549.41/549.61	c  549s |      25 |  8594256 |  6502398 |     1714   9711 |        2 |        8
551.41/551.63	c  551s |      25 |  8627430 |  6526698 |     1714   9740 |        2 |        8
553.41/553.63	c  553s |      25 |  8660359 |  6550998 |     1714   9768 |        2 |        8
555.41/555.63	c  555s |      25 |  8690850 |  6574298 |     1714   9795 |        2 |        8
557.40/557.64	c  557s |      25 |  8725517 |  6600098 |     1714   9825 |        2 |        8
559.40/559.65	c  559s |      25 |  8757848 |  6624698 |     1714   9853 |        2 |        8
561.40/561.66	c  561s |      25 |  8788505 |  6648098 |     1714   9881 |        2 |        8
563.40/563.66	c  563s |      25 |  8819779 |  6671798 |     1714   9908 |        2 |        8
565.40/565.66	c  565s |      25 |  8850634 |  6695698 |     1714   9936 |        2 |        8
567.41/567.67	c  567s |      25 |  8883613 |  6720098 |     1714   9964 |        2 |        8
569.40/569.67	c  569s |      25 |  8915109 |  6743598 |     1714   9991 |        2 |        8
571.40/571.67	c  571s |      25 |  8946769 |  6767598 |     1714  10019 |        2 |        8
573.40/573.68	c  573s |      25 |  8978208 |  6791698 |     1714  10047 |        2 |        8
575.39/575.68	c  575s |      25 |  9008175 |  6814298 |     1714  10073 |        2 |        8
577.40/577.68	c  577s |      25 |  9038009 |  6837398 |     1714  10100 |        2 |        8
579.39/579.68	c  579s |      25 |  9069251 |  6860398 |     1714  10127 |        2 |        8
581.39/581.68	c  581s |      25 |  9100679 |  6884098 |     1714  10153 |        3 |       12
583.39/583.69	c  583s |      25 |  9133720 |  6907998 |     1714  10181 |        3 |       12
585.39/585.69	c  585s |      25 |  9164520 |  6930498 |     1714  10207 |        3 |       12
587.48/587.70	c  587s |      25 |  9191768 |  6952698 |     1714  10233 |        3 |       12
589.39/589.70	c  589s |      25 |  9220255 |  6975198 |     1714  10259 |        3 |       12
591.48/591.71	c  591s |      25 |  9250399 |  6998498 |     1714  10286 |        3 |       12
593.48/593.72	c  593s |      25 |  9281446 |  7021998 |     1714  10313 |        3 |       12
595.48/595.72	c  595s |      25 |  9309690 |  7044698 |     1714  10340 |        3 |       12
597.49/597.73	c  597s |      25 |  9336967 |  7066798 |     1714  10365 |        3 |       12
599.49/599.74	c  599s |      25 |  9363657 |  7088598 |     1714  10391 |        3 |       12
601.49/601.74	c  601s |      25 |  9391704 |  7111298 |     1714  10417 |        3 |       12
603.48/603.74	c  603s |      25 |  9421002 |  7134498 |     1714  10444 |        3 |       12
605.48/605.75	c  605s |      25 |  9450585 |  7157798 |     1714  10471 |        3 |       12
607.48/607.75	c  607s |      25 |  9480516 |  7180998 |     1714  10498 |        3 |       12
609.48/609.76	c  609s |      25 |  9513527 |  7204698 |     1714  10525 |        4 |       16
611.49/611.76	c  611s |      25 |  9549095 |  7229898 |     1714  10554 |        4 |       16
613.48/613.76	c  613s |      25 |  9584425 |  7254998 |     1714  10583 |        4 |       16
615.47/615.76	c  615s |      25 |  9617058 |  7279098 |     1714  10611 |        4 |       16
617.47/617.77	c  617s |      25 |  9650660 |  7304098 |     1714  10638 |        5 |       20
619.47/619.77	c  619s |      25 |  9682441 |  7328098 |     1714  10666 |        5 |       20
621.47/621.78	c  621s |      25 |  9712273 |  7351298 |     1714  10693 |        5 |       20
623.48/623.78	c  623s |      25 |  9743119 |  7374498 |     1714  10720 |        5 |       20
625.47/625.78	c  625s |      25 |  9772719 |  7396698 |     1714  10746 |        5 |       20
627.47/627.79	c  627s |      25 |  9805371 |  7420598 |     1714  10772 |        6 |       24
629.57/629.80	c  629s |      25 |  9839481 |  7445198 |     1714  10801 |        6 |       24
631.57/631.80	c  631s |      25 |  9873370 |  7470098 |     1714  10830 |        6 |       24
633.56/633.80	c  633s |      25 |  9907034 |  7495398 |     1714  10858 |        7 |       28
635.36/635.67	c  635s |      25 |  9940451 |  7520755 |     1714  10883 |       25 |       84
635.36/635.67	c #cpu_time = 635.493s
635.36/635.67	c #wall_clock_time = 635.659s
635.36/635.67	c #decision = 9940451
635.36/635.67	c #random_decision = 48346
635.36/635.67	c #conflict = 7520755
635.36/635.67	c #restart = 25
635.36/635.67	s UNSATISFIABLE
635.36/635.67	c total CPU time = 635.512s
635.36/635.67	c total wall clock time = 635.678s

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-4121162-1467313674/watcher-4121162-1467313674 -o /tmp/evaluation-result-4121162-1467313674/solver-4121162-1467313674 -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-4121162-1467313674.opb 

pid=17278
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.28 2.17 2.15 3/179 17281
/proc/meminfo: memFree=28009812/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=774588 CPUtime=0 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 2898 0 0 0 0 0 0 0 20 0 4 0 12328279 793178112 3769 33554432000 4194304 16246674 140733936528352 140733936527776 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 194415 3778 441 2943 0 191309 0
[pid=17281/tid=17282] ppid=17278 vsize=791996 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 811003904 3837 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=797116 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 816246784 3854 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=801212 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 820441088 3872 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.28 2.17 2.15 3/179 17281
/proc/meminfo: memFree=28009812/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 25843 0 0 0 6 3 0 0 20 0 4 0 12328279 1247350784 26703 33554432000 4194304 16246674 140733936528352 140733936527776 5573293 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 304529 26711 708 2943 0 301423 0
[pid=17281/tid=17282] ppid=17278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1247350784 26717 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1247350784 26725 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1247350784 26734 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200447 s]
/proc/loadavg: 2.28 2.17 2.15 3/179 17281
/proc/meminfo: memFree=28009812/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 49258 0 0 0 12 7 0 0 20 0 4 0 12328279 1247350784 50118 33554432000 4194304 16246674 140733936528352 140733936527776 6010521 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 304529 50129 708 2943 0 301423 0
[pid=17281/tid=17282] ppid=17278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1247350784 50137 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1247350784 50145 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1247350784 50153 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300481 s]
/proc/loadavg: 2.28 2.17 2.15 3/179 17281
/proc/meminfo: memFree=28009812/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 72910 0 0 0 19 10 0 0 20 0 4 0 12328279 1247350784 73770 33554432000 4194304 16246674 140733936528352 140733936527776 5662075 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 304529 73785 708 2943 0 301423 0
[pid=17281/tid=17282] ppid=17278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1247350784 73791 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1247350784 73799 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1247350784 73807 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700403 s]
/proc/loadavg: 2.28 2.17 2.15 3/179 17281
/proc/meminfo: memFree=28009812/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 166497 0 0 0 46 23 0 0 20 0 4 0 12328279 1247350784 167357 33554432000 4194304 16246674 140733936528352 140733936527776 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 304529 167366 709 2943 0 301423 0
[pid=17281/tid=17282] ppid=17278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1247350784 167375 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1247350784 167380 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1247350784 167390 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 2.28 2.17 2.15 3/183 17285
/proc/meminfo: memFree=27024736/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 245593 0 0 0 116 33 0 0 20 0 4 0 12328279 1248399360 246433 33554432000 4194304 16246674 140733936528352 140733936527664 5673549 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 304785 246433 786 2943 0 301679 0
[pid=17281/tid=17282] ppid=17278 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1248399360 246433 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1248399360 246433 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1248399360 246433 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.10041 s]
/proc/loadavg: 2.26 2.17 2.14 3/183 17285
/proc/meminfo: memFree=26937564/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 267436 0 0 0 273 36 0 0 20 0 4 0 12328279 1337528320 268276 33554432000 4194304 16246674 140733936528352 140733936511352 6012046 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 326545 268276 786 2943 0 323439 0
[pid=17281/tid=17282] ppid=17278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1337528320 268276 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1337528320 268276 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1337528320 268276 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.26 2.17 2.14 4/183 17285
/proc/meminfo: memFree=26936516/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 267477 0 0 0 593 36 0 0 20 0 4 0 12328279 1337528320 268317 33554432000 4194304 16246674 140733936528352 140733936511352 6077178 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 326545 268317 788 2943 0 323439 0
[pid=17281/tid=17282] ppid=17278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1337528320 268317 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1337528320 268317 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1337528320 268317 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.37 2.19 2.15 3/183 17285
/proc/meminfo: memFree=26937400/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 267479 0 0 0 1233 36 0 0 20 0 4 0 12328279 1337528320 268319 33554432000 4194304 16246674 140733936528352 140733936511352 6836017 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 326545 268319 789 2943 0 323439 0
[pid=17281/tid=17282] ppid=17278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1337528320 268319 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1337528320 268319 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1337528320 268319 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.31 2.19 2.15 3/183 17285
/proc/meminfo: memFree=26937416/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 267503 0 0 0 2513 36 0 0 20 0 4 0 12328279 1337528320 268343 33554432000 4194304 16246674 140733936528352 140733936511352 5672084 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 326545 268343 789 2943 0 323439 0
[pid=17281/tid=17282] ppid=17278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1337528320 268343 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1337528320 268343 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1337528320 268343 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.21 2.17 2.15 4/183 17285
/proc/meminfo: memFree=26936900/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 267644 0 0 0 5072 36 0 0 20 0 4 0 12328279 1338576896 268484 33554432000 4194304 16246674 140733936528352 140733936511352 5676365 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 326801 268484 789 2943 0 323695 0
[pid=17281/tid=17282] ppid=17278 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1338576896 268484 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1338576896 268484 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1338576896 268484 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.19 2.17 2.15 3/183 17286
/proc/meminfo: memFree=26936248/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 267783 0 0 0 10190 38 0 0 20 0 4 0 12328279 1338576896 268623 33554432000 4194304 16246674 140733936528352 140733936511352 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 326801 268623 790 2943 0 323695 0
[pid=17281/tid=17282] ppid=17278 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1338576896 268623 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1338576896 268623 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1338576896 268623 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

Current children cumulated vsize (KiB) 1308228

[startup+522.3 s]
/proc/loadavg: 2.29 2.22 2.17 3/183 17298
/proc/meminfo: memFree=26932944/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1308228 CPUtime=522.12 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 268149 0 0 0 52165 47 0 0 20 0 4 0 12328279 1339625472 268830 33554432000 4194304 16246674 140733936528352 140733936511352 5672818 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 327057 268830 790 2943 0 323951 0
[pid=17281/tid=17282] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268830 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268830 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1339625472 268830 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 1308228

[startup+582.3 s]
/proc/loadavg: 2.27 2.23 2.18 3/183 17299
/proc/meminfo: memFree=26931112/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1308228 CPUtime=582.09 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 268182 0 0 0 58161 48 0 0 20 0 4 0 12328279 1339625472 268830 33554432000 4194304 16246674 140733936528352 140733936511352 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 327057 268830 790 2943 0 323951 0
[pid=17281/tid=17282] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268830 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268830 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1339625472 268830 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 1308228

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

[startup+588.8 s]
/proc/loadavg: 2.23 2.22 2.18 4/183 17299
/proc/meminfo: memFree=26931220/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1308228 CPUtime=588.58 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 268189 0 0 0 58810 48 0 0 20 0 4 0 12328279 1339625472 268830 33554432000 4194304 16246674 140733936528352 140733936511352 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 327057 268830 790 2943 0 323951 0
[pid=17281/tid=17282] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268830 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268830 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1339625472 268830 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 588.58
Current children cumulated vsize (KiB) 1308228

[startup+614.4 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 17300
/proc/meminfo: memFree=26930812/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1308228 CPUtime=614.18 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 268203 0 0 0 61369 49 0 0 20 0 4 0 12328279 1339625472 268830 33554432000 4194304 16246674 140733936528352 140733936511352 5677256 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 327057 268830 790 2943 0 323951 0
[pid=17281/tid=17282] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268830 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268830 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1339625472 268830 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 614.18
Current children cumulated vsize (KiB) 1308228

[startup+627.2 s]
/proc/loadavg: 2.16 2.20 2.17 3/183 17300
/proc/meminfo: memFree=26930780/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1308228 CPUtime=626.97 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 268216 0 0 0 62648 49 0 0 20 0 4 0 12328279 1339625472 268830 33554432000 4194304 16246674 140733936528352 140733936511352 5823428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 327057 268830 790 2943 0 323951 0
[pid=17281/tid=17282] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268830 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268830 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1339625472 268830 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 626.97
Current children cumulated vsize (KiB) 1308228

[startup+630.407 s]
/proc/loadavg: 2.16 2.20 2.17 3/183 17300
/proc/meminfo: memFree=26930780/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1308228 CPUtime=630.17 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 268217 0 0 0 62968 49 0 0 20 0 4 0 12328279 1339625472 268831 33554432000 4194304 16246674 140733936528352 140733936511352 5822488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 327057 268831 791 2943 0 323951 0
[pid=17281/tid=17282] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268831 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268831 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1339625472 268831 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 630.17
Current children cumulated vsize (KiB) 1308228

[startup+633.6 s]
/proc/loadavg: 2.15 2.20 2.17 4/183 17300
/proc/meminfo: memFree=26930780/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1308228 CPUtime=633.37 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 268217 0 0 0 63288 49 0 0 20 0 4 0 12328279 1339625472 268831 33554432000 4194304 16246674 140733936528352 140733936510272 5673702 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 327057 268831 791 2943 0 323951 0
[pid=17281/tid=17282] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268831 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268831 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1339625472 268831 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 633.37
Current children cumulated vsize (KiB) 1308228

[startup+634.4 s]
/proc/loadavg: 2.15 2.20 2.17 4/183 17300
/proc/meminfo: memFree=26930780/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1308228 CPUtime=634.16 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 268217 0 0 0 63367 49 0 0 20 0 4 0 12328279 1339625472 268831 33554432000 4194304 16246674 140733936528352 140733936511352 5676344 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 327057 268831 791 2943 0 323951 0
[pid=17281/tid=17282] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268831 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268831 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1339625472 268831 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 634.16
Current children cumulated vsize (KiB) 1308228

[startup+635.2 s]
/proc/loadavg: 2.15 2.20 2.17 4/183 17300
/proc/meminfo: memFree=26930780/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1308228 CPUtime=634.96 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 268224 0 0 0 63447 49 0 0 20 0 4 0 12328279 1339625472 268831 33554432000 4194304 16246674 140733936528352 140733936511352 13928594 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 327057 268831 791 2943 0 323951 0
[pid=17281/tid=17282] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268831 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268831 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1339625472 268831 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 634.96
Current children cumulated vsize (KiB) 1308228

[startup+635.6 s]
/proc/loadavg: 2.15 2.20 2.17 4/183 17300
/proc/meminfo: memFree=26930780/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=1308228 CPUtime=635.36 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202496 268224 0 0 0 63487 49 0 0 20 0 4 0 12328279 1339625472 268831 33554432000 4194304 16246674 140733936528352 140733936511352 5546895 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 327057 268831 791 2943 0 323951 0
[pid=17281/tid=17282] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17282/stat : 17282 (toysat) S 17278 17281 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268831 33554432000 4194304 16246674 140733936528352 140197693992176 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17281/tid=17283] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17283/stat : 17283 (toysat) S 17278 17281 16091 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12328279 1339625472 268831 33554432000 4194304 16246674 140733936528352 140197683502320 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17281/tid=17284] ppid=17278 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17281/task/17284/stat : 17284 (toysat) S 17278 17281 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12328280 1339625472 268831 33554432000 4194304 16246674 140733936528352 140197597539504 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 635.36
Current children cumulated vsize (KiB) 1308228

[startup+635.7 s]
/proc/loadavg: 2.15 2.20 2.17 4/183 17300
/proc/meminfo: memFree=26930780/32872528 swapFree=1254912/1391860
[pid=17281] ppid=17278 vsize=0 CPUtime=635.46 cores=0,2,4,6
/proc/17281/stat : 17281 (toysat) R 17278 17281 16091 0 -1 4202500 268229 0 0 0 63495 51 0 0 20 0 1 0 12328279 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17281/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 635.46
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 635.702
CPU time (s): 635.474
CPU user time (s): 634.956
CPU system time (s): 0.518921
CPU usage (%): 99.9641
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 634.955
system time used= 0.518921
maximum resident set size= 1075336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268229
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= 254
involuntary context switches= 690

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.89026 second user time and 5.42317 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 21:07:54
IDJOB=4121162
IDBENCH=110326
IDSOLVER=2542
FILE ID=node119/4121162-1467313674
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-n84-d3-i3-f.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-4121162-1467313674/watcher-4121162-1467313674 -o /tmp/evaluation-result-4121162-1467313674/solver-4121162-1467313674 -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-4121162-1467313674.opb

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

MD5SUM BENCH= f68bf49a1652f7cf7c5c0792f42247fd
RANDOM SEED=1408914053

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:        28010612 kB
Buffers:          201700 kB
Cached:          1431812 kB
SwapCached:            0 kB
Active:          1346712 kB
Inactive:        1376004 kB
Active(anon):    1085792 kB
Inactive(anon):     5936 kB
Active(file):     260920 kB
Inactive(file):  1370068 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16280 kB
Writeback:            36 kB
AnonPages:       2480796 kB
Mapped:            17076 kB
Shmem:               204 kB
Slab:             612104 kB
SReclaimable:      55976 kB
SUnreclaim:       556128 kB
KernelStack:        1456 kB
PageTables:         8924 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2616540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    917504 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 21:18:30