Trace number 4078596

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 505.555 505.631

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/
aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
MD5SUMfac1b7391a53ae9861d9e311ddf65af2
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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 benchmark0.009998
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables220
Total number of constraints42
Number of constraints which are clauses22
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint11
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 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 12
Number of bits of the biggest sum of numbers4
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-06T15:52:41+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-4078596-1465221161.opb"]
0.00/0.01	c use --random-gen="2731724965 665156707 3699577624 3680288083 1653889906 1864459957 1601547765 255035309 1866807349 2722329598 1731801700 2802571491 1204542317 2135338671 3005558326 2893804223 2167006518 148251340 2004855818 880258653 3345816878 2894411966 593058940 642923009 3709529894 1141629064 4148063253 1420152597 636291929 2830624586 3587264917 2005991621 3286257675 890580693 1393598193 3445570280 2560701951 4276564642 1007237702 1892703514 810304825 232652071 2230669966 2689795573 1257299505 1570802805 307367599 2111593500 546239742 3538502605 1782345577 3314168248 2034058691 3667149792 261102429 733225660 963669675 1967541857 288052078 1306310458 2564747002 2010024537 3954746377 4157128233 3558198774 694056187 2048482009 1628881451 413942763 2046706221 1843780809 3221807096 2655331458 3355212147 1310693858 1536682500 625301957 1433930702 3378421354 627673762 2923925886 633224209 3723374017 895238603 478754071 1223995741 2640278021 277024016 1919644185 2444025814 335476450 1198053847 1202895229 3174194855 2378766584 2017205723 987090113 262448910 4164387432 6066279 4290221131 1110418039 4165697945 430295034 3962171236 3934363747 4023848656 250206563 636919967 48138329 3013015495 3250978771 3717594548 1978185103 3404548296 657910169 2089048926 3506160676 3457781583 1779135722 1722666812 3179550960 4789578 1148199227 3429441576 745447241 3150001706 158438418 4274654972 3522135960 2594282382 2749221463 1418607345 1142925375 3557081287 3389824228 2988831089 3267313285 4157373663 1729725345 2385009575 2341906167 90566644 1807341854 797311486 1386297398 796072352 2634414443 3310825451 1412194281 1569352343 1728054564 1318905560 1879472973 960946373 2525580918 3609950916 1507163522 3406193423 1166172994 589155898 1799476576 163747444 1744357706 876151691 3392212372 1367559228 3692072505 3448612569 4208029346 3634635465 2647871368 3439170986 3608030180 4088886673 3798749932 3720476781 234885700 793259471 1101829189 2200692588 462439184 1567690350 2418443029 3803971244 2789249472 1197559723 2712605878 2221529839 1855754254 2392934382 376090825 3723236947 3869238278 738982658 3536683657 728084037 1203862720 2685964943 1129389766 464741113 449964829 2424855393 3171370398 2635467713 1529759653 684874060 3161610090 2921429368 4199225943 1300122211 2979035722 167077378 2409931698 197846166 3889363217 2964635556 3518339442 4035400969 869575758 1721294013 40963050 544408935 1893260002 3250856374 3971914512 472872716 2217245578 628484268 902319606 1733858201 347788746 524369556 811598158 3666420822 1357681238 3941885824 3801810171 3401911547 2920397319 732908270 173041490 403518881 2666345427 2030185079 3657576786 1824437836 508724747 796680026 312220497 83083292 1733779329 1387284280 1002519978 216693956 1401013890 255 362436" option to reproduce the execution
0.00/0.01	c #vars 220
0.00/0.01	c #constraints 42
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       87      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      121 |      100 |       87      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      397 |      250 |       96      2 |        0 |        0
0.00/0.08	c  0.1s |       3 |      786 |      475 |      106      5 |        0 |        0
0.09/0.13	c  0.1s |       4 |     1349 |      813 |      117      9 |        0 |        0
0.19/0.20	c  0.2s |       5 |     2075 |     1320 |      129     14 |        0 |        0
0.29/0.31	c  0.3s |       6 |     3133 |     2081 |      157     22 |        0 |        0
0.39/0.49	c  0.5s |       7 |     4638 |     3223 |      173     34 |        0 |        0
0.69/0.77	c  0.8s |       8 |     6622 |     4936 |      191     49 |        0 |        0
0.99/1.07	c  1.1s |       9 |     9636 |     7506 |      211     71 |        0 |        0
1.39/1.47	c  1.5s |      10 |    14173 |    11361 |      233    102 |        0 |        0
2.09/2.10	c  2.1s |      11 |    21284 |    17144 |      257    144 |        0 |        0
2.99/3.00	c  3.0s |      12 |    31782 |    25819 |      283    202 |        0 |        0
4.29/4.36	c  4.4s |      13 |    46849 |    38832 |      312    283 |        0 |        0
6.29/6.37	c  6.4s |      13 |    67949 |    56932 |      312    383 |        0 |        0
6.49/6.53	c  6.5s |      14 |    69567 |    58352 |      344    390 |        0 |        0
8.49/8.53	c  8.5s |      14 |    89116 |    75152 |      344    474 |        0 |        0
9.89/9.96	c  9.9s |      15 |   103512 |    87632 |      379    536 |        0 |        0
11.89/11.96	c 12.0s |      15 |   122126 |   103832 |      379    611 |        0 |        0
13.89/13.97	c 14.0s |      15 |   141741 |   120832 |      379    690 |        0 |        0
15.18/15.21	c 15.2s |      16 |   153874 |   131552 |      417    740 |        0 |        0
17.18/17.21	c 17.2s |      16 |   173240 |   147752 |      417    809 |        0 |        0
19.18/19.22	c 19.2s |      16 |   191994 |   163952 |      417    879 |        0 |        0
21.19/21.23	c 21.2s |      16 |   210593 |   180252 |      417    949 |        0 |        0
23.18/23.23	c 23.2s |      16 |   229133 |   196352 |      459   1018 |        0 |        0
23.29/23.37	c 23.4s |      17 |   230403 |   197432 |      459   1022 |        0 |        0
25.28/25.37	c 25.4s |      17 |   249850 |   214032 |      459   1087 |        0 |        0
27.28/27.37	c 27.4s |      17 |   268731 |   230132 |      459   1151 |        0 |        0
29.28/29.39	c 29.4s |      17 |   288122 |   246732 |      459   1217 |        0 |        0
31.28/31.39	c 31.4s |      17 |   307826 |   263832 |      459   1286 |        0 |        0
33.38/33.40	c 33.4s |      17 |   328061 |   280832 |      459   1354 |        0 |        0
35.08/35.14	c 35.1s |      18 |   345683 |   296252 |      505   1414 |        0 |        0
37.08/37.14	c 37.1s |      18 |   364544 |   312752 |      505   1474 |        0 |        0
39.08/39.14	c 39.1s |      18 |   383111 |   328952 |      505   1533 |        0 |        0
41.08/41.15	c 41.1s |      18 |   400853 |   344652 |      505   1590 |        0 |        0
43.09/43.16	c 43.1s |      18 |   419569 |   360952 |      505   1649 |        0 |        0
45.09/45.16	c 45.2s |      18 |   438361 |   377452 |      505   1709 |        0 |        0
47.09/47.17	c 47.2s |      18 |   456601 |   393452 |      505   1766 |        0 |        0
49.09/49.18	c 49.2s |      18 |   477324 |   411452 |      505   1831 |        0 |        0
51.09/51.18	c 51.2s |      18 |   495230 |   427352 |      505   1888 |        0 |        0
53.18/53.20	c 53.2s |      18 |   513046 |   443052 |      556   1943 |        0 |        0
53.38/53.40	c 53.4s |      19 |   514824 |   444482 |      556   1948 |        0 |        0
55.38/55.41	c 55.4s |      19 |   532919 |   460082 |      556   1999 |        0 |        0
57.39/57.42	c 57.4s |      19 |   551512 |   475882 |      556   2052 |        0 |        0
59.38/59.42	c 59.4s |      19 |   570082 |   492182 |      556   2106 |        0 |        0
61.38/61.43	c 61.4s |      19 |   587769 |   507482 |      556   2157 |        0 |        0
63.38/63.43	c 63.4s |      19 |   604286 |   521982 |      556   2205 |        0 |        0
65.38/65.45	c 65.4s |      19 |   621625 |   537182 |      556   2256 |        0 |        0
67.39/67.45	c 67.4s |      19 |   638325 |   551882 |      556   2304 |        0 |        0
69.38/69.46	c 69.4s |      19 |   655335 |   566682 |      556   2354 |        0 |        0
71.38/71.47	c 71.5s |      19 |   673460 |   582582 |      556   2407 |        0 |        0
73.38/73.47	c 73.5s |      19 |   691908 |   598882 |      556   2461 |        0 |        0
75.38/75.48	c 75.5s |      19 |   710574 |   615382 |      556   2516 |        0 |        0
77.38/77.48	c 77.5s |      19 |   727846 |   630382 |      556   2565 |        0 |        0
79.38/79.48	c 79.5s |      19 |   744198 |   644782 |      556   2612 |        0 |        0
81.38/81.49	c 81.5s |      19 |   760836 |   659582 |      556   2660 |        0 |        0
82.38/82.48	c 82.5s |      20 |   769141 |   666827 |      612   2683 |        0 |        0
84.38/84.49	c 84.5s |      20 |   785814 |   681327 |      612   2726 |        0 |        0
86.38/86.49	c 86.5s |      20 |   803531 |   696327 |      612   2772 |        0 |        0
88.48/88.50	c 88.5s |      20 |   823086 |   711327 |      612   2817 |        0 |        0
90.48/90.51	c 90.5s |      20 |   840606 |   725727 |      612   2860 |        0 |        0
92.47/92.52	c 92.5s |      20 |   857875 |   739827 |      612   2903 |        0 |        0
94.47/94.53	c 94.5s |      20 |   874159 |   753727 |      612   2945 |        0 |        0
96.47/96.55	c 96.5s |      20 |   889411 |   767027 |      612   2986 |        0 |        0
98.47/98.56	c 98.5s |      20 |   904760 |   780427 |      612   3027 |        0 |        0
100.47/100.56	c  100s |      20 |   920966 |   794427 |      612   3069 |        0 |        0
102.48/102.57	c  102s |      20 |   937098 |   808527 |      612   3111 |        0 |        0
104.47/104.57	c  104s |      20 |   952781 |   822327 |      612   3153 |        0 |        0
106.48/106.58	c  106s |      20 |   969079 |   836527 |      612   3196 |        0 |        0
108.48/108.59	c  108s |      20 |   984662 |   850327 |      612   3237 |        0 |        0
110.48/110.59	c  110s |      20 |   999934 |   863927 |      612   3278 |        0 |        0
112.58/112.60	c  112s |      20 |  1015718 |   877727 |      612   3320 |        0 |        0
114.58/114.61	c  114s |      20 |  1031217 |   891327 |      612   3360 |        0 |        0
116.57/116.62	c  116s |      20 |  1047725 |   905627 |      612   3403 |        0 |        0
118.57/118.63	c  118s |      20 |  1064267 |   919827 |      612   3446 |        0 |        0
120.57/120.63	c  120s |      20 |  1078643 |   932527 |      612   3484 |        0 |        0
122.57/122.64	c  122s |      20 |  1094436 |   946027 |      612   3525 |        0 |        0
124.58/124.65	c  124s |      20 |  1109644 |   959327 |      612   3565 |        0 |        0
126.57/126.66	c  126s |      20 |  1125197 |   972927 |      612   3605 |        0 |        0
128.57/128.67	c  128s |      20 |  1140404 |   986227 |      612   3645 |        0 |        0
130.57/130.68	c  130s |      20 |  1155433 |   999427 |      674   3684 |        0 |        0
130.77/130.83	c  130s |      21 |  1156460 |  1000345 |      674   3686 |        0 |        0
132.77/132.85	c  132s |      21 |  1172305 |  1013345 |      674   3722 |        0 |        0
134.77/134.85	c  134s |      21 |  1187575 |  1026545 |      674   3758 |        0 |        0
136.77/136.87	c  136s |      21 |  1203122 |  1039845 |      674   3794 |        0 |        0
138.77/138.87	c  138s |      21 |  1218731 |  1053545 |      674   3832 |        0 |        0
140.77/140.88	c  140s |      21 |  1234176 |  1067145 |      674   3870 |        0 |        0
142.77/142.88	c  142s |      21 |  1250245 |  1081145 |      674   3909 |        0 |        0
144.77/144.89	c  144s |      21 |  1267813 |  1096345 |      674   3951 |        0 |        0
146.87/146.90	c  146s |      21 |  1284323 |  1110745 |      674   3991 |        0 |        0
148.87/148.90	c  148s |      21 |  1301370 |  1125345 |      674   4032 |        0 |        0
150.87/150.92	c  150s |      21 |  1319052 |  1140845 |      674   4075 |        0 |        0
152.86/152.93	c  152s |      21 |  1334966 |  1154745 |      674   4113 |        0 |        0
154.87/154.94	c  154s |      21 |  1350267 |  1168145 |      674   4149 |        0 |        0
156.87/156.95	c  156s |      21 |  1365109 |  1181345 |      674   4186 |        0 |        0
158.87/158.96	c  158s |      21 |  1380596 |  1195045 |      674   4223 |        0 |        0
160.88/160.96	c  160s |      21 |  1396181 |  1208745 |      674   4261 |        0 |        0
162.87/162.97	c  162s |      21 |  1411684 |  1222345 |      674   4298 |        0 |        0
164.87/164.97	c  164s |      21 |  1426489 |  1235445 |      674   4334 |        0 |        0
166.86/166.97	c  166s |      21 |  1442367 |  1249245 |      674   4372 |        1 |        0
168.86/168.98	c  168s |      21 |  1458338 |  1262645 |      674   4409 |        1 |        0
170.86/170.99	c  170s |      21 |  1473917 |  1275845 |      674   4445 |        1 |        0
172.97/173.01	c  172s |      21 |  1489139 |  1288745 |      674   4481 |        1 |        0
174.96/175.01	c  175s |      21 |  1503331 |  1301245 |      674   4515 |        1 |        0
176.96/177.02	c  177s |      21 |  1518567 |  1314245 |      674   4550 |        1 |        0
178.96/179.02	c  179s |      21 |  1533451 |  1327245 |      674   4586 |        1 |        0
180.96/181.03	c  181s |      21 |  1548291 |  1340345 |      674   4622 |        1 |        0
182.96/183.03	c  183s |      21 |  1563736 |  1353645 |      674   4659 |        1 |        0
184.97/185.04	c  185s |      21 |  1579524 |  1367345 |      674   4696 |        1 |        0
186.96/187.05	c  187s |      21 |  1594031 |  1379945 |      674   4731 |        1 |        0
188.96/189.06	c  189s |      21 |  1608936 |  1392945 |      674   4767 |        1 |        0
190.96/191.07	c  191s |      21 |  1622992 |  1405545 |      674   4801 |        1 |        0
192.96/193.08	c  193s |      21 |  1636645 |  1417845 |      674   4835 |        1 |        0
194.97/195.09	c  195s |      21 |  1650651 |  1430345 |      674   4869 |        1 |        0
196.96/197.09	c  197s |      21 |  1665762 |  1443445 |      674   4905 |        1 |        0
199.06/199.10	c  199s |      21 |  1680783 |  1456745 |      674   4941 |        1 |        0
201.06/201.11	c  201s |      21 |  1695527 |  1469645 |      674   4977 |        1 |        0
203.06/203.12	c  203s |      21 |  1710156 |  1482445 |      674   5012 |        1 |        0
205.06/205.14	c  205s |      21 |  1725185 |  1495245 |      742   5045 |        1 |        0
205.86/206.00	c  205s |      22 |  1731314 |  1500622 |      742   5059 |        1 |        0
207.96/208.00	c  207s |      22 |  1745971 |  1513122 |      742   5090 |        1 |        0
209.96/210.01	c  209s |      22 |  1761141 |  1526322 |      742   5123 |        1 |        0
211.95/212.01	c  211s |      22 |  1776370 |  1539522 |      742   5156 |        1 |        0
213.95/214.02	c  214s |      22 |  1790717 |  1551922 |      742   5188 |        1 |        0
215.95/216.03	c  216s |      22 |  1804853 |  1564222 |      742   5219 |        1 |        0
217.96/218.04	c  218s |      22 |  1819042 |  1576522 |      742   5250 |        1 |        0
219.96/220.04	c  220s |      22 |  1833139 |  1588822 |      742   5281 |        1 |        0
221.96/222.05	c  222s |      22 |  1847082 |  1601222 |      742   5312 |        1 |        0
223.96/224.06	c  224s |      22 |  1861182 |  1613722 |      742   5343 |        1 |        0
225.96/226.06	c  226s |      22 |  1874986 |  1625922 |      742   5374 |        1 |        0
227.97/228.07	c  228s |      22 |  1889066 |  1638222 |      742   5405 |        1 |        0
229.96/230.09	c  230s |      22 |  1902821 |  1650422 |      742   5436 |        1 |        0
231.96/232.09	c  232s |      22 |  1916853 |  1662722 |      742   5466 |        1 |        0
233.96/234.09	c  234s |      22 |  1931861 |  1675722 |      742   5499 |        1 |        0
236.06/236.10	c  236s |      22 |  1945949 |  1688122 |      742   5530 |        1 |        0
238.06/238.11	c  238s |      22 |  1960186 |  1700622 |      742   5562 |        1 |        0
240.06/240.12	c  240s |      22 |  1975301 |  1713622 |      742   5595 |        1 |        0
242.06/242.14	c  242s |      22 |  1990100 |  1726322 |      742   5627 |        1 |        0
244.05/244.16	c  244s |      22 |  2005848 |  1739822 |      742   5661 |        1 |        0
246.05/246.16	c  246s |      22 |  2021423 |  1753422 |      742   5695 |        1 |        0
248.05/248.16	c  248s |      22 |  2036022 |  1766422 |      742   5728 |        1 |        0
250.05/250.16	c  250s |      22 |  2050651 |  1779222 |      742   5760 |        1 |        0
252.06/252.17	c  252s |      22 |  2064902 |  1791922 |      742   5792 |        1 |        0
254.05/254.17	c  254s |      22 |  2079219 |  1804522 |      742   5824 |        1 |        0
256.05/256.18	c  256s |      22 |  2093740 |  1817322 |      742   5856 |        1 |        0
258.05/258.18	c  258s |      22 |  2108578 |  1830422 |      742   5889 |        1 |        0
260.05/260.19	c  260s |      22 |  2123935 |  1843822 |      742   5923 |        1 |        0
262.06/262.19	c  262s |      22 |  2138223 |  1856622 |      742   5956 |        1 |        0
264.05/264.20	c  264s |      22 |  2152596 |  1869322 |      742   5988 |        1 |        0
266.15/266.21	c  266s |      22 |  2166880 |  1881922 |      742   6020 |        1 |        0
268.15/268.22	c  268s |      22 |  2182337 |  1895422 |      742   6054 |        1 |        0
270.15/270.23	c  270s |      22 |  2196740 |  1908222 |      742   6086 |        1 |        0
272.15/272.24	c  272s |      22 |  2211182 |  1920922 |      742   6118 |        1 |        0
274.15/274.24	c  274s |      22 |  2226738 |  1934222 |      742   6152 |        1 |        0
276.15/276.25	c  276s |      22 |  2241203 |  1946822 |      742   6184 |        1 |        0
278.14/278.26	c  278s |      22 |  2255372 |  1959322 |      742   6215 |        1 |        0
280.14/280.26	c  280s |      22 |  2269476 |  1971822 |      742   6247 |        1 |        0
282.14/282.27	c  282s |      22 |  2284837 |  1985322 |      742   6281 |        1 |        0
284.14/284.29	c  284s |      22 |  2299761 |  1998522 |      742   6314 |        1 |        0
286.15/286.29	c  286s |      22 |  2314360 |  2011322 |      742   6346 |        1 |        0
288.24/288.30	c  288s |      22 |  2329410 |  2024522 |      742   6380 |        1 |        0
290.24/290.31	c  290s |      22 |  2344193 |  2037622 |      742   6413 |        1 |        0
292.24/292.31	c  292s |      22 |  2359042 |  2050722 |      742   6446 |        1 |        0
294.24/294.32	c  294s |      22 |  2373579 |  2063522 |      742   6479 |        1 |        0
296.25/296.33	c  296s |      22 |  2388998 |  2076922 |      742   6512 |        1 |        0
298.26/298.34	c  298s |      22 |  2403981 |  2090122 |      742   6546 |        1 |        0
300.25/300.36	c  300s |      22 |  2419573 |  2103922 |      742   6581 |        1 |        0
302.25/302.37	c  302s |      22 |  2433966 |  2116722 |      742   6613 |        1 |        0
304.24/304.38	c  304s |      22 |  2448541 |  2129522 |      742   6645 |        1 |        0
306.24/306.38	c  306s |      22 |  2462615 |  2141822 |      742   6676 |        1 |        0
308.25/308.39	c  308s |      22 |  2477640 |  2154522 |      742   6708 |        1 |        0
310.35/310.40	c  310s |      22 |  2491364 |  2166322 |      742   6738 |        1 |        0
312.34/312.41	c  312s |      22 |  2504776 |  2178122 |      742   6767 |        1 |        0
314.34/314.41	c  314s |      22 |  2519461 |  2190922 |      742   6800 |        1 |        0
316.34/316.42	c  316s |      22 |  2533743 |  2203422 |      742   6831 |        1 |        0
318.34/318.43	c  318s |      22 |  2548338 |  2216322 |      742   6864 |        1 |        0
320.35/320.44	c  320s |      22 |  2562616 |  2229122 |      742   6896 |        1 |        0
322.34/322.44	c  322s |      22 |  2576483 |  2241322 |      817   6925 |        1 |        0
323.94/324.08	c  324s |      23 |  2587330 |  2251038 |      817   6947 |        1 |        0
325.94/326.09	c  326s |      23 |  2602058 |  2263638 |      817   6976 |        1 |        0
328.05/328.11	c  328s |      23 |  2616597 |  2276538 |      817   7006 |        1 |        0
330.04/330.12	c  330s |      23 |  2630917 |  2289038 |      817   7035 |        1 |        0
332.04/332.12	c  332s |      23 |  2645200 |  2301538 |      817   7064 |        1 |        0
334.04/334.13	c  334s |      23 |  2659330 |  2314038 |      817   7093 |        1 |        0
336.04/336.13	c  336s |      23 |  2674192 |  2327038 |      817   7123 |        1 |        0
338.03/338.14	c  338s |      23 |  2688245 |  2339338 |      817   7151 |        1 |        0
340.04/340.14	c  340s |      23 |  2702835 |  2352138 |      817   7181 |        1 |        0
342.04/342.15	c  342s |      23 |  2717572 |  2364938 |      817   7210 |        1 |        0
344.04/344.16	c  344s |      23 |  2731793 |  2377338 |      817   7239 |        1 |        0
346.04/346.17	c  346s |      23 |  2746176 |  2390038 |      817   7269 |        1 |        0
348.04/348.17	c  348s |      23 |  2761667 |  2403538 |      817   7300 |        1 |        0
350.05/350.18	c  350s |      23 |  2776911 |  2416738 |      817   7331 |        1 |        0
352.04/352.19	c  352s |      23 |  2792068 |  2429938 |      817   7361 |        1 |        0
354.04/354.19	c  354s |      23 |  2805759 |  2442138 |      817   7389 |        1 |        0
356.14/356.21	c  356s |      23 |  2819596 |  2454138 |      817   7417 |        1 |        0
358.14/358.21	c  358s |      23 |  2833192 |  2466238 |      817   7445 |        1 |        0
360.14/360.22	c  360s |      23 |  2847721 |  2479238 |      817   7474 |        1 |        0
362.14/362.22	c  362s |      23 |  2861823 |  2491738 |      817   7503 |        1 |        0
364.13/364.24	c  364s |      23 |  2876254 |  2504138 |      817   7532 |        2 |        0
366.13/366.24	c  366s |      23 |  2889551 |  2515538 |      817   7558 |        2 |        0
368.13/368.25	c  368s |      23 |  2903384 |  2527738 |      817   7586 |        2 |        0
370.13/370.26	c  370s |      23 |  2918225 |  2540638 |      817   7616 |        2 |        0
372.13/372.26	c  372s |      23 |  2931605 |  2552538 |      817   7643 |        2 |        0
374.14/374.28	c  374s |      23 |  2946244 |  2565338 |      817   7673 |        2 |        0
376.23/376.30	c  376s |      23 |  2960809 |  2578038 |      817   7702 |        2 |        0
378.23/378.30	c  378s |      23 |  2973919 |  2589738 |      817   7729 |        2 |        0
380.23/380.30	c  380s |      23 |  2988046 |  2602338 |      817   7758 |        2 |        0
382.23/382.30	c  382s |      23 |  3002197 |  2615038 |      817   7787 |        2 |        0
384.23/384.31	c  384s |      23 |  3016761 |  2627838 |      817   7817 |        2 |        0
386.24/386.31	c  386s |      23 |  3030429 |  2639838 |      817   7844 |        2 |        0
388.23/388.32	c  388s |      23 |  3043787 |  2651638 |      817   7871 |        2 |        0
390.23/390.32	c  390s |      23 |  3057469 |  2663638 |      817   7899 |        2 |        0
392.23/392.33	c  392s |      23 |  3071177 |  2675738 |      817   7927 |        2 |        0
394.23/394.34	c  394s |      23 |  3084916 |  2687838 |      817   7955 |        2 |        0
396.23/396.35	c  396s |      23 |  3098841 |  2700138 |      817   7983 |        2 |        0
398.23/398.36	c  398s |      23 |  3112746 |  2712538 |      817   8012 |        2 |        0
400.23/400.38	c  400s |      23 |  3127366 |  2725238 |      817   8041 |        2 |        0
402.23/402.39	c  402s |      23 |  3141037 |  2737238 |      817   8068 |        2 |        0
404.33/404.40	c  404s |      23 |  3154724 |  2749338 |      817   8096 |        2 |        0
406.33/406.40	c  406s |      23 |  3168108 |  2761338 |      817   8124 |        2 |        0
408.34/408.41	c  408s |      23 |  3182759 |  2773838 |      817   8152 |        2 |        0
410.33/410.43	c  410s |      23 |  3196974 |  2786538 |      817   8181 |        2 |        0
412.33/412.43	c  412s |      23 |  3211690 |  2799538 |      817   8211 |        2 |        0
414.33/414.44	c  414s |      23 |  3226015 |  2812238 |      817   8241 |        2 |        0
416.33/416.45	c  416s |      23 |  3240872 |  2825238 |      817   8270 |        2 |        0
418.33/418.45	c  418s |      23 |  3254915 |  2837838 |      817   8299 |        2 |        0
420.34/420.46	c  420s |      23 |  3269177 |  2850538 |      817   8329 |        2 |        0
422.33/422.47	c  422s |      23 |  3283091 |  2862938 |      817   8357 |        2 |        0
424.33/424.48	c  424s |      23 |  3296718 |  2875238 |      817   8385 |        2 |        0
426.33/426.49	c  426s |      23 |  3311179 |  2887938 |      817   8414 |        2 |        0
428.43/428.50	c  428s |      23 |  3325112 |  2900338 |      817   8443 |        2 |        0
430.43/430.51	c  430s |      23 |  3338825 |  2912638 |      817   8471 |        2 |        0
432.43/432.52	c  432s |      23 |  3352235 |  2924638 |      817   8499 |        2 |        0
434.43/434.53	c  434s |      23 |  3367317 |  2937838 |      817   8529 |        2 |        0
436.42/436.54	c  436s |      23 |  3381575 |  2950438 |      817   8558 |        2 |        0
438.42/438.56	c  438s |      23 |  3396083 |  2963338 |      817   8588 |        2 |        0
440.42/440.56	c  440s |      23 |  3411159 |  2976638 |      817   8619 |        2 |        0
442.43/442.57	c  442s |      23 |  3425009 |  2988938 |      817   8647 |        2 |        0
444.42/444.57	c  444s |      23 |  3440502 |  3002438 |      817   8678 |        2 |        0
446.42/446.57	c  446s |      23 |  3454639 |  3014738 |      817   8706 |        2 |        0
448.42/448.58	c  448s |      23 |  3468554 |  3026838 |      817   8734 |        2 |        0
450.52/450.60	c  450s |      23 |  3483094 |  3039638 |      817   8764 |        2 |        0
452.52/452.60	c  452s |      23 |  3496766 |  3051838 |      817   8792 |        2 |        0
454.53/454.61	c  454s |      23 |  3510942 |  3064438 |      817   8821 |        2 |        0
456.52/456.61	c  456s |      23 |  3526394 |  3077938 |      817   8852 |        2 |        0
458.52/458.63	c  458s |      23 |  3541616 |  3091338 |      817   8883 |        2 |        0
460.52/460.63	c  460s |      23 |  3556793 |  3104838 |      817   8914 |        2 |        0
462.52/462.63	c  462s |      23 |  3572250 |  3118538 |      817   8946 |        2 |        0
464.52/464.65	c  464s |      23 |  3588114 |  3132638 |      817   8978 |        2 |        0
466.52/466.65	c  466s |      23 |  3603892 |  3146638 |      817   9010 |        2 |        0
468.51/468.67	c  468s |      23 |  3620546 |  3161438 |      817   9045 |        2 |        0
470.51/470.68	c  470s |      23 |  3635197 |  3174538 |      817   9075 |        2 |        0
472.52/472.70	c  472s |      23 |  3649268 |  3187038 |      817   9103 |        2 |        0
474.62/474.71	c  474s |      23 |  3662534 |  3198938 |      817   9131 |        2 |        0
476.62/476.72	c  476s |      23 |  3676843 |  3211538 |      817   9160 |        2 |        0
478.63/478.72	c  478s |      23 |  3691149 |  3224338 |      817   9189 |        2 |        0
480.62/480.73	c  480s |      23 |  3705742 |  3237238 |      817   9219 |        2 |        0
482.62/482.74	c  482s |      23 |  3720681 |  3250238 |      817   9249 |       13 |        2
484.62/484.75	c  484s |      23 |  3735937 |  3263738 |      817   9280 |       13 |        2
486.62/486.76	c  486s |      23 |  3751673 |  3277638 |      817   9312 |       13 |        2
488.63/488.78	c  488s |      23 |  3767191 |  3291438 |      817   9343 |       13 |        2
490.62/490.78	c  490s |      23 |  3783491 |  3306038 |      817   9377 |       13 |        2
492.62/492.78	c  492s |      23 |  3799303 |  3320138 |      817   9409 |       14 |        2
494.62/494.79	c  494s |      23 |  3814580 |  3333738 |      817   9440 |       14 |        2
496.72/496.80	c  496s |      23 |  3830494 |  3347838 |      817   9473 |       14 |        2
498.72/498.81	c  498s |      23 |  3845646 |  3361338 |      899   9502 |       14 |        2
500.72/500.82	c  500s |      23 |  3861603 |  3375438 |      899   9531 |       14 |        2
500.82/500.99	c  500s |      24 |  3863040 |  3376662 |      899   9534 |       14 |        2
502.82/503.00	c  502s |      24 |  3878614 |  3390362 |      899   9563 |       14 |        2
504.91/505.00	c  504s |      24 |  3893477 |  3403562 |      899   9591 |       15 |        2
505.41/505.57	c  505s |      24 |  3897848 |  3407461 |      899   9597 |       79 |       10
505.41/505.57	c #cpu_time = 504.260s
505.41/505.57	c #wall_clock_time = 505.555s
505.41/505.57	c #decision = 3897848
505.41/505.57	c #random_decision = 17770
505.41/505.57	c #conflict = 3407461
505.41/505.57	c #restart = 24
505.41/505.57	s UNSATISFIABLE
505.41/505.57	c total CPU time = 504.274s
505.41/505.57	c total wall clock time = 505.569s

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

pid=13940
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.22 2.25 2.25 3/179 13943
/proc/meminfo: memFree=29422716/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 2726 0 0 0 0 0 0 0 20 0 4 0 104048430 748089344 3087 33554432000 4194304 16246674 140735791598800 140735791598224 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 183407 3097 441 2943 0 180301 0
[pid=13943/tid=13944] ppid=13940 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 771158016 3175 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=758204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 776400896 3195 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=762300 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104048430 780595200 3211 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100193 s]
/proc/loadavg: 2.22 2.25 2.25 3/179 13943
/proc/meminfo: memFree=29422716/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 28873 0 0 0 5 4 0 0 20 0 4 0 104048430 1247350784 29223 33554432000 4194304 16246674 140735791598800 140735791598224 5523634 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 304529 29232 711 2943 0 301423 0
[pid=13943/tid=13944] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1247350784 29240 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1247350784 29248 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104048430 1247350784 29258 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200507 s]
/proc/loadavg: 2.22 2.25 2.25 3/179 13943
/proc/meminfo: memFree=29422716/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 56854 0 0 0 11 8 0 0 20 0 4 0 104048430 1247350784 57204 33554432000 4194304 16246674 140735791598800 140735791598224 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 304529 57214 712 2943 0 301423 0
[pid=13943/tid=13944] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1247350784 57223 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1247350784 57233 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104048430 1247350784 57244 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300427 s]
/proc/loadavg: 2.22 2.25 2.25 3/179 13943
/proc/meminfo: memFree=29422716/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 84688 0 0 0 17 12 0 0 20 0 4 0 104048430 1247350784 85039 33554432000 4194304 16246674 140735791598800 140735791598224 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 304529 85050 712 2943 0 301423 0
[pid=13943/tid=13944] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1247350784 85058 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1247350784 85067 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104048430 1247350784 85074 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700393 s]
/proc/loadavg: 2.22 2.25 2.25 3/179 13943
/proc/meminfo: memFree=29422716/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 198025 0 0 0 43 26 0 0 20 0 4 0 104048430 1247350784 198376 33554432000 4194304 16246674 140735791598800 140735791581800 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 304529 198387 712 2943 0 301423 0
[pid=13943/tid=13944] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1247350784 198400 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1247350784 198412 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 104048430 1247350784 198420 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.22 2.25 2.25 3/183 13947
/proc/meminfo: memFree=28440144/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=1.49 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267352 0 0 0 114 35 0 0 20 0 4 0 104048430 1337528320 267682 33554432000 4194304 16246674 140735791598800 140735791580672 5545988 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267682 789 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267682 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267682 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267682 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1306180

[startup+3.1004 s]
/proc/loadavg: 2.22 2.25 2.25 3/183 13947
/proc/meminfo: memFree=28351616/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267397 0 0 0 274 35 0 0 20 0 4 0 104048430 1337528320 267727 33554432000 4194304 16246674 140735791598800 140735791580672 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267727 789 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267727 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267727 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267727 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.3004 s]
/proc/loadavg: 2.20 2.24 2.25 3/183 13947
/proc/meminfo: memFree=28351788/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=6.29 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267430 0 0 0 594 35 0 0 20 0 4 0 104048430 1337528320 267760 33554432000 4194304 16246674 140735791598800 140735791581800 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267760 789 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267760 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267760 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267760 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.19 2.24 2.25 3/183 13947
/proc/meminfo: memFree=28352056/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=12.69 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267436 0 0 0 1234 35 0 0 20 0 4 0 104048430 1337528320 267766 33554432000 4194304 16246674 140735791598800 140735791580672 5676224 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267766 791 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267766 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267766 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267766 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1306180

[startup+25.5004 s]
/proc/loadavg: 2.23 2.24 2.25 4/183 13947
/proc/meminfo: memFree=28352672/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=25.49 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267437 0 0 0 2514 35 0 0 20 0 4 0 104048430 1337528320 267767 33554432000 4194304 16246674 140735791598800 140735791580672 13820120 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267767 791 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267767 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267767 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267767 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1004 s]
/proc/loadavg: 2.22 2.24 2.25 3/183 13947
/proc/meminfo: memFree=28351888/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=51.09 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267483 0 0 0 5073 36 0 0 20 0 4 0 104048430 1337528320 267813 33554432000 4194304 16246674 140735791598800 140735791580672 5672713 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267813 791 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267813 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267813 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267813 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1306180

[startup+102.3 s]
/proc/loadavg: 2.27 2.25 2.25 3/183 13948
/proc/meminfo: memFree=28351588/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=102.27 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267484 0 0 0 10191 36 0 0 20 0 4 0 104048430 1337528320 267814 33554432000 4194304 16246674 140735791598800 140735791580672 5523416 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267814 791 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267814 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267814 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267814 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1306180


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

Current children cumulated vsize (KiB) 1306180

[startup+282.3 s]
/proc/loadavg: 2.33 2.28 2.26 3/183 13952
/proc/meminfo: memFree=28339632/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=282.24 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267548 0 0 0 28185 39 0 0 20 0 4 0 104048430 1337528320 267878 33554432000 4194304 16246674 140735791598800 140735791581800 5823242 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267878 791 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267878 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267878 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267878 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1306180

[startup+342.3 s]
/proc/loadavg: 2.28 2.27 2.26 4/183 13953
/proc/meminfo: memFree=28339540/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=342.25 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267548 0 0 0 34184 41 0 0 20 0 4 0 104048430 1337528320 267878 33554432000 4194304 16246674 140735791598800 140735791581800 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267878 791 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267878 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267878 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267878 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.25
Current children cumulated vsize (KiB) 1306180

[startup+402.3 s]
/proc/loadavg: 2.35 2.28 2.26 3/183 13954
/proc/meminfo: memFree=28338968/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=402.23 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267549 0 0 0 40181 42 0 0 20 0 4 0 104048430 1337528320 267879 33554432000 4194304 16246674 140735791598800 140735791580672 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267879 791 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267879 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267879 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267879 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1306180

[startup+462.307 s]
/proc/loadavg: 2.29 2.29 2.27 4/184 13958
/proc/meminfo: memFree=28339008/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=462.22 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267559 0 0 0 46180 42 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140735791581800 13927401 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267889 791 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1306180

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

[startup+486.6 s]
/proc/loadavg: 2.33 2.30 2.27 3/184 13959
/proc/meminfo: memFree=28338480/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=486.52 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267559 0 0 0 48609 43 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140735791580672 5823655 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267889 791 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 486.52
Current children cumulated vsize (KiB) 1306180

[startup+499.4 s]
/proc/loadavg: 2.36 2.30 2.27 4/184 13959
/proc/meminfo: memFree=28338568/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=499.32 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267559 0 0 0 49889 43 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140735791581800 13963995 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267889 791 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 499.32
Current children cumulated vsize (KiB) 1306180

[startup+502.6 s]
/proc/loadavg: 2.33 2.30 2.27 4/184 13982
/proc/meminfo: memFree=28336884/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=502.52 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267559 0 0 0 50209 43 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140735791580672 6077125 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267889 791 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 502.52
Current children cumulated vsize (KiB) 1306180

[startup+504.2 s]
/proc/loadavg: 2.31 2.29 2.27 4/184 13982
/proc/meminfo: memFree=28337124/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=504.11 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267559 0 0 0 50368 43 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140735791580672 12875603 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267889 791 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 504.11
Current children cumulated vsize (KiB) 1306180

[startup+505 s]
/proc/loadavg: 2.31 2.29 2.27 4/184 13982
/proc/meminfo: memFree=28337124/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1306180 CPUtime=504.91 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267559 0 0 0 50448 43 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140735791580672 5546093 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326545 267889 791 2943 0 323439 0
[pid=13943/tid=13944] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1337528320 267889 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 504.91
Current children cumulated vsize (KiB) 1306180

[startup+505.4 s]
/proc/loadavg: 2.31 2.29 2.27 4/184 13982
/proc/meminfo: memFree=28337124/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=1307204 CPUtime=505.31 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202496 267593 0 0 0 50488 43 0 0 20 0 4 0 104048430 1338576896 267923 33554432000 4194304 16246674 140735791598800 140735791581800 5523400 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 326801 267923 791 2943 0 323695 0
[pid=13943/tid=13944] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13944/stat : 13944 (toysat) S 13940 13943 13075 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 104048430 1338576896 267923 33554432000 4194304 16246674 140735791598800 140709277445360 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=13943/tid=13945] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13945/stat : 13945 (toysat) S 13940 13943 13075 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 104048430 1338576896 267923 33554432000 4194304 16246674 140735791598800 140709266955504 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=13943/tid=13946] ppid=13940 vsize=1307204 CPUtime=0 cores=0,2,4,6
/proc/13943/task/13946/stat : 13946 (toysat) S 13940 13943 13075 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 104048430 1338576896 267923 33554432000 4194304 16246674 140735791598800 140709256481968 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 505.31
Current children cumulated vsize (KiB) 1307204

[startup+505.6 s]
/proc/loadavg: 2.31 2.29 2.27 4/184 13982
/proc/meminfo: memFree=28337124/32872528 swapFree=16636/1570076
[pid=13943] ppid=13940 vsize=0 CPUtime=505.51 cores=0,2,4,6
/proc/13943/stat : 13943 (toysat) R 13940 13943 13075 0 -1 4202500 267598 0 0 0 50505 46 0 0 20 0 1 0 104048430 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/13943/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 505.51
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 505.631
CPU time (s): 505.555
CPU user time (s): 505.059
CPU system time (s): 0.495924
CPU usage (%): 99.985
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 505.059
system time used= 0.495924
maximum resident set size= 1071704
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267598
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 21
involuntary context switches= 527

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.23181 second user time and 2.00069 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-06 15:52:41
IDJOB=4078596
IDBENCH=1414
IDSOLVER=2542
FILE ID=node140/4078596-1465221161
RUNJOBID= node140-1465216678-13091
PBS_JOBID= 19843199
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl10_11_pb.cnf.cr.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078596-1465221161/watcher-4078596-1465221161 -o /tmp/evaluation-result-4078596-1465221161/solver-4078596-1465221161 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465216678-13091 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078596-1465221161.opb

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

MD5SUM BENCH= fac1b7391a53ae9861d9e311ddf65af2
RANDOM SEED=831900785

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29422988 kB
Buffers:            8984 kB
Cached:            71976 kB
SwapCached:         1748 kB
Active:          1152920 kB
Inactive:          25024 kB
Active(anon):    1096448 kB
Inactive(anon):     2644 kB
Active(file):      56472 kB
Inactive(file):    22380 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67097912 kB
Dirty:             16328 kB
Writeback:             0 kB
AnonPages:       2651352 kB
Mapped:            10300 kB
Shmem:                 0 kB
Slab:             566500 kB
SReclaimable:      10772 kB
SUnreclaim:       555728 kB
KernelStack:        1520 kB
PageTables:         9060 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2809856 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1544192 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= 71708 MiB
End job on node140 at 2016-06-06 16:01:07