Trace number 4079393

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.09 1800.44

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_6_mh_ic.opb
MD5SUM10217e17cbd04c0c5cd10efd0fff5914
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark140202277
Best CPU time to get the best result obtained on this benchmark1800.21
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables370300
Total number of constraints847958
Number of constraints which are clauses597900
Number of constraints which are cardinality constraints (but not clauses)58
Number of constraints which are nor clauses,nor cardinality constraints250000
Minimum length of a constraint2
Maximum length of a constraint3725
Number of terms in the objective function 132350
Biggest coefficient in the objective function 116930169
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 53972678158
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 116930169
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 53972678158
Number of bits of the biggest sum of numbers36
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-07T20:48:43+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-4079393-1465325322.opb"]
0.00/0.01	c use --random-gen="1221058660 1209748814 1803954046 3871101681 3009039926 426256072 1856085465 1152240018 3624017005 1114172597 3635370 612647243 2437715333 1883607477 3689190052 810190790 1904768192 1564706871 2886463982 2562513624 922507757 7589261 2367828321 2144630778 1932928338 34895806 1497048924 2226084863 4097972804 2908697503 110278110 3610572859 71623137 15526586 937473706 3884430099 190437909 1406721999 1984591430 2040448776 3445424722 2239580507 2140378944 3738177782 3589908891 3171985501 876833535 4227203644 2837552735 951546335 4133186821 2555368060 1462987758 1085635077 1029466127 2720241539 2566389772 1609510525 3582105653 3178989652 2186132019 3892856373 293648904 1207424516 629649131 3912633533 2534536384 2715513235 1918712809 1776817187 2673288893 2379763229 937484532 3606342016 1919484037 2729230181 188432394 3779961209 2167296210 331724205 3171341898 102616111 1820802476 1878904216 4283956153 3659413923 1420883227 1584887338 2647920181 729086201 2535037465 53890383 1586593750 2465904795 940746610 2366024230 42751754 2425257050 963311323 1711283214 283372431 1715762301 2881614329 114290602 1220819457 306005963 1072266862 1065148770 1869118307 2845654489 904876899 1879989850 2325256331 2124752451 3817281252 1628350889 1913970676 3611928409 1141138089 3005391582 2614067036 1318042722 884513333 3204728290 4267180734 4088050209 2059634581 3592192155 241836818 2307148642 1921256196 3413576371 878465989 1781791477 3608062839 3276825848 3640028992 3538868273 51160191 750547560 3575912131 2416256842 3755985508 2068523531 3025957035 1711884170 1072552026 1549570567 1198005755 686727079 1042000127 3048444732 2200300710 1040011826 900850141 159021527 3924054098 578420803 2702261914 3680149812 2234182268 1027732772 2589125083 2189097415 94960142 1772758040 1754559876 4199893301 1304675054 3629418430 2513083057 707224933 1393305084 1368614156 2934924251 544170144 940027614 474680160 14186456 4192995771 2807465573 285261055 1473421507 1250559810 2676280677 3927578 6806365 1456181514 3290738544 2141264670 400126989 191910641 3247653950 544401365 449335585 4282509563 1177864651 2106520662 899875770 445964382 438010396 2944013173 3543926945 3966092558 379803457 4278819097 2557825686 135448138 1942482931 1891318790 3568092547 1935276940 3332502529 2139985662 1501495788 1302300259 2289485874 1185236843 3212172156 2852407669 291917830 2140014888 3678281215 3263840958 734430616 165544035 645591092 1521428876 2232760098 1094564229 682274329 2493713140 1392946314 1412607715 3781181479 3950910471 2645524092 31985601 2031603390 1602935735 1820757670 1154791311 335442944 1328179724 3278169690 654551442 3266414875 317256443 2095529816 3101269948 1421651561 15834797 3903463238 2103706640 2087814380 3992188792 255 362436" option to reproduce the execution
6.39/6.50	c #vars 370300
6.39/6.50	c #constraints 847958
20.58/20.67	c BCD2: Hardening is enabled.
20.58/20.67	c BCD2: BiasedSearch is enabled.
20.58/20.67	c Solving starts ...
20.58/20.67	c ============================[ Search Statistics ]============================
20.58/20.67	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.58/20.67	c       |         |          |          |    Limit     GC | Var      | Constra 
20.58/20.67	c =============================================================================
20.58/20.67	c  0.0s |       0 |        0 |        0 |   408536      0 |      200 |        0
26.79/26.87	c  6.2s |       0 |      660 |      100 |   408536      0 |      200 |        0
27.09/27.10	c  6.4s |       1 |      660 |      100 |   408536      0 |      200 |        0
54.89/54.90	c 34.2s |       1 |     5613 |      200 |   449390      0 |      200 |        0
71.49/71.52	c 50.8s |       2 |     6295 |      250 |   449390      0 |      200 |        0
108.67/108.71	c 88.0s |       2 |     8471 |      350 |   494330      0 |      200 |        0
138.27/138.35	c  117s |       2 |     9825 |      450 |   494330      0 |      200 |        0
147.97/148.00	c  127s |       3 |    10489 |      475 |   494330      0 |      200 |        0
187.46/187.51	c  166s |       3 |    13272 |      575 |   543763      0 |      200 |        0
218.96/219.03	c  198s |       3 |    15031 |      675 |   543763      0 |      200 |        0
248.15/248.28	c  227s |       3 |    16207 |      775 |   543763      0 |      200 |        0
256.65/256.75	c  236s |       4 |    16556 |      813 |   543763      0 |      200 |        0
282.25/282.30	c  261s |       4 |    17450 |      913 |   598140      0 |      200 |        0
315.84/315.90	c  295s |       4 |    18593 |     1013 |   598140      0 |      200 |        0
343.04/343.15	c  322s |       4 |    20318 |     1113 |   598140      0 |      200 |        0
369.04/369.13	c  348s |       4 |    21034 |     1213 |   598140      0 |      200 |        0
403.23/403.32	c  382s |       4 |    21248 |     1313 |   598140      0 |      200 |        0
405.13/405.24	c  384s |       5 |    21553 |     1320 |   598140      0 |      200 |        0
443.92/444.08	c  423s |       5 |    23978 |     1420 |   657954      0 |      200 |        0
486.62/486.71	c  466s |       5 |    26491 |     1520 |   657954      0 |      200 |        0
522.32/522.43	c  501s |       5 |    27227 |     1620 |   657954      0 |      200 |        0
562.10/562.20	c  541s |       5 |    29827 |     1720 |   657954      0 |      200 |        0
595.90/596.06	c  575s |       5 |    31813 |     1820 |   657954      0 |      200 |        0
629.90/630.05	c  609s |       5 |    32399 |     1920 |   657954      0 |      200 |        0
668.89/669.06	c  648s |       5 |    35636 |     2020 |   657954      0 |      200 |        0
692.49/692.64	c  671s |       6 |    38594 |     2081 |   723750      0 |      200 |        0
725.48/725.61	c  704s |       6 |    40043 |     2181 |   723750      0 |      200 |        0
762.77/762.99	c  742s |       6 |    41006 |     2281 |   723750      0 |      200 |        0
784.96/785.17	c  764s |       6 |    41243 |     2381 |   723750      0 |      200 |        0
828.96/829.11	c  808s |       6 |    42900 |     2481 |   723750      0 |      200 |        0
877.05/877.21	c  856s |       6 |    45308 |     2581 |   723750      0 |      200 |        0
910.35/910.59	c  889s |       6 |    45866 |     2681 |   723750      0 |      200 |        0
940.74/940.95	c  920s |       6 |    46730 |     2781 |   723750      0 |      200 |        0
980.73/980.98	c  960s |       6 |    47020 |     2881 |   723750      0 |      200 |        0
1030.61/1030.83	c 1010s |       6 |    48183 |     2981 |   723750      0 |      200 |        0
1066.00/1066.26	c 1045s |       6 |    49249 |     3081 |   723750      0 |      200 |        0
1098.10/1098.32	c 1077s |       6 |    50812 |     3181 |   723750      0 |      200 |        0
1116.89/1117.16	c 1096s |       7 |    51761 |     3223 |   796126      0 |      200 |        0
1160.69/1160.91	c 1140s |       7 |    53843 |     3323 |   796126      0 |      200 |        0
1195.39/1195.70	c 1175s |       7 |    55168 |     3423 |   796126      0 |      200 |        0
1227.58/1227.89	c 1207s |       7 |    56105 |     3523 |   796126      0 |      200 |        0
1260.28/1260.57	c 1239s |       7 |    57255 |     3623 |   796126      0 |      200 |        0
1293.37/1293.65	c 1272s |       7 |    58082 |     3723 |   796126      0 |      200 |        0
1322.06/1322.33	c 1301s |       7 |    59091 |     3823 |   796126      0 |      200 |        0
1355.75/1356.00	c 1335s |       7 |    59623 |     3923 |   796126      0 |      200 |        0
1396.65/1396.93	c 1376s |       7 |    60016 |     4023 |   796126      0 |      200 |        0
1436.73/1437.03	c 1416s |       7 |    60667 |     4123 |   796126      0 |      200 |        0
1468.83/1469.19	c 1448s |       7 |    61318 |     4223 |   796126      0 |      200 |        0
1500.82/1501.11	c 1480s |       7 |    64910 |     4323 |   796126      0 |      200 |        0
1534.31/1534.68	c 1514s |       7 |    76115 |     4423 |   796126      0 |      200 |        0
1581.60/1581.96	c 1561s |       7 |    88692 |     4523 |   796126      0 |      200 |        0
1628.80/1629.16	c 1608s |       7 |    91694 |     4623 |   796126      0 |      200 |        0
1675.88/1676.27	c 1655s |       7 |    92713 |     4723 |   796126      0 |      200 |        0
1714.48/1714.87	c 1694s |       7 |    94542 |     4823 |   796126      0 |      200 |        0
1755.65/1756.06	c 1735s |       7 |    95734 |     4923 |   875739      0 |      200 |        0
1759.56/1759.91	c 1739s |       8 |    95743 |     4936 |   875739      0 |      200 |        0
1789.35/1789.71	c 1769s |       8 |    97078 |     5036 |   875739      0 |      200 |        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-4079393-1465325322/watcher-4079393-1465325322 -o /tmp/evaluation-result-4079393-1465325322/solver-4079393-1465325322 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node129-1465311042-19404 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079393-1465325322.opb 

pid=20660
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.33 2.26 2.20 2/179 20663
/proc/meminfo: memFree=29203664/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=816572 CPUtime=0 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 3061 0 0 0 0 0 0 0 20 0 4 0 114465167 836169728 3421 33554432000 4194304 16246674 140735513075936 140735513075360 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 204655 3431 441 2943 0 201549 0
[pid=20663/tid=20664] ppid=20660 vsize=835004 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 855044096 3493 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=839100 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 859238400 3511 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=844220 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114465167 864481280 3528 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10017 s]
/proc/loadavg: 2.33 2.26 2.20 2/179 20663
/proc/meminfo: memFree=29203664/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=1303108 CPUtime=0.09 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 32037 0 0 0 5 4 0 0 20 0 4 0 114465167 1334382592 32336 33554432000 4194304 16246674 140735513075936 140735513075248 8058197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 325777 32353 799 2943 0 322671 0
[pid=20663/tid=20664] ppid=20660 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 1334382592 32365 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 1334382592 32376 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 1334382592 32387 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200532 s]
/proc/loadavg: 2.33 2.26 2.20 2/179 20663
/proc/meminfo: memFree=29203664/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 43090 0 0 0 13 6 0 0 20 0 4 0 114465167 1343819776 43899 33554432000 4194304 16246674 140735513075936 140735513075248 13753020 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 328081 43899 799 2943 0 324975 0
[pid=20663/tid=20664] ppid=20660 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 1343819776 43899 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 1343819776 43899 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 1343819776 43899 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300508 s]
/proc/loadavg: 2.33 2.26 2.20 2/179 20663
/proc/meminfo: memFree=29203664/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=1312324 CPUtime=0.29 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 47448 0 0 0 23 6 0 0 20 0 4 0 114465167 1343819776 48257 33554432000 4194304 16246674 140735513075936 140735513075248 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 328081 48257 800 2943 0 324975 0
[pid=20663/tid=20664] ppid=20660 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 1343819776 48257 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 1343819776 48257 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 1343819776 48257 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 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.33 2.26 2.20 2/179 20663
/proc/meminfo: memFree=29203664/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=1313348 CPUtime=0.69 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 65301 0 0 0 61 8 0 0 20 0 4 0 114465167 1344868352 66110 33554432000 4194304 16246674 140735513075936 140735513075248 4221108 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 328337 66110 802 2943 0 325231 0
[pid=20663/tid=20664] ppid=20660 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 1344868352 66110 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 1344868352 66110 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 1344868352 66110 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.33 2.26 2.20 3/183 20667
/proc/meminfo: memFree=28882328/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=1313348 CPUtime=1.49 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 83707 0 0 0 138 11 0 0 20 0 4 0 114465167 1344868352 84516 33554432000 4194304 16246674 140735513075936 140735513057856 4221116 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 328337 84516 802 2943 0 325231 0
[pid=20663/tid=20664] ppid=20660 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 1344868352 84516 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 1344868352 84516 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 1344868352 84516 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10042 s]
/proc/loadavg: 2.33 2.26 2.20 3/183 20667
/proc/meminfo: memFree=28735360/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=1337924 CPUtime=3.09 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 154908 0 0 0 288 21 0 0 20 0 4 0 114465167 1370034176 160827 33554432000 4194304 16246674 140735513075936 140735513073728 4206864 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 334481 160827 802 2943 0 331375 0
[pid=20663/tid=20664] ppid=20660 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 1370034176 160827 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 1370034176 160827 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=1337924 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 1370034176 160827 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30042 s]
/proc/loadavg: 2.30 2.25 2.20 3/183 20667
/proc/meminfo: memFree=28299332/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=1387076 CPUtime=6.29 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 258989 0 0 0 591 38 0 0 20 0 4 0 114465167 1420365824 275128 33554432000 4194304 16246674 140735513075936 140735513073728 4206664 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 346769 275128 802 2943 0 343663 0
[pid=20663/tid=20664] ppid=20660 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 1420365824 275128 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 1420365824 275128 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=1387076 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 1420365824 275128 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1387076

[startup+12.7004 s]
/proc/loadavg: 2.27 2.25 2.19 3/183 20667
/proc/meminfo: memFree=27664524/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=1784388 CPUtime=12.69 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 368326 0 0 0 1215 54 0 0 20 0 4 0 114465167 1827213312 384976 33554432000 4194304 16246674 140735513075936 140735513057856 13898695 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 446097 384976 843 2943 0 442991 0
[pid=20663/tid=20664] ppid=20660 vsize=1784388 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 1827213312 384976 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=1784388 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 1827213312 384976 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=1784388 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 1827213312 384976 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1784388

[startup+25.5004 s]
/proc/loadavg: 2.21 2.24 2.19 3/183 20667
/proc/meminfo: memFree=27004092/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=2433604 CPUtime=25.49 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 530687 0 0 0 2471 78 0 0 20 0 4 0 114465167 2492010496 549892 33554432000 4194304 16246674 140735513075936 140735513075112 13775084 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 608401 549892 895 2943 0 605295 0
[pid=20663/tid=20664] ppid=20660 vsize=2433604 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 2492010496 549892 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=2433604 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 2492010496 549892 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=2433604 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 2492010496 549892 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2433604

[startup+51.1004 s]
/proc/loadavg: 2.29 2.25 2.19 3/183 20667
/proc/meminfo: memFree=27004060/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=2433604 CPUtime=51.08 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 530687 0 0 0 5030 78 0 0 20 0 4 0 114465167 2492010496 549892 33554432000 4194304 16246674 140735513075936 140735513057856 13774449 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 608401 549892 895 2943 0 605295 0
[pid=20663/tid=20664] ppid=20660 vsize=2433604 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 2492010496 549892 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=2433604 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 2492010496 549892 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=2433604 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 2492010496 549892 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2433604

[startup+102.308 s]
/proc/loadavg: 2.33 2.26 2.20 3/184 20671
/proc/meminfo: memFree=27005844/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=2433604 CPUtime=102.28 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 530687 0 0 0 10150 78 0 0 20 0 4 0 114465167 2492010496 549892 33554432000 4194304 16246674 140735513075936 140735513057856 4220815 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 608401 549892 895 2943 0 605295 0
[pid=20663/tid=20664] ppid=20660 vsize=2433604 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 2492010496 549892 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=2433604 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 2492010496 549892 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=2433604 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 2492010496 549892 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 2433604


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

/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 2579012

[startup+1302.3 s]
/proc/loadavg: 2.32 2.20 2.18 3/184 20774
/proc/meminfo: memFree=26852800/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=2579012 CPUtime=1302.07 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 567090 0 0 0 130115 92 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 140735513073728 12483481 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 644753 586249 896 2943 0 641647 0
[pid=20663/tid=20664] ppid=20660 vsize=2579012 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=2579012 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=2579012 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 2579012

[startup+1362.3 s]
/proc/loadavg: 2.23 2.19 2.18 3/183 20775
/proc/meminfo: memFree=26852624/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=2579012 CPUtime=1362.05 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 567091 0 0 0 136113 92 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 140735513057856 5600380 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 644753 586249 896 2943 0 641647 0
[pid=20663/tid=20664] ppid=20660 vsize=2579012 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=2579012 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=2579012 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 2579012

[startup+1422.31 s]
/proc/loadavg: 2.17 2.18 2.18 3/183 20776
/proc/meminfo: memFree=26852532/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=2579012 CPUtime=1422.04 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 567091 0 0 0 142112 92 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 140735513057856 5661532 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 644753 586249 896 2943 0 641647 0
[pid=20663/tid=20664] ppid=20660 vsize=2579012 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=2579012 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=2579012 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 2579012

[startup+1482.3 s]
/proc/loadavg: 2.12 2.16 2.17 4/183 20778
/proc/meminfo: memFree=26852524/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=2579012 CPUtime=1482.03 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 567091 0 0 0 148111 92 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 140735513057856 5677716 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 644753 586249 896 2943 0 641647 0
[pid=20663/tid=20664] ppid=20660 vsize=2579012 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=2579012 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=2579012 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 2579012

[startup+1542.3 s]
/proc/loadavg: 2.18 2.18 2.17 4/183 20779
/proc/meminfo: memFree=26852456/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=2579012 CPUtime=1542.01 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 567120 0 0 0 154108 93 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 140735513057856 13898695 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 644753 586249 896 2943 0 641647 0
[pid=20663/tid=20664] ppid=20660 vsize=2579012 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=2579012 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=2579012 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 2640908288 586249 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 2579012

[startup+1602.3 s]
/proc/loadavg: 2.32 2.20 2.18 4/183 20780
/proc/meminfo: memFree=26841828/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=2589252 CPUtime=1602 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 569692 0 0 0 160105 95 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 140735513057856 5600136 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 647313 588809 896 2943 0 644207 0
[pid=20663/tid=20664] ppid=20660 vsize=2589252 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=2589252 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=2589252 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 2589252

[startup+1662.3 s]
/proc/loadavg: 2.21 2.19 2.18 4/183 20781
/proc/meminfo: memFree=26841940/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=2589252 CPUtime=1661.99 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 569692 0 0 0 166104 95 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 140735513057856 5829044 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 647313 588809 896 2943 0 644207 0
[pid=20663/tid=20664] ppid=20660 vsize=2589252 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=2589252 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=2589252 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 2589252

[startup+1722.3 s]
/proc/loadavg: 2.25 2.20 2.18 3/183 20782
/proc/meminfo: memFree=26841868/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=2589252 CPUtime=1721.97 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 569695 0 0 0 172102 95 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 140735513073792 13759456 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 647313 588809 896 2943 0 644207 0
[pid=20663/tid=20664] ppid=20660 vsize=2589252 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=2589252 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=2589252 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 2589252

[startup+1782.3 s]
/proc/loadavg: 2.14 2.18 2.18 3/183 20784
/proc/meminfo: memFree=26841740/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=2589252 CPUtime=1781.95 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 569717 0 0 0 178099 96 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 140735513057856 12483624 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 647313 588809 896 2943 0 644207 0
[pid=20663/tid=20664] ppid=20660 vsize=2589252 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=2589252 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=2589252 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 2589252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.24 2.20 2.18 4/183 20784
/proc/meminfo: memFree=26841712/32872528 swapFree=16204/1518544
[pid=20663] ppid=20660 vsize=2589252 CPUtime=1800.04 cores=1,3,5,7
/proc/20663/stat : 20663 (toysat) R 20660 20663 19387 0 -1 4202496 569717 0 0 0 179908 96 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 140735513057856 5600384 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20663/statm: 647313 588809 896 2943 0 644207 0
[pid=20663/tid=20664] ppid=20660 vsize=2589252 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20664/stat : 20664 (toysat) S 20660 20663 19387 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 139681907846384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=20663/tid=20665] ppid=20660 vsize=2589252 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20665/stat : 20665 (toysat) S 20660 20663 19387 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 139681897356528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=20663/tid=20666] ppid=20660 vsize=2589252 CPUtime=0 cores=1,3,5,7
/proc/20663/task/20666/stat : 20666 (toysat) S 20660 20663 19387 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114465167 2651394048 588809 33554432000 4194304 16246674 140735513075936 139681886882992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 2589252

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.44
CPU time (s): 1800.09
CPU user time (s): 1799.09
CPU system time (s): 0.998848
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 2589252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 0.998848
maximum resident set size= 2355236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 569717
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= 166
involuntary context switches= 2165

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.78227 second user time and 6.67898 second system time

The end

Launcher Data 

Begin job on node129 at 2016-06-07 20:48:43
IDJOB=4079393
IDBENCH=92683
IDSOLVER=2542
FILE ID=node129/4079393-1465325322
RUNJOBID= node129-1465311042-19404
PBS_JOBID= 19850114
Free space on /tmp= 71672 MiB

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

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

MD5SUM BENCH= 10217e17cbd04c0c5cd10efd0fff5914
RANDOM SEED=515071647

node129.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.43
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.715
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29204044 kB
Buffers:           30252 kB
Cached:           243972 kB
SwapCached:         1620 kB
Active:          1284532 kB
Inactive:         121904 kB
Active(anon):    1129996 kB
Inactive(anon):     4300 kB
Active(file):     154536 kB
Inactive(file):   117604 kB
Unevictable:     1518544 kB
Mlocked:           16204 kB
SwapTotal:      67108856 kB
SwapFree:       67098820 kB
Dirty:             53928 kB
Writeback:             0 kB
AnonPages:       2652420 kB
Mapped:            11796 kB
Shmem:                 0 kB
Slab:             605632 kB
SReclaimable:      49400 kB
SUnreclaim:       556232 kB
KernelStack:        1464 kB
PageTables:         9344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2795948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1531904 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= 71656 MiB
End job on node129 at 2016-06-07 21:18:44