Trace number 4079362

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.66 1800.94

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Large/
normalized-minisat100_16_6_7_mh.opb
MD5SUM54f73c3b575712a1f6dc41b8a7ab2de4
Bench CategoryOPT-BIGINT-LIN (optimisation, big 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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables2000400
Total number of constraints4920807
Number of constraints which are clauses3910700
Number of constraints which are cardinality constraints (but not clauses)107
Number of constraints which are nor clauses,nor cardinality constraints1010000
Minimum length of a constraint2
Maximum length of a constraint14950
Number of terms in the objective function 1019800
Biggest coefficient in the objective function 168196608
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 361598548166
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 168196608
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 361598548166
Number of bits of the biggest sum of numbers39
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-07T18:20:53+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-4079362-1465316448.opb"]
0.00/0.01	c use --random-gen="319002594 629815738 743820573 1986012544 4052020560 625129599 425529512 2183861432 3165495131 703627001 359018475 3322177433 1195457004 2489179982 456701235 3788898232 341083725 2199814628 174020576 2036726226 2770870090 3596374524 3049772174 4018351081 564205892 2498013305 855949776 3522361060 578545944 3905659870 554774379 69306158 2326595777 321955706 380615386 1269905587 1179093638 316814745 2344237623 2896432942 2932711364 3576324052 568871647 2728116471 3441426121 3775224118 1979433206 3788558775 2486132834 3750024161 4034864695 439922572 3192421657 2742917884 646257169 2265854251 2384865066 1592949987 2639807897 3542045556 2570624033 3661999761 1064824037 1933662478 4053463642 2613852764 3467377483 1201005438 2392935897 2504182553 2765922080 814175619 3975956873 3730244714 2795541855 4207209539 823687649 3971800416 3250148067 2028624647 2557975731 2786536396 3994191590 2164425007 232209781 4130831817 3781686896 320900206 121759978 1753196780 1952703589 3340766767 1863581915 357875047 2246086731 2965741234 3079686194 286677815 2179272561 114404010 2080650494 2686601278 3411110087 3860284891 567636781 3349905286 3647991498 4174945730 1068650133 3505800599 2305338543 27825266 1305426169 3855342303 3574687169 3470146525 4075097248 3390796213 2189699309 806783497 4071671040 1036026882 176385198 625086399 661338846 3951421244 68809131 1521973772 3992440689 3225176444 4040047606 1893900793 779619708 2528626682 3773838687 676053981 2031832139 955868535 3875887843 3546623086 1058377850 2297795562 1807679109 1929656658 3880983092 2616237122 2683287814 3746185745 568200142 1674582606 1885637044 2477919788 3564392482 4225823836 3106236245 3802757761 881365158 2549628584 2117429766 255593505 1399655491 3212755791 2119697525 2688676740 3108922563 337754031 2936100547 3917758458 2085336379 4183268751 2354902805 1508400143 2412282056 2981465697 4150374672 3134117568 2754465846 1171145845 2735193288 1886562806 2312592690 414411919 3609110656 233766285 2318570799 390748362 1136273576 4166925057 3139433150 3045774665 3401575669 2270583786 2838756041 3608274479 3545349279 739981998 91921710 691309981 3752150555 3732476939 2726610065 1832001298 814214529 1734992629 3762190478 205784386 965763045 816330831 3679867543 1374289704 1118620728 74790340 1796877510 3372509043 2321673686 1184798032 3060268434 3350567749 3678052143 2548096264 2811998142 1359045661 2927087720 3849285562 2301114012 3737503283 3550624491 2760501803 3753225534 2402276207 48979617 3880311589 3672901850 3894142855 2350705 874674436 3156264059 1006919755 2963914975 3850920869 3078375501 3376707124 2284206823 173331887 374028509 3120256433 359809492 3099776041 415908047 3332139628 3790766124 3045117033 464835890 2116374239 568378998 2753035433 255 362436" option to reproduce the execution
33.18/33.24	c #vars 2000400
33.18/33.24	c #constraints 4920807
113.37/113.42	c BCD2: Hardening is enabled.
113.37/113.42	c BCD2: BiasedSearch is enabled.
113.37/113.42	c Solving starts ...
113.37/113.42	c ============================[ Search Statistics ]============================
113.37/113.42	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
113.37/113.42	c       |         |          |          |    Limit     GC | Var      | Constra 
113.37/113.42	c =============================================================================
113.37/113.47	c  0.0s |       0 |        0 |        0 |  2313669      0 |      300 |        0
252.95/253.01	c  139s |       0 |      165 |      100 |  2313669      0 |      300 |        0
253.75/253.85	c  140s |       1 |      165 |      100 |  2313669      0 |      300 |        0
261.46/261.57	c  148s |       1 |     1008 |      200 |  2545036      0 |      300 |        0
263.45/263.53	c  150s |       2 |     1067 |      250 |  2545036      0 |      300 |        0
306.85/306.98	c  193s |       2 |     4286 |      350 |  2799540      0 |      300 |        0
337.84/337.99	c  224s |       2 |     4403 |      450 |  2799540      0 |      300 |        0
347.04/347.19	c  233s |       3 |     4429 |      475 |  2799540      0 |      300 |        0
482.13/482.27	c  368s |       3 |    12512 |      575 |  3079495      0 |      300 |        0
676.49/676.66	c  563s |       3 |    21404 |      675 |  3079495      0 |      300 |        0
715.89/716.05	c  602s |       3 |    28823 |      775 |  3079495      0 |      300 |        0
731.28/731.48	c  618s |       4 |    29587 |      813 |  3079495      0 |      300 |        0
745.68/745.80	c  632s |       4 |    33301 |      913 |  3387445      0 |      300 |        0
762.78/762.97	c  649s |       4 |    50599 |     1013 |  3387445      0 |      300 |        0
771.98/772.15	c  658s |       4 |    50707 |     1113 |  3387445      0 |      300 |        0
774.17/774.36	c  660s |       4 |    50813 |     1213 |  3387445      0 |      300 |        0
776.47/776.65	c  663s |       4 |    50912 |     1313 |  3387445      0 |      300 |        0
778.17/778.30	c  664s |       5 |    50917 |     1320 |  3387445      0 |      300 |        0
789.08/789.24	c  675s |       5 |    55904 |     1420 |  3726190      0 |      300 |        0
816.47/816.69	c  703s |       5 |    56036 |     1520 |  3726190      0 |      300 |        0
844.07/844.23	c  730s |       5 |    56166 |     1620 |  3726190      0 |      300 |        0
871.57/871.71	c  758s |       5 |    56263 |     1720 |  3726190      0 |      300 |        0
885.05/885.20	c  771s |       5 |    56388 |     1820 |  3726190      0 |      300 |        0
896.16/896.39	c  782s |       5 |    56491 |     1920 |  3726190      0 |      300 |        0
904.25/904.41	c  790s |       5 |    56596 |     2020 |  3726190      0 |      300 |        0
917.36/917.57	c  804s |       6 |    56667 |     2081 |  4098810      0 |      300 |        0
930.05/930.25	c  816s |       6 |    61629 |     2181 |  4098810      0 |      300 |        0
937.84/938.09	c  824s |       6 |    61732 |     2281 |  4098810      0 |      300 |        0
948.14/948.37	c  834s |       6 |    61858 |     2381 |  4098810      0 |      300 |        0
963.45/963.66	c  850s |       6 |    61969 |     2481 |  4098810      0 |      300 |        0
973.35/973.51	c  860s |       6 |    62085 |     2581 |  4098810      0 |      300 |        0
983.34/983.55	c  870s |       6 |    62210 |     2681 |  4098810      0 |      300 |        0
1001.25/1001.46	c  888s |       6 |    62334 |     2781 |  4098810      0 |      300 |        0
1010.33/1010.58	c  897s |       6 |    62459 |     2881 |  4098810      0 |      300 |        0
1020.04/1020.23	c  906s |       6 |    62581 |     2981 |  4098810      0 |      300 |        0
1037.44/1037.63	c  924s |       6 |    62740 |     3081 |  4098810      0 |      300 |        0
1049.23/1049.47	c  936s |       6 |    62859 |     3181 |  4098810      0 |      300 |        0
1054.33/1054.59	c  941s |       7 |    62917 |     3223 |  4508691      0 |      300 |        0
1079.34/1079.51	c  966s |       7 |    67895 |     3323 |  4508691      0 |      300 |        0
1093.33/1093.57	c  980s |       7 |    68040 |     3423 |  4508691      0 |      300 |        0
1105.02/1105.20	c  991s |       7 |    68155 |     3523 |  4508691      0 |      300 |        0
1128.52/1128.75	c 1015s |       7 |    68317 |     3623 |  4508691      0 |      300 |        0
1146.02/1146.28	c 1032s |       7 |    68464 |     3723 |  4508691      0 |      300 |        0
1163.51/1163.71	c 1050s |       7 |    68609 |     3823 |  4508691      0 |      300 |        0
1186.31/1186.50	c 1073s |       7 |    68765 |     3923 |  4508691      0 |      300 |        0
1205.51/1205.74	c 1092s |       7 |    68889 |     4023 |  4508691      0 |      300 |        0
1223.90/1224.10	c 1110s |       7 |    69023 |     4123 |  4508691      0 |      300 |        0
1251.30/1251.57	c 1138s |       7 |    69138 |     4223 |  4508691      0 |      300 |        0
1269.61/1269.84	c 1156s |       7 |    69335 |     4323 |  4508691      0 |      300 |        0
1280.30/1280.52	c 1167s |       7 |    69478 |     4423 |  4508691      0 |      300 |        0
1293.99/1294.28	c 1180s |       7 |    69622 |     4523 |  4508691      0 |      300 |        0
1307.59/1307.82	c 1194s |       7 |    69733 |     4623 |  4508691      0 |      300 |        0
1322.59/1322.82	c 1209s |       7 |    69860 |     4723 |  4508691      0 |      300 |        0
1337.49/1337.76	c 1224s |       7 |    70035 |     4823 |  4508691      0 |      300 |        0
1357.69/1357.95	c 1244s |       7 |    70209 |     4923 |  4959561      0 |      300 |        0
1361.38/1361.65	c 1248s |       8 |    70237 |     4936 |  4959561      0 |      300 |        0
1394.28/1394.53	c 1281s |       8 |    75240 |     5036 |  4959561      0 |      300 |        0
1420.77/1421.09	c 1307s |       8 |    75381 |     5136 |  4959561      0 |      300 |        0
1438.37/1438.68	c 1325s |       8 |    75512 |     5236 |  4959561      0 |      300 |        0
1463.47/1463.78	c 1350s |       8 |    75673 |     5336 |  4959561      0 |      300 |        0
1482.27/1482.55	c 1369s |       8 |    75830 |     5436 |  4959561      0 |      300 |        0
1502.06/1502.38	c 1388s |       8 |    75996 |     5536 |  4959561      0 |      300 |        0
1527.16/1527.49	c 1414s |       8 |    76140 |     5636 |  4959561      0 |      300 |        0
1544.86/1545.14	c 1431s |       8 |    76288 |     5736 |  4959561      0 |      300 |        0
1564.25/1564.57	c 1451s |       8 |    76427 |     5836 |  4959561      0 |      300 |        0
1579.55/1579.88	c 1466s |       8 |    76588 |     5936 |  4959561      0 |      300 |        0
1593.75/1594.06	c 1480s |       8 |    76708 |     6036 |  4959561      0 |      300 |        0
1611.65/1611.92	c 1498s |       8 |    76823 |     6136 |  4959561      0 |      300 |        0
1624.95/1625.29	c 1511s |       8 |    76943 |     6236 |  4959561      0 |      300 |        0
1638.24/1638.56	c 1525s |       8 |    77057 |     6336 |  4959561      0 |      300 |        0
1658.34/1658.68	c 1545s |       8 |    77186 |     6436 |  4959561      0 |      300 |        0
1668.44/1668.78	c 1555s |       8 |    77324 |     6536 |  4959561      0 |      300 |        0
1680.64/1680.95	c 1567s |       8 |    77439 |     6636 |  4959561      0 |      300 |        0
1704.33/1704.65	c 1591s |       8 |    77576 |     6736 |  4959561      0 |      300 |        0
1719.23/1719.53	c 1606s |       8 |    77692 |     6836 |  4959561      0 |      300 |        0
1730.33/1730.61	c 1617s |       8 |    77807 |     6936 |  4959561      0 |      300 |        0
1748.82/1749.16	c 1635s |       8 |    77938 |     7036 |  4959561      0 |      300 |        0
1763.72/1764.06	c 1650s |       8 |    78044 |     7136 |  4959561      0 |      300 |        0
1786.02/1786.38	c 1672s |       8 |    78182 |     7236 |  4959561      0 |      300 |        0

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

pid=19906
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.37 2.32 2.23 3/180 19909
/proc/meminfo: memFree=29331580/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=674236 CPUtime=0 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 2503 0 0 0 0 0 0 0 20 0 4 0 113578188 690417664 3375 33554432000 4194304 16246674 140736882506608 140736882506032 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 169327 3384 441 2943 0 166221 0
[pid=19909/tid=19910] ppid=19906 vsize=692668 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 709292032 3447 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=696764 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 713486336 3462 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=701884 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113578188 718729216 3480 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100218 s]
/proc/loadavg: 2.37 2.32 2.23 3/180 19909
/proc/meminfo: memFree=29331580/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 31049 0 0 0 6 3 0 0 20 0 4 0 113578188 1334382592 31858 33554432000 4194304 16246674 140736882506608 140736882505920 7440033 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 325777 31871 798 2943 0 322671 0
[pid=19909/tid=19910] ppid=19906 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 1334382592 31882 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 1334382592 31894 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 1334382592 31905 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200501 s]
/proc/loadavg: 2.37 2.32 2.23 3/180 19909
/proc/meminfo: memFree=29331580/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 40839 0 0 0 14 5 0 0 20 0 4 0 113578188 1343819776 42159 33554432000 4194304 16246674 140736882506608 140736882505920 7376592 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 328081 42159 798 2943 0 324975 0
[pid=19909/tid=19910] ppid=19906 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 1343819776 42159 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 1343819776 42159 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 1343819776 42159 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.30049 s]
/proc/loadavg: 2.37 2.32 2.23 3/180 19909
/proc/meminfo: memFree=29331580/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 44152 0 0 0 24 5 0 0 20 0 4 0 113578188 1343819776 45472 33554432000 4194304 16246674 140736882506608 140736882505920 7376596 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 328081 45472 799 2943 0 324975 0
[pid=19909/tid=19910] ppid=19906 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 1343819776 45472 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 1343819776 45472 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 1343819776 45472 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700369 s]
/proc/loadavg: 2.37 2.32 2.23 3/180 19909
/proc/meminfo: memFree=29331580/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 57088 0 0 0 62 7 0 0 20 0 4 0 113578188 1343819776 58408 33554432000 4194304 16246674 140736882506608 140736882505920 4206597 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 328081 58408 800 2943 0 324975 0
[pid=19909/tid=19910] ppid=19906 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 1343819776 58408 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 1343819776 58408 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 1343819776 58408 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.5004 s]
/proc/loadavg: 2.34 2.32 2.23 3/184 19913
/proc/meminfo: memFree=28608704/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=1312324 CPUtime=1.5 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 104032 0 0 0 138 12 0 0 20 0 4 0 113578188 1343819776 105353 33554432000 4194304 16246674 140736882506608 140736882504448 7853005 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 328081 105360 800 2943 0 324975 0
[pid=19909/tid=19910] ppid=19906 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 1343819776 105404 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 1343819776 105416 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 1343819776 105429 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 1312324

[startup+3.10043 s]
/proc/loadavg: 2.34 2.32 2.23 3/184 19913
/proc/meminfo: memFree=28462628/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=1336900 CPUtime=3.09 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 162000 0 0 0 289 20 0 0 20 0 4 0 113578188 1368985600 168430 33554432000 4194304 16246674 140736882506608 140736882504256 7440588 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 334225 168430 802 2943 0 331119 0
[pid=19909/tid=19910] ppid=19906 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 1368985600 168430 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 1368985600 168430 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=1336900 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 1368985600 168430 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1336900

[startup+6.30036 s]
/proc/loadavg: 2.39 2.33 2.23 3/184 19913
/proc/meminfo: memFree=27805212/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=1386052 CPUtime=6.29 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 203364 0 0 0 601 28 0 0 20 0 4 0 113578188 1419317248 221036 33554432000 4194304 16246674 140736882506608 140736882489600 4220507 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 346513 221036 802 2943 0 343407 0
[pid=19909/tid=19910] ppid=19906 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 1419317248 221036 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 1419317248 221036 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=1386052 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 1419317248 221036 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1386052

[startup+12.7005 s]
/proc/loadavg: 2.36 2.32 2.23 3/183 19913
/proc/meminfo: memFree=27242900/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=1484356 CPUtime=12.69 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 235240 0 0 0 1232 37 0 0 20 0 4 0 113578188 1519980544 275907 33554432000 4194304 16246674 140736882506608 140736882489600 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 371089 275907 802 2943 0 367983 0
[pid=19909/tid=19910] ppid=19906 vsize=1484356 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 1519980544 275907 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=1484356 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 1519980544 275907 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=1484356 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 1519980544 275907 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1484356

[startup+25.5003 s]
/proc/loadavg: 2.31 2.31 2.22 4/183 19913
/proc/meminfo: memFree=22685528/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=3717700 CPUtime=25.49 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 827905 0 0 0 2426 123 0 0 20 0 4 0 113578188 3806924800 871127 33554432000 4194304 16246674 140736882506608 140736882505272 4225154 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 929425 871132 803 2943 0 926319 0
[pid=19909/tid=19910] ppid=19906 vsize=3717700 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 3806924800 871137 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=3717700 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 3806924800 871141 33554432000 4194304 16246674 140736882506608 140503882378256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=3717700 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 3806924800 871146 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3717700

[startup+51.1073 s]
/proc/loadavg: 2.24 2.30 2.22 4/183 19913
/proc/meminfo: memFree=16746960/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=7084612 CPUtime=51.09 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 1669882 0 0 0 4866 243 0 0 20 0 4 0 113578188 7254642688 1713104 33554432000 4194304 16246674 140736882506608 140736882505704 6155773 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 1771153 1713104 844 2943 0 1768047 0
[pid=19909/tid=19910] ppid=19906 vsize=7084612 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 7254642688 1713104 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=7084612 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 7254642688 1713104 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=7084612 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 7254642688 1713104 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 7084612

[startup+102.3 s]
/proc/loadavg: 2.27 2.29 2.22 4/183 19914
/proc/meminfo: memFree=13427160/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=10397252 CPUtime=102.27 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 2498048 0 0 0 9867 360 0 0 20 0 4 0 113578188 10646786048 2541270 33554432000 4194304 16246674 140736882506608 140736882505784 5886014 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 2599313 2541270 848 2943 0 2596207 0
[pid=19909/tid=19910] ppid=19906 vsize=10397252 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 10646786048 2541270 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=10397252 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 10646786048 2541270 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=10397252 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 10646786048 2541270 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 10397252


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


[startup+1422.3 s]
/proc/loadavg: 2.30 2.21 2.18 4/183 19946
/proc/meminfo: memFree=10293348/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=12283460 CPUtime=1422.07 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 2969650 0 0 0 141649 558 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140736882505704 15015658 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 3070865 3012872 898 2943 0 3067759 0
[pid=19909/tid=19910] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 12283460

[startup+1482.3 s]
/proc/loadavg: 2.23 2.20 2.18 4/183 19948
/proc/meminfo: memFree=10293412/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=12283460 CPUtime=1482.07 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 2969650 0 0 0 147640 567 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140736882505784 5600384 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 3070865 3012872 898 2943 0 3067759 0
[pid=19909/tid=19910] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 12283460

[startup+1542.3 s]
/proc/loadavg: 2.13 2.17 2.17 3/183 19949
/proc/meminfo: memFree=10293448/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=12283460 CPUtime=1542.06 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 2969650 0 0 0 153632 574 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140736882505784 5603284 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 3070865 3012872 898 2943 0 3067759 0
[pid=19909/tid=19910] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 12283460

[startup+1602.3 s]
/proc/loadavg: 2.25 2.20 2.18 4/183 19950
/proc/meminfo: memFree=10293808/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=12283460 CPUtime=1602.05 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 2969650 0 0 0 159623 582 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140736882504448 4221129 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 3070865 3012872 898 2943 0 3067759 0
[pid=19909/tid=19910] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503882378256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 12283460

[startup+1662.3 s]
/proc/loadavg: 2.21 2.19 2.18 4/183 19951
/proc/meminfo: memFree=10294200/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=12283460 CPUtime=1662.04 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 2969650 0 0 0 165614 590 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140736882505784 12483314 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 3070865 3012872 898 2943 0 3067759 0
[pid=19909/tid=19910] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 12283460

[startup+1722.3 s]
/proc/loadavg: 2.21 2.20 2.18 3/183 19952
/proc/meminfo: memFree=10294096/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=12283460 CPUtime=1722.03 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 2969650 0 0 0 171604 599 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140736882505784 5523464 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 3070865 3012872 898 2943 0 3067759 0
[pid=19909/tid=19910] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 12283460

[startup+1782.3 s]
/proc/loadavg: 2.25 2.21 2.18 4/184 19957
/proc/meminfo: memFree=10293092/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=12283460 CPUtime=1782.02 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 2969650 0 0 0 177596 606 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140736882505784 6023072 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 3070865 3012872 898 2943 0 3067759 0
[pid=19909/tid=19910] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 12283460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 19993
/proc/meminfo: memFree=17715392/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=12283460 CPUtime=1800.02 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) R 19906 19909 19387 0 -1 4202496 2969650 0 0 0 179394 608 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140736882505784 14628944 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 3070865 3012872 898 2943 0 3067759 0
[pid=19909/tid=19910] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19910/stat : 19910 (toysat) S 19906 19909 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503962070256 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) S 19906 19909 19387 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503882378480 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=19909/tid=19912] ppid=19906 vsize=12283460 CPUtime=0 cores=0,2,4,6
/proc/19909/task/19912/stat : 19912 (toysat) S 19906 19909 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 113578188 12578263040 3012872 33554432000 4194304 16246674 140736882506608 140503871904944 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 12283460

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 19909 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.4 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 19993
/proc/meminfo: memFree=17715392/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=0 CPUtime=1800.12 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) Z 19906 19909 19387 0 -1 4203532 2969650 0 0 0 179394 618 0 0 20 0 2 0 113578188 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 0 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=0 CPUtime=0.09 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) R 19906 19909 19387 0 -1 4203588 7 0 0 0 0 9 0 0 20 0 2 0 113578188 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

[startup+1800.8 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 19993
/proc/meminfo: memFree=17715392/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=0 CPUtime=1800.52 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) Z 19906 19909 19387 0 -1 4203532 2969650 0 0 0 179394 658 0 0 20 0 2 0 113578188 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 0 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=0 CPUtime=0.48 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) R 19906 19909 19387 0 -1 4203588 7 0 0 0 0 48 0 0 20 0 2 0 113578188 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 2.20 2.20 2.18 3/177 19993
/proc/meminfo: memFree=17715392/32872528 swapFree=16204/1518544
[pid=19909] ppid=19906 vsize=0 CPUtime=1800.62 cores=0,2,4,6
/proc/19909/stat : 19909 (toysat) Z 19906 19909 19387 0 -1 4203532 2969650 0 0 0 179394 668 0 0 20 0 2 0 113578188 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19909/statm: 0 0 0 0 0 0 0
[pid=19909/tid=19911] ppid=19906 vsize=0 CPUtime=0.58 cores=0,2,4,6
/proc/19909/task/19911/stat : 19911 (toysat) R 19906 19909 19387 0 -1 4203588 7 0 0 0 0 58 0 0 20 0 2 0 113578188 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.94
CPU time (s): 1800.66
CPU user time (s): 1793.94
CPU system time (s): 6.71598
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 12283460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.94
system time used= 6.71598
maximum resident set size= 12051488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2969650
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= 114
involuntary context switches= 1860

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.65229 second user time and 6.81896 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 18:20:53
IDJOB=4079362
IDBENCH=92632
IDSOLVER=2542
FILE ID=node129/4079362-1465316448
RUNJOBID= node129-1465311042-19403
PBS_JOBID= 19850114
Free space on /tmp= 71408 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/Large/normalized-minisat100_16_6_7_mh.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079362-1465316448/watcher-4079362-1465316448 -o /tmp/evaluation-result-4079362-1465316448/solver-4079362-1465316448 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19403 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079362-1465316448.opb

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

MD5SUM BENCH= 54f73c3b575712a1f6dc41b8a7ab2de4
RANDOM SEED=988978817

node129.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.715
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.43
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.715
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.715
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.56
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.715
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.715
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.715
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.715
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.715
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:        29332224 kB
Buffers:          150828 kB
Cached:           764924 kB
SwapCached:         2232 kB
Active:           812612 kB
Inactive:         449016 kB
Active(anon):     346416 kB
Inactive(anon):     1732 kB
Active(file):     466196 kB
Inactive(file):   447284 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098820 kB
Dirty:            354696 kB
Writeback:             0 kB
AnonPages:       1861580 kB
Mapped:            11368 kB
Shmem:                 0 kB
Slab:             623620 kB
SReclaimable:      66888 kB
SUnreclaim:       556732 kB
KernelStack:        1464 kB
PageTables:         9152 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2754840 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1515520 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= 71452 MiB
End job on node129 at 2016-06-07 18:50:54