Trace number 4122314

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 530.236 530.318

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n90-d3-i1-r1.cnf.gz-plain.pb.metafix.opb
MD5SUMa3d86f87574e54f775e849c672ad8411
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 benchmark8.48871
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables135
Total number of constraints360
Number of constraints which are clauses360
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:54:15+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-4122314-1467316455.opb"]
0.00/0.01	c use --random-gen="2140200253 525339668 393251834 1760834086 1016700959 1131911956 2875012487 1331134829 2194222389 2637119974 4213394764 1945450002 2353570767 3770638044 2938796327 3951359562 3590773206 1339839369 2281099032 2135023648 1518413546 2918528043 101003170 3137296792 3664991086 3879592437 3743148880 3508000596 3095092812 3565355920 1798163136 3485748839 1685565147 2855881387 4291084780 2392875141 4089326264 2542345186 1590650136 630574716 2094785111 587067951 2521634218 2122858409 3622668022 276424738 1818042049 676127394 576211997 2780929364 936448250 857460537 3013816910 1137449839 1289813800 1023481731 2364886314 1671378595 766383441 446443413 1588550946 517523760 2103928901 3144102376 4196307951 2533333509 3682548479 994519718 1814286085 1000787737 2067296177 2770917456 456723754 3059273137 3134078329 1069747454 1007737343 4082308894 3287600395 1010106866 3610450649 3143299036 3111607702 3045316710 3846362141 2037412296 2926922392 1548208047 2422732295 1910833688 3551390313 192779065 1303034146 3130199686 3639947964 44833978 1999134971 911214853 1807424864 801064720 721823744 1757451426 34066990 2813755746 1923350016 2956890510 3559264323 4194539921 1165168453 816655358 1421936962 4147126256 3162282351 302110952 528116487 1321227604 1958919481 919348084 2714833129 506515808 2878668284 3405333354 3785221004 1375094339 2379888505 3523287700 2795651099 337675667 3097119493 1608559270 1018293959 1344299180 173729104 3134465904 3315446718 64214766 77076124 496908436 1551047253 2127751882 2488817835 4232269449 4157401313 4124765885 3944982497 524241902 753349003 1156202123 1743739197 663087893 557274917 2579183104 1791426931 2756948800 2818202617 2088811339 569638097 496702300 2848454748 2459852603 2313389857 3853935454 3804388057 3103604077 4244254716 322273371 1341097435 1784888344 139139347 2051199577 1750705683 2950800311 1539405983 2296321604 1808424946 2755395728 2137476422 2015792929 1295793883 51216869 1353245783 714210048 3977051872 326439785 1318497388 1060563792 1825721839 2585663445 2473591178 2616583278 1892002922 835714235 4097080050 2256031787 4203761363 4270092233 4130971424 2191016534 606170911 997510604 662345497 3401002051 2363845970 1306987537 4017298827 2828866561 731092874 572808601 3491154601 3583546635 1851769662 2990616466 1675569644 1055851453 1115817249 4038051301 1408655779 3581504082 1397870458 79753179 1583572279 569522221 669282652 843864251 1894491944 2877620706 167661127 2403261801 139362546 4015076719 4230644109 1079991485 2004179629 1712885763 2311233152 1775614222 780829979 3245564303 3973917807 3592051454 724638152 2950456314 3247095148 1780905327 3293186944 43313195 3795829812 2616967258 2096429598 1735591090 2211341237 292956160 1968064533 2892612325 1068937750 2748906828 255 362436" option to reproduce the execution
0.00/0.01	c #vars 135
0.00/0.01	c #constraints 360
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 |      165      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      178 |      100 |      165      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      392 |      250 |      182      0 |        0 |        0
0.00/0.07	c  0.1s |       3 |      672 |      475 |      201      2 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1097 |      813 |      222      5 |        0 |        0
0.09/0.16	c  0.1s |       5 |     1701 |     1320 |      245      8 |        0 |        0
0.19/0.24	c  0.2s |       6 |     2753 |     2081 |      297     12 |        0 |        0
0.29/0.36	c  0.3s |       7 |     4165 |     3223 |      327     19 |        0 |        0
0.49/0.55	c  0.5s |       8 |     6595 |     4936 |      360     28 |        0 |        0
0.79/0.86	c  0.8s |       9 |     9840 |     7506 |      397     41 |        0 |        0
1.09/1.20	c  1.2s |      10 |    14949 |    11361 |      437     58 |        0 |        0
1.48/1.57	c  1.6s |      11 |    22770 |    17144 |      481     84 |        0 |        0
2.09/2.15	c  2.1s |      12 |    34220 |    25819 |      530    118 |        0 |        0
2.99/3.09	c  3.1s |      13 |    51534 |    38832 |      583    165 |        0 |        0
4.59/4.62	c  4.6s |      14 |    78208 |    58352 |      642    230 |        0 |        0
6.59/6.60	c  6.6s |      15 |   119735 |    87632 |      707    319 |        0 |        0
8.59/8.61	c  8.6s |      15 |   158205 |   115732 |      707    397 |        0 |        0
9.69/9.73	c  9.7s |      16 |   179435 |   131552 |      778    441 |        0 |        0
11.68/11.74	c 11.7s |      16 |   217760 |   159252 |      778    510 |        0 |        0
13.68/13.74	c 13.7s |      16 |   252667 |   186052 |      778    578 |        0 |        0
14.58/14.66	c 14.6s |      17 |   267175 |   197432 |      856    606 |        0 |        0
16.59/16.66	c 16.6s |      17 |   303170 |   223432 |      856    666 |        0 |        0
18.58/18.66	c 18.6s |      17 |   343599 |   251532 |      856    731 |        0 |        0
20.58/20.67	c 20.7s |      17 |   379840 |   278632 |      856    793 |        0 |        0
21.89/21.98	c 22.0s |      18 |   402983 |   296252 |      942    833 |        0 |        0
23.89/23.99	c 24.0s |      18 |   430920 |   319352 |      942    881 |        0 |        0
25.89/25.99	c 26.0s |      18 |   463290 |   342252 |      942    928 |        0 |        0
27.89/28.00	c 28.0s |      18 |   496937 |   368152 |      942    982 |        0 |        0
29.99/30.00	c 30.0s |      18 |   531553 |   393752 |      942   1036 |        0 |        0
31.99/32.01	c 32.0s |      18 |   563296 |   418752 |      942   1088 |        0 |        0
33.99/34.01	c 34.0s |      18 |   595739 |   444052 |     1037   1141 |        0 |        0
33.99/34.04	c 34.0s |      19 |   596384 |   444482 |     1037   1142 |        0 |        0
35.99/36.05	c 36.0s |      19 |   630481 |   470182 |     1037   1191 |        0 |        0
37.99/38.05	c 38.0s |      19 |   664822 |   495882 |     1037   1240 |        0 |        0
39.99/40.06	c 40.0s |      19 |   703446 |   523882 |     1037   1293 |        0 |        0
41.99/42.07	c 42.0s |      19 |   744291 |   552282 |     1037   1348 |        0 |        0
43.99/44.07	c 44.1s |      19 |   779204 |   579282 |     1037   1399 |        0 |        0
45.98/46.07	c 46.1s |      19 |   813758 |   605982 |     1037   1450 |        0 |        0
47.98/48.07	c 48.1s |      19 |   851155 |   633482 |     1037   1503 |        0 |        0
49.98/50.08	c 50.1s |      19 |   889348 |   661282 |     1037   1556 |        0 |        0
50.38/50.48	c 50.5s |      20 |   897273 |   666827 |     1141   1566 |        0 |        0
52.38/52.49	c 52.5s |      20 |   935581 |   693527 |     1141   1612 |        0 |        0
54.38/54.49	c 54.5s |      20 |   975228 |   720827 |     1141   1660 |        0 |        0
56.48/56.50	c 56.5s |      20 |  1014445 |   748427 |     1141   1708 |        0 |        0
58.48/58.50	c 58.5s |      20 |  1046153 |   773127 |     1141   1751 |        0 |        0
60.38/60.50	c 60.5s |      20 |  1081644 |   799027 |     1141   1796 |        0 |        0
62.48/62.51	c 62.5s |      20 |  1118086 |   825827 |     1141   1842 |        0 |        0
64.48/64.51	c 64.5s |      20 |  1150049 |   850527 |     1141   1885 |        0 |        0
66.48/66.51	c 66.5s |      20 |  1186098 |   877027 |     1141   1931 |        0 |        0
68.48/68.52	c 68.5s |      20 |  1222782 |   904227 |     1141   1979 |        0 |        0
70.48/70.52	c 70.5s |      20 |  1258972 |   930727 |     1141   2025 |        0 |        0
72.48/72.52	c 72.5s |      20 |  1295778 |   957427 |     1141   2071 |        0 |        0
74.48/74.53	c 74.5s |      20 |  1328315 |   982427 |     1141   2115 |        0 |        0
75.88/75.93	c 75.9s |      21 |  1353272 |  1000345 |     1256   2145 |        0 |        0
77.87/77.93	c 77.9s |      21 |  1388360 |  1025645 |     1256   2185 |        0 |        0
79.87/79.93	c 79.9s |      21 |  1419928 |  1049645 |     1256   2222 |        0 |        0
81.87/81.94	c 81.9s |      21 |  1454043 |  1074645 |     1256   2262 |        0 |        0
83.87/83.95	c 83.9s |      21 |  1488728 |  1099545 |     1256   2301 |        0 |        0
85.88/85.95	c 85.9s |      21 |  1522952 |  1124945 |     1256   2341 |        0 |        0
87.87/87.96	c 87.9s |      21 |  1555967 |  1149845 |     1256   2381 |        0 |        0
89.87/89.96	c 89.9s |      21 |  1590432 |  1174945 |     1256   2420 |        0 |        0
91.87/91.96	c 91.9s |      21 |  1623105 |  1199645 |     1256   2460 |        0 |        0
93.87/93.97	c 94.0s |      21 |  1654315 |  1223645 |     1256   2497 |        0 |        0
95.87/95.98	c 96.0s |      21 |  1688298 |  1248345 |     1256   2536 |        0 |        0
97.88/97.98	c 98.0s |      21 |  1723033 |  1273845 |     1256   2577 |        0 |        0
99.87/99.99	c 100.0s |      21 |  1755515 |  1298545 |     1256   2616 |        0 |        0
101.87/101.99	c  101s |      21 |  1789119 |  1323445 |     1256   2655 |        0 |        0
103.97/104.00	c  103s |      21 |  1824726 |  1349745 |     1256   2697 |        0 |        0
105.97/106.01	c  105s |      21 |  1847958 |  1370345 |     1256   2729 |        0 |        0
107.97/108.01	c  107s |      21 |  1881565 |  1395945 |     1256   2769 |        0 |        0
109.98/110.01	c  109s |      21 |  1915955 |  1421845 |     1256   2810 |        0 |        0
111.97/112.02	c  111s |      21 |  1953735 |  1449145 |     1256   2853 |        0 |        0
113.97/114.02	c  114s |      21 |  1991053 |  1476045 |     1256   2896 |        0 |        0
115.97/116.02	c  116s |      21 |  2019486 |  1499145 |     1382   2931 |        0 |        0
116.07/116.14	c  116s |      22 |  2021402 |  1500622 |     1382   2933 |        0 |        0
118.07/118.14	c  118s |      22 |  2045063 |  1520822 |     1382   2962 |        0 |        0
120.07/120.15	c  120s |      22 |  2076204 |  1544722 |     1382   2996 |        0 |        0
122.07/122.16	c  122s |      22 |  2107771 |  1568522 |     1382   3031 |        0 |        0
124.07/124.16	c  124s |      22 |  2139188 |  1592222 |     1382   3065 |        0 |        0
126.06/126.17	c  126s |      22 |  2170847 |  1615822 |     1382   3098 |        0 |        0
128.06/128.17	c  128s |      22 |  2200445 |  1638622 |     1382   3131 |        0 |        0
130.06/130.17	c  130s |      22 |  2231668 |  1661822 |     1382   3165 |        0 |        0
132.07/132.18	c  132s |      22 |  2261863 |  1685222 |     1382   3198 |        0 |        0
134.06/134.18	c  134s |      22 |  2291212 |  1708122 |     1382   3231 |        0 |        0
136.06/136.18	c  136s |      22 |  2321656 |  1731922 |     1382   3265 |        0 |        0
138.06/138.18	c  138s |      22 |  2353903 |  1756022 |     1382   3300 |        0 |        0
140.06/140.18	c  140s |      22 |  2386078 |  1779722 |     1382   3334 |        0 |        0
142.06/142.19	c  142s |      22 |  2415699 |  1801622 |     1382   3366 |        0 |        0
144.07/144.20	c  144s |      22 |  2445693 |  1824822 |     1382   3399 |        0 |        0
146.16/146.21	c  146s |      22 |  2478958 |  1848522 |     1382   3434 |        0 |        0
148.17/148.21	c  148s |      22 |  2507402 |  1871122 |     1382   3466 |        0 |        0
150.17/150.21	c  150s |      22 |  2536139 |  1893622 |     1382   3498 |        0 |        0
152.17/152.21	c  152s |      22 |  2563382 |  1915122 |     1382   3529 |        0 |        0
154.17/154.22	c  154s |      22 |  2591561 |  1935922 |     1382   3559 |        0 |        0
156.17/156.23	c  156s |      22 |  2619328 |  1957922 |     1382   3591 |        0 |        0
158.17/158.24	c  158s |      22 |  2649067 |  1981322 |     1382   3625 |        0 |        0
160.17/160.24	c  160s |      22 |  2680408 |  2005522 |     1382   3660 |        0 |        0
162.17/162.25	c  162s |      22 |  2713787 |  2031222 |     1382   3697 |        0 |        0
164.17/164.26	c  164s |      22 |  2744831 |  2053922 |     1382   3729 |        0 |        0
166.17/166.26	c  166s |      22 |  2773514 |  2076822 |     1382   3762 |        0 |        0
168.16/168.27	c  168s |      22 |  2806500 |  2100822 |     1382   3797 |        0 |        0
170.16/170.28	c  170s |      22 |  2841182 |  2125822 |     1382   3833 |        0 |        0
172.16/172.28	c  172s |      22 |  2876973 |  2151422 |     1382   3870 |        0 |        0
174.16/174.28	c  174s |      22 |  2910159 |  2176122 |     1382   3905 |        0 |        0
176.16/176.29	c  176s |      22 |  2943494 |  2200922 |     1382   3941 |        0 |        0
178.17/178.30	c  178s |      22 |  2975323 |  2224722 |     1382   3975 |        0 |        0
180.26/180.30	c  180s |      22 |  3005045 |  2247522 |     1521   4006 |        0 |        0
180.56/180.60	c  180s |      23 |  3009662 |  2251038 |     1521   4011 |        0 |        0
182.46/182.60	c  182s |      23 |  3043340 |  2275838 |     1521   4043 |        0 |        0
184.56/184.61	c  184s |      23 |  3076921 |  2300338 |     1521   4075 |        0 |        0
186.56/186.61	c  186s |      23 |  3109451 |  2323938 |     1521   4106 |        0 |        0
188.56/188.62	c  188s |      23 |  3142438 |  2348338 |     1521   4138 |        0 |        0
190.56/190.62	c  190s |      23 |  3172855 |  2371438 |     1521   4168 |        0 |        0
192.57/192.63	c  192s |      23 |  3203951 |  2395138 |     1521   4199 |        0 |        0
194.56/194.63	c  194s |      23 |  3236259 |  2418038 |     1521   4229 |        0 |        0
196.56/196.64	c  196s |      23 |  3269739 |  2442138 |     1521   4261 |        0 |        0
198.56/198.65	c  198s |      23 |  3302878 |  2465838 |     1521   4292 |        0 |        0
200.56/200.65	c  200s |      23 |  3337373 |  2490238 |     1521   4323 |        0 |        0
202.56/202.65	c  202s |      23 |  3368821 |  2513138 |     1521   4353 |        0 |        0
204.57/204.65	c  204s |      23 |  3405017 |  2538138 |     1521   4386 |        0 |        0
206.56/206.66	c  206s |      23 |  3441590 |  2564238 |     1521   4420 |        0 |        0
208.56/208.66	c  208s |      23 |  3475002 |  2588538 |     1521   4452 |        0 |        0
210.56/210.66	c  210s |      23 |  3505703 |  2611538 |     1521   4482 |        0 |        0
212.56/212.67	c  212s |      23 |  3532993 |  2632238 |     1521   4509 |        0 |        0
214.57/214.67	c  214s |      23 |  3560439 |  2652938 |     1521   4537 |        0 |        0
216.56/216.67	c  216s |      23 |  3588293 |  2673838 |     1521   4564 |        0 |        0
218.56/218.68	c  218s |      23 |  3616837 |  2694938 |     1521   4592 |        0 |        0
220.56/220.69	c  220s |      23 |  3646352 |  2716938 |     1521   4620 |        0 |        0
222.56/222.69	c  222s |      23 |  3673358 |  2738038 |     1521   4648 |        0 |        0
224.66/224.70	c  224s |      23 |  3704030 |  2760438 |     1521   4677 |        0 |        0
226.56/226.70	c  226s |      23 |  3732383 |  2782938 |     1521   4707 |        0 |        0
228.66/228.71	c  228s |      23 |  3761430 |  2805238 |     1521   4736 |        0 |        0
230.66/230.72	c  230s |      23 |  3793804 |  2828638 |     1521   4767 |        0 |        0
232.66/232.72	c  232s |      23 |  3823741 |  2851938 |     1521   4797 |        0 |        0
234.65/234.72	c  234s |      23 |  3851216 |  2873638 |     1521   4826 |        0 |        0
236.65/236.73	c  236s |      23 |  3878587 |  2895538 |     1521   4855 |        0 |        0
238.66/238.73	c  238s |      23 |  3908333 |  2917538 |     1521   4883 |        0 |        0
240.65/240.74	c  240s |      23 |  3941203 |  2940638 |     1521   4914 |        0 |        0
242.65/242.75	c  242s |      23 |  3969951 |  2962238 |     1521   4942 |        0 |        0
244.65/244.76	c  244s |      23 |  3999424 |  2984238 |     1521   4971 |        0 |        0
246.65/246.76	c  246s |      23 |  4029253 |  3005938 |     1521   4999 |        0 |        0
248.66/248.76	c  248s |      23 |  4060796 |  3027838 |     1521   5028 |        0 |        0
250.65/250.77	c  250s |      23 |  4090370 |  3050138 |     1521   5057 |        0 |        0
252.65/252.77	c  252s |      23 |  4119251 |  3071738 |     1521   5085 |        0 |        0
254.65/254.78	c  254s |      23 |  4147808 |  3093538 |     1521   5114 |        0 |        0
256.65/256.78	c  256s |      23 |  4175389 |  3114538 |     1521   5141 |        0 |        0
258.65/258.79	c  258s |      23 |  4205565 |  3136438 |     1521   5170 |        0 |        0
260.66/260.79	c  260s |      23 |  4233962 |  3158738 |     1521   5199 |        0 |        0
262.75/262.80	c  262s |      23 |  4262912 |  3181238 |     1521   5229 |        0 |        0
264.75/264.81	c  264s |      23 |  4292125 |  3203538 |     1521   5258 |        0 |        0
266.75/266.82	c  266s |      23 |  4324317 |  3226938 |     1521   5288 |        0 |        0
268.75/268.82	c  268s |      23 |  4357270 |  3251038 |     1521   5320 |        0 |        0
270.75/270.83	c  270s |      23 |  4387293 |  3273638 |     1521   5349 |        0 |        0
272.76/272.83	c  272s |      23 |  4412521 |  3294138 |     1521   5376 |        0 |        0
274.75/274.84	c  274s |      23 |  4442808 |  3316538 |     1521   5406 |        0 |        0
276.75/276.84	c  276s |      23 |  4469951 |  3337538 |     1521   5433 |        0 |        0
278.75/278.84	c  278s |      23 |  4495186 |  3358438 |     1674   5460 |        0 |        0
280.35/280.48	c  280s |      24 |  4519554 |  3376662 |     1674   5482 |        0 |        0
282.35/282.49	c  282s |      24 |  4545087 |  3396762 |     1674   5505 |        0 |        0
284.45/284.50	c  284s |      24 |  4575447 |  3420462 |     1674   5533 |        0 |        0
286.45/286.50	c  286s |      24 |  4605474 |  3443062 |     1674   5560 |        0 |        0
288.45/288.51	c  288s |      24 |  4636749 |  3466662 |     1674   5588 |        0 |        0
290.45/290.51	c  290s |      24 |  4667470 |  3489862 |     1674   5616 |        0 |        0
292.45/292.52	c  292s |      24 |  4699807 |  3513262 |     1674   5643 |        0 |        0
294.44/294.52	c  294s |      24 |  4730294 |  3536562 |     1674   5671 |        0 |        0
296.44/296.53	c  296s |      24 |  4753104 |  3555062 |     1674   5693 |        0 |        0
298.44/298.54	c  298s |      24 |  4779159 |  3576062 |     1674   5718 |        0 |        0
300.44/300.55	c  300s |      24 |  4809416 |  3599162 |     1674   5745 |        0 |        0
302.45/302.55	c  302s |      24 |  4837293 |  3621062 |     1674   5771 |        0 |        0
304.44/304.56	c  304s |      24 |  4866368 |  3643962 |     1674   5798 |        0 |        0
306.44/306.57	c  306s |      24 |  4894346 |  3665562 |     1674   5824 |        0 |        0
308.44/308.57	c  308s |      24 |  4920848 |  3686662 |     1674   5849 |        0 |        0
310.44/310.58	c  310s |      24 |  4944962 |  3706762 |     1674   5873 |        0 |        0
312.45/312.58	c  312s |      24 |  4972563 |  3729362 |     1674   5900 |        0 |        0
314.44/314.59	c  314s |      24 |  4994540 |  3748062 |     1674   5922 |        0 |        0
316.44/316.59	c  316s |      24 |  5021675 |  3769362 |     1674   5947 |        0 |        0
318.44/318.59	c  318s |      24 |  5048760 |  3790762 |     1674   5973 |        0 |        0
320.44/320.59	c  320s |      24 |  5077277 |  3812862 |     1674   5999 |        0 |        0
322.54/322.60	c  322s |      24 |  5102693 |  3833162 |     1674   6023 |        0 |        0
324.44/324.60	c  324s |      24 |  5132861 |  3855962 |     1674   6050 |        0 |        0
326.54/326.61	c  326s |      24 |  5160683 |  3877662 |     1674   6076 |        0 |        0
328.54/328.61	c  328s |      24 |  5191134 |  3900662 |     1674   6103 |        0 |        0
330.54/330.62	c  330s |      24 |  5223254 |  3924662 |     1674   6132 |        0 |        0
332.54/332.62	c  332s |      24 |  5249288 |  3944262 |     1674   6155 |        0 |        0
334.54/334.62	c  334s |      24 |  5278089 |  3966062 |     1674   6181 |        0 |        0
336.54/336.63	c  336s |      24 |  5308862 |  3989262 |     1674   6209 |        0 |        0
338.53/338.63	c  338s |      24 |  5340390 |  4012862 |     1674   6237 |        0 |        0
340.54/340.64	c  340s |      24 |  5368912 |  4035362 |     1674   6263 |        0 |        0
342.54/342.64	c  342s |      24 |  5400029 |  4059062 |     1674   6292 |        0 |        0
344.54/344.64	c  344s |      24 |  5426237 |  4081162 |     1674   6318 |        0 |        0
346.55/346.64	c  346s |      24 |  5452385 |  4102462 |     1674   6343 |        0 |        0
348.54/348.65	c  348s |      24 |  5474363 |  4121162 |     1674   6365 |        0 |        0
350.54/350.65	c  350s |      24 |  5501743 |  4142862 |     1674   6391 |        0 |        0
352.54/352.65	c  352s |      24 |  5528756 |  4164562 |     1674   6417 |        0 |        0
354.54/354.65	c  354s |      24 |  5557833 |  4186862 |     1674   6443 |        0 |        0
356.54/356.66	c  356s |      24 |  5589865 |  4210862 |     1674   6472 |        0 |        0
358.54/358.66	c  358s |      24 |  5619830 |  4233962 |     1674   6499 |        0 |        0
360.54/360.67	c  360s |      24 |  5649963 |  4257562 |     1674   6526 |        1 |        4
362.53/362.67	c  362s |      24 |  5677763 |  4279762 |     1674   6553 |        1 |        4
364.53/364.67	c  364s |      24 |  5704558 |  4300762 |     1674   6578 |        1 |        4
366.53/366.68	c  366s |      24 |  5735899 |  4324162 |     1674   6605 |        1 |        4
368.54/368.68	c  368s |      24 |  5769548 |  4348962 |     1674   6635 |        1 |        4
370.53/370.68	c  370s |      24 |  5799248 |  4369762 |     1674   6660 |        1 |        4
372.53/372.69	c  372s |      24 |  5827042 |  4390162 |     1674   6684 |        1 |        4
374.63/374.70	c  374s |      24 |  5856910 |  4412762 |     1674   6711 |        1 |        4
376.63/376.70	c  376s |      24 |  5887964 |  4435362 |     1674   6737 |        1 |        4
378.63/378.71	c  378s |      24 |  5916952 |  4456562 |     1674   6763 |        1 |        4
380.64/380.71	c  380s |      24 |  5945878 |  4477662 |     1674   6788 |        1 |        4
382.63/382.71	c  382s |      24 |  5973401 |  4498562 |     1674   6813 |        1 |        4
384.63/384.71	c  384s |      24 |  6004060 |  4521462 |     1674   6840 |        1 |        4
386.63/386.71	c  386s |      24 |  6033077 |  4543562 |     1674   6866 |        1 |        4
388.63/388.72	c  388s |      24 |  6060052 |  4564762 |     1674   6891 |        1 |        4
390.63/390.72	c  390s |      24 |  6092273 |  4588562 |     1674   6920 |        1 |        4
392.63/392.73	c  392s |      24 |  6122778 |  4611062 |     1674   6947 |        1 |        4
394.63/394.73	c  394s |      24 |  6152443 |  4633362 |     1674   6973 |        1 |        4
396.63/396.74	c  396s |      24 |  6183270 |  4656062 |     1674   7000 |        1 |        4
398.62/398.74	c  398s |      24 |  6214335 |  4678962 |     1674   7027 |        1 |        4
400.62/400.75	c  400s |      24 |  6244526 |  4701562 |     1674   7054 |        1 |        4
402.63/402.76	c  402s |      24 |  6276818 |  4724962 |     1674   7082 |        1 |        4
404.62/404.76	c  404s |      24 |  6308601 |  4748562 |     1674   7110 |        1 |        4
406.62/406.77	c  406s |      24 |  6340146 |  4771662 |     1674   7138 |        1 |        4
408.62/408.78	c  408s |      24 |  6369555 |  4793762 |     1674   7164 |        1 |        4
410.62/410.78	c  410s |      24 |  6398639 |  4815562 |     1674   7190 |        1 |        4
412.62/412.78	c  412s |      24 |  6429652 |  4839062 |     1674   7218 |        1 |        4
414.63/414.79	c  414s |      24 |  6453084 |  4858462 |     1674   7241 |        1 |        4
416.62/416.79	c  416s |      24 |  6483487 |  4881262 |     1674   7268 |        1 |        4
418.72/418.80	c  418s |      24 |  6517487 |  4905362 |     1674   7297 |        1 |        4
420.73/420.80	c  420s |      24 |  6553171 |  4930062 |     1674   7326 |        1 |        4
422.73/422.81	c  422s |      24 |  6583471 |  4952662 |     1674   7353 |        1 |        4
424.73/424.81	c  424s |      24 |  6614503 |  4975062 |     1674   7379 |        1 |        4
426.74/426.82	c  426s |      24 |  6646782 |  4998062 |     1674   7407 |        1 |        4
428.73/428.82	c  428s |      24 |  6681108 |  5022562 |     1674   7436 |        1 |        4
430.73/430.82	c  430s |      24 |  6714144 |  5045862 |     1842   7461 |        1 |        4
432.33/432.48	c  432s |      25 |  6739831 |  5065098 |     1842   7482 |        1 |        4
434.33/434.48	c  434s |      25 |  6770094 |  5087398 |     1842   7506 |        1 |        4
436.32/436.48	c  436s |      25 |  6801078 |  5110398 |     1842   7531 |        1 |        4
438.32/438.49	c  438s |      25 |  6833201 |  5134398 |     1842   7557 |        1 |        4
440.32/440.49	c  440s |      25 |  6861770 |  5156098 |     1842   7580 |        1 |        4
442.42/442.50	c  442s |      25 |  6891003 |  5177798 |     1842   7604 |        1 |        4
444.33/444.50	c  444s |      25 |  6925652 |  5202298 |     1842   7630 |        1 |        4
446.42/446.51	c  446s |      25 |  6956682 |  5225298 |     1842   7654 |        2 |        8
448.42/448.52	c  448s |      25 |  6985426 |  5246998 |     1842   7678 |        2 |        8
450.42/450.53	c  450s |      25 |  7012096 |  5268398 |     1842   7701 |        2 |        8
452.42/452.53	c  452s |      25 |  7039830 |  5290198 |     1842   7724 |        2 |        8
454.42/454.54	c  454s |      25 |  7067839 |  5311798 |     1842   7748 |        2 |        8
456.42/456.55	c  456s |      25 |  7094300 |  5332698 |     1842   7770 |        2 |        8
458.42/458.55	c  458s |      25 |  7121589 |  5353898 |     1842   7793 |        2 |        8
460.42/460.56	c  460s |      25 |  7148552 |  5374798 |     1842   7816 |        2 |        8
462.42/462.56	c  462s |      25 |  7176781 |  5395998 |     1842   7839 |        2 |        8
464.42/464.57	c  464s |      25 |  7204623 |  5417298 |     1842   7862 |        2 |        8
466.42/466.58	c  466s |      25 |  7230342 |  5437598 |     1842   7883 |        2 |        8
468.41/468.58	c  468s |      25 |  7259880 |  5459398 |     1842   7907 |        2 |        8
470.41/470.59	c  470s |      25 |  7290996 |  5482798 |     1842   7932 |        2 |        8
472.41/472.59	c  472s |      25 |  7320271 |  5505298 |     1842   7957 |        2 |        8
474.41/474.59	c  474s |      25 |  7349106 |  5526098 |     1842   7979 |        2 |        8
476.51/476.60	c  476s |      25 |  7375839 |  5546898 |     1842   8002 |        2 |        8
478.52/478.61	c  478s |      25 |  7404221 |  5568798 |     1842   8025 |        2 |        8
480.51/480.61	c  480s |      25 |  7434948 |  5591698 |     1842   8050 |        2 |        8
482.51/482.61	c  482s |      25 |  7464013 |  5613498 |     1842   8074 |        2 |        8
484.51/484.62	c  484s |      25 |  7492792 |  5635398 |     1842   8097 |        2 |        8
486.51/486.63	c  486s |      25 |  7522061 |  5656698 |     1842   8120 |        2 |        8
488.51/488.64	c  488s |      25 |  7552414 |  5679898 |     1842   8145 |        2 |        8
490.52/490.64	c  490s |      25 |  7581575 |  5701498 |     1842   8169 |        2 |        8
492.51/492.64	c  492s |      25 |  7612675 |  5724698 |     1842   8194 |        2 |        8
494.51/494.65	c  494s |      25 |  7644494 |  5747798 |     1842   8219 |        2 |        8
496.51/496.65	c  496s |      25 |  7674691 |  5770898 |     1842   8244 |        2 |        8
498.51/498.66	c  498s |      25 |  7707175 |  5794598 |     1842   8269 |        2 |        8
500.52/500.66	c  500s |      25 |  7738950 |  5817598 |     1842   8293 |        3 |       12
502.51/502.67	c  502s |      25 |  7769214 |  5839598 |     1842   8317 |        3 |       12
504.51/504.67	c  504s |      25 |  7800813 |  5862598 |     1842   8342 |        3 |       12
506.51/506.69	c  506s |      25 |  7827049 |  5883598 |     1842   8364 |        3 |       12
508.61/508.70	c  508s |      25 |  7849803 |  5902898 |     1842   8385 |        3 |       12
510.61/510.70	c  510s |      25 |  7877226 |  5924398 |     1842   8408 |        3 |       12
512.61/512.71	c  512s |      25 |  7903385 |  5945498 |     1842   8431 |        3 |       12
514.61/514.72	c  514s |      25 |  7929214 |  5966098 |     1842   8453 |        3 |       12
516.61/516.72	c  516s |      25 |  7955325 |  5986998 |     1842   8476 |        3 |       12
518.61/518.73	c  518s |      25 |  7983022 |  6008698 |     1842   8499 |        3 |       12
520.60/520.73	c  520s |      25 |  8013578 |  6031698 |     1842   8524 |        3 |       12
522.60/522.73	c  522s |      25 |  8044331 |  6054598 |     1842   8548 |        4 |       16
524.61/524.74	c  524s |      25 |  8074401 |  6076898 |     1842   8572 |        4 |       16
526.60/526.74	c  526s |      25 |  8108881 |  6100898 |     1842   8598 |        4 |       16
528.60/528.74	c  528s |      25 |  8144431 |  6126298 |     1842   8624 |        6 |       24
530.12/530.25	c  530s |      25 |  8170862 |  6145765 |     1842   8642 |       22 |       72
530.12/530.25	c #cpu_time = 530.267s
530.12/530.25	c #wall_clock_time = 530.238s
530.12/530.25	c #decision = 8170862
530.12/530.25	c #random_decision = 39729
530.12/530.25	c #conflict = 6145765
530.12/530.25	c #restart = 25
530.12/530.25	s UNSATISFIABLE
530.12/530.25	c total CPU time = 530.286s
530.12/530.25	c total wall clock time = 530.257s

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

pid=21635
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.02 2.05 2.00 2/177 21638
/proc/meminfo: memFree=29423200/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=655804 CPUtime=0 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 2433 0 0 0 0 0 0 0 20 0 4 0 12749313 671543296 3305 33554432000 4194304 16246674 140737482939696 140737482939120 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 164719 3314 441 2943 0 161613 0
[pid=21638/tid=21639] ppid=21635 vsize=673212 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 689369088 3370 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=677308 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 693563392 3389 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=682428 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 698806272 3408 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100166 s]
/proc/loadavg: 2.02 2.05 2.00 2/177 21638
/proc/meminfo: memFree=29423200/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 26056 0 0 0 5 4 0 0 20 0 4 0 12749313 1247350784 26918 33554432000 4194304 16246674 140737482939696 140737482939120 13191389 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 304529 26925 708 2943 0 301423 0
[pid=21638/tid=21639] ppid=21635 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1247350784 26930 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1247350784 26939 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1247350784 26944 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200483 s]
/proc/loadavg: 2.02 2.05 2.00 2/177 21638
/proc/meminfo: memFree=29423200/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 49752 0 0 0 12 7 0 0 20 0 4 0 12749313 1247350784 50613 33554432000 4194304 16246674 140737482939696 140737482939120 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 304529 50624 708 2943 0 301423 0
[pid=21638/tid=21639] ppid=21635 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1247350784 50632 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1247350784 50639 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1247350784 50646 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300455 s]
/proc/loadavg: 2.02 2.05 2.00 2/177 21638
/proc/meminfo: memFree=29423200/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 73081 0 0 0 19 10 0 0 20 0 4 0 12749313 1247350784 73942 33554432000 4194304 16246674 140737482939696 140737482939120 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 304529 73950 708 2943 0 301423 0
[pid=21638/tid=21639] ppid=21635 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1247350784 73957 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1247350784 73964 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1247350784 73970 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70033 s]
/proc/loadavg: 2.02 2.05 2.00 2/177 21638
/proc/meminfo: memFree=29423200/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 166752 0 0 0 46 23 0 0 20 0 4 0 12749313 1247350784 167613 33554432000 4194304 16246674 140737482939696 140737482922688 5589685 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 304529 167627 709 2943 0 301423 0
[pid=21638/tid=21639] ppid=21635 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1247350784 167635 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1247350784 167644 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1247350784 167653 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.02 2.05 2.00 3/181 21642
/proc/meminfo: memFree=28438728/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1219140 CPUtime=1.48 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 245599 0 0 0 115 33 0 0 20 0 4 0 12749313 1248399360 246440 33554432000 4194304 16246674 140737482939696 140737482939008 13963968 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 304785 246440 786 2943 0 301679 0
[pid=21638/tid=21639] ppid=21635 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1248399360 246440 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1248399360 246440 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1248399360 246440 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1219140

[startup+3.10039 s]
/proc/loadavg: 2.02 2.05 2.00 3/181 21642
/proc/meminfo: memFree=28351680/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267423 0 0 0 273 36 0 0 20 0 4 0 12749313 1337528320 268264 33554432000 4194304 16246674 140737482939696 140737482922696 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 326545 268264 786 2943 0 323439 0
[pid=21638/tid=21639] ppid=21635 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1337528320 268264 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1337528320 268264 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1337528320 268264 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30039 s]
/proc/loadavg: 2.02 2.05 2.00 3/181 21642
/proc/meminfo: memFree=28350424/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267516 0 0 0 593 36 0 0 20 0 4 0 12749313 1337528320 268357 33554432000 4194304 16246674 140737482939696 140737482922696 6010504 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 326545 268357 787 2943 0 323439 0
[pid=21638/tid=21639] ppid=21635 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1337528320 268357 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1337528320 268357 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1337528320 268357 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7003 s]
/proc/loadavg: 2.02 2.05 2.00 3/181 21642
/proc/meminfo: memFree=28350780/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267519 0 0 0 1232 36 0 0 20 0 4 0 12749313 1337528320 268360 33554432000 4194304 16246674 140737482939696 140737482922696 5754966 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 326545 268360 789 2943 0 323439 0
[pid=21638/tid=21639] ppid=21635 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1337528320 268360 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1337528320 268360 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1337528320 268360 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.02 2.05 2.00 4/181 21642
/proc/meminfo: memFree=28350840/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1307204 CPUtime=25.49 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267821 0 0 0 2512 37 0 0 20 0 4 0 12749313 1338576896 268662 33554432000 4194304 16246674 140737482939696 140737482921600 5546107 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 326801 268662 789 2943 0 323695 0
[pid=21638/tid=21639] ppid=21635 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1338576896 268662 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1338576896 268662 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1338576896 268662 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1307204

[startup+51.1005 s]
/proc/loadavg: 2.01 2.04 2.00 3/181 21642
/proc/meminfo: memFree=28350696/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1307204 CPUtime=51.08 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267823 0 0 0 5071 37 0 0 20 0 4 0 12749313 1338576896 268664 33554432000 4194304 16246674 140737482939696 140737482921600 13962080 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 326801 268664 789 2943 0 323695 0
[pid=21638/tid=21639] ppid=21635 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1338576896 268664 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1338576896 268664 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1338576896 268664 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.00 4/181 21644
/proc/meminfo: memFree=28350196/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1308228 CPUtime=102.28 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267866 0 0 0 10191 37 0 0 20 0 4 0 12749313 1339625472 268707 33554432000 4194304 16246674 140737482939696 140737482922696 5723696 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 327057 268707 789 2943 0 323951 0
[pid=21638/tid=21639] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268707 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268707 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268707 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1308228


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

Current children cumulated vsize (KiB) 1308228

[startup+282.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 21647
/proc/meminfo: memFree=28349564/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1308228 CPUtime=282.25 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267876 0 0 0 28186 39 0 0 20 0 4 0 12749313 1339625472 268717 33554432000 4194304 16246674 140737482939696 140737482921600 6012212 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 327057 268717 789 2943 0 323951 0
[pid=21638/tid=21639] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268717 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268717 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268717 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1308228

[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 21648
/proc/meminfo: memFree=28349472/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1308228 CPUtime=342.24 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267877 0 0 0 34184 40 0 0 20 0 4 0 12749313 1339625472 268718 33554432000 4194304 16246674 140737482939696 140737482922696 5663466 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 327057 268718 790 2943 0 323951 0
[pid=21638/tid=21639] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268718 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268718 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268718 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1308228

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/182 21653
/proc/meminfo: memFree=28349524/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1308228 CPUtime=402.22 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267878 0 0 0 40182 40 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 140737482922696 5754764 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 327057 268719 791 2943 0 323951 0
[pid=21638/tid=21639] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1308228

[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/182 21677
/proc/meminfo: memFree=28349452/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1308228 CPUtime=462.22 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267878 0 0 0 46181 41 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 140737482921600 5974064 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 327057 268719 791 2943 0 323951 0
[pid=21638/tid=21639] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1308228

[startup+522.3 s]
/proc/loadavg: 2.10 2.04 2.01 4/181 21678
/proc/meminfo: memFree=28349372/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1308228 CPUtime=522.2 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267878 0 0 0 52179 41 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 140737482922696 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 327057 268719 791 2943 0 323951 0
[pid=21638/tid=21639] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1308228

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

[startup+524.807 s]
/proc/loadavg: 2.10 2.04 2.00 3/181 21678
/proc/meminfo: memFree=28349356/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1308228 CPUtime=524.71 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267878 0 0 0 52430 41 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 140737482922696 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 327057 268719 791 2943 0 323951 0
[pid=21638/tid=21639] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 524.71
Current children cumulated vsize (KiB) 1308228

[startup+528 s]
/proc/loadavg: 2.09 2.04 2.00 3/181 21678
/proc/meminfo: memFree=28349356/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1308228 CPUtime=527.91 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267878 0 0 0 52750 41 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 140737482921600 5754796 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 327057 268719 791 2943 0 323951 0
[pid=21638/tid=21639] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 527.91
Current children cumulated vsize (KiB) 1308228

[startup+529.6 s]
/proc/loadavg: 2.09 2.04 2.00 3/181 21678
/proc/meminfo: memFree=28349356/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1308228 CPUtime=529.51 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267878 0 0 0 52909 42 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 140737482922696 5823242 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 327057 268719 791 2943 0 323951 0
[pid=21638/tid=21639] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 529.51
Current children cumulated vsize (KiB) 1308228

[startup+530 s]
/proc/loadavg: 2.09 2.04 2.00 3/181 21678
/proc/meminfo: memFree=28349356/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1308228 CPUtime=529.91 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267878 0 0 0 52949 42 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 140737482922696 5808388 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 327057 268719 791 2943 0 323951 0
[pid=21638/tid=21639] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 529.91
Current children cumulated vsize (KiB) 1308228

[startup+530.2 s]
/proc/loadavg: 2.09 2.04 2.00 3/181 21678
/proc/meminfo: memFree=28349356/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=1308228 CPUtime=530.12 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202496 267878 0 0 0 52970 42 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 140737482922696 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 327057 268719 791 2943 0 323951 0
[pid=21638/tid=21639] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21639/stat : 21639 (toysat) S 21635 21638 16080 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656091905264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=21638/tid=21640] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21640/stat : 21640 (toysat) S 21635 21638 16080 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139656081415408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=21638/tid=21641] ppid=21635 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/21638/task/21641/stat : 21641 (toysat) S 21635 21638 16080 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12749313 1339625472 268719 33554432000 4194304 16246674 140737482939696 139655961898160 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 530.12
Current children cumulated vsize (KiB) 1308228

[startup+530.307 s]
/proc/loadavg: 2.09 2.04 2.00 3/181 21678
/proc/meminfo: memFree=28349356/32872528 swapFree=447588/480292
[pid=21638] ppid=21635 vsize=0 CPUtime=530.21 cores=0,2,4,6
/proc/21638/stat : 21638 (toysat) R 21635 21638 16080 0 -1 4202500 267883 0 0 0 52975 46 0 0 20 0 1 0 12749313 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/21638/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 530.21
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 530.318
CPU time (s): 530.236
CPU user time (s): 529.756
CPU system time (s): 0.479927
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 529.756
system time used= 0.479927
maximum resident set size= 1074888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267883
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 546

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.50777 second user time and 1.88871 second system time

The end

Launcher Data 

Begin job on node104 at 2016-06-30 21:54:15
IDJOB=4122314
IDBENCH=111055
IDSOLVER=2542
FILE ID=node104/4122314-1467316455
RUNJOBID= node104-1467310023-19959
PBS_JOBID= 20005270
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= a3d86f87574e54f775e849c672ad8411
RANDOM SEED=106800067

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.334
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.334
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.54
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.334
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:        29423828 kB
Buffers:          199924 kB
Cached:           937052 kB
SwapCached:            0 kB
Active:          1428388 kB
Inactive:         795204 kB
Active(anon):    1089156 kB
Inactive(anon):        0 kB
Active(file):     339232 kB
Inactive(file):   795204 kB
Unevictable:      480292 kB
Mlocked:          447588 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16504 kB
Writeback:             0 kB
AnonPages:       1570692 kB
Mapped:            16460 kB
Shmem:               204 kB
Slab:             611768 kB
SReclaimable:      55720 kB
SUnreclaim:       556048 kB
KernelStack:        1504 kB
PageTables:         6868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1688652 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     81920 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= 71688 MiB
End job on node104 at 2016-06-30 22:03:06