Trace number 4120338

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 539.597 539.705

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n86-d3-i3-r2.cnf.gz-plain.pb.metafix.opb
MD5SUM2e8a9d28fba269487c6cec22db898564
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 benchmark7.2549
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables129
Total number of constraints344
Number of constraints which are clauses344
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:22:59+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-4120338-1467310979.opb"]
0.00/0.01	c use --random-gen="2074765417 2242664492 2309901745 3308577029 3831442223 3870605884 3260215833 1728774897 3287704901 3209026436 1902234196 3229582485 3925086886 2779565910 3529435233 2210934048 165350005 1267241168 3186864122 233995019 848091052 2923986079 137494290 2144108233 2126034327 2504826863 3892659044 4024692918 1129614373 2593298680 507605746 2710864412 1305460997 1251906187 460566976 3283711746 1545492674 2159203889 1478712880 2891514817 3782302141 1020567999 1373789799 4210577403 2044838413 1377569909 3489797304 1488293019 3897280708 68296112 3443801036 1826065480 4148284463 2687265684 837016909 930958742 533736780 1925458856 2239058892 301090974 300523877 4256209783 3313664165 2311928198 2858584501 984261244 1266927875 163788744 2869983705 2271807867 3985431635 2001722215 3500904598 1267583355 352637253 3506131403 4209893565 1500931777 1504023738 2392090478 4231681748 2132049222 1706430668 96543910 3098807211 10336778 3782470296 1799411509 1225097121 1222074328 2177540963 3565947566 2184629485 1456773895 2419270629 811750413 1718484290 3605090403 4236087455 3278468768 1809145276 3625777933 807641541 3018776421 4102770158 480012727 2308094472 57127532 2206440090 3013468284 1614051305 3304792253 3299833346 1391678413 2582853616 3603006573 1003787532 3336645863 223904302 2117845100 3314872751 3668448284 1016880455 1351206283 2613229075 482854086 2684497285 3258813064 3075433396 3930744869 2205959521 3407255317 2251820182 3823418644 1508541624 441617958 3065357988 3617999843 3830808506 870641677 3654738380 1359515746 1000039942 666373502 441551147 2461327488 1878317934 623106909 4176281888 2652031018 3754841983 125021397 2397069484 2994586307 3466848993 2873257807 207649215 1179991059 2632546498 2483329444 1248394689 3144606505 1720562526 1034416951 1485514526 1992711936 1845754645 1497016338 1161008911 4193528633 2224516781 3759432328 1531493062 488500480 798588829 4191885984 1106640831 2939158875 4284206327 1738090511 3935617695 1868659035 2323728117 2399022855 2585425988 3220474105 4090954096 881180693 4150697139 3791079985 209203889 2766861981 830739473 122806228 871368287 3067995081 816491162 1104123080 2170731056 2078041486 3227306774 176419716 279264822 3035721136 3003618035 3663345949 3622141771 3674711840 1339813077 3908231734 3006882089 3684576741 4142346558 2873079257 3715274978 977199883 1735351454 1530620567 87197027 1227567983 2537173517 3010572424 2043229311 1835754354 3339292601 1680798275 3417486069 1963796449 777350362 2222229088 20381805 564112434 719798945 4232654129 1482509066 1457808030 4259082740 334843934 2832978253 2228412387 4156561731 4256875476 1775881411 4083955880 1448572824 3790083167 598842484 3432972130 3442487719 2254475389 2511897105 841251444 2252884869 3980476822 1656794803 1853418523 255 362436" option to reproduce the execution
0.00/0.01	c #vars 129
0.00/0.01	c #constraints 344
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 |      157      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      146 |      100 |      157      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      440 |      250 |      173      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      854 |      475 |      191      3 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1350 |      813 |      211      5 |        0 |        0
0.09/0.13	c  0.1s |       5 |     2220 |     1320 |      233      9 |        0 |        0
0.18/0.20	c  0.2s |       6 |     3562 |     2081 |      283     14 |        0 |        0
0.29/0.31	c  0.3s |       7 |     5464 |     3223 |      312     21 |        0 |        0
0.39/0.45	c  0.4s |       8 |     7526 |     4936 |      344     31 |        0 |        0
0.59/0.68	c  0.7s |       9 |    11125 |     7506 |      379     44 |        0 |        0
0.99/1.02	c  1.0s |      10 |    16670 |    11361 |      417     63 |        0 |        0
1.29/1.39	c  1.4s |      11 |    25318 |    17144 |      459     89 |        0 |        0
1.89/1.94	c  1.9s |      12 |    37199 |    25819 |      505    126 |        0 |        0
2.69/2.75	c  2.7s |      13 |    55302 |    38832 |      556    175 |        0 |        0
3.89/3.92	c  3.9s |      14 |    82929 |    58352 |      612    244 |        0 |        0
5.79/5.89	c  5.9s |      15 |   123968 |    87632 |      674    336 |        0 |        0
7.89/7.90	c  7.9s |      15 |   163881 |   117432 |      674    423 |        0 |        0
8.79/8.83	c  8.8s |      16 |   181916 |   131552 |      742    464 |        0 |        0
10.78/10.83	c 10.8s |      16 |   222974 |   160652 |      742    541 |        0 |        0
12.78/12.83	c 12.8s |      16 |   265379 |   191352 |      742    623 |        0 |        0
13.19/13.22	c 13.2s |      17 |   273813 |   197432 |      817    638 |        0 |        0
15.19/15.22	c 15.2s |      17 |   307213 |   223232 |      817    700 |        0 |        0
17.19/17.22	c 17.2s |      17 |   343807 |   250132 |      817    765 |        0 |        0
19.19/19.22	c 19.2s |      17 |   381006 |   278232 |      817    833 |        0 |        0
20.49/20.53	c 20.5s |      18 |   404811 |   296252 |      899    876 |        0 |        0
22.49/22.53	c 22.5s |      18 |   438637 |   321152 |      899    931 |        0 |        0
24.49/24.54	c 24.5s |      18 |   473193 |   346952 |      899    987 |        0 |        0
26.49/26.54	c 26.5s |      18 |   505974 |   372552 |      899   1044 |        0 |        0
28.48/28.54	c 28.5s |      18 |   537212 |   396452 |      899   1096 |        0 |        0
30.48/30.54	c 30.5s |      18 |   567504 |   420552 |      899   1149 |        0 |        0
32.28/32.32	c 32.3s |      19 |   599310 |   444482 |      989   1201 |        0 |        0
34.28/34.32	c 34.3s |      19 |   635011 |   471882 |      989   1256 |        0 |        0
36.30/36.33	c 36.3s |      19 |   671921 |   498382 |      989   1309 |        0 |        0
38.29/38.34	c 38.3s |      19 |   705335 |   523582 |      989   1359 |        0 |        0
40.29/40.34	c 40.3s |      19 |   737261 |   547982 |      989   1408 |        0 |        0
42.28/42.34	c 42.3s |      19 |   772520 |   573882 |      989   1460 |        0 |        0
44.28/44.34	c 44.3s |      19 |   806547 |   599982 |      989   1512 |        0 |        0
46.29/46.34	c 46.3s |      19 |   843310 |   626982 |      989   1566 |        0 |        0
48.28/48.35	c 48.3s |      19 |   877834 |   652482 |      989   1617 |        0 |        0
49.38/49.48	c 49.5s |      20 |   897063 |   666827 |     1088   1645 |        0 |        0
51.38/51.49	c 51.5s |      20 |   927363 |   689327 |     1088   1685 |        0 |        0
53.38/53.49	c 53.5s |      20 |   958736 |   713327 |     1088   1728 |        0 |        0
55.48/55.50	c 55.5s |      20 |   990997 |   737127 |     1088   1771 |        0 |        0
57.48/57.51	c 57.5s |      20 |  1018762 |   760027 |     1088   1813 |        0 |        0
59.48/59.51	c 59.5s |      20 |  1053754 |   785227 |     1088   1859 |        0 |        0
61.48/61.51	c 61.5s |      20 |  1087580 |   810427 |     1088   1905 |        0 |        0
63.48/63.51	c 63.5s |      20 |  1122569 |   835827 |     1088   1951 |        0 |        0
65.48/65.52	c 65.5s |      20 |  1159023 |   861927 |     1088   1999 |        0 |        0
67.48/67.52	c 67.5s |      20 |  1194151 |   887827 |     1088   2046 |        0 |        0
69.48/69.52	c 69.5s |      20 |  1229389 |   913527 |     1088   2093 |        0 |        0
71.49/71.53	c 71.5s |      20 |  1261513 |   938027 |     1088   2137 |        0 |        0
73.48/73.53	c 73.5s |      20 |  1290715 |   960727 |     1088   2179 |        0 |        0
75.48/75.53	c 75.5s |      20 |  1324923 |   986727 |     1088   2226 |        0 |        0
76.88/76.94	c 76.9s |      21 |  1340164 |  1000345 |     1197   2250 |        0 |        0
78.88/78.94	c 78.9s |      21 |  1372558 |  1024845 |     1197   2290 |        0 |        0
80.87/80.94	c 80.9s |      21 |  1405016 |  1049645 |     1197   2331 |        0 |        0
82.87/82.95	c 82.9s |      21 |  1437177 |  1074645 |     1197   2373 |        0 |        0
84.88/84.95	c 84.9s |      21 |  1468713 |  1099045 |     1197   2413 |        0 |        0
86.88/86.96	c 86.9s |      21 |  1501702 |  1123645 |     1197   2454 |        0 |        0
88.87/88.96	c 88.9s |      21 |  1534232 |  1148845 |     1197   2496 |        0 |        0
90.87/90.96	c 90.9s |      21 |  1568243 |  1174545 |     1197   2538 |        0 |        0
92.87/92.97	c 92.9s |      21 |  1601894 |  1199545 |     1197   2580 |        0 |        0
94.87/94.97	c 94.9s |      21 |  1633339 |  1224045 |     1197   2620 |        0 |        0
96.88/96.97	c 97.0s |      21 |  1669407 |  1250545 |     1197   2664 |        0 |        0
98.87/98.98	c 99.0s |      21 |  1702269 |  1276045 |     1197   2707 |        0 |        0
100.87/100.98	c  100s |      21 |  1735530 |  1301845 |     1197   2749 |        0 |        0
102.87/102.98	c  102s |      21 |  1763667 |  1324545 |     1197   2787 |        0 |        0
104.88/104.98	c  104s |      21 |  1797079 |  1349545 |     1197   2829 |        0 |        0
106.87/106.98	c  106s |      21 |  1830350 |  1374445 |     1197   2870 |        0 |        0
108.88/108.99	c  108s |      21 |  1865165 |  1400645 |     1197   2914 |        0 |        0
110.87/110.99	c  110s |      21 |  1898376 |  1425945 |     1197   2956 |        0 |        0
112.87/112.99	c  112s |      21 |  1931482 |  1450845 |     1197   2997 |        0 |        0
114.87/114.99	c  114s |      21 |  1965292 |  1475545 |     1197   3038 |        0 |        0
116.97/117.00	c  116s |      21 |  1995383 |  1499345 |     1317   3076 |        0 |        0
117.07/117.10	c  117s |      22 |  1997296 |  1500622 |     1317   3078 |        0 |        0
119.07/119.10	c  119s |      22 |  2023714 |  1522022 |     1317   3110 |        0 |        0
120.97/121.10	c  121s |      22 |  2050798 |  1543222 |     1317   3142 |        0 |        0
123.07/123.11	c  123s |      22 |  2079420 |  1564622 |     1317   3174 |        0 |        0
125.07/125.11	c  125s |      22 |  2106578 |  1585822 |     1317   3206 |        0 |        0
127.07/127.12	c  127s |      22 |  2132664 |  1606722 |     1317   3238 |        0 |        0
129.07/129.12	c  129s |      22 |  2160259 |  1628422 |     1317   3271 |        0 |        0
131.07/131.12	c  131s |      22 |  2188423 |  1650222 |     1317   3303 |        0 |        0
133.08/133.13	c  133s |      22 |  2215468 |  1672022 |     1317   3336 |        0 |        0
135.07/135.13	c  135s |      22 |  2241506 |  1692322 |     1317   3367 |        0 |        0
137.07/137.13	c  137s |      22 |  2264118 |  1711822 |     1317   3397 |        0 |        0
139.06/139.14	c  139s |      22 |  2289364 |  1732822 |     1317   3428 |        0 |        0
141.06/141.15	c  141s |      22 |  2315821 |  1753822 |     1317   3460 |        0 |        0
143.08/143.15	c  143s |      22 |  2342569 |  1775422 |     1317   3493 |        0 |        0
145.07/145.16	c  145s |      22 |  2374418 |  1798922 |     1317   3528 |        0 |        0
147.07/147.16	c  147s |      22 |  2406168 |  1822622 |     1317   3564 |        0 |        0
149.07/149.17	c  149s |      22 |  2436099 |  1845422 |     1317   3598 |        0 |        0
151.07/151.17	c  151s |      22 |  2468529 |  1869522 |     1317   3635 |        0 |        0
153.07/153.17	c  153s |      22 |  2500683 |  1893322 |     1317   3670 |        0 |        0
155.07/155.18	c  155s |      22 |  2531748 |  1917222 |     1317   3707 |        0 |        0
157.06/157.18	c  157s |      22 |  2564319 |  1941222 |     1317   3743 |        0 |        0
159.06/159.19	c  159s |      22 |  2598580 |  1965322 |     1317   3779 |        0 |        0
161.07/161.19	c  161s |      22 |  2632456 |  1989522 |     1317   3816 |        0 |        0
163.17/163.20	c  163s |      22 |  2667495 |  2014622 |     1317   3854 |        0 |        0
165.17/165.20	c  165s |      22 |  2702621 |  2039922 |     1317   3892 |        0 |        0
167.17/167.21	c  167s |      22 |  2737813 |  2065422 |     1317   3931 |        0 |        0
169.17/169.22	c  169s |      22 |  2772819 |  2090422 |     1317   3968 |        0 |        0
171.16/171.22	c  171s |      22 |  2805336 |  2115022 |     1317   4005 |        0 |        0
173.16/173.22	c  173s |      22 |  2837757 |  2139322 |     1317   4042 |        0 |        0
175.16/175.23	c  175s |      22 |  2873571 |  2165122 |     1317   4081 |        0 |        0
177.17/177.23	c  177s |      22 |  2908882 |  2191322 |     1317   4121 |        0 |        0
179.16/179.23	c  179s |      22 |  2940446 |  2215022 |     1317   4157 |        0 |        0
181.17/181.24	c  181s |      22 |  2973832 |  2239722 |     1449   4193 |        0 |        0
182.26/182.31	c  182s |      23 |  2989891 |  2251038 |     1449   4209 |        0 |        0
184.26/184.31	c  184s |      23 |  3022444 |  2274438 |     1449   4241 |        0 |        0
186.26/186.31	c  186s |      23 |  3055040 |  2298038 |     1449   4273 |        0 |        0
188.26/188.32	c  188s |      23 |  3082433 |  2319838 |     1449   4303 |        0 |        0
190.27/190.32	c  190s |      23 |  3112966 |  2343338 |     1449   4335 |        0 |        0
192.26/192.32	c  192s |      23 |  3145381 |  2367538 |     1449   4369 |        0 |        0
194.26/194.32	c  194s |      23 |  3177356 |  2391638 |     1449   4402 |        0 |        0
196.25/196.33	c  196s |      23 |  3210473 |  2416238 |     1449   4436 |        0 |        0
198.26/198.34	c  198s |      23 |  3244268 |  2441238 |     1449   4470 |        0 |        0
200.27/200.34	c  200s |      23 |  3277205 |  2465538 |     1449   4503 |        0 |        0
202.26/202.34	c  202s |      23 |  3309199 |  2490238 |     1449   4537 |        0 |        0
204.26/204.34	c  204s |      23 |  3342067 |  2514638 |     1449   4571 |        0 |        0
206.26/206.34	c  206s |      23 |  3366836 |  2535438 |     1449   4599 |        0 |        0
208.26/208.35	c  208s |      23 |  3396156 |  2558738 |     1449   4631 |        0 |        0
210.25/210.35	c  210s |      23 |  3425693 |  2581638 |     1449   4662 |        0 |        0
212.26/212.35	c  212s |      23 |  3455835 |  2604838 |     1449   4694 |        0 |        0
214.25/214.36	c  214s |      23 |  3481131 |  2626038 |     1449   4723 |        0 |        0
216.25/216.36	c  216s |      23 |  3500802 |  2642838 |     1449   4746 |        0 |        0
218.25/218.37	c  218s |      23 |  3523307 |  2660538 |     1449   4771 |        0 |        0
220.25/220.38	c  220s |      23 |  3548248 |  2679738 |     1449   4797 |        0 |        0
222.27/222.38	c  222s |      23 |  3573180 |  2699338 |     1449   4824 |        0 |        0
224.26/224.39	c  224s |      23 |  3601138 |  2721038 |     1449   4854 |        0 |        0
226.26/226.40	c  226s |      23 |  3631582 |  2743138 |     1449   4884 |        0 |        0
228.36/228.40	c  228s |      23 |  3660975 |  2765038 |     1449   4914 |        0 |        0
230.36/230.40	c  230s |      23 |  3692617 |  2788138 |     1449   4946 |        0 |        0
232.36/232.40	c  232s |      23 |  3725994 |  2810938 |     1449   4977 |        0 |        0
234.36/234.41	c  234s |      23 |  3759190 |  2833738 |     1449   5008 |        0 |        0
236.35/236.41	c  236s |      23 |  3790622 |  2856938 |     1449   5040 |        0 |        0
238.35/238.42	c  238s |      23 |  3821720 |  2880138 |     1449   5072 |        0 |        0
240.35/240.43	c  240s |      23 |  3852490 |  2903638 |     1449   5104 |        0 |        0
242.36/242.43	c  242s |      23 |  3878434 |  2924538 |     1449   5133 |        0 |        0
244.36/244.44	c  244s |      23 |  3908556 |  2947838 |     1449   5165 |        0 |        0
246.36/246.45	c  246s |      23 |  3937631 |  2970838 |     1449   5197 |        0 |        0
248.35/248.45	c  248s |      23 |  3967849 |  2994438 |     1449   5229 |        0 |        0
250.35/250.46	c  250s |      23 |  4000050 |  3018538 |     1449   5262 |        0 |        0
252.35/252.46	c  252s |      23 |  4030634 |  3042038 |     1449   5294 |        0 |        0
254.35/254.46	c  254s |      23 |  4059897 |  3065438 |     1449   5327 |        0 |        0
256.36/256.46	c  256s |      23 |  4093627 |  3090938 |     1449   5362 |        0 |        0
258.35/258.47	c  258s |      23 |  4125595 |  3115338 |     1449   5395 |        0 |        0
260.35/260.48	c  260s |      23 |  4157390 |  3139338 |     1449   5428 |        0 |        0
262.35/262.48	c  262s |      23 |  4193213 |  3164238 |     1449   5463 |        0 |        0
264.35/264.49	c  264s |      23 |  4226443 |  3187938 |     1449   5495 |        0 |        0
266.34/266.49	c  266s |      23 |  4260458 |  3212238 |     1449   5529 |        0 |        0
268.35/268.50	c  268s |      23 |  4290435 |  3234538 |     1449   5559 |        0 |        0
270.45/270.50	c  270s |      23 |  4321413 |  3257438 |     1449   5591 |        0 |        0
272.45/272.50	c  272s |      23 |  4354601 |  3281738 |     1449   5624 |        0 |        0
274.45/274.51	c  274s |      23 |  4389138 |  3306738 |     1449   5659 |        0 |        0
276.45/276.51	c  276s |      23 |  4421809 |  3330438 |     1449   5691 |        0 |        0
278.45/278.52	c  278s |      23 |  4454703 |  3355138 |     1594   5725 |        0 |        0
280.25/280.31	c  280s |      24 |  4483431 |  3376662 |     1594   5752 |        0 |        0
282.25/282.32	c  282s |      24 |  4508741 |  3395962 |     1594   5776 |        0 |        0
284.24/284.32	c  284s |      24 |  4534525 |  3415462 |     1594   5800 |        0 |        0
286.24/286.32	c  286s |      24 |  4562531 |  3437262 |     1594   5828 |        0 |        0
288.25/288.32	c  288s |      24 |  4591013 |  3459662 |     1594   5856 |        0 |        0
290.24/290.32	c  290s |      24 |  4619331 |  3482562 |     1594   5884 |        0 |        0
292.24/292.32	c  292s |      24 |  4644327 |  3503362 |     1594   5910 |        0 |        0
294.24/294.33	c  294s |      24 |  4674694 |  3525362 |     1594   5938 |        0 |        0
296.24/296.34	c  296s |      24 |  4704947 |  3547562 |     1594   5965 |        0 |        0
298.24/298.34	c  298s |      24 |  4734415 |  3569662 |     1594   5993 |        0 |        0
300.25/300.35	c  300s |      24 |  4765223 |  3592962 |     1594   6022 |        0 |        0
302.25/302.35	c  302s |      24 |  4793281 |  3615062 |     1594   6050 |        0 |        0
304.25/304.35	c  304s |      24 |  4821136 |  3636862 |     1594   6077 |        0 |        0
306.25/306.36	c  306s |      24 |  4851483 |  3660162 |     1594   6106 |        0 |        0
308.24/308.36	c  308s |      24 |  4884762 |  3684162 |     1594   6136 |        0 |        0
310.25/310.37	c  310s |      24 |  4917768 |  3708262 |     1594   6166 |        0 |        0
312.24/312.37	c  312s |      24 |  4947157 |  3730662 |     1594   6194 |        0 |        0
314.24/314.38	c  314s |      24 |  4976840 |  3753562 |     1594   6223 |        0 |        0
316.24/316.38	c  316s |      24 |  5008274 |  3777862 |     1594   6253 |        0 |        0
318.24/318.39	c  318s |      24 |  5035787 |  3799962 |     1594   6281 |        0 |        0
320.24/320.40	c  320s |      24 |  5065557 |  3822762 |     1594   6309 |        0 |        0
322.24/322.40	c  322s |      24 |  5092400 |  3844162 |     1594   6336 |        0 |        0
324.34/324.40	c  324s |      24 |  5123240 |  3867762 |     1594   6365 |        0 |        0
326.34/326.40	c  326s |      24 |  5154529 |  3891262 |     1594   6394 |        0 |        0
328.34/328.41	c  328s |      24 |  5185883 |  3915262 |     1594   6424 |        0 |        0
330.34/330.41	c  330s |      24 |  5219378 |  3939762 |     1594   6455 |        0 |        0
332.34/332.42	c  332s |      24 |  5251251 |  3963262 |     1594   6484 |        0 |        0
334.35/334.42	c  334s |      24 |  5281422 |  3986162 |     1594   6513 |        0 |        0
336.34/336.42	c  336s |      24 |  5310657 |  4008462 |     1594   6541 |        0 |        0
338.34/338.43	c  338s |      24 |  5339621 |  4030962 |     1594   6569 |        0 |        0
340.34/340.44	c  340s |      24 |  5370114 |  4053962 |     1594   6598 |        0 |        0
342.34/342.44	c  342s |      24 |  5401820 |  4077862 |     1594   6628 |        0 |        0
344.34/344.45	c  344s |      24 |  5433293 |  4101562 |     1594   6657 |        0 |        0
346.33/346.45	c  346s |      24 |  5467338 |  4126162 |     1594   6688 |        0 |        0
348.33/348.45	c  348s |      24 |  5499036 |  4150062 |     1594   6718 |        0 |        0
350.33/350.45	c  350s |      24 |  5531434 |  4173862 |     1594   6747 |        0 |        0
352.33/352.46	c  352s |      24 |  5563139 |  4198062 |     1594   6778 |        0 |        0
354.33/354.46	c  354s |      24 |  5593009 |  4220762 |     1594   6806 |        0 |        0
356.35/356.46	c  356s |      24 |  5627062 |  4245562 |     1594   6837 |        0 |        0
358.34/358.47	c  358s |      24 |  5662718 |  4270862 |     1594   6868 |        0 |        0
360.34/360.47	c  360s |      24 |  5694641 |  4294762 |     1594   6898 |        0 |        0
362.34/362.48	c  362s |      24 |  5726587 |  4319062 |     1594   6929 |        0 |        0
364.34/364.49	c  364s |      24 |  5757293 |  4342662 |     1594   6958 |        0 |        0
366.34/366.49	c  366s |      24 |  5786299 |  4364662 |     1594   6986 |        0 |        0
368.33/368.50	c  368s |      24 |  5815873 |  4387662 |     1594   7014 |        0 |        0
370.43/370.50	c  370s |      24 |  5842113 |  4408662 |     1594   7040 |        0 |        0
372.43/372.50	c  372s |      24 |  5871419 |  4431362 |     1594   7069 |        0 |        0
374.43/374.51	c  374s |      24 |  5903130 |  4455962 |     1594   7099 |        0 |        0
376.43/376.51	c  376s |      24 |  5936254 |  4480562 |     1594   7130 |        0 |        0
378.44/378.51	c  378s |      24 |  5970779 |  4505462 |     1594   7161 |        0 |        0
380.43/380.52	c  380s |      24 |  6003950 |  4530162 |     1594   7191 |        1 |        4
382.43/382.53	c  382s |      24 |  6033008 |  4551862 |     1594   7218 |        1 |        4
384.43/384.53	c  384s |      24 |  6065484 |  4575262 |     1594   7247 |        1 |        4
386.43/386.54	c  386s |      24 |  6097382 |  4599262 |     1594   7277 |        1 |        4
388.43/388.55	c  388s |      24 |  6125627 |  4621062 |     1594   7304 |        1 |        4
390.44/390.55	c  390s |      24 |  6155148 |  4643662 |     1594   7333 |        1 |        4
392.43/392.56	c  392s |      24 |  6187218 |  4667362 |     1594   7362 |        1 |        4
394.43/394.56	c  394s |      24 |  6215013 |  4688862 |     1594   7389 |        1 |        4
396.43/396.57	c  396s |      24 |  6247012 |  4712562 |     1594   7419 |        1 |        4
398.43/398.57	c  398s |      24 |  6278771 |  4735962 |     1594   7448 |        1 |        4
400.44/400.58	c  400s |      24 |  6310713 |  4759962 |     1594   7478 |        1 |        4
402.43/402.58	c  402s |      24 |  6343859 |  4784562 |     1594   7509 |        1 |        4
404.43/404.58	c  404s |      24 |  6371720 |  4805662 |     1594   7535 |        1 |        4
406.43/406.59	c  406s |      24 |  6397896 |  4825662 |     1594   7560 |        1 |        4
408.43/408.59	c  408s |      24 |  6426162 |  4847662 |     1594   7587 |        1 |        4
410.53/410.60	c  410s |      24 |  6454219 |  4869162 |     1594   7614 |        1 |        4
412.43/412.60	c  412s |      24 |  6483894 |  4891462 |     1594   7642 |        1 |        4
414.53/414.61	c  414s |      24 |  6515928 |  4914462 |     1594   7671 |        1 |        4
416.53/416.61	c  416s |      24 |  6548064 |  4937462 |     1594   7700 |        1 |        4
418.52/418.61	c  418s |      24 |  6582185 |  4962762 |     1594   7731 |        1 |        4
420.52/420.61	c  420s |      24 |  6613164 |  4986162 |     1594   7760 |        1 |        4
422.52/422.61	c  422s |      24 |  6643442 |  5009662 |     1594   7790 |        1 |        4
424.53/424.62	c  424s |      24 |  6670718 |  5031162 |     1754   7816 |        1 |        4
426.52/426.62	c  426s |      24 |  6701981 |  5053862 |     1754   7842 |        1 |        4
427.53/427.63	c  427s |      25 |  6717743 |  5065098 |     1754   7855 |        1 |        4
429.53/429.63	c  429s |      25 |  6747573 |  5086898 |     1754   7879 |        1 |        4
431.53/431.64	c  431s |      25 |  6775144 |  5107698 |     1754   7903 |        1 |        4
433.53/433.64	c  433s |      25 |  6803693 |  5128798 |     1754   7927 |        1 |        4
435.53/435.65	c  435s |      25 |  6833635 |  5151398 |     1754   7952 |        1 |        4
437.52/437.65	c  437s |      25 |  6863258 |  5173498 |     1754   7977 |        1 |        4
439.52/439.65	c  439s |      25 |  6894052 |  5196498 |     1754   8004 |        1 |        4
441.52/441.66	c  441s |      25 |  6928276 |  5220298 |     1754   8031 |        1 |        4
443.52/443.67	c  443s |      25 |  6960669 |  5244198 |     1754   8058 |        1 |        4
445.53/445.67	c  445s |      25 |  6988911 |  5265898 |     1754   8082 |        1 |        4
447.52/447.67	c  447s |      25 |  7020025 |  5288498 |     1754   8108 |        1 |        4
449.52/449.68	c  449s |      25 |  7049362 |  5310598 |     1754   8133 |        1 |        4
451.52/451.68	c  451s |      25 |  7080237 |  5333698 |     1754   8159 |        1 |        4
453.52/453.69	c  453s |      25 |  7111077 |  5356198 |     1754   8185 |        1 |        4
455.52/455.69	c  455s |      25 |  7140934 |  5378398 |     1754   8210 |        1 |        4
457.52/457.70	c  457s |      25 |  7167390 |  5399398 |     1754   8234 |        1 |        4
459.62/459.71	c  459s |      25 |  7198466 |  5421998 |     1754   8260 |        1 |        4
461.61/461.72	c  461s |      25 |  7230357 |  5445298 |     1754   8286 |        1 |        4
463.62/463.73	c  463s |      25 |  7262287 |  5468198 |     1754   8312 |        1 |        4
465.62/465.73	c  465s |      25 |  7292632 |  5490198 |     1754   8337 |        1 |        4
467.62/467.73	c  467s |      25 |  7323775 |  5513098 |     1754   8363 |        1 |        4
469.63/469.74	c  469s |      25 |  7354585 |  5535198 |     1754   8388 |        1 |        4
471.62/471.75	c  471s |      25 |  7382390 |  5556498 |     1754   8412 |        1 |        4
473.62/473.75	c  473s |      25 |  7415075 |  5580598 |     1754   8440 |        1 |        4
475.61/475.75	c  475s |      25 |  7450234 |  5605598 |     1754   8468 |        1 |        4
477.61/477.75	c  477s |      25 |  7483059 |  5629398 |     1754   8495 |        1 |        4
479.62/479.75	c  479s |      25 |  7517876 |  5653398 |     1754   8522 |        1 |        4
481.62/481.76	c  481s |      25 |  7552687 |  5678298 |     1754   8551 |        1 |        4
483.62/483.76	c  483s |      25 |  7585739 |  5702698 |     1754   8577 |        2 |        8
485.62/485.76	c  485s |      25 |  7612944 |  5723798 |     1754   8601 |        2 |        8
487.62/487.77	c  487s |      25 |  7643063 |  5746298 |     1754   8626 |        2 |        8
489.61/489.78	c  489s |      25 |  7672568 |  5768298 |     1754   8651 |        2 |        8
491.62/491.78	c  491s |      25 |  7704590 |  5791398 |     1754   8677 |        2 |        8
493.61/493.78	c  493s |      25 |  7735586 |  5814398 |     1754   8704 |        2 |        8
495.61/495.78	c  495s |      25 |  7766900 |  5837598 |     1754   8730 |        2 |        8
497.61/497.79	c  497s |      25 |  7795542 |  5858998 |     1754   8754 |        2 |        8
499.71/499.80	c  499s |      25 |  7827421 |  5882198 |     1754   8780 |        2 |        8
501.71/501.80	c  501s |      25 |  7860680 |  5906598 |     1754   8808 |        2 |        8
503.71/503.80	c  503s |      25 |  7893562 |  5930298 |     1754   8835 |        2 |        8
505.70/505.80	c  505s |      25 |  7924003 |  5953798 |     1754   8861 |        3 |       12
507.70/507.81	c  507s |      25 |  7955913 |  5977498 |     1754   8887 |        3 |       12
509.70/509.81	c  509s |      25 |  7982605 |  5998498 |     1754   8911 |        3 |       12
511.70/511.82	c  511s |      25 |  8012547 |  6020998 |     1754   8937 |        3 |       12
513.70/513.82	c  513s |      25 |  8042399 |  6043098 |     1754   8962 |        3 |       12
515.69/515.82	c  515s |      25 |  8072091 |  6065798 |     1754   8988 |        3 |       12
517.69/517.83	c  517s |      25 |  8101752 |  6088398 |     1754   9013 |        3 |       12
519.69/519.84	c  519s |      25 |  8131172 |  6110898 |     1754   9039 |        3 |       12
521.69/521.85	c  521s |      25 |  8160920 |  6133398 |     1754   9063 |        4 |       16
523.69/523.85	c  523s |      25 |  8193876 |  6157298 |     1754   9090 |        4 |       16
525.70/525.86	c  525s |      25 |  8223297 |  6180398 |     1754   9116 |        4 |       16
527.69/527.87	c  527s |      25 |  8255226 |  6203798 |     1754   9143 |        4 |       16
529.69/529.87	c  529s |      25 |  8282056 |  6225198 |     1754   9166 |        5 |       20
531.69/531.87	c  531s |      25 |  8312763 |  6247998 |     1754   9192 |        5 |       20
533.69/533.88	c  533s |      25 |  8344257 |  6271498 |     1754   9219 |        5 |       20
535.70/535.88	c  535s |      25 |  8374796 |  6295498 |     1754   9245 |        6 |       24
537.69/537.89	c  537s |      25 |  8406683 |  6318898 |     1754   9271 |        6 |       24
539.49/539.65	c  539s |      25 |  8435668 |  6340673 |     1754   9291 |       25 |       80
539.49/539.65	c #cpu_time = 538.232s
539.49/539.65	c #wall_clock_time = 539.628s
539.49/539.65	c #decision = 8435668
539.49/539.65	c #random_decision = 41128
539.49/539.65	c #conflict = 6340673
539.49/539.65	c #restart = 25
539.49/539.65	s UNSATISFIABLE
539.49/539.65	c total CPU time = 538.252s
539.49/539.65	c total wall clock time = 539.647s

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.12 2.45 2.95 3/243 16659
/proc/meminfo: memFree=30128724/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=658876 CPUtime=0 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 2449 0 0 0 0 0 0 0 20 0 4 0 12204475 674689024 2810 33554432000 4194304 16246674 140734378058784 140734378058208 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 165487 2818 441 2943 0 162381 0
[pid=16659/tid=16660] ppid=16656 vsize=677308 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 693563392 2881 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=681404 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 697757696 2898 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 701952000 2914 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.12 2.45 2.95 3/243 16659
/proc/meminfo: memFree=30128724/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 25469 0 0 0 6 3 0 0 20 0 4 0 12204475 1247350784 25820 33554432000 4194304 16246674 140734378058784 140734378058208 5589685 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 304529 25831 709 2943 0 301423 0
[pid=16659/tid=16660] ppid=16656 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1247350784 25840 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1247350784 25849 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1247350784 25858 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200507 s]
/proc/loadavg: 2.12 2.45 2.95 3/243 16659
/proc/meminfo: memFree=30128724/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 48721 0 0 0 12 6 0 0 20 0 4 0 12204475 1247350784 49071 33554432000 4194304 16246674 140734378058784 140734378058208 5674637 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 304529 49079 709 2943 0 301423 0
[pid=16659/tid=16660] ppid=16656 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1247350784 49084 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1247350784 49093 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1247350784 49100 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300485 s]
/proc/loadavg: 2.12 2.45 2.95 3/243 16659
/proc/meminfo: memFree=30128724/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 71713 0 0 0 20 9 0 0 20 0 4 0 12204475 1247350784 72064 33554432000 4194304 16246674 140734378058784 140734378058208 5589685 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 304529 72076 709 2943 0 301423 0
[pid=16659/tid=16660] ppid=16656 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1247350784 72085 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1247350784 72095 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1247350784 72106 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700388 s]
/proc/loadavg: 2.12 2.45 2.95 3/243 16659
/proc/meminfo: memFree=30128724/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 164215 0 0 0 48 21 0 0 20 0 4 0 12204475 1247350784 164565 33554432000 4194304 16246674 140734378058784 140734378058208 5516309 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 304529 164574 709 2943 0 301423 0
[pid=16659/tid=16660] ppid=16656 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1247350784 164582 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1247350784 164588 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1247350784 164595 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.12 2.45 2.95 3/247 16663
/proc/meminfo: memFree=29146284/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 245576 0 0 0 116 33 0 0 20 0 4 0 12204475 1248399360 245906 33554432000 4194304 16246674 140734378058784 140734378058096 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 304785 245906 785 2943 0 301679 0
[pid=16659/tid=16660] ppid=16656 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1248399360 245906 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1248399360 245906 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1248399360 245906 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.12 2.45 2.95 3/247 16663
/proc/meminfo: memFree=29058600/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 267424 0 0 0 273 36 0 0 20 0 4 0 12204475 1337528320 267754 33554432000 4194304 16246674 140734378058784 140734378040704 5823230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 326545 267754 785 2943 0 323439 0
[pid=16659/tid=16660] ppid=16656 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1337528320 267754 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1337528320 267754 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1337528320 267754 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30042 s]
/proc/loadavg: 2.19 2.45 2.95 3/247 16663
/proc/meminfo: memFree=29057508/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 267451 0 0 0 593 36 0 0 20 0 4 0 12204475 1337528320 267781 33554432000 4194304 16246674 140734378058784 140734378040704 5860904 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 326545 267781 786 2943 0 323439 0
[pid=16659/tid=16660] ppid=16656 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1337528320 267781 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1337528320 267781 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1337528320 267781 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.17 2.45 2.95 3/247 16663
/proc/meminfo: memFree=29057596/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1306180 CPUtime=12.68 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 267467 0 0 0 1232 36 0 0 20 0 4 0 12204475 1337528320 267797 33554432000 4194304 16246674 140734378058784 140734378040704 13191840 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 326545 267797 787 2943 0 323439 0
[pid=16659/tid=16660] ppid=16656 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1337528320 267797 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1337528320 267797 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1337528320 267797 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.14 2.42 2.93 3/247 16663
/proc/meminfo: memFree=29057760/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 267569 0 0 0 2512 37 0 0 20 0 4 0 12204475 1337528320 267899 33554432000 4194304 16246674 140734378058784 140734378040704 13950184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 326545 267899 787 2943 0 323439 0
[pid=16659/tid=16660] ppid=16656 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1337528320 267899 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1337528320 267899 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1337528320 267899 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.17 2.41 2.91 3/247 16663
/proc/meminfo: memFree=29056860/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 267821 0 0 0 5070 38 0 0 20 0 4 0 12204475 1338576896 268151 33554432000 4194304 16246674 140734378058784 140734378040704 4225884 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 326801 268151 789 2943 0 323695 0
[pid=16659/tid=16660] ppid=16656 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1338576896 268151 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1338576896 268151 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1338576896 268151 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.14 2.36 2.87 3/247 16664
/proc/meminfo: memFree=29055612/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 267827 0 0 0 10189 39 0 0 20 0 4 0 12204475 1338576896 268157 33554432000 4194304 16246674 140734378058784 140734378040704 5672230 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 326801 268157 789 2943 0 323695 0
[pid=16659/tid=16660] ppid=16656 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1338576896 268157 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1338576896 268157 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1338576896 268157 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

[startup+402.3 s]
/proc/loadavg: 2.08 2.20 2.65 3/247 16670
/proc/meminfo: memFree=29055564/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1308228 CPUtime=402.23 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 267834 0 0 0 40171 52 0 0 20 0 4 0 12204475 1339625472 268164 33554432000 4194304 16246674 140734378058784 140734378041784 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 327057 268164 791 2943 0 323951 0
[pid=16659/tid=16660] ppid=16656 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1339625472 268164 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1339625472 268164 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1339625472 268164 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1308228

[startup+462.3 s]
/proc/loadavg: 2.10 2.18 2.61 3/248 16674
/proc/meminfo: memFree=29054896/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1308228 CPUtime=462.21 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 267834 0 0 0 46168 53 0 0 20 0 4 0 12204475 1339625472 268164 33554432000 4194304 16246674 140734378058784 140734378040704 5662371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 327057 268164 791 2943 0 323951 0
[pid=16659/tid=16660] ppid=16656 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1339625472 268164 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1339625472 268164 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1339625472 268164 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.04 2.14 2.57 3/247 16675
/proc/meminfo: memFree=29052452/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1309252 CPUtime=522.18 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 268134 0 0 0 52163 55 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140734378040704 5822252 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 327313 268695 791 2943 0 324207 0
[pid=16659/tid=16660] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 1309252

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

[startup+524.807 s]
/proc/loadavg: 2.04 2.14 2.57 3/247 16675
/proc/meminfo: memFree=29052312/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1309252 CPUtime=524.7 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 268134 0 0 0 52414 56 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140734378040704 5822604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 327313 268695 791 2943 0 324207 0
[pid=16659/tid=16660] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 524.7
Current children cumulated vsize (KiB) 1309252

[startup+531.2 s]
/proc/loadavg: 2.03 2.14 2.56 3/246 16675
/proc/meminfo: memFree=29052444/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1309252 CPUtime=531.09 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 268134 0 0 0 53053 56 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140734378040704 8224811 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 327313 268695 791 2943 0 324207 0
[pid=16659/tid=16660] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 531.09
Current children cumulated vsize (KiB) 1309252

[startup+534.4 s]
/proc/loadavg: 2.03 2.14 2.56 4/247 16676
/proc/meminfo: memFree=29052172/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1309252 CPUtime=534.29 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 268135 0 0 0 53373 56 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140734378040704 6011010 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 327313 268695 791 2943 0 324207 0
[pid=16659/tid=16660] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 534.29
Current children cumulated vsize (KiB) 1309252

[startup+537.6 s]
/proc/loadavg: 2.03 2.13 2.56 3/247 16676
/proc/meminfo: memFree=29052296/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1309252 CPUtime=537.49 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 268135 0 0 0 53693 56 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140734378040704 12659462 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 327313 268695 791 2943 0 324207 0
[pid=16659/tid=16660] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 537.49
Current children cumulated vsize (KiB) 1309252

[startup+538.4 s]
/proc/loadavg: 2.03 2.13 2.56 3/247 16676
/proc/meminfo: memFree=29052296/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1309252 CPUtime=538.29 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 268135 0 0 0 53773 56 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140734378041784 5677273 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 327313 268695 791 2943 0 324207 0
[pid=16659/tid=16660] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 538.29
Current children cumulated vsize (KiB) 1309252

[startup+539.2 s]
/proc/loadavg: 2.03 2.13 2.56 3/247 16676
/proc/meminfo: memFree=29052420/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1309252 CPUtime=539.09 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 268135 0 0 0 53853 56 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140734378040704 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 327313 268695 791 2943 0 324207 0
[pid=16659/tid=16660] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 539.09
Current children cumulated vsize (KiB) 1309252

[startup+539.6 s]
/proc/loadavg: 2.03 2.13 2.56 3/247 16676
/proc/meminfo: memFree=29052420/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=1309252 CPUtime=539.49 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) R 16656 16659 13211 0 -1 4202496 268135 0 0 0 53893 56 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140734378040704 5546868 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 327313 268695 791 2943 0 324207 0
[pid=16659/tid=16660] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) S 16656 16659 13211 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339726757104 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16659/tid=16661] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16661/stat : 16661 (toysat) S 16656 16659 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339716267248 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16659/tid=16662] ppid=16656 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/16659/task/16662/stat : 16662 (toysat) S 16656 16659 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12204475 1340674048 268695 33554432000 4194304 16246674 140734378058784 140339599895728 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 539.49
Current children cumulated vsize (KiB) 1309252

[startup+539.7 s]
/proc/loadavg: 2.03 2.13 2.56 3/247 16676
/proc/meminfo: memFree=29052420/32872528 swapFree=189444/189444
[pid=16659] ppid=16656 vsize=0 CPUtime=539.59 cores=1,3,5,7
/proc/16659/stat : 16659 (toysat) Z 16656 16659 13211 0 -1 4202508 268140 0 0 0 53898 61 0 0 20 0 2 0 12204475 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16659/statm: 0 0 0 0 0 0 0
[pid=16659/tid=16660] ppid=16656 vsize=0 CPUtime=0.03 cores=1,3,5,7
/proc/16659/task/16660/stat : 16660 (toysat) R 16656 16659 13211 0 -1 4202564 11 0 0 0 0 3 0 0 20 0 2 0 12204475 0 0 33554432000 0 0 0 0 0 256 0 33554432 0 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 539.59
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 539.705
CPU time (s): 539.597
CPU user time (s): 538.981
CPU system time (s): 0.615906
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 538.981
system time used= 0.615906
maximum resident set size= 1074792
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268140
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= 47
involuntary context switches= 753

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.9817 second user time and 2.95855 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-30 20:22:59
IDJOB=4120338
IDBENCH=109883
IDSOLVER=2542
FILE ID=node102/4120338-1467310979
RUNJOBID= node102-1467310764-16425
PBS_JOBID= 20005272
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n86-d3-i3-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-4120338-1467310979/watcher-4120338-1467310979 -o /tmp/evaluation-result-4120338-1467310979/solver-4120338-1467310979 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467310764-16425 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120338-1467310979.opb

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

MD5SUM BENCH= 2e8a9d28fba269487c6cec22db898564
RANDOM SEED=1240331258

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.744
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.49
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.744
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.54
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.744
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.744
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.744
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:        30129468 kB
Buffers:          155228 kB
Cached:           569264 kB
SwapCached:            0 kB
Active:          1392796 kB
Inactive:         418572 kB
Active(anon):    1089536 kB
Inactive(anon):        0 kB
Active(file):     303260 kB
Inactive(file):   418572 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16496 kB
Writeback:            20 kB
AnonPages:       1276180 kB
Mapped:            17800 kB
Shmem:               204 kB
Slab:             609592 kB
SReclaimable:      52772 kB
SUnreclaim:       556820 kB
KernelStack:        1992 kB
PageTables:         6936 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1425012 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    305152 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= 71636 MiB
End job on node102 at 2016-06-30 20:31:59