Trace number 4120642

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 540.444 540.576

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n88-d3-i3-f.cnf.gz-plain.pb.metafix.opb
MD5SUMda77aba737e32aaebea27e56f9e95e6c
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 benchmark18.4142
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables132
Total number of constraints352
Number of constraints which are clauses352
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-30T20:38:03+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-4120642-1467311883.opb"]
0.00/0.01	c use --random-gen="2460390037 3642430609 4113112310 3276510697 3234249824 3666387484 952848068 211581151 3207353567 2399595403 935992465 3516242024 3046634198 3873115704 2860020419 3980070106 3235653961 2218053862 1332692830 634046123 450681678 2939140010 3185355651 3375465807 3574409623 2475521509 2607327500 3154130738 2376256414 4203425985 517582189 2349878853 1897539401 3561864917 2075460537 2644349410 3705831816 715532058 2309587320 1202571572 4142906437 266267367 2575930715 3502465821 4205485916 500353471 2739344583 29232987 3245894247 3690332479 3132722905 1707020418 4050298417 3301952678 2593932295 3328306041 3160069502 2102105854 265075675 3939569410 3489411804 1231458123 1837108234 3881520750 437086468 2843154008 696942397 2086317025 3930102402 218554505 3220214344 2156314672 2117690205 4210478234 3486632925 1314015035 1505050883 3611920494 1766394718 844734739 1698787046 3535037763 312260002 3804750122 1369208821 4065814132 2280737683 2969218277 3550304852 374464640 3694137324 3923980450 2757185702 3061387590 832741654 3036776249 1608341495 1417496151 449284979 541105641 1321490248 3590702092 3500043055 3279543120 3830215402 1537936143 3448621717 2351349622 3630289697 1314696283 2540708916 3677077752 2978624704 331470941 2117847515 3486826 1373667031 2924988233 3149619303 3421095992 805413972 975531329 3400023616 3523716059 3029408131 4222917046 4145216687 3194166164 2489685267 894694542 2599072621 3530706096 3986349371 4057327147 2372911658 3123199224 1968935126 3158548940 2304361971 3611135452 379962245 3144928941 3227152109 2962631152 1967731901 559841335 652449526 2132429592 3920656434 431128859 1503819391 3320474569 4256116509 367532426 3714592570 369513055 2187882506 2943430247 3974389041 1397399522 2924572356 3277436374 2867762438 252647547 1387833900 2308744875 2381525367 315790111 697763769 2456380124 1554934213 2919925200 1191494875 3349738837 3395365225 2307882920 1679418285 3482900764 1951610371 3298705987 498998107 1981441485 3003944310 218460380 3263397438 451010056 3890997318 1832515400 3548067915 2590274951 1975118993 1679070253 3468663409 865746793 1452717691 3349340182 65120815 114344675 924759957 612375681 308352135 3038165025 3864612189 660685183 3087905675 2181988265 623369578 3164548577 3950980301 108282959 4050669079 891669889 3070533743 4067417804 1339500029 2155470807 2222613763 2876085313 1583610213 3164144340 1771914860 254114365 3186256735 3345774558 558464360 102512380 49770265 3107666338 4248099988 1080784626 1228258449 1522434688 2252155419 1555609478 296173972 1551551253 2459137220 613073782 1667054456 871241104 2242222191 1035093611 2730623204 2623145750 2713609059 1745009043 1813773887 3481875397 75916460 929592494 3681852216 1586918999 2500186063 31142237 4081908248 1009487646 255 362436" option to reproduce the execution
0.00/0.01	c #vars 132
0.00/0.01	c #constraints 352
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 |      161      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      150 |      100 |      161      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      398 |      250 |      178      0 |        0 |        0
0.00/0.06	c  0.0s |       3 |      690 |      475 |      196      2 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1204 |      813 |      216      5 |        0 |        0
0.09/0.14	c  0.1s |       5 |     1938 |     1320 |      238      8 |        0 |        0
0.19/0.20	c  0.2s |       6 |     3331 |     2081 |      289     13 |        0 |        0
0.19/0.29	c  0.3s |       7 |     5099 |     3223 |      318     20 |        0 |        0
0.39/0.45	c  0.4s |       8 |     7925 |     4936 |      350     30 |        0 |        0
0.59/0.67	c  0.7s |       9 |    11405 |     7506 |      386     43 |        0 |        0
0.99/1.00	c  1.0s |      10 |    17467 |    11361 |      425     62 |        0 |        0
1.29/1.37	c  1.4s |      11 |    26385 |    17144 |      468     88 |        0 |        0
1.89/1.97	c  2.0s |      12 |    38347 |    25819 |      515    123 |        0 |        0
2.69/2.75	c  2.7s |      13 |    56207 |    38832 |      567    172 |        0 |        0
4.19/4.29	c  4.3s |      14 |    79851 |    58352 |      624    238 |        0 |        0
6.19/6.28	c  6.3s |      15 |   120196 |    87632 |      687    330 |        0 |        0
8.18/8.29	c  8.3s |      15 |   159903 |   116332 |      687    411 |        0 |        0
9.28/9.34	c  9.3s |      16 |   180915 |   131552 |      756    454 |        0 |        0
11.29/11.34	c 11.3s |      16 |   220100 |   158952 |      756    525 |        0 |        0
13.30/13.35	c 13.3s |      16 |   266440 |   189452 |      756    604 |        0 |        0
13.79/13.85	c 13.8s |      17 |   277722 |   197432 |      832    625 |        0 |        0
15.79/15.85	c 15.8s |      17 |   316283 |   226232 |      832    693 |        0 |        0
17.79/17.85	c 17.8s |      17 |   352737 |   253932 |      832    759 |        0 |        0
19.80/19.85	c 19.8s |      17 |   390860 |   281832 |      832    825 |        0 |        0
20.79/20.88	c 20.9s |      18 |   410835 |   296252 |      916    859 |        0 |        0
22.79/22.89	c 22.9s |      18 |   441532 |   321152 |      916    912 |        0 |        0
24.79/24.89	c 24.9s |      18 |   480877 |   348852 |      916    972 |        0 |        0
26.88/26.90	c 26.9s |      18 |   516372 |   375552 |      916   1030 |        0 |        0
28.88/28.90	c 28.9s |      18 |   551909 |   402652 |      916   1088 |        0 |        0
30.89/30.91	c 30.9s |      18 |   595023 |   432252 |      916   1152 |        0 |        0
31.68/31.75	c 31.7s |      19 |   611584 |   444482 |     1008   1178 |        0 |        0
33.68/33.75	c 33.7s |      19 |   641077 |   468382 |     1008   1225 |        0 |        0
35.68/35.76	c 35.7s |      19 |   674071 |   493482 |     1008   1274 |        0 |        0
37.68/37.76	c 37.7s |      19 |   708688 |   519182 |     1008   1324 |        0 |        0
39.69/39.76	c 39.7s |      19 |   744878 |   545482 |     1008   1376 |        0 |        0
41.68/41.77	c 41.8s |      19 |   776244 |   570482 |     1008   1425 |        0 |        0
43.68/43.77	c 43.8s |      19 |   803400 |   592682 |     1008   1469 |        0 |        0
45.69/45.78	c 45.8s |      19 |   835724 |   617282 |     1008   1517 |        0 |        0
47.69/47.78	c 47.8s |      19 |   872080 |   643382 |     1008   1568 |        0 |        0
49.49/49.54	c 49.5s |      20 |   903590 |   666827 |     1109   1613 |        0 |        0
51.49/51.55	c 51.5s |      20 |   939627 |   692927 |     1109   1660 |        0 |        0
53.48/53.55	c 53.5s |      20 |   975625 |   718727 |     1109   1706 |        0 |        0
55.48/55.56	c 55.5s |      20 |  1012549 |   745127 |     1109   1753 |        0 |        0
57.48/57.56	c 57.5s |      20 |  1049329 |   771727 |     1109   1801 |        0 |        0
59.49/59.56	c 59.5s |      20 |  1080933 |   796327 |     1109   1844 |        0 |        0
61.48/61.57	c 61.6s |      20 |  1115817 |   822227 |     1109   1891 |        0 |        0
63.48/63.58	c 63.6s |      20 |  1154490 |   850027 |     1109   1941 |        0 |        0
65.48/65.58	c 65.6s |      20 |  1193916 |   877727 |     1109   1990 |        0 |        0
67.48/67.58	c 67.6s |      20 |  1232789 |   905427 |     1109   2040 |        0 |        0
69.48/69.58	c 69.6s |      20 |  1271633 |   933027 |     1109   2089 |        0 |        0
71.49/71.58	c 71.6s |      20 |  1307381 |   958527 |     1109   2135 |        0 |        0
73.48/73.58	c 73.6s |      20 |  1343382 |   983527 |     1109   2180 |        0 |        0
74.89/74.93	c 74.9s |      21 |  1366420 |  1000345 |     1220   2209 |        0 |        0
76.88/76.94	c 76.9s |      21 |  1400923 |  1025345 |     1220   2249 |        0 |        0
78.88/78.94	c 78.9s |      21 |  1434652 |  1049745 |     1220   2289 |        0 |        0
80.88/80.95	c 80.9s |      21 |  1467531 |  1073245 |     1220   2327 |        0 |        0
82.88/82.95	c 82.9s |      21 |  1498314 |  1097145 |     1220   2366 |        0 |        0
84.88/84.95	c 84.9s |      21 |  1529850 |  1120645 |     1220   2404 |        0 |        0
86.88/86.95	c 86.9s |      21 |  1566956 |  1147645 |     1220   2448 |        0 |        0
88.88/88.95	c 88.9s |      21 |  1599267 |  1171745 |     1220   2487 |        0 |        0
90.88/90.96	c 90.9s |      21 |  1632263 |  1195945 |     1220   2526 |        0 |        0
92.88/92.96	c 92.9s |      21 |  1670662 |  1220945 |     1220   2567 |        0 |        0
94.88/94.97	c 94.9s |      21 |  1706603 |  1247145 |     1220   2610 |        0 |        0
96.88/96.97	c 97.0s |      21 |  1741210 |  1272945 |     1220   2652 |        0 |        0
98.87/98.98	c 99.0s |      21 |  1780834 |  1300345 |     1220   2696 |        0 |        0
100.87/100.98	c  100s |      21 |  1820184 |  1327545 |     1220   2741 |        0 |        0
102.87/102.99	c  102s |      21 |  1858709 |  1355045 |     1220   2785 |        0 |        0
104.87/104.99	c  104s |      21 |  1895488 |  1381345 |     1220   2828 |        0 |        0
106.87/106.99	c  106s |      21 |  1930937 |  1406645 |     1220   2869 |        0 |        0
108.88/109.00	c  108s |      21 |  1969902 |  1434145 |     1220   2914 |        0 |        0
110.98/111.00	c  110s |      21 |  2007780 |  1461145 |     1220   2958 |        0 |        0
112.98/113.01	c  112s |      21 |  2039767 |  1485645 |     1220   2998 |        0 |        0
114.18/114.27	c  114s |      22 |  2059644 |  1500622 |     1342   3021 |        0 |        0
116.17/116.27	c  116s |      22 |  2093604 |  1525322 |     1342   3057 |        0 |        0
118.17/118.27	c  118s |      22 |  2125258 |  1548822 |     1342   3092 |        0 |        0
120.17/120.28	c  120s |      22 |  2155950 |  1571922 |     1342   3126 |        0 |        0
122.18/122.28	c  122s |      22 |  2186460 |  1594722 |     1342   3160 |        0 |        0
124.17/124.29	c  124s |      22 |  2220747 |  1620322 |     1342   3198 |        0 |        0
126.17/126.29	c  126s |      22 |  2253925 |  1645222 |     1342   3235 |        0 |        0
128.27/128.30	c  128s |      22 |  2288319 |  1670622 |     1342   3272 |        0 |        0
130.27/130.30	c  130s |      22 |  2325203 |  1696422 |     1342   3311 |        0 |        0
132.27/132.30	c  132s |      22 |  2357489 |  1721222 |     1342   3347 |        0 |        0
134.28/134.31	c  134s |      22 |  2392940 |  1746922 |     1342   3386 |        0 |        0
136.27/136.31	c  136s |      22 |  2426287 |  1771822 |     1342   3423 |        0 |        0
138.27/138.31	c  138s |      22 |  2455349 |  1795022 |     1342   3457 |        0 |        0
140.27/140.32	c  140s |      22 |  2486188 |  1818222 |     1342   3491 |        0 |        0
142.27/142.32	c  142s |      22 |  2518292 |  1842022 |     1342   3527 |        0 |        0
144.27/144.32	c  144s |      22 |  2549735 |  1865822 |     1342   3562 |        0 |        0
146.27/146.33	c  146s |      22 |  2581374 |  1888022 |     1342   3595 |        0 |        0
148.26/148.33	c  148s |      22 |  2614145 |  1910522 |     1342   3628 |        0 |        0
150.26/150.33	c  150s |      22 |  2645353 |  1934122 |     1342   3663 |        0 |        0
152.27/152.34	c  152s |      22 |  2679269 |  1958522 |     1342   3699 |        0 |        0
154.27/154.35	c  154s |      22 |  2709816 |  1981822 |     1342   3734 |        0 |        0
156.28/156.35	c  156s |      22 |  2741866 |  2005922 |     1342   3770 |        0 |        0
158.27/158.36	c  158s |      22 |  2775612 |  2030422 |     1342   3806 |        0 |        0
160.27/160.36	c  160s |      22 |  2808155 |  2054522 |     1342   3842 |        0 |        0
162.27/162.37	c  162s |      22 |  2841685 |  2079522 |     1342   3879 |        0 |        0
164.27/164.38	c  164s |      22 |  2877424 |  2105322 |     1342   3917 |        0 |        0
166.26/166.38	c  166s |      22 |  2911420 |  2130222 |     1342   3954 |        0 |        0
168.27/168.38	c  168s |      22 |  2944108 |  2155022 |     1342   3991 |        0 |        0
170.26/170.39	c  170s |      22 |  2978839 |  2180322 |     1342   4029 |        0 |        0
172.26/172.39	c  172s |      22 |  3013032 |  2205422 |     1342   4066 |        0 |        0
174.26/174.39	c  174s |      22 |  3045692 |  2230622 |     1342   4103 |        0 |        0
175.97/176.08	c  176s |      23 |  3073109 |  2251038 |     1477   4131 |        0 |        0
177.96/178.08	c  178s |      23 |  3105452 |  2275138 |     1477   4164 |        0 |        0
179.96/180.08	c  180s |      23 |  3139196 |  2299638 |     1477   4197 |        0 |        0
181.96/182.09	c  182s |      23 |  3171248 |  2323038 |     1477   4228 |        0 |        0
183.96/184.09	c  184s |      23 |  3201993 |  2346338 |     1477   4260 |        0 |        0
185.96/186.10	c  186s |      23 |  3234536 |  2369138 |     1477   4290 |        0 |        0
187.96/188.10	c  188s |      23 |  3261145 |  2390038 |     1477   4319 |        0 |        0
190.06/190.11	c  190s |      23 |  3295050 |  2413638 |     1477   4351 |        0 |        0
192.06/192.11	c  192s |      23 |  3326558 |  2437638 |     1477   4383 |        0 |        0
194.06/194.11	c  194s |      23 |  3358507 |  2461738 |     1477   4415 |        0 |        0
196.06/196.12	c  196s |      23 |  3387385 |  2484438 |     1477   4446 |        0 |        0
198.07/198.12	c  198s |      23 |  3419757 |  2508638 |     1477   4479 |        0 |        0
200.06/200.12	c  200s |      23 |  3451082 |  2532338 |     1477   4510 |        0 |        0
202.06/202.12	c  202s |      23 |  3482548 |  2556338 |     1477   4543 |        0 |        0
204.06/204.13	c  204s |      23 |  3515023 |  2580538 |     1477   4576 |        0 |        0
206.06/206.13	c  206s |      23 |  3550503 |  2605438 |     1477   4609 |        0 |        0
208.06/208.14	c  208s |      23 |  3583250 |  2629338 |     1477   4641 |        0 |        0
210.06/210.14	c  210s |      23 |  3616185 |  2652938 |     1477   4673 |        0 |        0
212.06/212.15	c  212s |      23 |  3648655 |  2677138 |     1477   4706 |        0 |        0
214.06/214.15	c  214s |      23 |  3678267 |  2700338 |     1477   4737 |        0 |        0
216.06/216.15	c  216s |      23 |  3710457 |  2724638 |     1477   4770 |        0 |        0
218.05/218.16	c  218s |      23 |  3740398 |  2748338 |     1477   4802 |        0 |        0
220.06/220.16	c  220s |      23 |  3775032 |  2773838 |     1477   4836 |        0 |        0
222.05/222.17	c  222s |      23 |  3810603 |  2799238 |     1477   4870 |        0 |        0
224.05/224.18	c  224s |      23 |  3842101 |  2823338 |     1477   4903 |        0 |        0
226.05/226.18	c  226s |      23 |  3871261 |  2846038 |     1477   4934 |        0 |        0
228.05/228.19	c  228s |      23 |  3906216 |  2870838 |     1477   4967 |        0 |        0
230.05/230.20	c  230s |      23 |  3937279 |  2894738 |     1477   4999 |        0 |        0
232.16/232.20	c  232s |      23 |  3972090 |  2918938 |     1477   5032 |        0 |        0
234.15/234.20	c  234s |      23 |  4006332 |  2943638 |     1477   5065 |        0 |        0
236.15/236.21	c  236s |      23 |  4038929 |  2968138 |     1477   5098 |        0 |        0
238.15/238.21	c  238s |      23 |  4070638 |  2992438 |     1477   5131 |        0 |        0
240.16/240.22	c  240s |      23 |  4100869 |  3015938 |     1477   5163 |        0 |        0
242.16/242.22	c  242s |      23 |  4128510 |  3037338 |     1477   5191 |        0 |        0
244.16/244.23	c  244s |      23 |  4161190 |  3061438 |     1477   5224 |        0 |        0
246.15/246.23	c  246s |      23 |  4191556 |  3084938 |     1477   5255 |        0 |        0
248.15/248.24	c  248s |      23 |  4223608 |  3109038 |     1477   5288 |        0 |        0
250.15/250.24	c  250s |      23 |  4254905 |  3132538 |     1477   5319 |        0 |        0
252.15/252.24	c  252s |      23 |  4288751 |  3157138 |     1477   5353 |        0 |        0
254.16/254.25	c  254s |      23 |  4323497 |  3182638 |     1477   5387 |        0 |        0
256.15/256.25	c  256s |      23 |  4357341 |  3207438 |     1477   5420 |        0 |        0
258.15/258.26	c  258s |      23 |  4387599 |  3230938 |     1477   5452 |        0 |        0
260.15/260.26	c  260s |      23 |  4419625 |  3255538 |     1477   5485 |        0 |        0
262.15/262.26	c  262s |      23 |  4452128 |  3280238 |     1477   5518 |        0 |        0
264.15/264.27	c  264s |      23 |  4484332 |  3304938 |     1477   5552 |        0 |        0
266.15/266.28	c  266s |      23 |  4512514 |  3327138 |     1477   5582 |        0 |        0
268.15/268.29	c  268s |      23 |  4544826 |  3351338 |     1477   5614 |        0 |        0
270.15/270.29	c  270s |      23 |  4577804 |  3375138 |     1625   5643 |        0 |        0
270.35/270.43	c  270s |      24 |  4579622 |  3376662 |     1625   5645 |        0 |        0
272.35/272.44	c  272s |      24 |  4607954 |  3397962 |     1625   5671 |        0 |        0
274.34/274.44	c  274s |      24 |  4635251 |  3418262 |     1625   5696 |        0 |        0
276.34/276.45	c  276s |      24 |  4663660 |  3439262 |     1625   5722 |        0 |        0
278.35/278.46	c  278s |      24 |  4693571 |  3461262 |     1625   5749 |        0 |        0
280.34/280.47	c  280s |      24 |  4722249 |  3483162 |     1625   5775 |        0 |        0
282.34/282.48	c  282s |      24 |  4749943 |  3504762 |     1625   5802 |        0 |        0
284.34/284.48	c  284s |      24 |  4777518 |  3525862 |     1625   5828 |        0 |        0
286.34/286.48	c  286s |      24 |  4806488 |  3547662 |     1625   5854 |        0 |        0
288.34/288.48	c  288s |      24 |  4833322 |  3568162 |     1625   5879 |        0 |        0
290.35/290.48	c  290s |      24 |  4859260 |  3588562 |     1625   5904 |        0 |        0
292.34/292.50	c  292s |      24 |  4886551 |  3610062 |     1625   5931 |        0 |        0
294.44/294.50	c  294s |      24 |  4916103 |  3632262 |     1625   5958 |        0 |        0
296.44/296.51	c  296s |      24 |  4943368 |  3653462 |     1625   5984 |        0 |        0
298.44/298.51	c  298s |      24 |  4968615 |  3673162 |     1625   6008 |        0 |        0
300.44/300.52	c  300s |      24 |  4990467 |  3690162 |     1625   6028 |        0 |        0
302.45/302.53	c  302s |      24 |  5017832 |  3710562 |     1625   6053 |        0 |        0
304.44/304.53	c  304s |      24 |  5045560 |  3731262 |     1625   6079 |        0 |        0
306.44/306.54	c  306s |      24 |  5074259 |  3752362 |     1625   6105 |        0 |        0
308.44/308.55	c  308s |      24 |  5097587 |  3771962 |     1625   6129 |        0 |        0
310.45/310.56	c  310s |      24 |  5123055 |  3792162 |     1625   6153 |        0 |        0
312.45/312.57	c  312s |      24 |  5150491 |  3813262 |     1625   6179 |        0 |        0
314.45/314.58	c  314s |      24 |  5174075 |  3833162 |     1625   6204 |        0 |        0
316.44/316.59	c  316s |      24 |  5202972 |  3854962 |     1625   6230 |        0 |        0
318.44/318.59	c  318s |      24 |  5231489 |  3875862 |     1625   6256 |        0 |        0
320.44/320.60	c  320s |      24 |  5259048 |  3896462 |     1625   6281 |        0 |        0
322.54/322.60	c  322s |      24 |  5287625 |  3918262 |     1625   6308 |        0 |        0
324.45/324.60	c  324s |      24 |  5316407 |  3940262 |     1625   6335 |        0 |        0
326.54/326.60	c  326s |      24 |  5346498 |  3962762 |     1625   6362 |        0 |        0
328.54/328.61	c  328s |      24 |  5376195 |  3984762 |     1625   6389 |        0 |        0
330.54/330.62	c  330s |      24 |  5406732 |  4007162 |     1625   6417 |        0 |        0
332.54/332.62	c  332s |      24 |  5436302 |  4029662 |     1625   6444 |        0 |        0
334.54/334.62	c  334s |      24 |  5467900 |  4052762 |     1625   6473 |        0 |        0
336.54/336.63	c  336s |      24 |  5496970 |  4075262 |     1625   6500 |        0 |        0
338.54/338.64	c  338s |      24 |  5527576 |  4098162 |     1625   6528 |        0 |        0
340.54/340.64	c  340s |      24 |  5551610 |  4117362 |     1625   6552 |        0 |        0
342.54/342.65	c  342s |      24 |  5579681 |  4138362 |     1625   6578 |        0 |        0
344.53/344.65	c  344s |      24 |  5611200 |  4161262 |     1625   6606 |        0 |        0
346.54/346.65	c  346s |      24 |  5643277 |  4184162 |     1625   6634 |        0 |        0
348.53/348.66	c  348s |      24 |  5675565 |  4207662 |     1625   6663 |        0 |        0
350.53/350.66	c  350s |      24 |  5707325 |  4231262 |     1625   6692 |        0 |        0
352.53/352.66	c  352s |      24 |  5739346 |  4253962 |     1625   6719 |        0 |        0
354.53/354.67	c  354s |      24 |  5769504 |  4276462 |     1625   6747 |        0 |        0
356.53/356.67	c  356s |      24 |  5799514 |  4298262 |     1625   6774 |        0 |        0
358.55/358.68	c  358s |      24 |  5832082 |  4321762 |     1625   6803 |        0 |        0
360.54/360.68	c  360s |      24 |  5864414 |  4345162 |     1625   6831 |        0 |        0
362.54/362.69	c  362s |      24 |  5892219 |  4367062 |     1625   6858 |        0 |        0
364.64/364.70	c  364s |      24 |  5924912 |  4389462 |     1625   6886 |        0 |        0
366.64/366.71	c  366s |      24 |  5951969 |  4410462 |     1625   6911 |        0 |        0
368.64/368.71	c  368s |      24 |  5979041 |  4431862 |     1625   6937 |        0 |        0
370.64/370.72	c  370s |      24 |  6007838 |  4453362 |     1625   6964 |        0 |        0
372.63/372.72	c  372s |      24 |  6032763 |  4473562 |     1625   6989 |        0 |        0
374.63/374.72	c  374s |      24 |  6060668 |  4495162 |     1625   7015 |        0 |        0
376.63/376.72	c  376s |      24 |  6091024 |  4517762 |     1625   7043 |        0 |        0
378.63/378.73	c  378s |      24 |  6120154 |  4540162 |     1625   7070 |        0 |        0
380.64/380.74	c  380s |      24 |  6150217 |  4562462 |     1625   7098 |        0 |        0
382.63/382.74	c  382s |      24 |  6179489 |  4584662 |     1625   7125 |        0 |        0
384.63/384.75	c  384s |      24 |  6208914 |  4606962 |     1625   7152 |        0 |        0
386.63/386.75	c  386s |      24 |  6240134 |  4629762 |     1625   7180 |        0 |        0
388.63/388.75	c  388s |      24 |  6273040 |  4652762 |     1625   7208 |        0 |        0
390.63/390.75	c  390s |      24 |  6306581 |  4675862 |     1625   7237 |        0 |        0
392.63/392.76	c  392s |      24 |  6338492 |  4699162 |     1625   7265 |        0 |        0
394.63/394.77	c  394s |      24 |  6370709 |  4722862 |     1625   7294 |        0 |        0
396.63/396.77	c  396s |      24 |  6398519 |  4744862 |     1625   7321 |        0 |        0
398.63/398.78	c  398s |      24 |  6428354 |  4767262 |     1625   7348 |        0 |        0
400.62/400.78	c  400s |      24 |  6458240 |  4789862 |     1625   7376 |        0 |        0
402.63/402.79	c  402s |      24 |  6489430 |  4812762 |     1625   7404 |        0 |        0
404.62/404.79	c  404s |      24 |  6521869 |  4835962 |     1625   7433 |        0 |        0
406.72/406.80	c  406s |      24 |  6551248 |  4858262 |     1625   7460 |        0 |        0
408.72/408.80	c  408s |      24 |  6581273 |  4880262 |     1625   7487 |        0 |        0
410.72/410.81	c  410s |      24 |  6613855 |  4903462 |     1625   7515 |        0 |        0
412.71/412.81	c  412s |      24 |  6643864 |  4925962 |     1625   7543 |        0 |        0
414.72/414.82	c  414s |      24 |  6670008 |  4947162 |     1625   7569 |        0 |        0
416.72/416.82	c  416s |      24 |  6697117 |  4968862 |     1625   7595 |        0 |        0
418.72/418.82	c  418s |      24 |  6727050 |  4991762 |     1625   7622 |        1 |        4
420.72/420.83	c  420s |      24 |  6757857 |  5015262 |     1625   7651 |        1 |        4
422.72/422.83	c  422s |      24 |  6787286 |  5037562 |     1788   7677 |        1 |        4
424.72/424.83	c  424s |      24 |  6813938 |  5058462 |     1788   7701 |        1 |        4
425.32/425.47	c  425s |      25 |  6822211 |  5065098 |     1788   7708 |        1 |        4
427.32/427.47	c  427s |      25 |  6846828 |  5084698 |     1788   7730 |        1 |        4
429.32/429.48	c  429s |      25 |  6873248 |  5105298 |     1788   7753 |        1 |        4
431.32/431.48	c  431s |      25 |  6902999 |  5127298 |     1788   7777 |        1 |        4
433.32/433.49	c  433s |      25 |  6930234 |  5148398 |     1788   7801 |        1 |        4
435.31/435.50	c  435s |      25 |  6955762 |  5168898 |     1788   7823 |        1 |        4
437.41/437.50	c  437s |      25 |  6983783 |  5190198 |     1788   7847 |        1 |        4
439.41/439.50	c  439s |      25 |  7009969 |  5210698 |     1788   7870 |        1 |        4
441.41/441.51	c  441s |      25 |  7037418 |  5231898 |     1788   7894 |        1 |        4
443.41/443.51	c  443s |      25 |  7066130 |  5253398 |     1788   7917 |        1 |        4
445.41/445.52	c  445s |      25 |  7095056 |  5275298 |     1788   7942 |        1 |        4
447.41/447.52	c  447s |      25 |  7123602 |  5296898 |     1788   7966 |        1 |        4
449.40/449.52	c  449s |      25 |  7154902 |  5320398 |     1788   7992 |        1 |        4
451.40/451.53	c  451s |      25 |  7184472 |  5341498 |     1788   8016 |        1 |        4
453.40/453.53	c  453s |      25 |  7212684 |  5363198 |     1788   8040 |        1 |        4
455.41/455.54	c  455s |      25 |  7240070 |  5383598 |     1788   8063 |        1 |        4
457.40/457.54	c  457s |      25 |  7270612 |  5406598 |     1788   8088 |        1 |        4
459.40/459.55	c  459s |      25 |  7298471 |  5427698 |     1788   8112 |        1 |        4
461.39/461.56	c  461s |      25 |  7326874 |  5449298 |     1788   8136 |        1 |        4
463.39/463.57	c  463s |      25 |  7357009 |  5470898 |     1788   8160 |        1 |        4
465.39/465.57	c  465s |      25 |  7385789 |  5492698 |     1788   8184 |        1 |        4
467.40/467.58	c  467s |      25 |  7412126 |  5512698 |     1788   8206 |        1 |        4
469.39/469.58	c  469s |      25 |  7440748 |  5534398 |     1788   8230 |        1 |        4
471.39/471.58	c  471s |      25 |  7469869 |  5556398 |     1788   8255 |        1 |        4
473.39/473.59	c  473s |      25 |  7499638 |  5578098 |     1788   8279 |        1 |        4
475.38/475.59	c  475s |      25 |  7527236 |  5599798 |     1788   8303 |        1 |        4
477.48/477.60	c  477s |      25 |  7557261 |  5621598 |     1788   8328 |        1 |        4
479.38/479.60	c  479s |      25 |  7586798 |  5643498 |     1788   8352 |        1 |        4
481.49/481.60	c  481s |      25 |  7617382 |  5666198 |     1788   8377 |        1 |        4
483.49/483.60	c  483s |      25 |  7649076 |  5689198 |     1788   8403 |        1 |        4
485.49/485.61	c  485s |      25 |  7680207 |  5712298 |     1788   8428 |        1 |        4
487.49/487.61	c  487s |      25 |  7710697 |  5735698 |     1788   8454 |        1 |        4
489.50/489.61	c  489s |      25 |  7741236 |  5758698 |     1788   8479 |        2 |        8
491.49/491.62	c  491s |      25 |  7773006 |  5781898 |     1788   8504 |        2 |        8
493.49/493.62	c  493s |      25 |  7805624 |  5805798 |     1788   8531 |        2 |        8
495.48/495.62	c  495s |      25 |  7837261 |  5829298 |     1788   8557 |        2 |        8
497.48/497.63	c  497s |      25 |  7870308 |  5852898 |     1788   8583 |        2 |        8
499.48/499.63	c  499s |      25 |  7903429 |  5875998 |     1788   8609 |        2 |        8
501.49/501.64	c  501s |      25 |  7934565 |  5899198 |     1788   8635 |        2 |        8
503.48/503.64	c  503s |      25 |  7966114 |  5922298 |     1788   8661 |        2 |        8
505.48/505.64	c  505s |      25 |  7998113 |  5946098 |     1788   8687 |        2 |        8
507.48/507.65	c  507s |      25 |  8030054 |  5970298 |     1788   8714 |        2 |        8
509.48/509.66	c  509s |      25 |  8062821 |  5994898 |     1788   8742 |        2 |        8
511.48/511.66	c  511s |      25 |  8092929 |  6018098 |     1788   8767 |        2 |        8
513.47/513.67	c  513s |      25 |  8125327 |  6041698 |     1788   8794 |        2 |        8
515.47/515.67	c  515s |      25 |  8154887 |  6064998 |     1788   8819 |        2 |        8
517.47/517.68	c  517s |      25 |  8184982 |  6087598 |     1788   8844 |        3 |       12
519.48/519.69	c  519s |      25 |  8216090 |  6111198 |     1788   8869 |        3 |       12
521.47/521.69	c  521s |      25 |  8246925 |  6134198 |     1788   8895 |        3 |       12
523.48/523.69	c  523s |      25 |  8277372 |  6157998 |     1788   8921 |        3 |       12
525.57/525.70	c  525s |      25 |  8311035 |  6182398 |     1788   8948 |        3 |       12
527.57/527.71	c  527s |      25 |  8341379 |  6205798 |     1788   8973 |        4 |       16
529.57/529.71	c  529s |      25 |  8370941 |  6229298 |     1788   8999 |        4 |       16
531.57/531.71	c  531s |      25 |  8404027 |  6254198 |     1788   9027 |        4 |       16
533.57/533.72	c  533s |      25 |  8436950 |  6279298 |     1788   9055 |        4 |       16
535.57/535.72	c  535s |      25 |  8471152 |  6304698 |     1788   9082 |        5 |       20
537.57/537.72	c  537s |      25 |  8505222 |  6329898 |     1788   9109 |        6 |       24
539.57/539.73	c  539s |      25 |  8537423 |  6355098 |     1788   9136 |        7 |       28
540.36/540.53	c  540s |      25 |  8552231 |  6366551 |     1788   9144 |       23 |       82
540.36/540.53	c #cpu_time = 540.480s
540.36/540.53	c #wall_clock_time = 540.511s
540.36/540.53	c #decision = 8552231
540.36/540.53	c #random_decision = 41344
540.36/540.53	c #conflict = 6366551
540.36/540.53	c #restart = 25
540.36/540.53	s UNSATISFIABLE
540.36/540.53	c total CPU time = 540.499s
540.36/540.53	c total wall clock time = 540.530s

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

pid=23591
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.18 2.26 2.18 4/179 23594
/proc/meminfo: memFree=27245328/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=723388 CPUtime=0 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 2698 0 0 0 0 0 0 0 20 0 4 0 12139457 740749312 3059 33554432000 4194304 16246674 140735529974448 140735529973872 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 181615 3068 441 2943 0 178509 0
[pid=23594/tid=23595] ppid=23591 vsize=740796 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 758575104 3128 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=744892 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 762769408 3144 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=756156 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 774303744 3186 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0

[startup+0.100163 s]
/proc/loadavg: 2.18 2.26 2.18 4/179 23594
/proc/meminfo: memFree=27245328/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 25818 0 0 0 5 4 0 0 20 0 4 0 12139457 1247350784 26167 33554432000 4194304 16246674 140735529974448 140735529973872 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 304529 26175 708 2943 0 301423 0
[pid=23594/tid=23595] ppid=23591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1247350784 26183 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1247350784 26190 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1247350784 26196 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200479 s]
/proc/loadavg: 2.18 2.26 2.18 4/179 23594
/proc/meminfo: memFree=27245328/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 49143 0 0 0 12 7 0 0 20 0 4 0 12139457 1247350784 49493 33554432000 4194304 16246674 140735529974448 140735529956352 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 304529 49504 708 2943 0 301423 0
[pid=23594/tid=23595] ppid=23591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1247350784 49510 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1247350784 49519 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1247350784 49525 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.18 2.26 2.18 4/179 23594
/proc/meminfo: memFree=27245328/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 72532 0 0 0 19 10 0 0 20 0 4 0 12139457 1247350784 72882 33554432000 4194304 16246674 140735529974448 140735529956352 12875570 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 304529 72891 708 2943 0 301423 0
[pid=23594/tid=23595] ppid=23591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1247350784 72898 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1247350784 72903 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1247350784 72910 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70035 s]
/proc/loadavg: 2.18 2.26 2.18 4/179 23594
/proc/meminfo: memFree=27245328/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 166107 0 0 0 47 22 0 0 20 0 4 0 12139457 1247350784 166457 33554432000 4194304 16246674 140735529974448 140735529956352 5677541 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 304529 166469 709 2943 0 301423 0
[pid=23594/tid=23595] ppid=23591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1247350784 166475 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1247350784 166484 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1247350784 166491 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.18 2.26 2.18 4/183 23598
/proc/meminfo: memFree=26262812/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 245579 0 0 0 116 33 0 0 20 0 4 0 12139457 1248399360 245908 33554432000 4194304 16246674 140735529974448 140735529956352 13950230 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 304785 245908 786 2943 0 301679 0
[pid=23594/tid=23595] ppid=23591 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1248399360 245908 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1248399360 245908 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1248399360 245908 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1219140

[startup+3.1004 s]
/proc/loadavg: 2.18 2.26 2.18 4/183 23598
/proc/meminfo: memFree=26174896/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 267407 0 0 0 273 36 0 0 20 0 4 0 12139457 1337528320 267736 33554432000 4194304 16246674 140735529974448 140735529956352 5822484 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 326545 267736 786 2943 0 323439 0
[pid=23594/tid=23595] ppid=23591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1337528320 267736 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1337528320 267736 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1337528320 267736 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30039 s]
/proc/loadavg: 2.16 2.26 2.18 3/183 23598
/proc/meminfo: memFree=26174172/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 267557 0 0 0 593 36 0 0 20 0 4 0 12139457 1337528320 267886 33554432000 4194304 16246674 140735529974448 140735529956352 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 326545 267886 788 2943 0 323439 0
[pid=23594/tid=23595] ppid=23591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1337528320 267886 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1337528320 267886 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1337528320 267886 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.15 2.25 2.18 3/183 23598
/proc/meminfo: memFree=26173712/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 267569 0 0 0 1232 37 0 0 20 0 4 0 12139457 1337528320 267898 33554432000 4194304 16246674 140735529974448 140735529956352 5762693 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 326545 267898 788 2943 0 323439 0
[pid=23594/tid=23595] ppid=23591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1337528320 267898 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1337528320 267898 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1337528320 267898 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.26 2.27 2.18 3/183 23598
/proc/meminfo: memFree=26173840/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1306180 CPUtime=25.48 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 267569 0 0 0 2511 37 0 0 20 0 4 0 12139457 1337528320 267898 33554432000 4194304 16246674 140735529974448 140735529956352 5754764 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 326545 267898 788 2943 0 323439 0
[pid=23594/tid=23595] ppid=23591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1337528320 267898 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1337528320 267898 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1337528320 267898 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.17 2.25 2.18 3/183 23598
/proc/meminfo: memFree=26173056/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1307204 CPUtime=51.09 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 267717 0 0 0 5071 38 0 0 20 0 4 0 12139457 1338576896 268046 33554432000 4194304 16246674 140735529974448 140735529956352 5823340 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 326801 268046 789 2943 0 323695 0
[pid=23594/tid=23595] ppid=23591 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1338576896 268046 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1338576896 268046 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1338576896 268046 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1307204

[startup+102.3 s]
/proc/loadavg: 2.21 2.25 2.18 3/183 23600
/proc/meminfo: memFree=26172884/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1307204 CPUtime=102.28 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 267768 0 0 0 10190 38 0 0 20 0 4 0 12139457 1338576896 268097 33554432000 4194304 16246674 140735529974448 140735529956352 5672988 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 326801 268097 789 2943 0 323695 0
[pid=23594/tid=23595] ppid=23591 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1338576896 268097 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1338576896 268097 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1338576896 268097 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1307204


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

/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 268093 0 0 0 40178 44 0 0 20 0 4 0 12139457 1339625472 268667 33554432000 4194304 16246674 140735529974448 140735529956352 5546093 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 327057 268667 789 2943 0 323951 0
[pid=23594/tid=23595] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268667 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268667 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268667 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 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.34 2.28 2.19 3/183 23610
/proc/meminfo: memFree=26166924/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1308228 CPUtime=462.19 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 268124 0 0 0 46174 45 0 0 20 0 4 0 12139457 1339625472 268667 33554432000 4194304 16246674 140735529974448 140735529957448 5823234 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 327057 268667 789 2943 0 323951 0
[pid=23594/tid=23595] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268667 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268667 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268667 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1308228

[startup+522.3 s]
/proc/loadavg: 2.45 2.31 2.20 3/183 23611
/proc/meminfo: memFree=26167080/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1308228 CPUtime=522.17 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 268156 0 0 0 52170 47 0 0 20 0 4 0 12139457 1339625472 268668 33554432000 4194304 16246674 140735529974448 140735529956352 13943664 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 327057 268668 790 2943 0 323951 0
[pid=23594/tid=23595] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 1308228

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

[startup+524.807 s]
/proc/loadavg: 2.45 2.31 2.20 3/183 23611
/proc/meminfo: memFree=26167080/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1308228 CPUtime=524.68 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 268156 0 0 0 52421 47 0 0 20 0 4 0 12139457 1339625472 268668 33554432000 4194304 16246674 140735529974448 140735529956352 6010128 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 327057 268668 790 2943 0 323951 0
[pid=23594/tid=23595] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 524.68
Current children cumulated vsize (KiB) 1308228

[startup+531.2 s]
/proc/loadavg: 2.38 2.29 2.20 3/183 23611
/proc/meminfo: memFree=26167080/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1308228 CPUtime=531.07 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 268160 0 0 0 53060 47 0 0 20 0 4 0 12139457 1339625472 268668 33554432000 4194304 16246674 140735529974448 140735529956352 5823666 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 327057 268668 790 2943 0 323951 0
[pid=23594/tid=23595] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 531.07
Current children cumulated vsize (KiB) 1308228

[startup+534.4 s]
/proc/loadavg: 2.38 2.29 2.20 4/183 23611
/proc/meminfo: memFree=26167064/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1308228 CPUtime=534.27 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 268160 0 0 0 53380 47 0 0 20 0 4 0 12139457 1339625472 268668 33554432000 4194304 16246674 140735529974448 140735529956352 5808184 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 327057 268668 790 2943 0 323951 0
[pid=23594/tid=23595] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 534.27
Current children cumulated vsize (KiB) 1308228

[startup+537.6 s]
/proc/loadavg: 2.43 2.31 2.20 3/183 23611
/proc/meminfo: memFree=26166816/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1308228 CPUtime=537.47 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 268160 0 0 0 53700 47 0 0 20 0 4 0 12139457 1339625472 268668 33554432000 4194304 16246674 140735529974448 140735529956352 13927401 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 327057 268668 790 2943 0 323951 0
[pid=23594/tid=23595] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 537.47
Current children cumulated vsize (KiB) 1308228

[startup+539.2 s]
/proc/loadavg: 2.43 2.31 2.20 3/183 23611
/proc/meminfo: memFree=26166940/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1308228 CPUtime=539.07 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 268160 0 0 0 53860 47 0 0 20 0 4 0 12139457 1339625472 268668 33554432000 4194304 16246674 140735529974448 140735529957448 5721248 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 327057 268668 790 2943 0 323951 0
[pid=23594/tid=23595] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 539.07
Current children cumulated vsize (KiB) 1308228

[startup+540 s]
/proc/loadavg: 2.43 2.31 2.20 3/183 23611
/proc/meminfo: memFree=26166940/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1308228 CPUtime=539.86 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 268160 0 0 0 53939 47 0 0 20 0 4 0 12139457 1339625472 268668 33554432000 4194304 16246674 140735529974448 140735529957448 5808436 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 327057 268668 790 2943 0 323951 0
[pid=23594/tid=23595] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 539.86
Current children cumulated vsize (KiB) 1308228

[startup+540.4 s]
/proc/loadavg: 2.39 2.30 2.20 3/183 23611
/proc/meminfo: memFree=26166940/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1308228 CPUtime=540.26 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 268167 0 0 0 53979 47 0 0 20 0 4 0 12139457 1339625472 268668 33554432000 4194304 16246674 140735529974448 140735529956352 6021055 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 327057 268668 790 2943 0 323951 0
[pid=23594/tid=23595] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 540.26
Current children cumulated vsize (KiB) 1308228

[startup+540.5 s]
/proc/loadavg: 2.39 2.30 2.20 3/183 23611
/proc/meminfo: memFree=26166940/32872528 swapFree=1459604/1655828
[pid=23594] ppid=23591 vsize=1308228 CPUtime=540.36 cores=0,2,4,6
/proc/23594/stat : 23594 (toysat) R 23591 23594 22681 0 -1 4202496 268167 0 0 0 53989 47 0 0 20 0 4 0 12139457 1339625472 268668 33554432000 4194304 16246674 140735529974448 140735529956352 6009757 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/23594/statm: 327057 268668 790 2943 0 323951 0
[pid=23594/tid=23595] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23595/stat : 23595 (toysat) S 23591 23594 22681 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402777631984 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 2 0 0 0 0 0
[pid=23594/tid=23596] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23596/stat : 23596 (toysat) S 23591 23594 22681 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402767142128 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 4 0 0 0 0 0
[pid=23594/tid=23597] ppid=23591 vsize=1308228 CPUtime=0 cores=0,2,4,6
/proc/23594/task/23597/stat : 23597 (toysat) S 23591 23594 22681 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12139458 1339625472 268668 33554432000 4194304 16246674 140735529974448 140402682227888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 540.36
Current children cumulated vsize (KiB) 1308228

Child status: 0
Real time (s): 540.576
CPU time (s): 540.444
CPU user time (s): 539.926
CPU system time (s): 0.517921
CPU usage (%): 99.9755
Max. virtual memory (cumulated for all children) (KiB): 1308228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 539.926
system time used= 0.517921
maximum resident set size= 1074684
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268172
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= 109
involuntary context switches= 559

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.54076 second user time and 2.00169 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-30 20:38:03
IDJOB=4120642
IDBENCH=110046
IDSOLVER=2542
FILE ID=node136/4120642-1467311883
RUNJOBID= node136-1467309401-22697
PBS_JOBID= 20005289
Free space on /tmp= 71632 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n88-d3-i3-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120642-1467311883/watcher-4120642-1467311883 -o /tmp/evaluation-result-4120642-1467311883/solver-4120642-1467311883 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1467309401-22697 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120642-1467311883.opb

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

MD5SUM BENCH= da77aba737e32aaebea27e56f9e95e6c
RANDOM SEED=752355779

node136.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.182
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.36
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.182
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.182
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.182
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.182
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.182
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.182
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.182
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        27245880 kB
Buffers:          192920 kB
Cached:          1930584 kB
SwapCached:            0 kB
Active:          1482280 kB
Inactive:        1738628 kB
Active(anon):    1100216 kB
Inactive(anon):        0 kB
Active(file):     382064 kB
Inactive(file):  1738628 kB
Unevictable:     1655828 kB
Mlocked:         1459604 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16312 kB
Writeback:             0 kB
AnonPages:       2757584 kB
Mapped:            17128 kB
Shmem:               204 kB
Slab:             615236 kB
SReclaimable:      59356 kB
SUnreclaim:       555880 kB
KernelStack:        1520 kB
PageTables:         9436 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2889596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    714752 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= 71612 MiB
End job on node136 at 2016-06-30 20:47:03