Trace number 4121410

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 579.521 579.611

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n80-d3-i3-r2.cnf.gz-plain.pb.metafix.opb
MD5SUMb7cc2e9182bca163cd86f717d868161b
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.37003
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables120
Total number of constraints320
Number of constraints which are clauses320
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:20:29+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-4121410-1467314429.opb"]
0.00/0.01	c use --random-gen="452694353 1380128562 2702309121 2131354303 4182783438 3398112333 2303427052 839958666 3462034349 1185315630 3729438516 3617272141 3821979453 480834143 1163470396 1793277357 3229625339 2894807770 2344652019 146528305 51813779 108611721 1144357427 2920083174 1129886078 1852749137 285036100 1262908542 238673226 1305253119 2733536477 2398749741 1413187291 2318776703 3479915443 1724580520 3831976728 911536041 453695843 3588277834 749856482 3503805850 4220953547 1619651231 182637707 1850686415 297890621 514128522 1656792954 104994322 1832381831 3040638709 3981889688 3829619305 949414697 3849953918 950793249 371901678 4145544050 171636967 645807838 1953806157 1538672049 2888707123 1215282829 4158920675 2250210987 3119236561 1978593817 1668806316 1381466270 2713018043 2968435130 3173619140 2020491459 584636831 3888973283 1296501617 4096622558 16103493 2500920452 198561313 4001614223 3763548720 37754969 1981391204 3710025543 2858754177 351899564 3754044767 2268135100 511694960 155644256 2568730150 663636465 3280543026 3298743934 3615831799 1705806163 4070054598 2332803422 168947003 360454899 4124411565 157273518 899769262 3242237092 729524878 2264742906 1829458271 1097331752 572685560 2719238439 1904220818 3577482250 1001324161 1689865137 2825214916 2134063949 1205842236 2016051110 2973445802 4087347782 1486037959 2449086914 1123006575 2440309972 2441434805 1045453941 429341308 2466631074 3613751930 3993315961 2723993285 4262482905 369632236 4258846297 2476191886 728501207 734932800 1062717666 691085899 1453279249 1813287991 60127325 2728567516 58889802 4123379715 3822711722 536459045 989261041 513725121 1366035185 1146629817 2286133219 1464746571 2814728038 2500534378 213214742 2802575202 3189388237 2209582598 1483337660 1452037998 3358936939 3947878985 2435217715 3677356850 3432717225 4116997694 2873007751 2534526036 3429084873 4146769783 2042654501 2132736930 980165756 1735107516 135804071 134995925 657617999 3430744289 322485682 3921623210 2508098427 1214595089 2788863186 1860642519 256971957 3788217993 2479124326 909168386 2390038061 2142203121 3369674397 2967228729 1695851285 1421967099 1192370297 1520105594 2573369961 3762424136 1993095832 4031882304 2556119381 1242191157 914354572 3823472215 3967501383 2354733270 3326093602 5265607 1373019554 3681823014 1106487180 1759088485 217841965 2370785343 2477012414 933972490 3787766849 2520202957 2012962946 935764165 3229409372 1626792953 1978615705 163677513 2929548013 1539637665 795134566 2901845983 2122163441 290408214 3305764996 3280647888 4227223614 2526141097 2089990848 3604641539 1679021063 2723269744 1723359026 1098904879 3724308067 3087737571 3860315816 2126722980 4198100623 3154764504 2870864643 2790056330 2569535833 2761208962 211082586 1857475274 255 362436" option to reproduce the execution
0.00/0.01	c #vars 120
0.00/0.01	c #constraints 320
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 |      146      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      163 |      100 |      146      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      396 |      250 |      161      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      734 |      475 |      178      3 |        0 |        0
0.00/0.10	c  0.1s |       4 |     1246 |      813 |      196      5 |        0 |        0
0.08/0.14	c  0.1s |       5 |     1866 |     1320 |      216      9 |        0 |        0
0.19/0.21	c  0.2s |       6 |     2975 |     2081 |      262     15 |        0 |        0
0.29/0.32	c  0.3s |       7 |     4383 |     3223 |      289     23 |        0 |        0
0.39/0.49	c  0.5s |       8 |     6393 |     4936 |      318     33 |        0 |        0
0.69/0.73	c  0.7s |       9 |    10143 |     7506 |      350     48 |        0 |        0
0.98/1.06	c  1.0s |      10 |    15427 |    11361 |      386     68 |        0 |        0
1.39/1.46	c  1.4s |      11 |    23074 |    17144 |      425     96 |        0 |        0
1.99/2.04	c  2.0s |      12 |    34261 |    25819 |      468    135 |        0 |        0
2.89/2.96	c  2.9s |      13 |    51828 |    38832 |      515    189 |        0 |        0
4.19/4.24	c  4.2s |      14 |    77491 |    58352 |      567    262 |        0 |        0
6.09/6.20	c  6.2s |      15 |   118530 |    87632 |      624    362 |        0 |        0
8.19/8.20	c  8.2s |      15 |   148680 |   110932 |      624    435 |        0 |        0
9.58/9.65	c  9.6s |      16 |   177169 |   131552 |      687    499 |        0 |        0
11.58/11.65	c 11.6s |      16 |   212418 |   159552 |      687    579 |        0 |        0
13.58/13.65	c 13.6s |      16 |   248462 |   187152 |      687    658 |        0 |        0
14.29/14.40	c 14.4s |      17 |   261343 |   197432 |      756    687 |        0 |        0
16.39/16.41	c 16.4s |      17 |   303046 |   227732 |      756    766 |        0 |        0
18.39/18.41	c 18.4s |      17 |   341879 |   256632 |      756    841 |        0 |        0
20.39/20.41	c 20.4s |      17 |   381959 |   285132 |      756    915 |        0 |        0
21.09/21.18	c 21.2s |      18 |   397223 |   296252 |      832    944 |        0 |        0
23.10/23.19	c 23.2s |      18 |   439887 |   327452 |      832   1018 |        0 |        0
25.09/25.19	c 25.2s |      18 |   481558 |   358552 |      832   1092 |        0 |        0
27.19/27.20	c 27.2s |      18 |   522689 |   388652 |      832   1163 |        0 |        0
29.19/29.21	c 29.2s |      18 |   559301 |   416652 |      832   1230 |        0 |        0
31.09/31.13	c 31.1s |      19 |   597754 |   444482 |      916   1295 |        0 |        0
33.09/33.14	c 33.1s |      19 |   636332 |   471282 |      916   1353 |        0 |        0
35.08/35.14	c 35.1s |      19 |   671108 |   497582 |      916   1410 |        0 |        0
37.08/37.15	c 37.1s |      19 |   706583 |   523882 |      916   1467 |        0 |        0
39.08/39.15	c 39.1s |      19 |   742046 |   550982 |      916   1525 |        0 |        0
41.08/41.15	c 41.1s |      19 |   779901 |   578682 |      916   1585 |        0 |        0
43.08/43.16	c 43.1s |      19 |   817965 |   607082 |      916   1647 |        0 |        0
45.09/45.16	c 45.1s |      19 |   854661 |   635582 |      916   1709 |        0 |        0
47.08/47.17	c 47.2s |      19 |   889571 |   662882 |     1008   1767 |        0 |        0
47.48/47.54	c 47.5s |      20 |   893792 |   666827 |     1008   1775 |        0 |        0
49.49/49.54	c 49.5s |      20 |   927749 |   692127 |     1008   1825 |        0 |        0
51.48/51.54	c 51.5s |      20 |   964522 |   718727 |     1008   1877 |        0 |        0
53.48/53.54	c 53.5s |      20 |   997520 |   744527 |     1008   1928 |        0 |        0
55.48/55.55	c 55.5s |      20 |  1032000 |   770527 |     1008   1979 |        0 |        0
57.48/57.55	c 57.5s |      20 |  1066105 |   796227 |     1008   2029 |        0 |        0
59.49/59.55	c 59.5s |      20 |  1095262 |   819827 |     1008   2076 |        0 |        0
61.48/61.56	c 61.5s |      20 |  1124948 |   843727 |     1008   2123 |        0 |        0
63.48/63.57	c 63.6s |      20 |  1152815 |   866327 |     1008   2167 |        0 |        0
65.48/65.57	c 65.6s |      20 |  1182142 |   889327 |     1008   2212 |        0 |        0
67.47/67.58	c 67.6s |      20 |  1213606 |   912627 |     1008   2258 |        0 |        0
69.47/69.59	c 69.6s |      20 |  1242728 |   936527 |     1008   2305 |        0 |        0
71.49/71.59	c 71.6s |      20 |  1272245 |   960727 |     1008   2353 |        0 |        0
73.48/73.59	c 73.6s |      20 |  1307417 |   986927 |     1008   2405 |        0 |        0
74.58/74.63	c 74.6s |      21 |  1327486 |  1000345 |     1109   2430 |        0 |        0
76.58/76.64	c 76.6s |      21 |  1359926 |  1025345 |     1109   2474 |        0 |        0
78.58/78.64	c 78.6s |      21 |  1391615 |  1048845 |     1109   2516 |        0 |        0
80.58/80.64	c 80.6s |      21 |  1423697 |  1073445 |     1109   2560 |        0 |        0
82.59/82.65	c 82.6s |      21 |  1456532 |  1098145 |     1109   2604 |        0 |        0
84.58/84.66	c 84.6s |      21 |  1488177 |  1121945 |     1109   2647 |        0 |        0
86.58/86.66	c 86.6s |      21 |  1516917 |  1145345 |     1109   2688 |        0 |        0
88.58/88.67	c 88.7s |      21 |  1550625 |  1169745 |     1109   2732 |        0 |        0
90.58/90.67	c 90.7s |      21 |  1584654 |  1195345 |     1109   2778 |        0 |        0
92.57/92.67	c 92.7s |      21 |  1620999 |  1221745 |     1109   2825 |        0 |        0
94.58/94.67	c 94.7s |      21 |  1653788 |  1246445 |     1109   2870 |        0 |        0
96.57/96.68	c 96.7s |      21 |  1685007 |  1271045 |     1109   2914 |        0 |        0
98.57/98.69	c 98.7s |      21 |  1719991 |  1297545 |     1109   2961 |        0 |        0
100.57/100.69	c  100s |      21 |  1756066 |  1324945 |     1109   3010 |        0 |        0
102.57/102.69	c  102s |      21 |  1792225 |  1351745 |     1109   3058 |        0 |        0
104.67/104.70	c  104s |      21 |  1827821 |  1378345 |     1109   3106 |        0 |        0
106.68/106.71	c  106s |      21 |  1864160 |  1405745 |     1109   3155 |        0 |        0
108.67/108.71	c  108s |      21 |  1898366 |  1431345 |     1109   3201 |        0 |        0
110.67/110.71	c  110s |      21 |  1936327 |  1458645 |     1109   3250 |        0 |        0
112.67/112.71	c  112s |      21 |  1975410 |  1486345 |     1109   3299 |        0 |        0
113.77/113.87	c  113s |      22 |  1995380 |  1500622 |     1220   3323 |        0 |        0
115.77/115.87	c  115s |      22 |  2028331 |  1526122 |     1220   3365 |        0 |        0
117.77/117.88	c  117s |      22 |  2062107 |  1552022 |     1220   3407 |        0 |        0
119.77/119.88	c  119s |      22 |  2096626 |  1578722 |     1220   3450 |        0 |        0
121.77/121.89	c  121s |      22 |  2131549 |  1604822 |     1220   3493 |        0 |        0
123.77/123.89	c  123s |      22 |  2168572 |  1631422 |     1220   3536 |        0 |        0
125.77/125.89	c  125s |      22 |  2205895 |  1658922 |     1220   3581 |        0 |        0
127.77/127.89	c  127s |      22 |  2238893 |  1684122 |     1220   3622 |        0 |        0
129.78/129.90	c  129s |      22 |  2275397 |  1711322 |     1220   3666 |        0 |        0
131.87/131.90	c  131s |      22 |  2311224 |  1738122 |     1220   3710 |        0 |        0
133.87/133.91	c  133s |      22 |  2347481 |  1765022 |     1220   3754 |        0 |        0
135.87/135.91	c  135s |      22 |  2379787 |  1790522 |     1220   3795 |        0 |        0
137.87/137.92	c  137s |      22 |  2414057 |  1816422 |     1220   3838 |        0 |        0
139.87/139.92	c  139s |      22 |  2447525 |  1842422 |     1220   3880 |        0 |        0
141.87/141.93	c  141s |      22 |  2476661 |  1866222 |     1220   3919 |        0 |        0
143.87/143.93	c  143s |      22 |  2505870 |  1890222 |     1220   3958 |        0 |        0
145.86/145.94	c  145s |      22 |  2539242 |  1915422 |     1220   3999 |        0 |        0
147.86/147.94	c  147s |      22 |  2570089 |  1939822 |     1220   4039 |        0 |        0
149.86/149.95	c  149s |      22 |  2602357 |  1963722 |     1220   4078 |        0 |        0
151.87/151.95	c  151s |      22 |  2636408 |  1988222 |     1220   4118 |        0 |        0
153.87/153.95	c  153s |      22 |  2670910 |  2013522 |     1220   4159 |        0 |        0
155.87/155.95	c  155s |      22 |  2702929 |  2038022 |     1220   4199 |        0 |        0
157.87/157.95	c  157s |      22 |  2738372 |  2064522 |     1220   4242 |        0 |        0
159.87/159.96	c  159s |      22 |  2774043 |  2091322 |     1220   4286 |        0 |        0
161.87/161.97	c  161s |      22 |  2809295 |  2117922 |     1220   4330 |        0 |        0
163.87/163.98	c  163s |      22 |  2846764 |  2144922 |     1220   4374 |        0 |        0
165.87/165.98	c  165s |      22 |  2881904 |  2170622 |     1220   4416 |        0 |        0
167.87/167.99	c  167s |      22 |  2915187 |  2196322 |     1220   4458 |        0 |        0
169.87/169.99	c  169s |      22 |  2947638 |  2221322 |     1220   4498 |        0 |        0
171.86/171.99	c  171s |      22 |  2977947 |  2244722 |     1342   4535 |        0 |        0
172.46/172.52	c  172s |      23 |  2986039 |  2251038 |     1342   4544 |        0 |        0
174.46/174.53	c  174s |      23 |  3018015 |  2275338 |     1342   4580 |        0 |        0
176.46/176.53	c  176s |      23 |  3048663 |  2298738 |     1342   4615 |        0 |        0
178.46/178.53	c  178s |      23 |  3081575 |  2323338 |     1342   4651 |        0 |        0
180.47/180.54	c  180s |      23 |  3112952 |  2347538 |     1342   4687 |        0 |        0
182.46/182.54	c  182s |      23 |  3146276 |  2372638 |     1342   4724 |        0 |        0
184.46/184.55	c  184s |      23 |  3173993 |  2394538 |     1342   4757 |        0 |        0
186.46/186.56	c  186s |      23 |  3203465 |  2417538 |     1342   4791 |        0 |        0
188.46/188.56	c  188s |      23 |  3239963 |  2443738 |     1342   4829 |        0 |        0
190.46/190.57	c  190s |      23 |  3275025 |  2469638 |     1342   4868 |        0 |        0
192.47/192.57	c  192s |      23 |  3308886 |  2495138 |     1342   4906 |        0 |        0
194.46/194.57	c  194s |      23 |  3346646 |  2521738 |     1342   4945 |        0 |        0
196.46/196.57	c  196s |      23 |  3379845 |  2547438 |     1342   4983 |        0 |        0
198.46/198.58	c  198s |      23 |  3414049 |  2573438 |     1342   5022 |        0 |        0
200.46/200.58	c  200s |      23 |  3448353 |  2599138 |     1342   5060 |        0 |        0
202.46/202.59	c  202s |      23 |  3478523 |  2622538 |     1342   5094 |        0 |        0
204.46/204.60	c  204s |      23 |  3510236 |  2647038 |     1342   5131 |        0 |        0
206.56/206.61	c  206s |      23 |  3542965 |  2671838 |     1342   5167 |        0 |        0
208.55/208.61	c  208s |      23 |  3574705 |  2696338 |     1342   5204 |        0 |        0
210.55/210.61	c  210s |      23 |  3606616 |  2721038 |     1342   5240 |        0 |        0
212.55/212.61	c  212s |      23 |  3640254 |  2746238 |     1342   5278 |        0 |        0
214.57/214.62	c  214s |      23 |  3674857 |  2771738 |     1342   5316 |        0 |        0
216.56/216.63	c  216s |      23 |  3704769 |  2794438 |     1342   5349 |        0 |        0
218.56/218.63	c  218s |      23 |  3738342 |  2819438 |     1342   5386 |        0 |        0
220.56/220.63	c  220s |      23 |  3774383 |  2845838 |     1342   5425 |        0 |        0
222.56/222.64	c  222s |      23 |  3803735 |  2868538 |     1342   5459 |        0 |        0
224.56/224.64	c  224s |      23 |  3838070 |  2894038 |     1342   5497 |        0 |        0
226.56/226.65	c  226s |      23 |  3873716 |  2919938 |     1342   5535 |        0 |        0
228.56/228.65	c  228s |      23 |  3909202 |  2945238 |     1342   5573 |        0 |        0
230.55/230.66	c  230s |      23 |  3944391 |  2971138 |     1342   5611 |        0 |        0
232.55/232.66	c  232s |      23 |  3979030 |  2996738 |     1342   5649 |        0 |        0
234.55/234.67	c  234s |      23 |  4006306 |  3019138 |     1342   5683 |        0 |        0
236.56/236.67	c  236s |      23 |  4040896 |  3044638 |     1342   5720 |        0 |        0
238.55/238.67	c  238s |      23 |  4071940 |  3068038 |     1342   5755 |        0 |        0
240.55/240.68	c  240s |      23 |  4107287 |  3093238 |     1342   5793 |        0 |        0
242.55/242.69	c  242s |      23 |  4142766 |  3119138 |     1342   5831 |        0 |        0
244.55/244.69	c  244s |      23 |  4175805 |  3144138 |     1342   5868 |        0 |        0
246.55/246.69	c  246s |      23 |  4205168 |  3167338 |     1342   5902 |        0 |        0
248.56/248.69	c  248s |      23 |  4237262 |  3191538 |     1342   5938 |        0 |        0
250.65/250.70	c  250s |      23 |  4272038 |  3217438 |     1342   5977 |        0 |        0
252.65/252.71	c  252s |      23 |  4308814 |  3243538 |     1342   6015 |        0 |        0
254.65/254.71	c  254s |      23 |  4343798 |  3269538 |     1342   6054 |        0 |        0
256.65/256.71	c  256s |      23 |  4376971 |  3294138 |     1342   6090 |        0 |        0
258.64/258.71	c  258s |      23 |  4412757 |  3319838 |     1342   6128 |        0 |        0
260.66/260.72	c  260s |      23 |  4448668 |  3345838 |     1342   6167 |        0 |        0
262.65/262.72	c  262s |      23 |  4481754 |  3370138 |     1477   6200 |        0 |        0
263.15/263.26	c  263s |      24 |  4491044 |  3376662 |     1477   6209 |        0 |        0
265.16/265.26	c  265s |      24 |  4519297 |  3398562 |     1477   6239 |        0 |        0
267.15/267.26	c  267s |      24 |  4547405 |  3420762 |     1477   6269 |        0 |        0
269.15/269.27	c  269s |      24 |  4579218 |  3444662 |     1477   6301 |        0 |        0
271.15/271.27	c  271s |      24 |  4612529 |  3469462 |     1477   6334 |        0 |        0
273.15/273.28	c  273s |      24 |  4647198 |  3493862 |     1477   6367 |        0 |        0
275.15/275.28	c  275s |      24 |  4684019 |  3519662 |     1477   6402 |        0 |        0
277.16/277.29	c  277s |      24 |  4716379 |  3543662 |     1477   6434 |        0 |        0
279.15/279.29	c  279s |      24 |  4744574 |  3565462 |     1477   6463 |        0 |        0
281.15/281.30	c  281s |      24 |  4774647 |  3588262 |     1477   6494 |        0 |        0
283.25/283.30	c  283s |      24 |  4807805 |  3611762 |     1477   6526 |        0 |        0
285.25/285.30	c  285s |      24 |  4840667 |  3635162 |     1477   6557 |        0 |        0
287.24/287.30	c  287s |      24 |  4872245 |  3657962 |     1477   6588 |        0 |        0
289.25/289.30	c  289s |      24 |  4902814 |  3680662 |     1477   6619 |        0 |        0
291.24/291.31	c  291s |      24 |  4933397 |  3703162 |     1477   6649 |        0 |        0
293.24/293.32	c  293s |      24 |  4964230 |  3726562 |     1477   6681 |        0 |        0
295.24/295.32	c  295s |      24 |  4993095 |  3749062 |     1477   6711 |        0 |        0
297.24/297.33	c  297s |      24 |  5021012 |  3771262 |     1477   6741 |        0 |        0
299.25/299.33	c  299s |      24 |  5053364 |  3795162 |     1477   6773 |        0 |        0
301.24/301.34	c  301s |      24 |  5079643 |  3816362 |     1477   6802 |        0 |        0
303.25/303.34	c  303s |      24 |  5109697 |  3838862 |     1477   6832 |        0 |        0
305.25/305.35	c  305s |      24 |  5143808 |  3862862 |     1477   6864 |        0 |        0
307.25/307.36	c  307s |      24 |  5179254 |  3887862 |     1477   6898 |        0 |        0
309.24/309.36	c  309s |      24 |  5214347 |  3912962 |     1477   6932 |        0 |        0
311.25/311.36	c  311s |      24 |  5247410 |  3936862 |     1477   6964 |        0 |        0
313.24/313.37	c  313s |      24 |  5279721 |  3960462 |     1477   6996 |        0 |        0
315.24/315.38	c  315s |      24 |  5312695 |  3984262 |     1477   7028 |        0 |        0
317.24/317.38	c  317s |      24 |  5339125 |  4005162 |     1477   7056 |        0 |        0
319.24/319.38	c  319s |      24 |  5369350 |  4027962 |     1477   7087 |        0 |        0
321.25/321.39	c  321s |      24 |  5401867 |  4051862 |     1477   7119 |        0 |        0
323.24/323.39	c  323s |      24 |  5431397 |  4074762 |     1477   7150 |        0 |        0
325.34/325.40	c  325s |      24 |  5464027 |  4099562 |     1477   7184 |        0 |        0
327.34/327.40	c  327s |      24 |  5496038 |  4123762 |     1477   7216 |        0 |        0
329.34/329.41	c  329s |      24 |  5526353 |  4147162 |     1477   7248 |        0 |        0
331.34/331.41	c  331s |      24 |  5558673 |  4170962 |     1477   7280 |        0 |        0
333.34/333.41	c  333s |      24 |  5591941 |  4194562 |     1477   7312 |        0 |        0
335.33/335.42	c  335s |      24 |  5621311 |  4216962 |     1477   7342 |        0 |        0
337.33/337.42	c  337s |      24 |  5647781 |  4238462 |     1477   7371 |        0 |        0
339.33/339.43	c  339s |      24 |  5674888 |  4260262 |     1477   7401 |        0 |        0
341.33/341.44	c  341s |      24 |  5705144 |  4283062 |     1477   7432 |        0 |        0
343.33/343.44	c  343s |      24 |  5736418 |  4306962 |     1477   7464 |        0 |        0
345.34/345.44	c  345s |      24 |  5764445 |  4329062 |     1477   7494 |        0 |        0
347.33/347.45	c  347s |      24 |  5795919 |  4351862 |     1477   7524 |        0 |        0
349.33/349.46	c  349s |      24 |  5827635 |  4374962 |     1477   7556 |        0 |        0
351.33/351.47	c  351s |      24 |  5861049 |  4398762 |     1477   7588 |        0 |        0
353.33/353.47	c  353s |      24 |  5892085 |  4421962 |     1477   7619 |        0 |        0
355.34/355.48	c  355s |      24 |  5923898 |  4445562 |     1477   7651 |        0 |        0
357.33/357.48	c  357s |      24 |  5956390 |  4469162 |     1477   7682 |        0 |        0
359.33/359.48	c  359s |      24 |  5990100 |  4493362 |     1477   7715 |        0 |        0
361.33/361.49	c  361s |      24 |  6023380 |  4517162 |     1477   7747 |        0 |        0
363.34/363.49	c  363s |      24 |  6057180 |  4541362 |     1477   7780 |        0 |        0
365.44/365.50	c  365s |      24 |  6088894 |  4564862 |     1477   7811 |        0 |        0
367.34/367.50	c  367s |      24 |  6115170 |  4586262 |     1477   7840 |        0 |        0
369.43/369.51	c  369s |      24 |  6140548 |  4607362 |     1477   7869 |        0 |        0
371.43/371.52	c  371s |      24 |  6167829 |  4628962 |     1477   7898 |        0 |        0
373.43/373.52	c  373s |      24 |  6197372 |  4651662 |     1477   7928 |        0 |        0
375.43/375.53	c  375s |      24 |  6228048 |  4674662 |     1477   7959 |        0 |        0
377.43/377.53	c  377s |      24 |  6260373 |  4698662 |     1477   7992 |        0 |        0
379.44/379.54	c  379s |      24 |  6293632 |  4723562 |     1477   8025 |        0 |        0
381.43/381.54	c  381s |      24 |  6326999 |  4747862 |     1477   8058 |        0 |        0
383.43/383.55	c  383s |      24 |  6360575 |  4772562 |     1477   8091 |        0 |        0
385.43/385.55	c  385s |      24 |  6394706 |  4797562 |     1477   8125 |        0 |        0
387.43/387.56	c  387s |      24 |  6423837 |  4819262 |     1477   8154 |        0 |        0
389.44/389.57	c  389s |      24 |  6454892 |  4842062 |     1477   8185 |        0 |        0
391.43/391.57	c  391s |      24 |  6486813 |  4866062 |     1477   8217 |        0 |        0
393.43/393.57	c  393s |      24 |  6515990 |  4889362 |     1477   8249 |        0 |        0
395.43/395.58	c  395s |      24 |  6545872 |  4912262 |     1477   8280 |        0 |        0
397.43/397.58	c  397s |      24 |  6574898 |  4934962 |     1477   8310 |        0 |        0
399.43/399.59	c  399s |      24 |  6604770 |  4958562 |     1477   8342 |        0 |        0
401.44/401.59	c  401s |      24 |  6635647 |  4981962 |     1477   8373 |        0 |        0
403.53/403.60	c  403s |      24 |  6667479 |  5005862 |     1477   8406 |        0 |        0
405.53/405.60	c  405s |      24 |  6698478 |  5029662 |     1625   8437 |        0 |        0
407.53/407.60	c  407s |      24 |  6729612 |  5052862 |     1625   8466 |        0 |        0
408.53/408.67	c  408s |      25 |  6745145 |  5065098 |     1625   8481 |        0 |        0
410.53/410.67	c  410s |      25 |  6779673 |  5089698 |     1625   8511 |        0 |        0
412.53/412.67	c  412s |      25 |  6812583 |  5114398 |     1625   8541 |        0 |        0
414.53/414.67	c  414s |      25 |  6844350 |  5138698 |     1625   8571 |        0 |        0
416.53/416.68	c  416s |      25 |  6876184 |  5162298 |     1625   8600 |        0 |        0
418.52/418.68	c  418s |      25 |  6907656 |  5185698 |     1625   8629 |        0 |        0
420.52/420.68	c  420s |      25 |  6936621 |  5207698 |     1625   8656 |        0 |        0
422.52/422.69	c  422s |      25 |  6970011 |  5231898 |     1625   8685 |        0 |        0
424.53/424.69	c  424s |      25 |  7002124 |  5255798 |     1625   8714 |        0 |        0
426.52/426.69	c  426s |      25 |  7034306 |  5279498 |     1625   8744 |        0 |        0
428.52/428.69	c  428s |      25 |  7065282 |  5303198 |     1625   8773 |        0 |        0
430.62/430.70	c  430s |      25 |  7095082 |  5325398 |     1625   8800 |        0 |        0
432.62/432.71	c  432s |      25 |  7120530 |  5346298 |     1625   8825 |        0 |        0
434.62/434.71	c  434s |      25 |  7149051 |  5368398 |     1625   8852 |        0 |        0
436.63/436.72	c  436s |      25 |  7178886 |  5391298 |     1625   8880 |        0 |        0
438.62/438.73	c  438s |      25 |  7207754 |  5413598 |     1625   8908 |        0 |        0
440.62/440.73	c  440s |      25 |  7237856 |  5435898 |     1625   8935 |        0 |        0
442.62/442.73	c  442s |      25 |  7268851 |  5459098 |     1625   8964 |        0 |        0
444.62/444.73	c  444s |      25 |  7299732 |  5482098 |     1625   8992 |        0 |        0
446.63/446.73	c  446s |      25 |  7325333 |  5502698 |     1625   9017 |        0 |        0
448.62/448.74	c  448s |      25 |  7356015 |  5525698 |     1625   9045 |        0 |        0
450.62/450.74	c  450s |      25 |  7386675 |  5548698 |     1625   9073 |        0 |        0
452.62/452.75	c  452s |      25 |  7414966 |  5570698 |     1625   9100 |        0 |        0
454.62/454.76	c  454s |      25 |  7444668 |  5593098 |     1625   9128 |        0 |        0
456.62/456.76	c  456s |      25 |  7476739 |  5616398 |     1625   9156 |        0 |        0
458.62/458.77	c  458s |      25 |  7508831 |  5640198 |     1625   9185 |        0 |        0
460.62/460.77	c  460s |      25 |  7540495 |  5664098 |     1625   9213 |        1 |        4
462.61/462.78	c  462s |      25 |  7567382 |  5684698 |     1625   9239 |        1 |        4
464.61/464.79	c  464s |      25 |  7594871 |  5705898 |     1625   9264 |        1 |        4
466.61/466.79	c  466s |      25 |  7622083 |  5726998 |     1625   9290 |        1 |        4
468.62/468.79	c  468s |      25 |  7647522 |  5747498 |     1625   9315 |        1 |        4
470.62/470.80	c  470s |      25 |  7675190 |  5768798 |     1625   9341 |        1 |        4
472.72/472.81	c  472s |      25 |  7700397 |  5788698 |     1625   9366 |        1 |        4
474.72/474.82	c  474s |      25 |  7730398 |  5810898 |     1625   9393 |        1 |        4
476.72/476.82	c  476s |      25 |  7758222 |  5832298 |     1625   9419 |        1 |        4
478.72/478.82	c  478s |      25 |  7786388 |  5852898 |     1625   9444 |        1 |        4
480.72/480.83	c  480s |      25 |  7814847 |  5873598 |     1625   9470 |        1 |        4
482.71/482.83	c  482s |      25 |  7842175 |  5893498 |     1625   9494 |        1 |        4
484.71/484.83	c  484s |      25 |  7868263 |  5913898 |     1625   9519 |        1 |        4
486.71/486.83	c  486s |      25 |  7894600 |  5935498 |     1625   9545 |        1 |        4
488.71/488.83	c  488s |      25 |  7924117 |  5957498 |     1625   9572 |        1 |        4
490.71/490.84	c  490s |      25 |  7946068 |  5974998 |     1625   9594 |        1 |        4
492.72/492.84	c  492s |      25 |  7968564 |  5992498 |     1625   9615 |        1 |        4
494.71/494.84	c  494s |      25 |  7993261 |  6011298 |     1625   9638 |        1 |        4
496.71/496.85	c  496s |      25 |  8020884 |  6032298 |     1625   9664 |        1 |        4
498.72/498.85	c  498s |      25 |  8048278 |  6052998 |     1625   9689 |        1 |        4
500.72/500.85	c  500s |      25 |  8075204 |  6073298 |     1625   9714 |        1 |        4
502.72/502.86	c  502s |      25 |  8103348 |  6094198 |     1625   9740 |        1 |        4
504.72/504.86	c  504s |      25 |  8131925 |  6115598 |     1625   9766 |        1 |        4
506.72/506.86	c  506s |      25 |  8160503 |  6137698 |     1625   9793 |        1 |        4
508.71/508.87	c  508s |      25 |  8190595 |  6160398 |     1625   9821 |        1 |        4
510.71/510.87	c  510s |      25 |  8220509 |  6182598 |     1625   9848 |        1 |        4
512.71/512.88	c  512s |      25 |  8249841 |  6205198 |     1625   9876 |        1 |        4
514.72/514.88	c  514s |      25 |  8278645 |  6226898 |     1625   9902 |        1 |        4
516.71/516.88	c  516s |      25 |  8306055 |  6248298 |     1625   9928 |        1 |        4
518.71/518.88	c  518s |      25 |  8336202 |  6271498 |     1625   9957 |        1 |        4
520.71/520.89	c  520s |      25 |  8365621 |  6294198 |     1625   9985 |        1 |        4
522.81/522.90	c  522s |      25 |  8394034 |  6316198 |     1625  10011 |        1 |        4
524.81/524.90	c  524s |      25 |  8423323 |  6338498 |     1625  10039 |        1 |        4
526.81/526.91	c  526s |      25 |  8453149 |  6361598 |     1625  10067 |        1 |        4
528.81/528.91	c  528s |      25 |  8482234 |  6384298 |     1625  10095 |        1 |        4
530.81/530.91	c  530s |      25 |  8509455 |  6405698 |     1625  10120 |        2 |        8
532.81/532.91	c  532s |      25 |  8536374 |  6426598 |     1625  10145 |        2 |        8
534.81/534.92	c  534s |      25 |  8562365 |  6447598 |     1625  10171 |        2 |        8
536.82/536.92	c  536s |      25 |  8593010 |  6470098 |     1625  10199 |        2 |        8
538.81/538.93	c  538s |      25 |  8624436 |  6493198 |     1625  10227 |        2 |        8
540.81/540.94	c  540s |      25 |  8655790 |  6516598 |     1625  10256 |        2 |        8
542.81/542.95	c  542s |      25 |  8688799 |  6540598 |     1625  10285 |        2 |        8
544.81/544.95	c  544s |      25 |  8717914 |  6563498 |     1625  10313 |        2 |        8
546.81/546.95	c  546s |      25 |  8750283 |  6587198 |     1625  10342 |        2 |        8
548.81/548.95	c  548s |      25 |  8780984 |  6610198 |     1625  10369 |        3 |       12
550.81/550.96	c  550s |      25 |  8809069 |  6631998 |     1625  10396 |        3 |       12
552.81/552.96	c  552s |      25 |  8834904 |  6653198 |     1625  10421 |        3 |       12
554.80/554.97	c  554s |      25 |  8861320 |  6673698 |     1625  10447 |        3 |       12
556.80/556.97	c  556s |      25 |  8890343 |  6695698 |     1625  10473 |        3 |       12
558.81/558.98	c  558s |      25 |  8919856 |  6717498 |     1625  10500 |        3 |       12
560.80/560.99	c  560s |      25 |  8950121 |  6740098 |     1625  10528 |        3 |       12
562.80/562.99	c  562s |      25 |  8980572 |  6762998 |     1625  10556 |        3 |       12
564.90/565.00	c  564s |      25 |  9011410 |  6786298 |     1625  10584 |        3 |       12
566.90/567.00	c  566s |      25 |  9040277 |  6808598 |     1625  10612 |        3 |       12
568.90/569.01	c  568s |      25 |  9070309 |  6831598 |     1625  10638 |        4 |       16
570.90/571.01	c  570s |      25 |  9100442 |  6854498 |     1625  10666 |        4 |       16
572.90/573.01	c  572s |      25 |  9130758 |  6877998 |     1625  10695 |        4 |       16
574.90/575.01	c  574s |      25 |  9161217 |  6901098 |     1625  10722 |        5 |       20
576.91/577.02	c  577s |      25 |  9193865 |  6925298 |     1625  10751 |        6 |       24
578.91/579.02	c  579s |      25 |  9224898 |  6948998 |     1625  10778 |        8 |       32
579.40/579.55	c  579s |      25 |  9234311 |  6955941 |     1625  10783 |       32 |       76
579.40/579.55	c #cpu_time = 578.020s
579.40/579.55	c #wall_clock_time = 579.532s
579.40/579.55	c #decision = 9234311
579.40/579.55	c #random_decision = 44523
579.40/579.55	c #conflict = 6955941
579.40/579.55	c #restart = 25
579.40/579.55	s UNSATISFIABLE
579.40/579.55	c total CPU time = 578.039s
579.40/579.55	c total wall clock time = 579.550s

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

pid=17738
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.00 2.00 2.02 3/244 17741
/proc/meminfo: memFree=30124032/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=719292 CPUtime=0 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 2681 0 0 0 0 0 0 0 20 0 4 0 12549415 736555008 3042 33554432000 4194304 16246674 140737108390880 140737108390304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 180335 3051 441 2943 0 177229 0
[pid=17741/tid=17742] ppid=17738 vsize=736700 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 754380800 3111 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 758575104 3128 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12549415 762769408 3144 33554432000 4194304 16246674 140737108390880 140318137633968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100165 s]
/proc/loadavg: 2.00 2.00 2.02 3/244 17741
/proc/meminfo: memFree=30124032/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 26242 0 0 0 5 3 0 0 20 0 4 0 12549415 1247350784 26593 33554432000 4194304 16246674 140737108390880 140737108390304 5532301 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 304529 26604 708 2943 0 301423 0
[pid=17741/tid=17742] ppid=17738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1247350784 26611 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1247350784 26620 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12549415 1247350784 26628 33554432000 4194304 16246674 140737108390880 140318137633968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200482 s]
/proc/loadavg: 2.00 2.00 2.02 3/244 17741
/proc/meminfo: memFree=30124032/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 50540 0 0 0 12 7 0 0 20 0 4 0 12549415 1247350784 50890 33554432000 4194304 16246674 140737108390880 140737108390304 5589685 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 304529 50904 708 2943 0 301423 0
[pid=17741/tid=17742] ppid=17738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1247350784 50913 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1247350784 50923 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12549415 1247350784 50932 33554432000 4194304 16246674 140737108390880 140318137633968 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.300463 s]
/proc/loadavg: 2.00 2.00 2.02 3/244 17741
/proc/meminfo: memFree=30124032/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 74663 0 0 0 19 10 0 0 20 0 4 0 12549415 1247350784 75013 33554432000 4194304 16246674 140737108390880 140737108390304 6024617 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 304529 75025 708 2943 0 301423 0
[pid=17741/tid=17742] ppid=17738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1247350784 75034 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1247350784 75040 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12549415 1247350784 75047 33554432000 4194304 16246674 140737108390880 140318137633968 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.700395 s]
/proc/loadavg: 2.00 2.00 2.02 3/244 17741
/proc/meminfo: memFree=30124032/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 169717 0 0 0 46 23 0 0 20 0 4 0 12549415 1247350784 170067 33554432000 4194304 16246674 140737108390880 140737108373880 13954518 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 304529 170077 708 2943 0 301423 0
[pid=17741/tid=17742] ppid=17738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1247350784 170085 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1247350784 170092 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12549415 1247350784 170100 33554432000 4194304 16246674 140737108390880 140318137633968 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.5004 s]
/proc/loadavg: 2.00 2.00 2.02 3/248 17745
/proc/meminfo: memFree=29141764/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 245575 0 0 0 114 35 0 0 20 0 4 0 12549415 1248399360 245905 33554432000 4194304 16246674 140737108390880 140737108390192 5546195 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 304785 245905 785 2943 0 301679 0
[pid=17741/tid=17742] ppid=17738 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1248399360 245905 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1248399360 245905 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1248399360 245905 33554432000 4194304 16246674 140737108390880 140318137633968 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.1004 s]
/proc/loadavg: 2.00 2.00 2.02 3/248 17745
/proc/meminfo: memFree=29054204/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 267374 0 0 0 271 38 0 0 20 0 4 0 12549415 1337528320 267704 33554432000 4194304 16246674 140737108390880 140737108389976 13194491 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 326545 267704 785 2943 0 323439 0
[pid=17741/tid=17742] ppid=17738 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1337528320 267704 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1337528320 267704 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1337528320 267704 33554432000 4194304 16246674 140737108390880 140318137633968 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.30041 s]
/proc/loadavg: 2.00 2.00 2.02 3/248 17745
/proc/meminfo: memFree=29052884/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 267437 0 0 0 591 38 0 0 20 0 4 0 12549415 1337528320 267767 33554432000 4194304 16246674 140737108390880 140737108373880 5672188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 326545 267767 785 2943 0 323439 0
[pid=17741/tid=17742] ppid=17738 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1337528320 267767 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1337528320 267767 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1337528320 267767 33554432000 4194304 16246674 140737108390880 140318137633968 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.08 2.02 2.02 3/248 17745
/proc/meminfo: memFree=29052988/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 267501 0 0 0 1230 38 0 0 20 0 4 0 12549415 1337528320 267831 33554432000 4194304 16246674 140737108390880 140737108373880 6012036 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 326545 267831 787 2943 0 323439 0
[pid=17741/tid=17742] ppid=17738 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1337528320 267831 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1337528320 267831 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1337528320 267831 33554432000 4194304 16246674 140737108390880 140318137633968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.07 2.02 2.02 3/248 17745
/proc/meminfo: memFree=29052156/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 267502 0 0 0 2510 39 0 0 20 0 4 0 12549415 1337528320 267832 33554432000 4194304 16246674 140737108390880 140737108373880 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 326545 267832 788 2943 0 323439 0
[pid=17741/tid=17742] ppid=17738 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1337528320 267832 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1337528320 267832 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1337528320 267832 33554432000 4194304 16246674 140737108390880 140318137633968 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.04 2.01 2.02 3/247 17745
/proc/meminfo: memFree=29050656/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 267811 0 0 0 5069 39 0 0 20 0 4 0 12549415 1338576896 268141 33554432000 4194304 16246674 140737108390880 140737108373880 13950218 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 326801 268141 788 2943 0 323695 0
[pid=17741/tid=17742] ppid=17738 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1338576896 268141 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1338576896 268141 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1338576896 268141 33554432000 4194304 16246674 140737108390880 140318137633968 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.02 2.01 2.01 3/247 17746
/proc/meminfo: memFree=29050828/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 267828 0 0 0 10188 40 0 0 20 0 4 0 12549415 1338576896 268158 33554432000 4194304 16246674 140737108390880 140737108373880 5831987 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 326801 268158 790 2943 0 323695 0
[pid=17741/tid=17742] ppid=17738 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1338576896 268158 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1338576896 268158 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1338576896 268158 33554432000 4194304 16246674 140737108390880 140318137633968 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+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/247 17752
/proc/meminfo: memFree=29049724/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1308228 CPUtime=402.23 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 267933 0 0 0 40176 47 0 0 20 0 4 0 12549415 1339625472 268263 33554432000 4194304 16246674 140737108390880 140737108373880 5673015 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 327057 268263 791 2943 0 323951 0
[pid=17741/tid=17742] ppid=17738 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1339625472 268263 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1339625472 268263 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1339625472 268263 33554432000 4194304 16246674 140737108390880 140318137633968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.06 2.02 2.00 3/247 17754
/proc/meminfo: memFree=29049264/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1308228 CPUtime=462.21 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 267967 0 0 0 46174 47 0 0 20 0 4 0 12549415 1339625472 268297 33554432000 4194304 16246674 140737108390880 140737108373880 5822252 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 327057 268297 791 2943 0 323951 0
[pid=17741/tid=17742] ppid=17738 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1339625472 268297 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1339625472 268297 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1339625472 268297 33554432000 4194304 16246674 140737108390880 140318137633968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.07 2.03 2.00 3/246 17755
/proc/meminfo: memFree=29049316/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1308228 CPUtime=522.21 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 267967 0 0 0 52172 49 0 0 20 0 4 0 12549415 1339625472 268297 33554432000 4194304 16246674 140737108390880 140737108373880 6843844 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 327057 268297 791 2943 0 323951 0
[pid=17741/tid=17742] ppid=17738 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1339625472 268297 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1339625472 268297 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1339625472 268297 33554432000 4194304 16246674 140737108390880 140318137633968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1308228

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

[startup+537.6 s]
/proc/loadavg: 2.06 2.02 2.00 3/246 17755
/proc/meminfo: memFree=29048540/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1309252 CPUtime=537.51 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 268103 0 0 0 53701 50 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140737108373880 6018788 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 327313 268433 791 2943 0 324207 0
[pid=17741/tid=17742] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318137633968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 537.51
Current children cumulated vsize (KiB) 1309252

[startup+563.2 s]
/proc/loadavg: 2.04 2.02 2.00 3/246 17756
/proc/meminfo: memFree=29048764/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1309252 CPUtime=563.11 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 268103 0 0 0 56261 50 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140737108373880 13954525 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 327313 268433 791 2943 0 324207 0
[pid=17741/tid=17742] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318137633968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 563.11
Current children cumulated vsize (KiB) 1309252

[startup+569.6 s]
/proc/loadavg: 2.03 2.02 2.00 3/247 17757
/proc/meminfo: memFree=29048128/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1309252 CPUtime=569.5 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 268103 0 0 0 56900 50 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140737108373880 5724019 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 327313 268433 791 2943 0 324207 0
[pid=17741/tid=17742] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318137633968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 569.5
Current children cumulated vsize (KiB) 1309252

[startup+576 s]
/proc/loadavg: 2.11 2.04 2.01 3/248 17760
/proc/meminfo: memFree=29047328/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1309252 CPUtime=575.9 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 268103 0 0 0 57540 50 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140737108373880 13906976 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 327313 268433 791 2943 0 324207 0
[pid=17741/tid=17742] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318137633968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 575.9
Current children cumulated vsize (KiB) 1309252

[startup+577.607 s]
/proc/loadavg: 2.10 2.04 2.00 3/248 17760
/proc/meminfo: memFree=29047464/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1309252 CPUtime=577.51 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 268103 0 0 0 57700 51 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140737108373880 6012890 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 327313 268433 791 2943 0 324207 0
[pid=17741/tid=17742] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318137633968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 577.51
Current children cumulated vsize (KiB) 1309252

[startup+578.4 s]
/proc/loadavg: 2.10 2.04 2.00 3/248 17760
/proc/meminfo: memFree=29047464/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1309252 CPUtime=578.31 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 268103 0 0 0 57780 51 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140737108373880 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 327313 268433 791 2943 0 324207 0
[pid=17741/tid=17742] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318137633968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 578.31
Current children cumulated vsize (KiB) 1309252

[startup+579.2 s]
/proc/loadavg: 2.10 2.04 2.00 3/248 17760
/proc/meminfo: memFree=29047588/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=1309252 CPUtime=579.11 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202496 268103 0 0 0 57860 51 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140737108373880 12483624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 327313 268433 791 2943 0 324207 0
[pid=17741/tid=17742] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17742/stat : 17742 (toysat) S 17738 17741 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318158597360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17741/tid=17743] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17743/stat : 17743 (toysat) S 17738 17741 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318148107504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17741/tid=17744] ppid=17738 vsize=1309252 CPUtime=0 cores=0,2,4,6
/proc/17741/task/17744/stat : 17744 (toysat) S 17738 17741 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12549415 1340674048 268433 33554432000 4194304 16246674 140737108390880 140318137633968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 579.11
Current children cumulated vsize (KiB) 1309252

[startup+579.6 s]
/proc/loadavg: 2.10 2.04 2.00 3/248 17760
/proc/meminfo: memFree=29047588/32872528 swapFree=189444/189444
[pid=17741] ppid=17738 vsize=0 CPUtime=579.5 cores=0,2,4,6
/proc/17741/stat : 17741 (toysat) R 17738 17741 13211 0 -1 4202500 268108 0 0 0 57895 55 0 0 20 0 1 0 12549415 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17741/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 579.5
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 579.611
CPU time (s): 579.521
CPU user time (s): 578.953
CPU system time (s): 0.567913
CPU usage (%): 99.9845
Max. virtual memory (cumulated for all children) (KiB): 1309252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 578.953
system time used= 0.567913
maximum resident set size= 1073744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268108
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= 21
involuntary context switches= 598

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.38079 second user time and 2.33465 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-30 21:20:29
IDJOB=4121410
IDBENCH=110469
IDSOLVER=2542
FILE ID=node102/4121410-1467314429
RUNJOBID= node102-1467310764-16424
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-n80-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-4121410-1467314429/watcher-4121410-1467314429 -o /tmp/evaluation-result-4121410-1467314429/solver-4121410-1467314429 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467310764-16424 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121410-1467314429.opb

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

MD5SUM BENCH= b7cc2e9182bca163cd86f717d868161b
RANDOM SEED=2124498589

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:        30124956 kB
Buffers:          159712 kB
Cached:           570768 kB
SwapCached:            0 kB
Active:          1394168 kB
Inactive:         421508 kB
Active(anon):    1087764 kB
Inactive(anon):        0 kB
Active(file):     306404 kB
Inactive(file):   421508 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16372 kB
Writeback:             0 kB
AnonPages:       1270880 kB
Mapped:            17624 kB
Shmem:               204 kB
Slab:             609212 kB
SReclaimable:      53028 kB
SUnreclaim:       556184 kB
KernelStack:        2040 kB
PageTables:         6952 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1424052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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 21:30:09