Trace number 4078860

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-02? (TO) 1800.71 1801.06

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-172.opb
MD5SUM6217a9adeb5cd4d9104428c4e3eb327a
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables288080
Total number of constraints6434441
Number of constraints which are clauses5760324
Number of constraints which are cardinality constraints (but not clauses)22930
Number of constraints which are nor clauses,nor cardinality constraints651187
Minimum length of a constraint1
Maximum length of a constraint2457
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 2458
Number of bits of the biggest sum of numbers12
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-07T06:51:04+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-4078860-1465275056.opb"]
0.00/0.01	c use --random-gen="2608472480 599375184 4076436299 1533909262 1967154701 1872562792 26661075 1561967265 4258332052 2774270295 1975787517 3726521536 4285968284 690455739 1442535395 2858769939 201197624 1993685706 812467882 2877427847 293522865 3381814460 3255789307 3676220302 1059565474 1726550230 3658190414 1907585945 2406905474 1510745131 735689162 35045286 1071137016 2434123763 4261007691 4118146462 2054177952 3861104229 119929620 3543805408 733188176 41992884 54419252 3320104570 4087826174 3463181678 151230436 4212065173 3418953981 1829619702 893893547 3095669498 109706397 25133225 3574536510 676288411 3162415503 3200010839 3698279971 3895026047 3679094060 639669993 2930709031 385851820 2357051507 3792736726 2200820057 2690258340 2718201386 1294369670 32298001 2978171367 4032342251 4080986099 870009720 804244353 4289112413 1050855772 1861614347 838702071 1137179742 2797133887 2681465508 143395510 1170416514 3323736798 906941837 32296688 2065593024 3050399651 2562727850 1320897315 674586059 852395391 2357507798 3606840067 3114696843 4264683430 955224912 2406926426 1723460952 4227536286 1078965858 88740422 2456146506 2976100814 458939496 4145487889 631426969 1699097772 2695544601 1930871016 4236808532 2366232159 3679790708 2298948201 746399650 550164845 1462944243 2290116495 4287883409 1261614417 3249948969 2861885439 3159301325 851060639 152671649 683604011 195280585 3321942167 2303550445 3083426956 2283789242 3577226750 2064370010 1816881430 1882613911 3499640669 3940776532 2045127682 2346849061 3828664654 1643497198 566633233 2425956667 2023337933 271692047 3047313798 2995057185 2000631033 2416648079 3034658097 718773512 519746160 3089179860 3075574085 3511993096 3166124423 243537760 1034934239 1003922755 4183177570 2029938953 314675885 2223741451 2245079290 3033377858 2486997858 2234227025 756267812 1606536419 634145402 2072616196 2243150990 728466819 22540237 1732352451 1679446003 3644510010 1983104561 297529291 3905433832 764828305 3943537506 2442449542 3461182465 870433311 915190145 1891805485 4256576224 3938597145 911318815 2560003285 1219033000 3624395211 4165048088 2604473768 2044158510 1078516447 145190855 2831586085 1883092078 3502112642 556567751 2106177737 3339767027 324277141 1853465409 183572638 50448308 1805706847 2771937177 1756499180 1919824553 1573940259 2006156828 3994642044 3402427741 4176782551 3097900737 2714930114 3862990394 1830786312 3879127257 2766780906 1442185791 623540823 1085530321 2351327157 4271152484 4066967594 3978413678 402052969 887901670 2537418809 69275805 2781389251 4116873085 4292290098 1436245031 1197913485 2038514237 585507618 1833637220 3677264886 1523951933 527625662 912269698 2268257682 852746778 1213571562 1664125183 224098808 2443228902 3407354267 542385388 255 362436" option to reproduce the execution
53.38/53.40	c #vars 288080
53.38/53.40	c #constraints 6434441
206.65/206.71	c Solving starts ...
206.65/206.71	c ============================[ Search Statistics ]============================
206.65/206.71	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
206.65/206.71	c       |         |          |          |    Limit     GC | Var      | Constra 
206.65/206.71	c =============================================================================
206.75/206.80	c  0.0s |       0 |        0 |        0 |  2224318      0 |     4400 |        0
210.86/210.93	c  4.2s |       0 |      171 |      100 |  2224318      0 |     4400 |    47916
210.86/210.95	c  4.2s |       1 |      171 |      100 |  2224318      0 |     4400 |    47916
221.06/221.13	c 14.4s |       1 |    10872 |      200 |  2446750      0 |     4400 |    47916
224.25/224.39	c 17.7s |       2 |    16104 |      250 |  2446750      0 |     4400 |    47916
242.95/243.06	c 36.3s |       2 |    54430 |      350 |  2691425      0 |     4400 |    47916
245.25/245.32	c 38.6s |       3 |    54619 |      475 |  2691425      0 |     4400 |    47916
249.75/249.88	c 43.2s |       3 |    55973 |      575 |  2960568      0 |     4400 |    47916
251.85/251.96	c 45.3s |       3 |    56229 |      775 |  2960568      0 |     4400 |    47916
252.25/252.39	c 45.7s |       4 |    56266 |      813 |  2960568      0 |     4400 |    47916
266.45/266.52	c 59.8s |       4 |    67488 |      913 |  3256625      0 |     4402 |    48100
269.55/269.63	c 62.9s |       4 |    67821 |     1113 |  3256625      0 |     4402 |    48100
272.85/272.98	c 66.3s |       4 |    68058 |     1313 |  3256625      0 |     4402 |    48100
273.15/273.20	c 66.5s |       5 |    68062 |     1320 |  3256625      0 |     4402 |    48100
280.75/280.87	c 74.2s |       5 |    69491 |     1420 |  3582288      0 |     4403 |    48270
283.75/283.85	c 77.1s |       5 |    70391 |     1620 |  3582288      0 |     4403 |    48270
286.54/286.64	c 79.9s |       5 |    70719 |     1920 |  3582288      0 |     4403 |    48270
287.95/288.06	c 81.3s |       6 |    70895 |     2081 |  3940517      0 |     4403 |    48270
310.14/310.20	c  103s |       6 |   116468 |     2181 |  3940517      0 |     4404 |    48284
321.24/321.35	c  114s |       6 |   151239 |     2281 |  3940517      0 |     4404 |    48284
372.32/372.47	c  165s |       6 |   224524 |     2381 |  3940517      0 |     4406 |    48372
375.61/375.74	c  169s |       6 |   231614 |     2481 |  3940517      0 |     4406 |    48372
378.52/378.64	c  171s |       6 |   231955 |     2781 |  3940517      0 |     4406 |    48372
380.81/380.91	c  174s |       6 |   232179 |     2981 |  3940517      0 |     4406 |    48372
383.12/383.25	c  176s |       6 |   232436 |     3181 |  3940517      0 |     4406 |    48372
383.62/383.72	c  177s |       7 |   232496 |     3223 |  4334569      0 |     4406 |    48372
388.61/388.74	c  182s |       7 |   233286 |     3323 |  4334569      0 |     4406 |    48372
392.01/392.16	c  185s |       7 |   233502 |     3523 |  4334569      0 |     4406 |    48372
395.01/395.16	c  188s |       7 |   233742 |     3723 |  4334569      0 |     4406 |    48372
398.41/398.59	c  191s |       7 |   234005 |     3923 |  4334569      0 |     4406 |    48372
401.50/401.63	c  194s |       7 |   234247 |     4123 |  4334569      0 |     4406 |    48372
404.61/404.74	c  198s |       7 |   234472 |     4323 |  4334569      0 |     4406 |    48372
408.01/408.13	c  201s |       7 |   234701 |     4523 |  4334569      0 |     4406 |    48372
411.20/411.39	c  204s |       7 |   234923 |     4723 |  4334569      0 |     4406 |    48372
414.50/414.63	c  207s |       7 |   235154 |     4923 |  4768026      0 |     4406 |    48372
414.80/414.90	c  208s |       8 |   235167 |     4936 |  4768026      0 |     4406 |    48372
428.40/428.50	c  221s |       8 |   269171 |     5036 |  4768026      0 |     4406 |    48372
431.30/431.46	c  224s |       8 |   269411 |     5236 |  4768026      0 |     4406 |    48372
434.01/434.20	c  227s |       8 |   269640 |     5436 |  4768026      0 |     4406 |    48372
436.50/436.69	c  229s |       8 |   269893 |     5636 |  4768026      0 |     4406 |    48372
439.30/439.42	c  232s |       8 |   270169 |     5836 |  4768026      0 |     4406 |    48372
443.30/443.40	c  236s |       8 |   270406 |     6036 |  4768026      0 |     4406 |    48372
445.60/445.72	c  239s |       8 |   270517 |     6136 |  4768026      0 |     4406 |    48372
449.00/449.14	c  242s |       8 |   270754 |     6336 |  4768026      0 |     4406 |    48372
452.30/452.41	c  245s |       8 |   270982 |     6536 |  4768026      0 |     4406 |    48372
455.80/455.96	c  249s |       8 |   272086 |     6736 |  4768026      0 |     4406 |    48372
458.70/458.89	c  252s |       8 |   272322 |     6936 |  4768026      0 |     4406 |    48372
462.10/462.23	c  255s |       8 |   272550 |     7136 |  4768026      0 |     4406 |    48372
475.50/475.61	c  268s |       8 |   273530 |     7236 |  4768026      0 |     4407 |    48651
478.29/478.43	c  271s |       8 |   273746 |     7436 |  4768026      0 |     4407 |    48651
479.10/479.29	c  272s |       9 |   273825 |     7506 |  5244829      0 |     4407 |    48651
491.89/492.07	c  285s |       9 |   285592 |     7606 |  5244829      0 |     4408 |    49037
494.79/494.93	c  288s |       9 |   285869 |     7806 |  5244829      0 |     4408 |    49037
499.49/499.69	c  292s |       9 |   286994 |     8006 |  5244829      0 |     4408 |    49037
504.09/504.25	c  297s |       9 |   288495 |     8106 |  5244829      0 |     4408 |    49037
506.59/506.71	c  299s |       9 |   289396 |     8206 |  5244829      0 |     4408 |    49037
508.80/508.99	c  302s |       9 |   290369 |     8306 |  5244829      0 |     4408 |    49037
510.89/511.08	c  304s |       9 |   291136 |     8406 |  5244829      0 |     4408 |    49037
514.09/514.29	c  307s |       9 |   291367 |     8606 |  5244829      0 |     4408 |    49037
517.49/517.66	c  310s |       9 |   291598 |     8806 |  5244829      0 |     4408 |    49037
520.99/521.11	c  314s |       9 |   291867 |     9006 |  5244829      0 |     4408 |    49037
522.99/523.11	c  316s |       9 |   291993 |     9106 |  5244829      0 |     4408 |    49037
525.09/525.26	c  318s |       9 |   292116 |     9206 |  5244829      0 |     4408 |    49037
527.18/527.30	c  320s |       9 |   292228 |     9306 |  5244829      0 |     4408 |    49037
529.38/529.55	c  322s |       9 |   292341 |     9406 |  5244829      0 |     4408 |    49037
533.38/533.51	c  326s |       9 |   292562 |     9606 |  5244829      0 |     4408 |    49037
535.48/535.67	c  328s |       9 |   292683 |     9706 |  5244829      0 |     4408 |    49037
537.79/537.93	c  331s |       9 |   292807 |     9806 |  5244829      0 |     4408 |    49037
539.89/540.04	c  333s |       9 |   292902 |     9906 |  5244829      0 |     4408 |    49037
541.99/542.15	c  335s |       9 |   293030 |    10006 |  5244829      0 |     4408 |    49037
544.78/544.92	c  338s |       9 |   293135 |    10106 |  5244829      0 |     4408 |    49037
548.99/549.14	c  342s |       9 |   293351 |    10306 |  5244829      0 |     4408 |    49037
551.08/551.24	c  344s |       9 |   293523 |    10406 |  5244829      0 |     4408 |    49037
555.19/555.35	c  348s |       9 |   293800 |    10606 |  5244829      0 |     4408 |    49037
557.29/557.43	c  350s |       9 |   293899 |    10706 |  5244829      0 |     4408 |    49037
559.28/559.45	c  352s |       9 |   294045 |    10806 |  5244829      0 |     4408 |    49037
568.98/569.11	c  362s |       9 |   294155 |    10906 |  5244829      0 |     4408 |    49037
570.98/571.14	c  364s |       9 |   294272 |    11006 |  5244829      0 |     4408 |    49037
573.28/573.44	c  366s |       9 |   294392 |    11106 |  5244829      0 |     4408 |    49037
577.09/577.26	c  370s |       9 |   294704 |    11306 |  5769312      0 |     4408 |    49037
578.28/578.43	c  371s |      10 |   294768 |    11361 |  5769312      0 |     4408 |    49037
601.07/601.24	c  394s |      10 |   335593 |    11461 |  5769312      0 |     4409 |    49051
603.57/603.76	c  397s |      10 |   335837 |    11661 |  5769312      0 |     4409 |    49051
606.37/606.53	c  399s |      10 |   336184 |    11961 |  5769312      0 |     4409 |    49051
608.58/608.73	c  402s |      10 |   336395 |    12161 |  5769312      0 |     4409 |    49051
610.77/610.93	c  404s |      10 |   336634 |    12361 |  5769312      0 |     4409 |    49051
612.77/612.96	c  406s |      10 |   336766 |    12461 |  5769312      0 |     4409 |    49051
615.97/616.12	c  409s |      10 |   336983 |    12661 |  5769312      0 |     4409 |    49051
619.57/619.78	c  413s |      10 |   337208 |    12861 |  5769312      0 |     4409 |    49051
623.06/623.27	c  416s |      10 |   337439 |    13061 |  5769312      0 |     4409 |    49051
626.47/626.61	c  419s |      10 |   337676 |    13261 |  5769312      0 |     4409 |    49051
628.67/628.85	c  422s |      10 |   337908 |    13461 |  5769312      0 |     4409 |    49051
631.16/631.30	c  424s |      10 |   338137 |    13661 |  5769312      0 |     4409 |    49051
633.47/633.67	c  426s |      10 |   338345 |    13861 |  5769312      0 |     4409 |    49051
636.96/637.14	c  430s |      10 |   338695 |    14161 |  5769312      0 |     4409 |    49051
639.66/639.90	c  433s |      10 |   338915 |    14361 |  5769312      0 |     4409 |    49051
642.26/642.43	c  435s |      10 |   339173 |    14561 |  5769312      0 |     4409 |    49051
646.27/646.49	c  439s |      10 |   339409 |    14761 |  5769312      0 |     4409 |    49051
648.57/648.72	c  442s |      10 |   339528 |    14861 |  5769312      0 |     4409 |    49051
651.96/652.12	c  445s |      10 |   339759 |    15061 |  5769312      0 |     4409 |    49051
655.26/655.43	c  448s |      10 |   339999 |    15261 |  5769312      0 |     4409 |    49051
657.37/657.51	c  450s |      10 |   340112 |    15361 |  5769312      0 |     4409 |    49051
666.75/666.90	c  460s |      10 |   340236 |    15461 |  5769312      0 |     4409 |    49051
670.36/670.53	c  463s |      10 |   340472 |    15661 |  5769312      0 |     4409 |    49051
674.06/674.23	c  467s |      10 |   340708 |    15861 |  5769312      0 |     4409 |    49051
677.46/677.65	c  470s |      10 |   340945 |    16061 |  5769312      0 |     4409 |    49051
680.25/680.41	c  473s |      10 |   341181 |    16261 |  5769312      0 |     4409 |    49051
683.95/684.15	c  477s |      10 |   341406 |    16461 |  5769312      0 |     4409 |    49051
686.65/686.87	c  480s |      10 |   341628 |    16661 |  5769312      0 |     4409 |    49051
688.85/689.04	c  482s |      10 |   341747 |    16761 |  5769312      0 |     4409 |    49051
692.75/692.94	c  486s |      10 |   341983 |    16961 |  5769312      0 |     4409 |    49051
695.65/695.82	c  489s |      11 |   342179 |    17144 |  6346244      0 |     4409 |    49051
717.35/717.58	c  510s |      11 |   415461 |    17244 |  6346244      0 |     4410 |    49185
744.25/744.45	c  537s |      11 |   471987 |    17344 |  6346244      0 |     4414 |    49506
746.55/746.76	c  540s |      11 |   472154 |    17444 |  6346244      0 |     4414 |    49506
756.25/756.47	c  549s |      11 |   472299 |    17544 |  6346244      0 |     4414 |    49506
779.14/779.36	c  572s |      11 |   553738 |    17744 |  6346244      0 |     4415 |    49520
789.44/789.64	c  582s |      11 |   584507 |    17844 |  6346244      0 |     4416 |    49535
791.54/791.73	c  585s |      11 |   584740 |    18044 |  6346244      0 |     4416 |    49535
794.44/794.62	c  587s |      11 |   585080 |    18344 |  6346244      0 |     4416 |    49535
798.04/798.27	c  591s |      11 |   585598 |    18544 |  6346244      0 |     4416 |    49535
802.03/802.20	c  595s |      11 |   586513 |    18744 |  6346244      0 |     4416 |    49535
804.14/804.34	c  597s |      11 |   586808 |    18844 |  6346244      0 |     4416 |    49535
813.04/813.27	c  606s |      11 |   595831 |    18944 |  6346244      0 |     4417 |    49658
839.93/840.13	c  633s |      11 |   646046 |    19044 |  6346244      0 |     4420 |    49870
858.42/858.65	c  651s |      11 |   693411 |    19144 |  6346244      0 |     4420 |    49870
860.53/860.78	c  654s |      11 |   693520 |    19244 |  6346244      0 |     4420 |    49870
864.63/864.81	c  658s |      11 |   693741 |    19444 |  6346244      0 |     4420 |    49870
868.02/868.20	c  661s |      11 |   693981 |    19644 |  6346244      0 |     4420 |    49870
871.12/871.30	c  664s |      11 |   694191 |    19844 |  6346244      0 |     4420 |    49870
880.82/881.06	c  674s |      11 |   719290 |    20044 |  6346244      0 |     4420 |    49870
910.81/911.09	c  704s |      11 |   842361 |    20144 |  6346244      0 |     4422 |    50342
914.90/915.13	c  708s |      11 |   842726 |    20344 |  6346244      0 |     4422 |    50342
918.51/918.70	c  711s |      11 |   842992 |    20544 |  6346244      0 |     4422 |    50342
921.80/922.07	c  715s |      11 |   843304 |    20744 |  6346244      0 |     4422 |    50342
924.91/925.14	c  718s |      11 |   843650 |    20944 |  6346244      0 |     4422 |    50342
971.20/971.46	c  764s |      11 |   970236 |    21144 |  6346244      0 |     4425 |    51250
989.20/989.49	c  782s |      11 |  1031681 |    21244 |  6346244      0 |     4426 |    51264
991.50/991.71	c  785s |      11 |  1031802 |    21344 |  6346244      0 |     4426 |    51264
993.70/993.91	c  787s |      11 |  1031916 |    21444 |  6346244      0 |     4426 |    51264
996.80/997.07	c  790s |      11 |  1032146 |    21644 |  6346244      0 |     4426 |    51264
1000.40/1000.68	c  793s |      11 |  1032372 |    21844 |  6346244      0 |     4426 |    51264
1003.99/1004.23	c  797s |      11 |  1032613 |    22044 |  6346244      0 |     4426 |    51264
1006.01/1006.27	c  799s |      11 |  1032716 |    22144 |  6346244      0 |     4426 |    51264
1009.40/1009.64	c  802s |      11 |  1032935 |    22344 |  6346244      0 |     4426 |    51264
1012.69/1012.98	c  806s |      11 |  1033150 |    22544 |  6346244      0 |     4426 |    51264
1015.90/1016.16	c  809s |      11 |  1033381 |    22744 |  6346244      0 |     4426 |    51264
1018.79/1019.02	c  812s |      11 |  1033628 |    22944 |  6346244      0 |     4426 |    51264
1021.30/1021.59	c  814s |      11 |  1033894 |    23144 |  6346244      0 |     4426 |    51264
1024.09/1024.33	c  817s |      11 |  1034230 |    23344 |  6346244      0 |     4426 |    51264
1037.89/1038.11	c  831s |      11 |  1052802 |    23444 |  6346244      0 |     4426 |    51264
1102.38/1102.63	c  895s |      11 |  1242716 |    23544 |  6346244      0 |     4433 |    52434
1108.19/1108.48	c  901s |      11 |  1264402 |    23644 |  6346244      0 |     4433 |    52434
1112.18/1112.42	c  905s |      11 |  1265578 |    23844 |  6346244      0 |     4433 |    52434
1121.48/1121.71	c  915s |      11 |  1265740 |    23944 |  6346244      0 |     4433 |    52434
1138.17/1138.44	c  931s |      11 |  1318746 |    24144 |  6346244      0 |     4434 |    52448
1148.98/1149.24	c  942s |      11 |  1443008 |    24244 |  6346244      0 |     4434 |    52448
1169.87/1170.13	c  963s |      11 |  1536722 |    24344 |  6346244      0 |     4436 |    52729
1190.66/1190.93	c  984s |      11 |  1609793 |    24444 |  6346244      0 |     4437 |    52738
1213.25/1213.56	c 1006s |      11 |  1666625 |    24544 |  6346244      0 |     4437 |    52738
1215.76/1216.00	c 1009s |      11 |  1668209 |    24644 |  6346244      0 |     4437 |    52738
1218.05/1218.31	c 1011s |      11 |  1668604 |    24744 |  6346244      0 |     4437 |    52738
1222.06/1222.38	c 1015s |      11 |  1668969 |    24944 |  6346244      0 |     4437 |    52738
1225.75/1226.04	c 1019s |      11 |  1669232 |    25144 |  6346244      0 |     4437 |    52738
1228.06/1228.33	c 1021s |      11 |  1669353 |    25244 |  6346244      0 |     4437 |    52738
1230.26/1230.53	c 1023s |      11 |  1669480 |    25344 |  6346244      0 |     4437 |    52738
1233.56/1233.89	c 1027s |      11 |  1669715 |    25544 |  6346244      0 |     4437 |    52738
1237.25/1237.50	c 1030s |      11 |  1669976 |    25744 |  6980869      0 |     4437 |    52738
1238.75/1239.06	c 1032s |      12 |  1670064 |    25819 |  6980869      0 |     4437 |    52738
1244.25/1244.51	c 1037s |      12 |  1670752 |    25919 |  6980869      0 |     4437 |    52738
1247.55/1247.89	c 1041s |      12 |  1670987 |    26119 |  6980869      0 |     4437 |    52738
1251.16/1251.42	c 1044s |      12 |  1671258 |    26319 |  6980869      0 |     4437 |    52738
1253.25/1253.52	c 1046s |      12 |  1671388 |    26419 |  6980869      0 |     4437 |    52738
1256.85/1257.19	c 1050s |      12 |  1671624 |    26619 |  6980869      0 |     4437 |    52738
1260.65/1260.91	c 1054s |      12 |  1671861 |    26819 |  6980869      0 |     4437 |    52738
1266.35/1266.69	c 1059s |      12 |  1675507 |    27019 |  6980869      0 |     4437 |    52738
1273.55/1273.80	c 1067s |      12 |  1694711 |    27119 |  6980869      0 |     4437 |    52738
1284.45/1284.76	c 1078s |      12 |  1724404 |    27219 |  6980869      0 |     4437 |    52738
1288.74/1289.01	c 1082s |      12 |  1733460 |    27319 |  6980869      0 |     4437 |    52738
1290.75/1291.09	c 1084s |      12 |  1733701 |    27519 |  6980869      0 |     4437 |    52738
1293.15/1293.41	c 1086s |      12 |  1733915 |    27719 |  6980869      0 |     4437 |    52738
1295.84/1296.11	c 1089s |      12 |  1734137 |    27919 |  6980869      0 |     4437 |    52738
1298.45/1298.75	c 1092s |      12 |  1734363 |    28119 |  6980869      0 |     4437 |    52738
1307.35/1307.62	c 1100s |      12 |  1734477 |    28219 |  6980869      0 |     4437 |    52738
1310.04/1310.34	c 1103s |      12 |  1734708 |    28419 |  6980869      0 |     4437 |    52738
1312.23/1312.52	c 1105s |      12 |  1734921 |    28619 |  6980869      0 |     4437 |    52738
1314.34/1314.65	c 1107s |      12 |  1735171 |    28819 |  6980869      0 |     4437 |    52738
1317.04/1317.35	c 1110s |      12 |  1735386 |    29019 |  6980869      0 |     4437 |    52738
1320.24/1320.59	c 1113s |      12 |  1735614 |    29219 |  6980869      0 |     4437 |    52738
1322.94/1323.21	c 1116s |      12 |  1735850 |    29419 |  6980869      0 |     4437 |    52738
1325.24/1325.51	c 1118s |      12 |  1736093 |    29619 |  6980869      0 |     4437 |    52738
1328.24/1328.53	c 1121s |      12 |  1736321 |    29819 |  6980869      0 |     4437 |    52738
1330.64/1330.96	c 1124s |      12 |  1736536 |    30019 |  6980869      0 |     4437 |    52738
1333.24/1333.57	c 1126s |      12 |  1736754 |    30219 |  6980869      0 |     4437 |    52738
1336.03/1336.31	c 1129s |      12 |  1737002 |    30419 |  6980869      0 |     4437 |    52738
1339.63/1339.92	c 1133s |      12 |  1737239 |    30619 |  6980869      0 |     4437 |    52738
1343.43/1343.73	c 1137s |      12 |  1738536 |    30819 |  6980869      0 |     4437 |    52738
1361.14/1361.42	c 1154s |      12 |  1788694 |    30919 |  6980869      0 |     4437 |    52738
1365.22/1365.50	c 1158s |      12 |  1801807 |    31019 |  6980869      0 |     4437 |    52738
1391.82/1392.20	c 1185s |      12 |  1897857 |    31119 |  6980869      0 |     4441 |    53647
1421.52/1421.81	c 1215s |      12 |  1940136 |    31219 |  6980869      0 |     4443 |    53677
1426.72/1427.01	c 1220s |      12 |  1950554 |    31319 |  6980869      0 |     4443 |    53677
1428.72/1429.04	c 1222s |      12 |  1950779 |    31519 |  6980869      0 |     4443 |    53677
1431.22/1431.53	c 1224s |      12 |  1953117 |    31619 |  6980869      0 |     4443 |    53677
1433.51/1433.88	c 1227s |      12 |  1953226 |    31719 |  6980869      0 |     4443 |    53677
1435.81/1436.19	c 1229s |      12 |  1953343 |    31819 |  6980869      0 |     4443 |    53677
1437.91/1438.23	c 1231s |      12 |  1953449 |    31919 |  6980869      0 |     4443 |    53677
1441.82/1442.15	c 1235s |      12 |  1953670 |    32119 |  6980869      0 |     4443 |    53677
1445.92/1446.21	c 1239s |      12 |  1953902 |    32319 |  6980869      0 |     4443 |    53677
1448.12/1448.41	c 1241s |      12 |  1954023 |    32419 |  6980869      0 |     4443 |    53677
1451.61/1451.93	c 1245s |      12 |  1954249 |    32619 |  6980869      0 |     4443 |    53677
1455.12/1455.49	c 1248s |      12 |  1954464 |    32819 |  6980869      0 |     4443 |    53677
1459.21/1459.53	c 1252s |      12 |  1954693 |    33019 |  6980869      0 |     4443 |    53677
1461.32/1461.66	c 1254s |      12 |  1954796 |    33119 |  6980869      0 |     4443 |    53677
1463.32/1463.67	c 1256s |      12 |  1954908 |    33219 |  6980869      0 |     4443 |    53677
1465.41/1465.73	c 1259s |      12 |  1955029 |    33319 |  6980869      0 |     4443 |    53677
1467.82/1468.11	c 1261s |      12 |  1955134 |    33419 |  6980869      0 |     4443 |    53677
1470.02/1470.31	c 1263s |      12 |  1955240 |    33519 |  6980869      0 |     4443 |    53677
1472.11/1472.40	c 1265s |      12 |  1955345 |    33619 |  6980869      0 |     4443 |    53677
1475.31/1475.69	c 1268s |      12 |  1955575 |    33819 |  6980869      0 |     4443 |    53677
1478.61/1478.91	c 1272s |      12 |  1955826 |    34019 |  6980869      0 |     4443 |    53677
1480.61/1480.93	c 1274s |      12 |  1955954 |    34119 |  6980869      0 |     4443 |    53677
1484.81/1485.12	c 1278s |      12 |  1956180 |    34319 |  6980869      0 |     4443 |    53677
1487.31/1487.66	c 1280s |      12 |  1956299 |    34419 |  6980869      0 |     4443 |    53677
1489.30/1489.69	c 1282s |      12 |  1956427 |    34519 |  6980869      0 |     4443 |    53677
1493.41/1493.75	c 1287s |      12 |  1956655 |    34719 |  6980869      0 |     4443 |    53677
1504.30/1504.61	c 1297s |      12 |  1956894 |    34919 |  6980869      0 |     4443 |    53677
1508.30/1508.67	c 1301s |      12 |  1957112 |    35119 |  6980869      0 |     4443 |    53677
1510.60/1510.90	c 1304s |      12 |  1957229 |    35219 |  6980869      0 |     4443 |    53677
1514.50/1514.86	c 1308s |      12 |  1957457 |    35419 |  6980869      0 |     4443 |    53677
1517.61/1517.99	c 1311s |      12 |  1957659 |    35619 |  6980869      0 |     4443 |    53677
1521.71/1522.07	c 1315s |      12 |  1957899 |    35819 |  6980869      0 |     4443 |    53677
1524.30/1524.70	c 1317s |      12 |  1958006 |    35919 |  6980869      0 |     4443 |    53677
1526.81/1527.19	c 1320s |      12 |  1958121 |    36019 |  6980869      0 |     4443 |    53677
1529.41/1529.77	c 1323s |      12 |  1958223 |    36119 |  6980869      0 |     4443 |    53677
1531.60/1531.92	c 1325s |      12 |  1958346 |    36219 |  6980869      0 |     4443 |    53677
1534.30/1534.62	c 1327s |      12 |  1958487 |    36319 |  6980869      0 |     4443 |    53677
1537.10/1537.41	c 1330s |      12 |  1958589 |    36419 |  6980869      0 |     4443 |    53677
1539.30/1539.62	c 1332s |      12 |  1958702 |    36519 |  6980869      0 |     4443 |    53677
1541.61/1541.93	c 1335s |      12 |  1958812 |    36619 |  6980869      0 |     4443 |    53677
1543.70/1544.07	c 1337s |      12 |  1958932 |    36719 |  6980869      0 |     4443 |    53677
1546.30/1546.65	c 1339s |      12 |  1959052 |    36819 |  6980869      0 |     4443 |    53677
1549.10/1549.41	c 1342s |      12 |  1959161 |    36919 |  6980869      0 |     4443 |    53677
1551.59/1551.90	c 1345s |      12 |  1959263 |    37019 |  6980869      0 |     4443 |    53677
1554.19/1554.57	c 1347s |      12 |  1959389 |    37119 |  6980869      0 |     4443 |    53677
1556.79/1557.17	c 1350s |      12 |  1959496 |    37219 |  6980869      0 |     4443 |    53677
1559.29/1559.66	c 1352s |      12 |  1959608 |    37319 |  6980869      0 |     4443 |    53677
1561.69/1562.08	c 1355s |      12 |  1959723 |    37419 |  6980869      0 |     4443 |    53677
1563.99/1564.39	c 1357s |      12 |  1959858 |    37519 |  6980869      0 |     4443 |    53677
1566.49/1566.83	c 1360s |      12 |  1959959 |    37619 |  6980869      0 |     4443 |    53677
1570.49/1570.88	c 1364s |      12 |  1960198 |    37819 |  6980869      0 |     4443 |    53677
1572.69/1573.04	c 1366s |      12 |  1960310 |    37919 |  6980869      0 |     4443 |    53677
1575.08/1575.48	c 1368s |      12 |  1960417 |    38019 |  6980869      0 |     4443 |    53677
1577.39/1577.76	c 1371s |      12 |  1960523 |    38119 |  6980869      0 |     4443 |    53677
1579.49/1579.82	c 1373s |      12 |  1960643 |    38219 |  6980869      0 |     4443 |    53677
1581.88/1582.22	c 1375s |      12 |  1960760 |    38319 |  6980869      0 |     4443 |    53677
1585.89/1586.20	c 1379s |      12 |  1960984 |    38519 |  6980869      0 |     4443 |    53677
1589.79/1590.12	c 1383s |      12 |  1961200 |    38719 |  7678956      0 |     4443 |    53677
1592.10/1592.49	c 1385s |      12 |  1961308 |    38819 |  7678956      0 |     4443 |    53677
1592.39/1592.72	c 1386s |      13 |  1961323 |    38832 |  7678956      0 |     4443 |    53677
1625.58/1625.96	c 1419s |      13 |  2020393 |    38932 |  7678956      0 |     4443 |    53677
1639.57/1639.92	c 1433s |      13 |  2056731 |    39032 |  7678956      0 |     4443 |    53677
1643.88/1644.29	c 1437s |      13 |  2062136 |    39232 |  7678956      0 |     4443 |    53677
1663.58/1663.96	c 1457s |      13 |  2103582 |    39332 |  7678956      0 |     4444 |    54040
1666.77/1667.18	c 1460s |      13 |  2103824 |    39532 |  7678956      0 |     4444 |    54040
1669.88/1670.20	c 1463s |      13 |  2104094 |    39732 |  7678956      0 |     4444 |    54040
1672.08/1672.40	c 1465s |      13 |  2106256 |    39832 |  7678956      0 |     4444 |    54040
1674.27/1674.66	c 1467s |      13 |  2106482 |    40032 |  7678956      0 |     4444 |    54040
1676.28/1676.68	c 1469s |      13 |  2106709 |    40232 |  7678956      0 |     4444 |    54040
1678.47/1678.84	c 1472s |      13 |  2106939 |    40432 |  7678956      0 |     4444 |    54040
1681.57/1681.92	c 1475s |      13 |  2107303 |    40732 |  7678956      0 |     4444 |    54040
1684.48/1684.85	c 1478s |      13 |  2107557 |    40932 |  7678956      0 |     4444 |    54040
1687.57/1687.99	c 1481s |      13 |  2107791 |    41132 |  7678956      0 |     4444 |    54040
1690.37/1690.74	c 1484s |      13 |  2108015 |    41332 |  7678956      0 |     4444 |    54040
1692.57/1692.92	c 1486s |      13 |  2108265 |    41532 |  7678956      0 |     4444 |    54040
1694.96/1695.30	c 1488s |      13 |  2108478 |    41732 |  7678956      0 |     4444 |    54040
1697.17/1697.53	c 1490s |      13 |  2108706 |    41932 |  7678956      0 |     4444 |    54040
1705.56/1705.92	c 1499s |      13 |  2108819 |    42032 |  7678956      0 |     4444 |    54040
1707.97/1708.36	c 1501s |      13 |  2109054 |    42232 |  7678956      0 |     4444 |    54040
1710.46/1710.82	c 1504s |      13 |  2109289 |    42432 |  7678956      0 |     4444 |    54040
1712.57/1712.94	c 1506s |      13 |  2109508 |    42632 |  7678956      0 |     4444 |    54040
1714.77/1715.15	c 1508s |      13 |  2109734 |    42832 |  7678956      0 |     4444 |    54040
1717.17/1717.50	c 1510s |      13 |  2109934 |    43032 |  7678956      0 |     4444 |    54040
1720.46/1720.84	c 1514s |      13 |  2110683 |    43232 |  7678956      0 |     4444 |    54040
1724.56/1724.94	c 1518s |      13 |  2110929 |    43432 |  7678956      0 |     4444 |    54040
1726.87/1727.20	c 1520s |      13 |  2111022 |    43532 |  7678956      0 |     4444 |    54040
1728.97/1729.37	c 1522s |      13 |  2111145 |    43632 |  7678956      0 |     4444 |    54040
1731.37/1731.70	c 1524s |      13 |  2111261 |    43732 |  7678956      0 |     4444 |    54040
1733.36/1733.74	c 1527s |      13 |  2111365 |    43832 |  7678956      0 |     4444 |    54040
1737.27/1737.61	c 1530s |      13 |  2111615 |    44032 |  7678956      0 |     4444 |    54040
1741.16/1741.57	c 1534s |      13 |  2111873 |    44232 |  7678956      0 |     4444 |    54040
1743.16/1743.59	c 1536s |      13 |  2111971 |    44332 |  7678956      0 |     4444 |    54040
1749.86/1750.20	c 1543s |      13 |  2125008 |    44432 |  7678956      0 |     4444 |    54040
1759.15/1759.59	c 1552s |      13 |  2149135 |    44532 |  7678956      0 |     4444 |    54040
1761.26/1761.61	c 1554s |      13 |  2149325 |    44632 |  7678956      0 |     4444 |    54040
1764.55/1764.99	c 1558s |      13 |  2149576 |    44832 |  7678956      0 |     4444 |    54040
1768.07/1768.46	c 1561s |      13 |  2149834 |    45032 |  7678956      0 |     4444 |    54040
1771.75/1772.10	c 1565s |      13 |  2150095 |    45232 |  7678956      0 |     4444 |    54040
1775.76/1776.13	c 1569s |      13 |  2150378 |    45432 |  7678956      0 |     4444 |    54040
1779.26/1779.65	c 1572s |      13 |  2150602 |    45632 |  7678956      0 |     4444 |    54040
1782.15/1782.59	c 1575s |      13 |  2150877 |    45832 |  7678956      0 |     4444 |    54040
1785.66/1786.01	c 1579s |      13 |  2151126 |    46032 |  7678956      0 |     4444 |    54040
1789.45/1789.86	c 1583s |      13 |  2151392 |    46232 |  7678956      0 |     4444 |    54040
1791.55/1791.95	c 1585s |      13 |  2151510 |    46332 |  7678956      0 |     4444 |    54040
1793.75/1794.15	c 1587s |      13 |  2151617 |    46432 |  7678956      0 |     4444 |    54040

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

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.25 2.20 3/179 9387
/proc/meminfo: memFree=28566608/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=690620 CPUtime=0 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 2568 0 0 0 0 0 0 0 20 0 4 0 109439427 707194880 3440 33554432000 4194304 16246674 140736499581104 140736499580528 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9387/statm: 173167 3448 441 2943 0 170061 0
[pid=9387/tid=9388] ppid=9384 vsize=709052 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 726069248 3509 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=713148 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 730263552 3528 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109439428 734457856 3544 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.15 2.25 2.20 3/179 9387
/proc/meminfo: memFree=28566608/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 27596 0 0 0 5 4 0 0 20 0 4 0 109439427 1250496512 28405 33554432000 4194304 16246674 140736499581104 140736499580416 4223718 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9387/statm: 305297 28408 800 2943 0 302191 0
[pid=9387/tid=9388] ppid=9384 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 1250496512 28410 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 1250496512 28413 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 1250496512 28416 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1221188

[startup+0.200529 s]
/proc/loadavg: 2.15 2.25 2.20 3/179 9387
/proc/meminfo: memFree=28566608/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=1311300 CPUtime=0.19 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 49559 0 0 0 12 7 0 0 20 0 4 0 109439427 1342771200 50879 33554432000 4194304 16246674 140736499581104 140736499580416 4221105 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9387/statm: 327825 50886 802 2943 0 324719 0
[pid=9387/tid=9388] ppid=9384 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 1342771200 50890 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 1342771200 50895 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 1342771200 50899 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1311300

[startup+0.300484 s]
/proc/loadavg: 2.15 2.25 2.20 3/179 9387
/proc/meminfo: memFree=28566608/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=1314372 CPUtime=0.28 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 64516 0 0 0 19 9 0 0 20 0 4 0 109439427 1345916928 65836 33554432000 4194304 16246674 140736499581104 140736499580416 4206604 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9387/statm: 328593 65836 802 2943 0 325487 0
[pid=9387/tid=9388] ppid=9384 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 1345916928 65836 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 1345916928 65836 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 1345916928 65836 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700431 s]
/proc/loadavg: 2.15 2.25 2.20 3/179 9387
/proc/meminfo: memFree=28566608/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 69331 0 0 0 59 10 0 0 20 0 4 0 109439427 1345916928 70651 33554432000 4194304 16246674 140736499581104 140736499564096 8057122 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9387/statm: 328593 70651 802 2943 0 325487 0
[pid=9387/tid=9388] ppid=9384 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 1345916928 70651 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 1345916928 70651 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 1345916928 70651 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50043 s]
/proc/loadavg: 2.15 2.25 2.20 3/183 9391
/proc/meminfo: memFree=28242232/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 84221 0 0 0 137 12 0 0 20 0 4 0 109439427 1345916928 85541 33554432000 4194304 16246674 140736499581104 140736499564096 7889536 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9387/statm: 328593 85541 803 2943 0 325487 0
[pid=9387/tid=9388] ppid=9384 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 1345916928 85541 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 1345916928 85541 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 1345916928 85541 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10045 s]
/proc/loadavg: 2.15 2.25 2.20 3/183 9391
/proc/meminfo: memFree=28152324/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=1338948 CPUtime=3.09 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 136902 0 0 0 287 22 0 0 20 0 4 0 109439427 1371082752 142310 33554432000 4194304 16246674 140736499581104 140736499578944 4223003 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9387/statm: 334737 142310 803 2943 0 331631 0
[pid=9387/tid=9388] ppid=9384 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 1371082752 142310 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 1371082752 142310 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=1338948 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 1371082752 142310 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1338948

[startup+6.30755 s]
/proc/loadavg: 2.14 2.24 2.20 3/183 9391
/proc/meminfo: memFree=27634888/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=1388100 CPUtime=6.3 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 218505 0 0 0 593 37 0 0 20 0 4 0 109439427 1421414400 233622 33554432000 4194304 16246674 140736499581104 140736499580200 8058278 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9387/statm: 347025 233622 803 2943 0 343919 0
[pid=9387/tid=9388] ppid=9384 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 1421414400 233622 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 1421414400 233622 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=1388100 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 1421414400 233622 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 1388100

[startup+12.7004 s]
/proc/loadavg: 2.20 2.25 2.21 4/183 9391
/proc/meminfo: memFree=27334796/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=1466948 CPUtime=12.68 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 289432 0 0 0 1219 49 0 0 20 0 4 0 109439427 1502154752 308637 33554432000 4194304 16246674 140736499581104 140736499580200 12752260 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9387/statm: 366737 308637 803 2943 0 363631 0
[pid=9387/tid=9388] ppid=9384 vsize=1466948 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 1502154752 308637 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=1466948 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 1502154752 308637 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=1466948 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 1502154752 308637 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1466948

[startup+25.5004 s]
/proc/loadavg: 2.16 2.24 2.20 3/183 9391
/proc/meminfo: memFree=25579512/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=3570244 CPUtime=25.49 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 815182 0 0 0 2418 131 0 0 20 0 4 0 109439427 3655929856 834387 33554432000 4194304 16246674 140736499581104 140736499579768 4206942 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9387/statm: 892561 834395 803 2943 0 889455 0
[pid=9387/tid=9388] ppid=9384 vsize=3570244 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 3655929856 834401 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=3570244 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 3655929856 834405 33554432000 4194304 16246674 140736499581104 140723865234448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=3570244 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 3655929856 834409 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3570244

[startup+51.1004 s]
/proc/loadavg: 2.10 2.22 2.19 3/183 9391
/proc/meminfo: memFree=21419520/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=7371332 CPUtime=51.08 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 1765526 0 0 0 4831 277 0 0 20 0 4 0 109439427 7548243968 1784731 33554432000 4194304 16246674 140736499581104 140736499580280 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9387/statm: 1842833 1784731 803 2943 0 1839727 0
[pid=9387/tid=9388] ppid=9384 vsize=7371332 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 7548243968 1784731 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=7371332 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 7548243968 1784731 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=7371332 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 7548243968 1784731 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7371332

[startup+102.3 s]
/proc/loadavg: 2.12 2.20 2.19 4/183 9392
/proc/meminfo: memFree=16547928/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=12233284 CPUtime=102.27 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 2981073 0 0 0 9779 448 0 0 20 0 4 0 109439427 12526882816 3000278 33554432000 4194304 16246674 140736499581104 140736499580280 13767492 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/9387/statm: 3058321 3000278 851 2943 0 3055215 0
[pid=9387/tid=9388] ppid=9384 vsize=12233284 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 12526882816 3000278 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=12233284 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 12526882816 3000278 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=12233284 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 12526882816 3000278 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 12233284


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


[startup+1422.3 s]
/proc/loadavg: 2.22 2.20 2.18 3/183 9497
/proc/meminfo: memFree=14531612/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=14568004 CPUtime=1422.02 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 3510650 0 1 0 141415 787 0 0 20 0 4 0 109439427 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140736499563008 13899088 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 1 0 0
/proc/9387/statm: 3642001 3584013 902 2943 0 3638895 0
[pid=9387/tid=9388] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 14568004

[startup+1482.3 s]
/proc/loadavg: 2.35 2.24 2.19 3/183 9498
/proc/meminfo: memFree=14531396/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=14568004 CPUtime=1482.01 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 3510650 0 1 0 147404 797 0 0 20 0 4 0 109439427 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140736499563008 5822484 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 1 0 0
/proc/9387/statm: 3642001 3584013 902 2943 0 3638895 0
[pid=9387/tid=9388] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 14568004

[startup+1542.3 s]
/proc/loadavg: 2.22 2.22 2.19 4/183 9499
/proc/meminfo: memFree=14531192/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=14568004 CPUtime=1542 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 3510658 0 1 0 153395 805 0 0 20 0 4 0 109439427 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140736499563008 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 1 0 0
/proc/9387/statm: 3642001 3584013 902 2943 0 3638895 0
[pid=9387/tid=9388] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 14568004

[startup+1602.3 s]
/proc/loadavg: 2.35 2.26 2.20 3/182 9500
/proc/meminfo: memFree=14531496/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=14568004 CPUtime=1601.99 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 3510668 0 1 0 159382 817 0 0 20 0 4 0 109439427 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140736499578896 4206964 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 1 0 0
/proc/9387/statm: 3642001 3584013 902 2943 0 3638895 0
[pid=9387/tid=9388] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140723865234448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584013 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 14568004

[startup+1662.3 s]
/proc/loadavg: 2.22 2.24 2.19 3/182 9502
/proc/meminfo: memFree=14531124/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=14568004 CPUtime=1661.98 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 3510669 0 1 0 165375 823 0 0 20 0 4 0 109439427 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140736499580280 5531892 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 1 0 0
/proc/9387/statm: 3642001 3584016 902 2943 0 3638895 0
[pid=9387/tid=9388] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 14568004

[startup+1722.31 s]
/proc/loadavg: 2.12 2.21 2.18 4/183 9504
/proc/meminfo: memFree=14530856/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=14568004 CPUtime=1721.97 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 3510671 0 1 0 171365 832 0 0 20 0 4 0 109439427 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140736499580200 5829569 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 1 0 0
/proc/9387/statm: 3642001 3584016 902 2943 0 3638895 0
[pid=9387/tid=9388] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 14568004

[startup+1782.3 s]
/proc/loadavg: 2.14 2.20 2.18 3/184 9508
/proc/meminfo: memFree=14529728/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=14568004 CPUtime=1781.95 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 3510674 0 1 0 177353 842 0 0 20 0 4 0 109439427 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140736499580200 5677720 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 1 0 0
/proc/9387/statm: 3642001 3584016 902 2943 0 3638895 0
[pid=9387/tid=9388] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140723865234672 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 14568004



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.41 s]
/proc/loadavg: 2.10 2.18 2.17 3/183 9508
/proc/meminfo: memFree=14530044/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=14568004 CPUtime=1800.06 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) R 9384 9387 5723 0 -1 4202496 3510677 0 1 0 179159 847 0 0 20 0 4 0 109439427 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140736499578960 4224925 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 1 0 0
/proc/9387/statm: 3642001 3584016 902 2943 0 3638895 0
[pid=9387/tid=9388] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9388/stat : 9388 (toysat) S 9384 9387 5723 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140723947023600 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) S 9384 9387 5723 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140723865234448 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=9387/tid=9390] ppid=9384 vsize=14568004 CPUtime=0 cores=1,3,5,7
/proc/9387/task/9390/stat : 9390 (toysat) S 9384 9387 5723 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 109439428 14917636096 3584016 33554432000 4194304 16246674 140736499581104 140723854761136 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 14568004

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.7 s]
/proc/loadavg: 2.10 2.18 2.17 3/183 9508
/proc/meminfo: memFree=14530044/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=0 CPUtime=1800.34 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) Z 9384 9387 5723 0 -1 4203532 3510677 0 1 0 179159 875 0 0 20 0 2 0 109439427 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 1 0 0
/proc/9387/statm: 0 0 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=0 CPUtime=0.27 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) R 9384 9387 5723 0 -1 4203588 7 0 0 0 0 27 0 0 20 0 2 0 109439428 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.34
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 2.10 2.18 2.17 3/183 9508
/proc/meminfo: memFree=14530044/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=0 CPUtime=1800.54 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) Z 9384 9387 5723 0 -1 4203532 3510677 0 1 0 179159 895 0 0 20 0 2 0 109439427 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 1 0 0
/proc/9387/statm: 0 0 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=0 CPUtime=0.47 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) R 9384 9387 5723 0 -1 4203588 7 0 0 0 0 47 0 0 20 0 2 0 109439428 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.54
Current children cumulated vsize (KiB) 0

[startup+1801 s]
/proc/loadavg: 2.10 2.18 2.17 3/183 9508
/proc/meminfo: memFree=14530044/32872528 swapFree=16384/1696552
[pid=9387] ppid=9384 vsize=0 CPUtime=1800.64 cores=1,3,5,7
/proc/9387/stat : 9387 (toysat) Z 9384 9387 5723 0 -1 4203532 3510677 0 1 0 179159 905 0 0 20 0 2 0 109439427 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 1 0 0
/proc/9387/statm: 0 0 0 0 0 0 0
[pid=9387/tid=9389] ppid=9384 vsize=0 CPUtime=0.57 cores=1,3,5,7
/proc/9387/task/9389/stat : 9389 (toysat) R 9384 9387 5723 0 -1 4203588 7 0 0 0 0 57 0 0 20 0 2 0 109439428 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.06
CPU time (s): 1800.71
CPU user time (s): 1791.6
CPU system time (s): 9.10962
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 14568004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.6
system time used= 9.10961
maximum resident set size= 14336064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3510677
page faults= 1
swaps= 0
block input operations= 200
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 159
involuntary context switches= 3028

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.5757 second user time and 19.854 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-07 06:51:04
IDJOB=4078860
IDBENCH=89646
IDSOLVER=2542
FILE ID=node125/4078860-1465275056
RUNJOBID= node125-1465259688-5740
PBS_JOBID= 19843289
Free space on /tmp= 71420 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-172.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078860-1465275056/watcher-4078860-1465275056 -o /tmp/evaluation-result-4078860-1465275056/solver-4078860-1465275056 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1465259688-5740 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078860-1465275056.opb

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

MD5SUM BENCH= 6217a9adeb5cd4d9104428c4e3eb327a
RANDOM SEED=1957395677

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28566500 kB
Buffers:          133884 kB
Cached:           604088 kB
SwapCached:         1984 kB
Active:          1555432 kB
Inactive:         288888 kB
Active(anon):    1107428 kB
Inactive(anon):     1436 kB
Active(file):     448004 kB
Inactive(file):   287452 kB
Unevictable:     1696552 kB
Mlocked:           16384 kB
SwapTotal:      67108856 kB
SwapFree:       67098580 kB
Dirty:            325236 kB
Writeback:             0 kB
AnonPages:       2804512 kB
Mapped:            10860 kB
Shmem:                 0 kB
Slab:             625924 kB
SReclaimable:      69020 kB
SUnreclaim:       556904 kB
KernelStack:        1448 kB
PageTables:         9588 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2948304 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2209792 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= 71404 MiB
End job on node125 at 2016-06-07 07:21:05