Trace number 4079348

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.54 1800.92

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/Large/
normalized-minisat100_16_6_0_mh.opb
MD5SUMfa15dfc7844dffcfc27adc27005c5c95
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark10689768
Best CPU time to get the best result obtained on this benchmark1801.72
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 150568768
Number of bits for the biggest coefficient in the objective function 28
Sum of the numbers in the objective function 360045909092
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 150568768
Number of bits of the biggest number in a constraint 28
Biggest sum of numbers in a constraint 360045909092
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:40:31+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-4079348-1465321226.opb"]
0.00/0.01	c use --random-gen="95311673 3686869863 3866971640 995325753 1481755844 895461132 1891583664 150845780 2611517733 909218975 2315078076 2074523447 1568018973 1039370571 4127274810 3065590781 3173467612 4040417222 519937230 505615437 1003920166 1541156767 2525955167 1686021685 3607431124 3174492188 2302873130 3519872770 2949233153 1872915044 1576698234 1366307375 3594052378 226166563 4186996099 569605971 2501566860 2673593581 3449685499 621697669 168617508 971400769 2931552481 3847263525 1462797347 3748230137 629582283 1934757574 3989478034 166603949 3519847052 3322252292 3309191170 3312017084 1806525596 2895239036 217640363 546688595 1192679326 2634419441 857354638 2628064356 602993823 358434062 3319412257 2487688847 2047422826 944655619 3626745897 3252345463 4256529370 245626705 2569279286 3041977866 602041371 3208466130 954978587 3724444824 2767719731 3955079893 600517439 3816112420 208284983 2486199378 3708187438 3351119366 488592730 993908873 1940954499 2773878411 882998250 318088879 908182233 384322728 2095255376 1387944879 444346832 170180588 1366480349 876807531 1779883104 436827287 1427454232 1834258028 1947834848 3784960203 2078549530 1813301601 3792348730 1520955818 1033381963 790989926 1827623837 1249604135 332632143 1549759392 561035169 1904574233 194093555 458376298 671329814 4063715121 2514395336 2610042356 260988090 1897245745 538355936 1694249020 1586368913 1014091581 588448882 4034874782 1056878875 2492354523 733488014 4053220382 1413726216 680049885 893314025 124560985 3360022708 339940331 3763239989 1326422466 2944881703 612486751 1814169022 2780940210 2565641040 2389584316 208104207 388244304 189182622 3031858871 3349292169 1602180000 2158597991 3718705818 548125010 1564715483 3770930807 1757732820 2745401705 2847563932 2809225917 165950001 3913323563 2118114880 2193130793 2032648451 653790104 1389909380 721215417 13270941 841101254 3857406062 428423609 3400141671 1544787801 3983542108 1173493516 3619476435 3252725050 629548904 2831506896 4013346766 2684109206 1463341255 608591413 799455566 2480150181 1376876260 1507891878 1696278664 1800504601 3550032035 870180686 2976987692 2700781626 2168872310 56483720 776817792 1923667186 4161808077 839928113 1889851095 49574496 1194724742 1038528183 1833913606 1433336499 2154338591 1435454430 3911933588 1086012501 1637606372 591665829 3763525514 928287823 3725014172 1490462629 3180916790 2172133778 642931909 1761832791 523349013 2257464635 3977756721 495235167 3514610861 142017751 261850090 3064161857 2895340078 2919964479 666188491 3408743545 3734475454 3988309477 2240083112 3835170923 1661733229 3606069615 2804884964 2962473496 3220645350 1522164237 3343344778 2969328869 1167290753 315289024 3544761431 2584724407 177092703 585475041 1649021185 255 362436" option to reproduce the execution
33.59/33.65	c #vars 2000400
33.59/33.65	c #constraints 4920807
115.56/115.63	c BCD2: Hardening is enabled.
115.56/115.63	c BCD2: BiasedSearch is enabled.
115.56/115.63	c Solving starts ...
115.56/115.63	c ============================[ Search Statistics ]============================
115.56/115.63	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
115.56/115.63	c       |         |          |          |    Limit     GC | Var      | Constra 
115.56/115.63	c =============================================================================
115.56/115.67	c  0.0s |       0 |        0 |        0 |  2313669      0 |      300 |        0
251.44/251.54	c  135s |       0 |      165 |      100 |  2313669      0 |      300 |        0
252.23/252.30	c  136s |       1 |      165 |      100 |  2313669      0 |      300 |        0
258.84/258.99	c  143s |       1 |     1008 |      200 |  2545036      0 |      300 |        0
267.53/267.66	c  152s |       2 |     1067 |      250 |  2545036      0 |      300 |        0
305.82/305.92	c  190s |       2 |     4283 |      350 |  2799540      0 |      300 |        0
337.52/337.66	c  222s |       2 |     4400 |      450 |  2799540      0 |      300 |        0
347.12/347.20	c  231s |       3 |     4426 |      475 |  2799540      0 |      300 |        0
482.69/482.80	c  367s |       3 |    12518 |      575 |  3079495      0 |      300 |        0
677.25/677.47	c  561s |       3 |    21404 |      675 |  3079495      0 |      300 |        0
716.55/716.76	c  601s |       3 |    28817 |      775 |  3079495      0 |      300 |        0
731.84/732.09	c  616s |       4 |    29583 |      813 |  3079495      0 |      300 |        0
746.03/746.22	c  630s |       4 |    33262 |      913 |  3387445      0 |      300 |        0
757.74/757.99	c  642s |       4 |    44051 |     1013 |  3387445      0 |      300 |        0
759.93/760.13	c  644s |       4 |    44152 |     1113 |  3387445      0 |      300 |        0
768.83/769.02	c  653s |       4 |    44252 |     1213 |  3387445      0 |      300 |        0
770.93/771.17	c  655s |       4 |    44361 |     1313 |  3387445      0 |      300 |        0
772.73/772.91	c  657s |       5 |    44369 |     1320 |  3387445      0 |      300 |        0
816.02/816.20	c  700s |       5 |    49262 |     1420 |  3726190      0 |      300 |        0
853.92/854.14	c  738s |       5 |    49362 |     1520 |  3726190      0 |      300 |        0
898.21/898.43	c  782s |       5 |    49468 |     1620 |  3726190      0 |      300 |        0
935.09/935.38	c  819s |       5 |    49570 |     1720 |  3726190      0 |      300 |        0
970.89/971.10	c  855s |       5 |    49675 |     1820 |  3726190      0 |      300 |        0
1008.69/1008.93	c  893s |       5 |    49772 |     1920 |  3726190      0 |      300 |        0
1030.58/1030.80	c  915s |       5 |    49889 |     2020 |  3726190      0 |      300 |        0
1050.37/1050.68	c  935s |       6 |    49951 |     2081 |  4098810      0 |      300 |        0
1059.08/1059.37	c  943s |       6 |    50511 |     2181 |  4098810      0 |      300 |        0
1062.07/1062.37	c  946s |       6 |    50625 |     2281 |  4098810      0 |      300 |        0
1065.08/1065.40	c  949s |       6 |    50731 |     2381 |  4098810      0 |      300 |        0
1067.97/1068.24	c  952s |       6 |    50838 |     2481 |  4098810      0 |      300 |        0
1077.57/1077.85	c  962s |       6 |    50936 |     2581 |  4098810      0 |      300 |        0
1080.48/1080.76	c  965s |       6 |    51042 |     2681 |  4098810      0 |      300 |        0
1083.47/1083.73	c  968s |       6 |    51152 |     2781 |  4098810      0 |      300 |        0
1086.86/1087.19	c  971s |       6 |    51251 |     2881 |  4098810      0 |      300 |        0
1090.26/1090.58	c  974s |       6 |    51358 |     2981 |  4098810      0 |      300 |        0
1099.96/1100.29	c  984s |       6 |    51458 |     3081 |  4098810      0 |      300 |        0
1103.36/1103.62	c  987s |       6 |    51556 |     3181 |  4098810      0 |      300 |        0
1105.97/1106.27	c  990s |       7 |    51601 |     3223 |  4508691      0 |      300 |        0
1124.66/1124.90	c 1009s |       7 |    56589 |     3323 |  4508691      0 |      300 |        0
1145.66/1145.92	c 1030s |       7 |    56750 |     3423 |  4508691      0 |      300 |        0
1162.66/1162.94	c 1047s |       7 |    56863 |     3523 |  4508691      0 |      300 |        0
1176.55/1176.88	c 1061s |       7 |    56988 |     3623 |  4508691      0 |      300 |        0
1192.55/1192.90	c 1077s |       7 |    57107 |     3723 |  4508691      0 |      300 |        0
1207.84/1208.16	c 1092s |       7 |    57209 |     3823 |  4508691      0 |      300 |        0
1229.34/1229.69	c 1114s |       7 |    57335 |     3923 |  4508691      0 |      300 |        0
1244.83/1245.16	c 1129s |       7 |    57457 |     4023 |  4508691      0 |      300 |        0
1260.23/1260.53	c 1144s |       7 |    57587 |     4123 |  4508691      0 |      300 |        0
1276.24/1276.60	c 1160s |       7 |    57715 |     4223 |  4508691      0 |      300 |        0
1292.13/1292.42	c 1176s |       7 |    57821 |     4323 |  4508691      0 |      300 |        0
1313.92/1314.20	c 1198s |       7 |    57946 |     4423 |  4508691      0 |      300 |        0
1329.61/1329.95	c 1214s |       7 |    58064 |     4523 |  4508691      0 |      300 |        0
1344.42/1344.80	c 1229s |       7 |    58195 |     4623 |  4508691      0 |      300 |        0
1359.81/1360.17	c 1244s |       7 |    58330 |     4723 |  4508691      0 |      300 |        0
1376.11/1376.46	c 1260s |       7 |    58450 |     4823 |  4508691      0 |      300 |        0
1390.80/1391.18	c 1275s |       7 |    58568 |     4923 |  4959561      0 |      300 |        0
1400.51/1400.81	c 1285s |       8 |    58589 |     4936 |  4959561      0 |      300 |        0
1433.60/1433.91	c 1318s |       8 |    58805 |     5036 |  4959561      0 |      300 |        0
1459.38/1459.70	c 1344s |       8 |    58921 |     5136 |  4959561      0 |      300 |        0
1495.67/1496.05	c 1380s |       8 |    59056 |     5236 |  4959561      0 |      300 |        0
1520.57/1520.98	c 1405s |       8 |    59181 |     5336 |  4959561      0 |      300 |        0
1542.27/1542.66	c 1427s |       8 |    59300 |     5436 |  4959561      0 |      300 |        0
1561.77/1562.18	c 1446s |       8 |    59487 |     5536 |  4959561      0 |      300 |        0
1563.86/1564.20	c 1448s |       8 |    59597 |     5636 |  4959561      0 |      300 |        0
1565.96/1566.32	c 1450s |       8 |    59704 |     5736 |  4959561      0 |      300 |        0
1569.86/1570.30	c 1454s |       8 |    59938 |     5936 |  4959561      0 |      300 |        0
1578.56/1578.97	c 1463s |       8 |    60036 |     6036 |  4959561      0 |      300 |        0
1580.76/1581.14	c 1465s |       8 |    60137 |     6136 |  4959561      0 |      300 |        0
1582.96/1583.38	c 1467s |       8 |    60240 |     6236 |  4959561      0 |      300 |        0
1585.15/1585.56	c 1469s |       8 |    60342 |     6336 |  4959561      0 |      300 |        0
1587.46/1587.82	c 1472s |       8 |    60447 |     6436 |  4959561      0 |      300 |        0
1596.05/1596.49	c 1480s |       8 |    60552 |     6536 |  4959561      0 |      300 |        0
1598.25/1598.62	c 1482s |       8 |    60654 |     6636 |  4959561      0 |      300 |        0
1600.36/1600.70	c 1485s |       8 |    60760 |     6736 |  4959561      0 |      300 |        0
1602.56/1602.97	c 1487s |       8 |    60866 |     6836 |  4959561      0 |      300 |        0
1604.76/1605.17	c 1489s |       8 |    60975 |     6936 |  4959561      0 |      300 |        0
1606.85/1607.24	c 1491s |       8 |    61071 |     7036 |  4959561      0 |      300 |        0
1615.55/1615.98	c 1500s |       8 |    61176 |     7136 |  4959561      0 |      300 |        0
1617.95/1618.38	c 1502s |       8 |    61286 |     7236 |  4959561      0 |      300 |        0
1622.05/1622.45	c 1506s |       8 |    61505 |     7436 |  4959561      0 |      300 |        0
1624.75/1625.15	c 1509s |       9 |    61584 |     7506 |  5455518      0 |      300 |        0
1652.84/1653.24	c 1537s |       9 |    66539 |     7606 |  5455518      0 |      300 |        0
1668.24/1668.65	c 1553s |       9 |    66645 |     7706 |  5455518      0 |      300 |        0
1683.83/1684.22	c 1568s |       9 |    66746 |     7806 |  5455518      0 |      300 |        0
1698.54/1698.95	c 1583s |       9 |    66852 |     7906 |  5455518      0 |      300 |        0
1720.13/1720.57	c 1604s |       9 |    66948 |     8006 |  5455518      0 |      300 |        0
1734.43/1734.82	c 1619s |       9 |    67084 |     8106 |  5455518      0 |      300 |        0
1746.73/1747.18	c 1631s |       9 |    67215 |     8206 |  5455518      0 |      300 |        0
1759.32/1759.77	c 1644s |       9 |    67328 |     8306 |  5455518      0 |      300 |        0
1782.71/1783.18	c 1667s |       9 |    67472 |     8406 |  5455518      0 |      300 |        0
1799.82/1800.26	c 1684s |       9 |    67588 |     8506 |  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-4079348-1465321226/watcher-4079348-1465321226 -o /tmp/evaluation-result-4079348-1465321226/solver-4079348-1465321226 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node107-1465310409-12875 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079348-1465321226.opb 

pid=13813
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.00 2.02 2.00 3/173 13816
/proc/meminfo: memFree=31137056/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=652868 CPUtime=0 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 2425 0 0 0 0 0 0 0 20 0 4 0 114057840 668536832 3296 33554432000 4194304 16246674 140735642779024 140735642778448 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13816/statm: 163985 3306 442 2943 0 160879 0
[pid=13816/tid=13817] ppid=13813 vsize=671300 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 687411200 3366 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=675396 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 691605504 3383 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=679492 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 695799808 3399 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100184 s]
/proc/loadavg: 2.00 2.02 2.00 3/173 13816
/proc/meminfo: memFree=31137056/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 31619 0 0 0 5 4 0 0 20 0 4 0 114057840 1334382592 32429 33554432000 4194304 16246674 140735642779024 140735642778336 7377409 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13816/statm: 325777 32445 800 2943 0 322671 0
[pid=13816/tid=13817] ppid=13813 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 1334382592 32458 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 1334382592 32468 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 1334382592 32480 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200552 s]
/proc/loadavg: 2.00 2.02 2.00 3/173 13816
/proc/meminfo: memFree=31137056/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 41048 0 0 0 13 6 0 0 20 0 4 0 114057840 1343819776 42368 33554432000 4194304 16246674 140735642779024 140735642778336 13927349 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13816/statm: 328081 42368 800 2943 0 324975 0
[pid=13816/tid=13817] ppid=13813 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 1343819776 42368 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 1343819776 42368 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 1343819776 42368 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300521 s]
/proc/loadavg: 2.00 2.02 2.00 3/173 13816
/proc/meminfo: memFree=31137056/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 41841 0 0 0 23 6 0 0 20 0 4 0 114057840 1343819776 43161 33554432000 4194304 16246674 140735642779024 140735642762016 8058221 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13816/statm: 328081 43161 800 2943 0 324975 0
[pid=13816/tid=13817] ppid=13813 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 1343819776 43161 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 1343819776 43161 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 1343819776 43161 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700426 s]
/proc/loadavg: 2.00 2.02 2.00 3/173 13816
/proc/meminfo: memFree=31137056/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=1312324 CPUtime=0.69 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 58338 0 0 0 61 8 0 0 20 0 4 0 114057840 1343819776 59658 33554432000 4194304 16246674 140735642779024 140735642762016 4206886 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/13816/statm: 328081 59658 801 2943 0 324975 0
[pid=13816/tid=13817] ppid=13813 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 1343819776 59658 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 1343819776 59658 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 1343819776 59658 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50037 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 13820
/proc/meminfo: memFree=30810840/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=1312324 CPUtime=1.49 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 98871 0 0 0 135 14 0 0 20 0 4 0 114057840 1343819776 100192 33554432000 4194304 16246674 140735642779024 140735642760896 7376813 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 328081 100213 801 2943 0 324975 0
[pid=13816/tid=13817] ppid=13813 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 1343819776 100224 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 1343819776 100236 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 1343819776 100247 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1312324

[startup+3.1004 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 13820
/proc/meminfo: memFree=30349940/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=1336900 CPUtime=3.08 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 163391 0 0 0 285 23 0 0 20 0 4 0 114057840 1368985600 169821 33554432000 4194304 16246674 140735642779024 140735642776832 7377454 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 334225 169821 803 2943 0 331119 0
[pid=13816/tid=13817] ppid=13813 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 1368985600 169821 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 1368985600 169821 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=1336900 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 1368985600 169821 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1336900

[startup+6.30069 s]
/proc/loadavg: 2.08 2.03 2.01 3/184 13834
/proc/meminfo: memFree=29412376/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=1386052 CPUtime=6.29 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 205559 0 0 0 599 30 0 0 20 0 4 0 114057840 1419317248 223231 33554432000 4194304 16246674 140735642779024 140735642762016 8058893 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 346513 223231 803 2943 0 343407 0
[pid=13816/tid=13817] ppid=13813 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 1419317248 223231 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 1419317248 223231 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=1386052 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 1419317248 223231 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1386052

[startup+12.7076 s]
/proc/loadavg: 2.07 2.03 2.00 3/184 13834
/proc/meminfo: memFree=28853200/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=1484356 CPUtime=12.69 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 232470 0 0 0 1231 38 0 0 20 0 4 0 114057840 1519980544 272626 33554432000 4194304 16246674 140735642779024 140735642762016 7371233 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 371089 272626 803 2943 0 367983 0
[pid=13816/tid=13817] ppid=13813 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 1519980544 272626 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 1519980544 272626 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=1484356 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 1519980544 272626 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1484356

[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 2.00 3/184 13834
/proc/meminfo: memFree=25891852/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=3685956 CPUtime=25.48 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 820019 0 0 0 2414 134 0 0 20 0 4 0 114057840 3774418944 863241 33554432000 4194304 16246674 140735642779024 140735642777688 4221105 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 921489 863248 803 2943 0 918383 0
[pid=13816/tid=13817] ppid=13813 vsize=3685956 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 3774418944 863252 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=3685956 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 3774418944 863257 33554432000 4194304 16246674 140735642779024 140252108790800 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=3685956 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 3774418944 863261 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3685956

[startup+51.1004 s]
/proc/loadavg: 2.10 2.04 2.01 3/183 13834
/proc/meminfo: memFree=17424112/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=7016004 CPUtime=51.08 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 1652730 0 0 0 4732 376 0 0 20 0 4 0 114057840 7184388096 1695952 33554432000 4194304 16246674 140735642779024 140735642778200 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 1754001 1695952 844 2943 0 1750895 0
[pid=13816/tid=13817] ppid=13813 vsize=7016004 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 7184388096 1695952 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=7016004 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 7184388096 1695952 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=7016004 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 7184388096 1695952 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 7016004

[startup+102.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 13836
/proc/meminfo: memFree=10843268/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=10300996 CPUtime=102.27 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 2473985 0 0 0 9596 631 0 0 20 0 4 0 114057840 10548219904 2517207 33554432000 4194304 16246674 140735642779024 140735642778200 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 2575249 2517207 848 2943 0 2572143 0
[pid=13816/tid=13817] ppid=13813 vsize=10300996 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 10548219904 2517207 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=10300996 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 10548219904 2517207 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=10300996 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 10548219904 2517207 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 10300996


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

[pid=13816] ppid=13813 vsize=12284484 CPUtime=1362.01 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 2969922 0 0 0 135155 1046 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140735642778200 5659568 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 3071121 3013133 899 2943 0 3068015 0
[pid=13816/tid=13817] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1362.01
Current children cumulated vsize (KiB) 12284484

[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 13891
/proc/meminfo: memFree=6890080/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=12284484 CPUtime=1421.99 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 2969922 0 0 0 141141 1058 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140735642778200 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 3071121 3013133 899 2943 0 3068015 0
[pid=13816/tid=13817] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1421.99
Current children cumulated vsize (KiB) 12284484

[startup+1482.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 13892
/proc/meminfo: memFree=6889612/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=12284484 CPUtime=1481.98 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 2969927 0 0 0 147129 1069 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140735642778200 5659576 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 3071121 3013133 899 2943 0 3068015 0
[pid=13816/tid=13817] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 12284484

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 13893
/proc/meminfo: memFree=6889764/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=12284484 CPUtime=1541.97 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 2969927 0 0 0 153114 1083 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140735642778200 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 3071121 3013133 899 2943 0 3068015 0
[pid=13816/tid=13817] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 12284484

[startup+1602.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 13894
/proc/meminfo: memFree=6889792/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=12284484 CPUtime=1601.95 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 2969928 0 0 0 159100 1095 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140735642778120 15015658 0 2 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 3071121 3013133 899 2943 0 3068015 0
[pid=13816/tid=13817] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 12284484

[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/183 13896
/proc/meminfo: memFree=6889812/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=12284484 CPUtime=1661.94 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 2969931 0 0 0 165084 1110 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140735642778200 15015658 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 3071121 3013133 899 2943 0 3068015 0
[pid=13816/tid=13817] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 12284484

[startup+1722.3 s]
/proc/loadavg: 2.10 2.04 2.00 3/183 13897
/proc/meminfo: memFree=6889708/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=12284484 CPUtime=1721.93 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 2969932 0 0 0 170974 1219 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140735642778120 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 3071121 3013133 899 2943 0 3068015 0
[pid=13816/tid=13817] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 12284484

[startup+1782.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 13901
/proc/meminfo: memFree=6889372/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=12284484 CPUtime=1781.92 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 2969936 0 0 0 176873 1319 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140735642778200 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 3071121 3013133 899 2943 0 3068015 0
[pid=13816/tid=13817] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 12284484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 13902
/proc/meminfo: memFree=6889632/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=12284484 CPUtime=1800.02 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) R 13813 13816 11961 0 -1 4202496 2969936 0 0 0 178655 1347 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140735642778200 14628944 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 3071121 3013133 899 2943 0 3068015 0
[pid=13816/tid=13817] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13817/stat : 13817 (toysat) S 13813 13816 11961 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252119280880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) S 13813 13816 11961 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252108791024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=13816/tid=13819] ppid=13813 vsize=12284484 CPUtime=0 cores=1,3,5,7
/proc/13816/task/13819/stat : 13819 (toysat) S 13813 13816 11961 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114057840 12579311616 3013133 33554432000 4194304 16246674 140735642779024 140252022828208 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 12284484

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

[startup+1800.5 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 13902
/proc/meminfo: memFree=6889632/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=0 CPUtime=1800.12 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) Z 13813 13816 11961 0 -1 4203532 2969936 0 0 0 178655 1357 0 0 20 0 2 0 114057840 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 0 0 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=0 CPUtime=0.09 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) R 13813 13816 11961 0 -1 4203588 8 0 0 0 0 9 0 0 20 0 2 0 114057840 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 13902
/proc/meminfo: memFree=6889632/32872528 swapFree=12744/274376
[pid=13816] ppid=13813 vsize=0 CPUtime=1800.51 cores=1,3,5,7
/proc/13816/stat : 13816 (toysat) Z 13813 13816 11961 0 -1 4203532 2969936 0 0 0 178655 1396 0 0 20 0 2 0 114057840 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/13816/statm: 0 0 0 0 0 0 0
[pid=13816/tid=13818] ppid=13813 vsize=0 CPUtime=0.48 cores=1,3,5,7
/proc/13816/task/13818/stat : 13818 (toysat) R 13813 13816 11961 0 -1 4203588 8 0 0 0 0 48 0 0 20 0 2 0 114057840 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.92
CPU time (s): 1800.54
CPU user time (s): 1786.56
CPU system time (s): 13.9799
CPU usage (%): 99.979
Max. virtual memory (cumulated for all children) (KiB): 12284484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1786.56
system time used= 13.9799
maximum resident set size= 12052532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2969936
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= 128
involuntary context switches= 2966

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.39433 second user time and 7.16491 second system time

The end

Launcher Data 

Begin job on node107 at 2016-06-07 19:40:31
IDJOB=4079348
IDBENCH=92650
IDSOLVER=2542
FILE ID=node107/4079348-1465321226
RUNJOBID= node107-1465310409-12875
PBS_JOBID= 19848089
Free space on /tmp= 71432 MiB

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

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

MD5SUM BENCH= fa15dfc7844dffcfc27adc27005c5c95
RANDOM SEED=513597756

node107.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.441
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.88
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.441
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.441
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.54
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.441
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.441
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.441
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.441
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.56
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.441
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:        31138964 kB
Buffers:           99400 kB
Cached:           602512 kB
SwapCached:         1648 kB
Active:           320960 kB
Inactive:         387616 kB
Active(anon):       6516 kB
Inactive(anon):     2796 kB
Active(file):     314444 kB
Inactive(file):   384820 kB
Unevictable:      274376 kB
Mlocked:           12744 kB
SwapTotal:      67108856 kB
SwapFree:       67098592 kB
Dirty:            344076 kB
Writeback:             0 kB
AnonPages:        280864 kB
Mapped:             7072 kB
Shmem:                 0 kB
Slab:             618860 kB
SReclaimable:      61444 kB
SUnreclaim:       557416 kB
KernelStack:        1416 kB
PageTables:         4604 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     376124 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    264192 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= 71284 MiB
End job on node107 at 2016-06-07 20:10:32