Trace number 4079352

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.62 1800.91

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Large/
normalized-minisat100_16_6_2_mh.opb
MD5SUM49900d523860c6ca6b945c232e000369
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark9014519
Best CPU time to get the best result obtained on this benchmark1801.11
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 1019600
Biggest coefficient in the objective function 144703125
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 312913647916
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 144703125
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 312913647916
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-07T19:12: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-4079352-1465319518.opb"]
0.00/0.01	c use --random-gen="2095350596 3993199103 100938313 4106100431 2055293936 2925670753 295384701 787044615 2989225519 500418151 3992719105 1985793509 4228321275 4148983448 869931937 3527127333 3476107080 845060015 1625093339 1787690727 3412142695 1825904080 3641035126 2409039960 2449686608 3500395422 447386440 683471025 2873264571 859446966 3504121488 3318662119 4254257439 2089395049 1508084803 2903328313 241537220 546374792 1433381914 2396527290 133521260 1746387535 3220802987 2866040972 1636952831 1187985239 1169601258 807031044 4280442444 1266270042 3884416687 855526989 1005879821 1563903767 2743233551 477426703 2893774413 1793855854 1075928812 4009343309 2822337234 4265420650 1832724486 1967650587 3822888508 609465433 902491013 1367025309 338196467 2432887386 627135595 3479686963 2453220704 214332510 583991008 3643990350 2482631657 2701716580 2185675277 2634805638 4073741074 60492824 3780753714 1014308217 3582310150 2382307894 2191659089 3602709692 817250238 20108626 1308687163 2250575653 2649162185 119765233 3985387125 3015712751 3099206536 94340669 1369050186 1835401060 3032233153 18744116 3974007878 292088178 3962244040 4209461653 682619232 3828121182 2898341527 583577806 1419520820 1322897012 3079724007 200725080 3540197374 1879675271 10128999 2163836916 2830163225 3808599637 3934609968 2493791778 1539224179 323655599 1132770315 998660758 1578075789 3405156291 3570478050 3543058126 4109201997 1456351846 1254828197 2883138452 3391842042 2119668560 817546454 2488398307 4144484110 1852143663 1784396159 3072366009 804722810 62466098 4079475414 3529070747 1476669794 1033893327 570668338 3199287721 3682089290 392438167 2729134015 3453992380 1185564047 1038205246 3359019758 651457749 2328741788 3469754686 3109838825 3301542964 1892858244 1744311984 452054866 1681889087 3408671426 2346209929 2614917727 2772684018 3906160932 3843839170 4116762017 61010332 3854921352 3664326588 3555740502 3031960064 2572395440 2151107612 3792477277 1281572048 481140793 2172862117 1458686447 807033269 861528100 510820714 1177636710 3212416134 3135508922 1680663016 2318291928 3819664569 1497988250 3107984414 1210632102 4257286375 2532824640 2861508396 2974082605 2520822004 1881981953 4023454657 2923515676 721346880 4064892346 1675852849 3475307570 2096300705 256165814 905064169 1095006024 684353248 710949804 2431907132 3844784094 3022609673 3898157055 1620324776 1897309253 478876592 112340610 2248958118 553876928 972619932 855871632 396975982 2595358353 2575379412 3060082561 2948798907 4068518104 2899856558 583601699 2361835798 2836200576 1445895321 2258682843 173588191 3154888436 4283044998 732033230 4116865666 938752365 1539189173 3184229088 1761360383 3940150617 504006606 3073127356 4074048556 4067751794 3916896032 23115770 3142162485 255 362436" option to reproduce the execution
34.28/34.31	c #vars 2000400
34.28/34.31	c #constraints 4920807
117.26/117.37	c BCD2: Hardening is enabled.
117.26/117.37	c BCD2: BiasedSearch is enabled.
117.26/117.37	c Solving starts ...
117.26/117.37	c ============================[ Search Statistics ]============================
117.26/117.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
117.26/117.37	c       |         |          |          |    Limit     GC | Var      | Constra 
117.26/117.37	c =============================================================================
117.36/117.40	c  0.0s |       0 |        0 |        0 |  2313669      0 |      300 |        0
269.73/269.86	c  152s |       0 |      165 |      100 |  2313669      0 |      300 |        0
270.65/270.71	c  153s |       1 |      165 |      100 |  2313669      0 |      300 |        0
278.53/278.64	c  161s |       1 |     1008 |      200 |  2545036      0 |      300 |        0
280.55/280.66	c  163s |       2 |     1067 |      250 |  2545036      0 |      300 |        0
321.73/321.83	c  204s |       2 |     4286 |      350 |  2799540      0 |      300 |        0
362.23/362.30	c  244s |       2 |     4403 |      450 |  2799540      0 |      300 |        0
370.83/370.90	c  253s |       3 |     4429 |      475 |  2799540      0 |      300 |        0
502.30/502.49	c  385s |       3 |    12507 |      575 |  3079495      0 |      300 |        0
696.87/697.08	c  579s |       3 |    21401 |      675 |  3079495      0 |      300 |        0
729.97/730.14	c  612s |       3 |    28821 |      775 |  3079495      0 |      300 |        0
745.36/745.57	c  628s |       4 |    29587 |      813 |  3079495      0 |      300 |        0
759.46/759.69	c  642s |       4 |    33226 |      913 |  3387445      0 |      300 |        0
770.16/770.36	c  652s |       4 |    44164 |     1013 |  3387445      0 |      300 |        0
779.06/779.26	c  661s |       4 |    44266 |     1113 |  3387445      0 |      300 |        0
781.36/781.51	c  664s |       4 |    44373 |     1213 |  3387445      0 |      300 |        0
783.56/783.76	c  666s |       4 |    44471 |     1313 |  3387445      0 |      300 |        0
785.36/785.53	c  668s |       5 |    44480 |     1320 |  3387445      0 |      300 |        0
799.05/799.25	c  681s |       5 |    49427 |     1420 |  3726190      0 |      300 |        0
810.25/810.45	c  693s |       5 |    49527 |     1520 |  3726190      0 |      300 |        0
814.55/814.73	c  697s |       5 |    49635 |     1620 |  3726190      0 |      300 |        0
818.76/818.93	c  701s |       5 |    49737 |     1720 |  3726190      0 |      300 |        0
823.25/823.46	c  706s |       5 |    49840 |     1820 |  3726190      0 |      300 |        0
827.75/827.96	c  710s |       5 |    49944 |     1920 |  3726190      0 |      300 |        0
838.75/838.90	c  721s |       5 |    50042 |     2020 |  3726190      0 |      300 |        0
842.35/842.56	c  725s |       6 |    50118 |     2081 |  4098810      0 |      300 |        0
855.94/856.15	c  738s |       6 |    55081 |     2181 |  4098810      0 |      300 |        0
863.55/863.73	c  746s |       6 |    55192 |     2281 |  4098810      0 |      300 |        0
877.65/877.84	c  760s |       6 |    55291 |     2381 |  4098810      0 |      300 |        0
884.85/885.02	c  767s |       6 |    55392 |     2481 |  4098810      0 |      300 |        0
891.54/891.74	c  774s |       6 |    55498 |     2581 |  4098810      0 |      300 |        0
899.64/899.83	c  782s |       6 |    55598 |     2681 |  4098810      0 |      300 |        0
906.74/906.92	c  789s |       6 |    55698 |     2781 |  4098810      0 |      300 |        0
918.74/918.95	c  801s |       6 |    55802 |     2881 |  4098810      0 |      300 |        0
923.84/924.03	c  806s |       6 |    55906 |     2981 |  4098810      0 |      300 |        0
930.13/930.34	c  812s |       6 |    56009 |     3081 |  4098810      0 |      300 |        0
938.15/938.34	c  820s |       6 |    56107 |     3181 |  4098810      0 |      300 |        0
943.13/943.36	c  825s |       7 |    56150 |     3223 |  4508691      0 |      300 |        0
959.23/959.48	c  842s |       7 |    61093 |     3323 |  4508691      0 |      300 |        0
975.93/976.17	c  858s |       7 |    61206 |     3423 |  4508691      0 |      300 |        0
981.72/981.96	c  864s |       7 |    61307 |     3523 |  4508691      0 |      300 |        0
987.43/987.61	c  870s |       7 |    61404 |     3623 |  4508691      0 |      300 |        0
994.72/994.95	c  877s |       7 |    61507 |     3723 |  4508691      0 |      300 |        0
1001.12/1001.33	c  883s |       7 |    61605 |     3823 |  4508691      0 |      300 |        0
1013.22/1013.46	c  896s |       7 |    61713 |     3923 |  4508691      0 |      300 |        0
1020.12/1020.34	c  902s |       7 |    61817 |     4023 |  4508691      0 |      300 |        0
1025.62/1025.86	c  908s |       7 |    61917 |     4123 |  4508691      0 |      300 |        0
1032.82/1033.04	c  915s |       7 |    62021 |     4223 |  4508691      0 |      300 |        0
1045.32/1045.52	c  928s |       7 |    62133 |     4323 |  4508691      0 |      300 |        0
1051.02/1051.27	c  933s |       7 |    62237 |     4423 |  4508691      0 |      300 |        0
1057.12/1057.30	c  939s |       7 |    62346 |     4523 |  4508691      0 |      300 |        0
1063.92/1064.11	c  946s |       7 |    62444 |     4623 |  4508691      0 |      300 |        0
1071.11/1071.33	c  953s |       7 |    62554 |     4723 |  4508691      0 |      300 |        0
1083.51/1083.74	c  966s |       7 |    62654 |     4823 |  4508691      0 |      300 |        0
1090.61/1090.83	c  973s |       7 |    62756 |     4923 |  4959561      0 |      300 |        0
1092.71/1092.99	c  975s |       8 |    62773 |     4936 |  4959561      0 |      300 |        0
1107.51/1107.74	c  990s |       8 |    67721 |     5036 |  4959561      0 |      300 |        0
1115.80/1116.02	c  998s |       8 |    67828 |     5136 |  4959561      0 |      300 |        0
1124.70/1124.94	c 1007s |       8 |    67927 |     5236 |  4959561      0 |      300 |        0
1140.81/1141.05	c 1023s |       8 |    68029 |     5336 |  4959561      0 |      300 |        0
1149.50/1149.80	c 1032s |       8 |    68138 |     5436 |  4959561      0 |      300 |        0
1155.91/1156.17	c 1038s |       8 |    68255 |     5536 |  4959561      0 |      300 |        0
1162.10/1162.38	c 1045s |       8 |    68348 |     5636 |  4959561      0 |      300 |        0
1168.80/1169.00	c 1051s |       8 |    68456 |     5736 |  4959561      0 |      300 |        0
1184.19/1184.47	c 1067s |       8 |    68559 |     5836 |  4959561      0 |      300 |        0
1192.30/1192.57	c 1075s |       8 |    68663 |     5936 |  4959561      0 |      300 |        0
1201.10/1201.34	c 1083s |       8 |    68767 |     6036 |  4959561      0 |      300 |        0
1209.19/1209.40	c 1092s |       8 |    68866 |     6136 |  4959561      0 |      300 |        0
1222.49/1222.75	c 1105s |       8 |    68976 |     6236 |  4959561      0 |      300 |        0
1231.59/1231.85	c 1114s |       8 |    69072 |     6336 |  4959561      0 |      300 |        0
1240.99/1241.21	c 1123s |       8 |    69173 |     6436 |  4959561      0 |      300 |        0
1250.99/1251.21	c 1133s |       8 |    69277 |     6536 |  4959561      0 |      300 |        0
1271.58/1271.84	c 1154s |       8 |    69514 |     6636 |  4959561      0 |      300 |        0
1303.29/1303.52	c 1186s |       8 |    69652 |     6736 |  4959561      0 |      300 |        0
1328.37/1328.62	c 1211s |       8 |    69783 |     6836 |  4959561      0 |      300 |        0
1351.57/1351.89	c 1234s |       8 |    69932 |     6936 |  4959561      0 |      300 |        0
1384.06/1384.32	c 1266s |       8 |    70066 |     7036 |  4959561      0 |      300 |        0
1406.07/1406.31	c 1288s |       8 |    70163 |     7136 |  4959561      0 |      300 |        0
1432.75/1433.05	c 1315s |       8 |    70301 |     7236 |  4959561      0 |      300 |        0
1465.45/1465.79	c 1348s |       8 |    70435 |     7336 |  4959561      0 |      300 |        0
1488.65/1488.99	c 1371s |       8 |    70533 |     7436 |  4959561      0 |      300 |        0
1506.54/1506.88	c 1389s |       9 |    70637 |     7506 |  5455518      0 |      300 |        0
1537.04/1537.33	c 1419s |       9 |    71738 |     7606 |  5455518      0 |      300 |        0
1568.64/1568.97	c 1451s |       9 |    71844 |     7706 |  5455518      0 |      300 |        0
1595.34/1595.61	c 1478s |       9 |    71960 |     7806 |  5455518      0 |      300 |        0
1623.83/1624.12	c 1506s |       9 |    72074 |     7906 |  5455518      0 |      300 |        0
1652.82/1653.13	c 1535s |       9 |    72197 |     8006 |  5455518      0 |      300 |        0
1692.02/1692.38	c 1575s |       9 |    72300 |     8106 |  5455518      0 |      300 |        0
1721.22/1721.52	c 1604s |       9 |    72413 |     8206 |  5455518      0 |      300 |        0
1752.11/1752.42	c 1635s |       9 |    72532 |     8306 |  5455518      0 |      300 |        0
1795.80/1796.11	c 1678s |       9 |    72643 |     8406 |  5455518      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-4079352-1465319518/watcher-4079352-1465319518 -o /tmp/evaluation-result-4079352-1465319518/solver-4079352-1465319518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21027 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079352-1465319518.opb 

pid=22143
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.14 2.04 2.01 2/179 22146
/proc/meminfo: memFree=30626500/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=692668 CPUtime=0 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 2575 0 0 0 0 0 0 0 20 0 4 0 113885821 709292032 3447 33554432000 4194304 16246674 140735128768400 140735128767824 13880264 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22146/statm: 173679 3458 441 2943 0 170573 0
[pid=22146/tid=22147] ppid=22143 vsize=710076 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 727117824 3518 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=714172 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 731312128 3534 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=719292 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 736555008 3553 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.14 2.04 2.01 2/179 22146
/proc/meminfo: memFree=30626500/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 31013 0 0 0 5 4 0 0 20 0 4 0 113885821 1334382592 31824 33554432000 4194304 16246674 140735128768400 140735128767712 7853005 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22146/statm: 325777 31841 799 2943 0 322671 0
[pid=22146/tid=22147] ppid=22143 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 1334382592 31853 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 1334382592 31865 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 1334382592 31876 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200548 s]
/proc/loadavg: 2.14 2.04 2.01 2/179 22146
/proc/meminfo: memFree=30626500/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 41532 0 0 0 14 5 0 0 20 0 4 0 113885821 1343819776 42853 33554432000 4194304 16246674 140735128768400 140735128767712 7364480 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22146/statm: 328081 42853 799 2943 0 324975 0
[pid=22146/tid=22147] ppid=22143 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 1343819776 42853 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 1343819776 42853 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 1343819776 42853 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.30054 s]
/proc/loadavg: 2.14 2.04 2.01 2/179 22146
/proc/meminfo: memFree=30626500/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 44414 0 0 0 24 5 0 0 20 0 4 0 113885821 1343819776 45735 33554432000 4194304 16246674 140735128768400 140735128766272 8055432 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22146/statm: 328081 45735 799 2943 0 324975 0
[pid=22146/tid=22147] ppid=22143 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 1343819776 45735 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 1343819776 45735 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 1343819776 45735 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700405 s]
/proc/loadavg: 2.14 2.04 2.01 2/179 22146
/proc/meminfo: memFree=30626500/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 56421 0 0 0 62 7 0 0 20 0 4 0 113885821 1343819776 57743 33554432000 4194304 16246674 140735128768400 140735128750272 8058796 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22146/statm: 328081 57763 800 2943 0 324975 0
[pid=22146/tid=22147] ppid=22143 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 1343819776 57774 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 1343819776 57785 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 1343819776 57794 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50042 s]
/proc/loadavg: 2.14 2.04 2.01 3/183 22150
/proc/meminfo: memFree=30184476/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=1312324 CPUtime=1.49 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 90848 0 0 0 138 11 0 0 20 0 4 0 113885821 1343819776 92170 33554432000 4194304 16246674 140735128768400 140735128750272 7853005 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22146/statm: 328081 92192 800 2943 0 324975 0
[pid=22146/tid=22147] ppid=22143 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 1343819776 92203 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 1343819776 92213 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 1343819776 92224 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.10043 s]
/proc/loadavg: 2.14 2.04 2.01 3/183 22150
/proc/meminfo: memFree=29786240/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=1336900 CPUtime=3.09 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 167180 0 0 0 286 23 0 0 20 0 4 0 113885821 1368985600 173611 33554432000 4194304 16246674 140735128768400 140735128751392 7440720 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22146/statm: 334225 173611 802 2943 0 331119 0
[pid=22146/tid=22147] ppid=22143 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 1368985600 173611 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 1368985600 173611 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 1368985600 173611 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1336900

[startup+6.30043 s]
/proc/loadavg: 2.37 2.09 2.02 3/183 22150
/proc/meminfo: memFree=29268528/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=1386052 CPUtime=6.28 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 201612 0 0 0 599 29 0 0 20 0 4 0 113885821 1419317248 219285 33554432000 4194304 16246674 140735128768400 140735128751392 7363432 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22146/statm: 346513 219285 802 2943 0 343407 0
[pid=22146/tid=22147] ppid=22143 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 1419317248 219285 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 1419317248 219285 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 1419317248 219285 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1386052

[startup+12.7004 s]
/proc/loadavg: 2.42 2.11 2.03 3/183 22150
/proc/meminfo: memFree=28665684/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=1484356 CPUtime=12.68 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 235491 0 0 0 1230 38 0 0 20 0 4 0 113885821 1519980544 275648 33554432000 4194304 16246674 140735128768400 140735128766208 7853052 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22146/statm: 371089 275648 802 2943 0 367983 0
[pid=22146/tid=22147] ppid=22143 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 1519980544 275648 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 1519980544 275648 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 1519980544 275648 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1484356

[startup+25.5005 s]
/proc/loadavg: 2.33 2.10 2.03 3/183 22150
/proc/meminfo: memFree=24599628/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=2609732 CPUtime=25.48 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 502473 0 0 0 2462 86 0 0 20 0 4 0 113885821 2672365568 591175 33554432000 4194304 16246674 140735128768400 140735128767576 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22146/statm: 652433 591175 802 2943 0 649327 0
[pid=22146/tid=22147] ppid=22143 vsize=2609732 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 2672365568 591175 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=2609732 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 2672365568 591175 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=2609732 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 2672365568 591175 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2609732

[startup+51.1004 s]
/proc/loadavg: 2.21 2.09 2.03 3/183 22150
/proc/meminfo: memFree=16873688/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=8438340 CPUtime=51.07 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 1861572 0 0 0 4834 273 0 0 20 0 4 0 113885821 8640860160 2009039 33554432000 4194304 16246674 140735128768400 140735128767576 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22146/statm: 2109585 2009039 844 2943 0 2106479 0
[pid=22146/tid=22147] ppid=22143 vsize=8438340 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 8640860160 2009039 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=8438340 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 8640860160 2009039 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=8438340 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 8640860160 2009039 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 8438340

[startup+102.3 s]
/proc/loadavg: 2.13 2.09 2.03 3/183 22151
/proc/meminfo: memFree=13127948/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=11967044 CPUtime=102.27 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 2743838 0 0 0 9797 430 0 0 20 0 4 0 113885821 12254253056 2933718 33554432000 4194304 16246674 140735128768400 140735128767496 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22146/statm: 2991761 2933718 849 2943 0 2988655 0
[pid=22146/tid=22147] ppid=22143 vsize=11967044 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 12254253056 2933718 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=11967044 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 12254253056 2933718 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=11967044 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 12254253056 2933718 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 11967044


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


[startup+1422.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 22184
/proc/meminfo: memFree=11624512/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=12281412 CPUtime=1422.06 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 2822484 0 0 0 140649 1557 0 0 20 0 4 0 113885821 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140735128767496 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22146/statm: 3070353 3012364 902 2943 0 3067247 0
[pid=22146/tid=22147] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 12281412

[startup+1482.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 22185
/proc/meminfo: memFree=11624288/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=12281412 CPUtime=1482.05 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 2822484 0 0 0 146635 1570 0 0 20 0 4 0 113885821 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140735128767576 13752941 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22146/statm: 3070353 3012364 902 2943 0 3067247 0
[pid=22146/tid=22147] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 12281412

[startup+1542.31 s]
/proc/loadavg: 2.09 2.04 2.00 3/183 22186
/proc/meminfo: memFree=11624552/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=12281412 CPUtime=1542.04 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 2822484 0 0 0 152621 1583 0 0 20 0 4 0 113885821 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140735128767576 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22146/statm: 3070353 3012364 902 2943 0 3067247 0
[pid=22146/tid=22147] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 12281412

[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 22187
/proc/meminfo: memFree=11624456/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=12281412 CPUtime=1602.03 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 2822484 0 0 0 158606 1597 0 0 20 0 4 0 113885821 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140735128766208 4220807 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22146/statm: 3070353 3012364 902 2943 0 3067247 0
[pid=22146/tid=22147] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050650078224 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 12281412

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 22189
/proc/meminfo: memFree=11624596/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=12281412 CPUtime=1662.02 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 2822484 0 0 0 164583 1619 0 0 20 0 4 0 113885821 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140735128767496 5600072 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22146/statm: 3070353 3012364 902 2943 0 3067247 0
[pid=22146/tid=22147] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 12281412

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 22193
/proc/meminfo: memFree=11624256/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=12281412 CPUtime=1722.01 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 2822484 0 0 0 170546 1655 0 0 20 0 4 0 113885821 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140735128767576 5659368 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22146/statm: 3070353 3012364 902 2943 0 3067247 0
[pid=22146/tid=22147] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 12281412

[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/183 22194
/proc/meminfo: memFree=11624044/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=12281412 CPUtime=1782 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 2822484 0 0 0 176526 1674 0 0 20 0 4 0 113885821 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140735128767576 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22146/statm: 3070353 3012364 902 2943 0 3067247 0
[pid=22146/tid=22147] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 12281412



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 22244
/proc/meminfo: memFree=18858656/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=12281412 CPUtime=1800 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) R 22143 22146 21010 0 -1 4202496 2822484 0 0 0 178318 1682 0 0 20 0 4 0 113885821 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140735128767576 13907028 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22146/statm: 3070353 3012364 902 2943 0 3067247 0
[pid=22146/tid=22147] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22147/stat : 22147 (toysat) S 22143 22146 21010 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050660568304 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 3 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) S 22143 22146 21010 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050650078448 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 5 0 0 0 0 0
[pid=22146/tid=22149] ppid=22143 vsize=12281412 CPUtime=0 cores=1,3,5,7
/proc/22146/task/22149/stat : 22149 (toysat) S 22143 22146 21010 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 113885822 12576165888 3012364 33554432000 4194304 16246674 140735128768400 140050562018480 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 12281412

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

[startup+1800.4 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 22244
/proc/meminfo: memFree=18858656/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=0 CPUtime=1800.11 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) Z 22143 22146 21010 0 -1 4203532 2822484 0 0 0 178319 1692 0 0 20 0 2 0 113885821 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22146/statm: 0 0 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) R 22143 22146 21010 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 113885822 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.11
Current children cumulated vsize (KiB) 0

[startup+1800.81 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 22244
/proc/meminfo: memFree=26351604/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=0 CPUtime=1800.51 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) Z 22143 22146 21010 0 -1 4203532 2822484 0 0 0 178319 1732 0 0 20 0 2 0 113885821 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22146/statm: 0 0 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=0 CPUtime=0.49 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) R 22143 22146 21010 0 -1 4203588 8 0 0 0 0 49 0 0 20 0 2 0 113885822 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.51
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/181 22244
/proc/meminfo: memFree=26351604/32872528 swapFree=11196/354588
[pid=22146] ppid=22143 vsize=0 CPUtime=1800.6 cores=1,3,5,7
/proc/22146/stat : 22146 (toysat) Z 22143 22146 21010 0 -1 4203532 2822484 0 0 0 178319 1741 0 0 20 0 2 0 113885821 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22146/statm: 0 0 0 0 0 0 0
[pid=22146/tid=22148] ppid=22143 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/22146/task/22148/stat : 22148 (toysat) R 22143 22146 21010 0 -1 4203588 8 0 0 0 0 58 0 0 20 0 2 0 113885822 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.6
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.91
CPU time (s): 1800.62
CPU user time (s): 1783.19
CPU system time (s): 17.4234
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 12281412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1783.19
system time used= 17.4234
maximum resident set size= 12049456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2822484
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= 103
involuntary context switches= 1925

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.07608 second user time and 8.5597 second system time

The end

Launcher Data 

Begin job on node126 at 2016-06-07 19:12:04
IDJOB=4079352
IDBENCH=92644
IDSOLVER=2542
FILE ID=node126/4079352-1465319518
RUNJOBID= node126-1465306898-21027
PBS_JOBID= 19849495
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_2_mh.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079352-1465319518/watcher-4079352-1465319518 -o /tmp/evaluation-result-4079352-1465319518/solver-4079352-1465319518 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node126-1465306898-21027 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079352-1465319518.opb

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

MD5SUM BENCH= 49900d523860c6ca6b945c232e000369
RANDOM SEED=275438736

node126.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.500
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.00
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.500
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.500
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.500
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.500
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.500
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.56
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.500
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.500
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:        30629192 kB
Buffers:           56024 kB
Cached:           609292 kB
SwapCached:         1740 kB
Active:           903124 kB
Inactive:         225524 kB
Active(anon):     462324 kB
Inactive(anon):     3276 kB
Active(file):     440800 kB
Inactive(file):   222248 kB
Unevictable:      354588 kB
Mlocked:           11196 kB
SwapTotal:      67108856 kB
SwapFree:       67098680 kB
Dirty:            354540 kB
Writeback:             0 kB
AnonPages:        808944 kB
Mapped:            10324 kB
Shmem:                 0 kB
Slab:             622664 kB
SReclaimable:      62024 kB
SUnreclaim:       560640 kB
KernelStack:        1448 kB
PageTables:         6848 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1603628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    346112 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= 71488 MiB
End job on node126 at 2016-06-07 19:42:05