Trace number 4079391

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.07 1800.37

General information on the benchmark

Name/OPT-BIGINT-LIN/zahidi/MH+IC/
normalized-minisat50_4_16_4_mh_ic.opb
MD5SUM7822eea8fdf0fa0b9710ccfa9531b08b
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark157579642
Best CPU time to get the best result obtained on this benchmark1800.13
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 109215352
Number of bits for the biggest coefficient in the objective function 27
Sum of the numbers in the objective function 56347133854
Number of bits of the sum of numbers in the objective function 36
Biggest number in a constraint 109215352
Number of bits of the biggest number in a constraint 27
Biggest sum of numbers in a constraint 56347133854
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-07T19:49:36+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-4079391-1465321775.opb"]
0.00/0.01	c use --random-gen="666572202 3833543634 32943569 3549473515 4105969259 3507338839 572443327 3298866719 1628736862 4073212796 59411143 876070023 839795926 3036100487 2594123240 1472040730 2941060410 1914795057 672601099 208577100 472817299 3646976039 1205021715 2742910959 3995386901 59563793 690669356 4163050126 397526186 1987169581 835298114 1774111733 3764052091 716596992 2400647049 818757973 218051339 2481981583 3652507375 4028240453 2251482260 4144015732 3200371288 2509910453 1356836022 3344428791 3560029119 3329080749 3092990560 330336557 3009960673 1216128985 2803773785 2883852249 219535451 1166608920 2828175643 2257139585 3753454663 1628076785 2527410377 3300968528 389333280 887107684 4006865310 2742193055 3250189386 1467816511 424296464 3469291119 20671176 1979519156 224265147 310481704 1040452490 2715682560 2930777254 2494522876 1514820228 934412488 1391369881 816102233 732390139 2535309445 3934095182 770069095 3328146143 4043790391 2053395714 2400624874 2557158268 152546246 3202882028 3721108731 2130507268 1336568553 4206150156 2795743952 1265955189 3746806015 276551491 1593062426 2724267854 1220739113 3853448507 3950852744 3832861894 3028002523 3679328331 1625927474 3681845546 1219045502 1541788971 870494962 3699883808 677347643 1013637055 975344576 4011521812 124122 3934175703 79134783 3175539533 731632339 4033711037 830564448 1769191291 195448632 1113911306 1962608645 4133985531 3243525594 3913665085 2419579552 826302165 3584251260 48848701 2505236824 2586277243 2121625374 2117311825 4259247206 1558213677 2693560577 290126709 421119340 4033013185 439028062 2600422491 3966066459 2961372047 1433026670 726629396 2623689824 3743675329 2707332288 3527780944 3448573507 1437568583 1621348591 845000804 2439280265 2096003961 2355979655 684435366 127946774 4171807846 1507499030 3465658998 2097890119 524924460 2076512136 4014847157 3504549880 2321768696 1663165906 1918006027 1737553065 832654569 3943691135 2935904129 4173282679 3732743354 2988267781 1470172040 2061813111 1244874261 1214039797 2445957424 1598613722 4010766133 2393335799 3554489693 3452875820 765730780 4093910181 3998516704 358667309 2913799036 1002171753 1077443388 1972094646 2302931880 1594364158 3400092095 2986205161 681587918 596548472 3735716680 1267558917 3992107173 2949825480 176380347 3401729838 2103849668 1928669224 2075680760 3719363297 2718378852 107326491 3066537610 2900954657 3232532467 3716712106 242013069 1008436949 261771270 979757286 4070284675 2739924600 2741309139 1493589348 1893439340 801116783 3331868834 3444422130 2130940988 1247052731 4247868650 3559384521 2209582660 2585834998 501845172 3325039217 196771314 3982365166 3160807747 1151597410 3099730286 3531162658 1339601794 131298021 665649403 1394002093 3817317241 3404906741 255 362436" option to reproduce the execution
6.38/6.47	c #vars 370300
6.38/6.47	c #constraints 847958
20.59/20.68	c BCD2: Hardening is enabled.
20.59/20.68	c BCD2: BiasedSearch is enabled.
20.59/20.68	c Solving starts ...
20.59/20.68	c ============================[ Search Statistics ]============================
20.59/20.68	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
20.59/20.68	c       |         |          |          |    Limit     GC | Var      | Constra 
20.59/20.68	c =============================================================================
20.59/20.68	c  0.0s |       0 |        0 |        0 |   408536      0 |      200 |        0
26.89/26.91	c  6.2s |       0 |      661 |      100 |   408536      0 |      200 |        0
27.09/27.14	c  6.5s |       1 |      661 |      100 |   408536      0 |      200 |        0
54.98/55.02	c 34.3s |       1 |     5619 |      200 |   449390      0 |      200 |        0
74.68/74.70	c 54.0s |       2 |     6590 |      250 |   449390      0 |      200 |        0
120.47/120.50	c 99.8s |       2 |     8899 |      350 |   494330      0 |      200 |        0
150.57/150.63	c  129s |       2 |    10180 |      450 |   494330      0 |      200 |        0
159.46/159.50	c  138s |       3 |    10457 |      475 |   494330      0 |      200 |        0
195.86/195.98	c  175s |       3 |    13500 |      575 |   543763      0 |      200 |        0
210.76/210.81	c  190s |       3 |    14577 |      675 |   543763      0 |      200 |        0
256.75/256.89	c  236s |       3 |    15426 |      775 |   543763      0 |      200 |        0
267.95/268.02	c  247s |       4 |    15646 |      813 |   543763      0 |      200 |        0
325.75/325.88	c  305s |       4 |    17216 |      913 |   598140      0 |      200 |        0
360.33/360.44	c  339s |       4 |    18675 |     1013 |   598140      0 |      200 |        0
402.43/402.53	c  381s |       4 |    21118 |     1113 |   598140      0 |      200 |        0
437.02/437.12	c  416s |       4 |    23380 |     1213 |   598140      0 |      200 |        0
461.03/461.18	c  440s |       4 |    24298 |     1313 |   598140      0 |      200 |        0
462.52/462.69	c  442s |       5 |    24301 |     1320 |   598140      0 |      200 |        0
497.91/498.06	c  477s |       5 |    26060 |     1420 |   657954      0 |      200 |        0
534.81/534.95	c  514s |       5 |    27510 |     1520 |   657954      0 |      200 |        0
579.30/579.42	c  558s |       5 |    30701 |     1620 |   657954      0 |      200 |        0
629.69/629.82	c  609s |       5 |    34534 |     1720 |   657954      0 |      200 |        0
656.39/656.58	c  635s |       5 |    35797 |     1820 |   657954      0 |      200 |        0
686.38/686.52	c  665s |       5 |    36440 |     1920 |   657954      0 |      200 |        0
716.78/716.96	c  696s |       5 |    36839 |     2020 |   657954      0 |      200 |        0
733.67/733.82	c  713s |       6 |    36979 |     2081 |   723750      0 |      200 |        0
796.58/796.75	c  776s |       6 |    39344 |     2181 |   723750      0 |      200 |        0
852.06/852.24	c  831s |       6 |    41787 |     2281 |   723750      0 |      200 |        0
896.56/896.74	c  876s |       6 |    43284 |     2381 |   723750      0 |      200 |        0
940.45/940.60	c  919s |       6 |    45051 |     2481 |   723750      0 |      200 |        0
1002.03/1002.20	c  981s |       6 |    47519 |     2581 |   723750      0 |      200 |        0
1042.33/1042.55	c 1021s |       6 |    49613 |     2681 |   723750      0 |      200 |        0
1078.92/1079.10	c 1058s |       6 |    50088 |     2781 |   723750      0 |      200 |        0
1113.11/1113.31	c 1092s |       6 |    50548 |     2881 |   723750      0 |      200 |        0
1177.40/1177.68	c 1157s |       6 |    52817 |     2981 |   723750      0 |      200 |        0
1233.89/1234.17	c 1213s |       6 |    54736 |     3081 |   723750      0 |      200 |        0
1303.38/1303.63	c 1282s |       6 |    56748 |     3181 |   723750      0 |      200 |        0
1319.88/1320.17	c 1299s |       7 |    56923 |     3223 |   796126      0 |      200 |        0
1391.16/1391.48	c 1370s |       7 |    57450 |     3323 |   796126      0 |      200 |        0
1445.36/1445.63	c 1424s |       7 |    59333 |     3423 |   796126      0 |      200 |        0
1515.94/1516.23	c 1495s |       7 |    62755 |     3523 |   796126      0 |      200 |        0
1578.54/1578.82	c 1558s |       7 |    64948 |     3623 |   796126      0 |      200 |        0
1620.92/1621.27	c 1600s |       7 |    65852 |     3723 |   796126      0 |      200 |        0
1684.41/1684.74	c 1664s |       7 |    66918 |     3823 |   796126      0 |      200 |        0
1749.41/1749.78	c 1729s |       7 |    67829 |     3923 |   796126      0 |      200 |        0
1788.00/1788.36	c 1767s |       7 |    68682 |     4023 |   796126      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-4079391-1465321775/watcher-4079391-1465321775 -o /tmp/evaluation-result-4079391-1465321775/solver-4079391-1465321775 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19943 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079391-1465321775.opb 

pid=20732
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.11 2.20 2.18 4/179 20735
/proc/meminfo: memFree=29127820/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=760252 CPUtime=0 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 2846 0 0 0 0 0 0 0 20 0 4 0 114109960 778498048 2696 33554432000 4194304 16246674 140736843776496 140736843775920 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 190831 2706 441 2943 0 187725 0
[pid=20735/tid=20736] ppid=20732 vsize=778684 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 797372416 2767 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=782780 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 801566720 2784 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=786876 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 114109960 805761024 2800 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100122 s]
/proc/loadavg: 2.11 2.20 2.18 4/179 20735
/proc/meminfo: memFree=29127820/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=1303108 CPUtime=0.09 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 31479 0 0 0 4 5 0 0 20 0 4 0 114109960 1334382592 31267 33554432000 4194304 16246674 140736843776496 140736843759488 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 325777 31282 800 2943 0 322671 0
[pid=20735/tid=20736] ppid=20732 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 1334382592 31293 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 1334382592 31305 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=1303108 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 1334382592 31316 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1303108

[startup+0.200511 s]
/proc/loadavg: 2.11 2.20 2.18 4/179 20735
/proc/meminfo: memFree=29127820/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 43122 0 0 0 13 6 0 0 20 0 4 0 114109960 1343819776 43421 33554432000 4194304 16246674 140736843776496 140736843759488 7364372 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 328081 43421 800 2943 0 324975 0
[pid=20735/tid=20736] ppid=20732 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 1343819776 43421 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 1343819776 43421 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 1343819776 43421 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300452 s]
/proc/loadavg: 2.11 2.20 2.18 4/179 20735
/proc/meminfo: memFree=29127820/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 47488 0 0 0 22 7 0 0 20 0 4 0 114109960 1343819776 47787 33554432000 4194304 16246674 140736843776496 140736843759488 4220965 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 328081 47787 801 2943 0 324975 0
[pid=20735/tid=20736] ppid=20732 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 1343819776 47787 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 1343819776 47787 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 1343819776 47787 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700421 s]
/proc/loadavg: 2.11 2.20 2.18 4/179 20735
/proc/meminfo: memFree=29127820/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 64642 0 0 0 59 10 0 0 20 0 4 0 114109960 1344868352 64941 33554432000 4194304 16246674 140736843776496 140736843759488 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 328337 64941 803 2943 0 325231 0
[pid=20735/tid=20736] ppid=20732 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 1344868352 64941 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 1344868352 64941 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 1344868352 64941 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.5004 s]
/proc/loadavg: 2.11 2.20 2.18 4/183 20739
/proc/meminfo: memFree=28281300/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 84680 0 0 0 136 13 0 0 20 0 4 0 114109960 1344868352 84979 33554432000 4194304 16246674 140736843776496 140736843759488 4220495 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 328337 84979 803 2943 0 325231 0
[pid=20735/tid=20736] ppid=20732 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 1344868352 84979 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 1344868352 84979 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 1344868352 84979 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10039 s]
/proc/loadavg: 2.11 2.20 2.18 4/183 20739
/proc/meminfo: memFree=28139684/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 157684 0 0 0 285 24 0 0 20 0 4 0 114109960 1370034176 162582 33554432000 4194304 16246674 140736843776496 140736843774336 4225315 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 334481 162582 803 2943 0 331375 0
[pid=20735/tid=20736] ppid=20732 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 1370034176 162582 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 1370034176 162582 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 1370034176 162582 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.3004 s]
/proc/loadavg: 2.26 2.23 2.19 3/183 20739
/proc/meminfo: memFree=27661592/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=1387076 CPUtime=6.28 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 259736 0 0 0 590 38 0 0 20 0 4 0 114109960 1420365824 274854 33554432000 4194304 16246674 140736843776496 140736843759488 7363454 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 346769 274854 803 2943 0 343663 0
[pid=20735/tid=20736] ppid=20732 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 1420365824 274854 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 1420365824 274854 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=1387076 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 1420365824 274854 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1387076

[startup+12.7004 s]
/proc/loadavg: 2.24 2.23 2.18 3/183 20739
/proc/meminfo: memFree=27060192/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=1784388 CPUtime=12.69 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 368841 0 0 0 1215 54 0 0 20 0 4 0 114109960 1827213312 384470 33554432000 4194304 16246674 140736843776496 140736843758400 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 446097 384470 844 2943 0 442991 0
[pid=20735/tid=20736] ppid=20732 vsize=1784388 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 1827213312 384470 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=1784388 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 1827213312 384470 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=1784388 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 1827213312 384470 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1784388

[startup+25.5003 s]
/proc/loadavg: 2.18 2.22 2.18 4/184 20742
/proc/meminfo: memFree=26400104/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=2432580 CPUtime=25.49 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 530906 0 0 0 2470 79 0 0 20 0 4 0 114109960 2490961920 549090 33554432000 4194304 16246674 140736843776496 140736843775592 12415827 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 608145 549090 898 2943 0 605039 0
[pid=20735/tid=20736] ppid=20732 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 2490961920 549090 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 2490961920 549090 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 2490961920 549090 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2432580

[startup+51.1004 s]
/proc/loadavg: 2.34 2.25 2.19 3/184 20742
/proc/meminfo: memFree=26400372/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=2432580 CPUtime=51.08 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 530948 0 0 0 5029 79 0 0 20 0 4 0 114109960 2490961920 549132 33554432000 4194304 16246674 140736843776496 140736843758400 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 608145 549132 898 2943 0 605039 0
[pid=20735/tid=20736] ppid=20732 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 2490961920 549132 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 2490961920 549132 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=2432580 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 2490961920 549132 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2432580

[startup+102.3 s]
/proc/loadavg: 2.31 2.25 2.19 4/183 20743
/proc/meminfo: memFree=26258036/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=2574916 CPUtime=102.27 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 566533 0 0 0 10142 85 0 0 20 0 4 0 114109960 2636713984 584717 33554432000 4194304 16246674 140736843776496 140736843758400 12483624 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 643729 584717 898 2943 0 640623 0
[pid=20735/tid=20736] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584717 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584717 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584717 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2574916


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

/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2574916

[startup+1302.3 s]
/proc/loadavg: 2.30 2.21 2.18 3/183 20845
/proc/meminfo: memFree=26805256/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=2574916 CPUtime=1302.08 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 566565 0 0 0 130116 92 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 140736843758400 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 643729 584973 898 2943 0 640623 0
[pid=20735/tid=20736] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 2574916

[startup+1362.3 s]
/proc/loadavg: 2.26 2.22 2.18 3/183 20846
/proc/meminfo: memFree=26805704/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=2574916 CPUtime=1362.07 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 566568 0 0 0 136115 92 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 140736843775672 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 643729 584973 898 2943 0 640623 0
[pid=20735/tid=20736] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2574916

[startup+1422.3 s]
/proc/loadavg: 2.20 2.20 2.18 3/183 20848
/proc/meminfo: memFree=26805364/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=2574916 CPUtime=1422.05 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 566572 0 0 0 142113 92 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 140736843758400 5601643 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 643729 584973 898 2943 0 640623 0
[pid=20735/tid=20736] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 2574916

[startup+1482.3 s]
/proc/loadavg: 2.11 2.18 2.17 4/183 20849
/proc/meminfo: memFree=26805208/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=2574916 CPUtime=1482.05 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 566572 0 0 0 148112 93 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 140736843758400 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 643729 584973 898 2943 0 640623 0
[pid=20735/tid=20736] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2574916

[startup+1542.3 s]
/proc/loadavg: 2.18 2.19 2.18 4/183 20850
/proc/meminfo: memFree=26805088/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=2574916 CPUtime=1542.04 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 566572 0 0 0 154109 95 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 140736843775672 12483667 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 643729 584973 898 2943 0 640623 0
[pid=20735/tid=20736] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=2574916 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 2636713984 584973 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 2574916

[startup+1602.3 s]
/proc/loadavg: 2.28 2.21 2.18 4/183 20851
/proc/meminfo: memFree=26793468/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=2586180 CPUtime=1602.03 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 569389 0 0 0 160108 95 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 140736843758400 5822480 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 646545 587789 898 2943 0 643439 0
[pid=20735/tid=20736] ppid=20732 vsize=2586180 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=2586180 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=2586180 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2586180

[startup+1662.3 s]
/proc/loadavg: 2.18 2.20 2.18 3/183 20852
/proc/meminfo: memFree=26793848/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=2586180 CPUtime=1662.02 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 569390 0 0 0 166107 95 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 140736843758400 5827824 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 646545 587789 898 2943 0 643439 0
[pid=20735/tid=20736] ppid=20732 vsize=2586180 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=2586180 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=2586180 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2586180

[startup+1722.3 s]
/proc/loadavg: 2.28 2.22 2.19 4/183 20854
/proc/meminfo: memFree=26792816/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=2586180 CPUtime=1722.01 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 569390 0 0 0 172105 96 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 140736843758400 5599998 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 646545 587789 898 2943 0 643439 0
[pid=20735/tid=20736] ppid=20732 vsize=2586180 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=2586180 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=2586180 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2586180

[startup+1782.31 s]
/proc/loadavg: 2.16 2.19 2.18 3/183 20855
/proc/meminfo: memFree=26792844/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=2586180 CPUtime=1782.01 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 569390 0 0 0 178105 96 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 140736843758400 6836961 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 646545 587789 898 2943 0 643439 0
[pid=20735/tid=20736] ppid=20732 vsize=2586180 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=2586180 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=2586180 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 2586180



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.17 2.20 2.18 3/183 20855
/proc/meminfo: memFree=26793064/32872528 swapFree=16636/1570076
[pid=20735] ppid=20732 vsize=2586180 CPUtime=1800 cores=0,2,4,6
/proc/20735/stat : 20735 (toysat) R 20732 20735 2168 0 -1 4202496 569390 0 0 0 179904 96 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 140736843758400 12483664 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/20735/statm: 646545 587789 898 2943 0 643439 0
[pid=20735/tid=20736] ppid=20732 vsize=2586180 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20736/stat : 20736 (toysat) S 20732 20735 2168 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 139744653585648 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=20735/tid=20737] ppid=20732 vsize=2586180 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20737/stat : 20737 (toysat) S 20732 20735 2168 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 139744643095792 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=20735/tid=20738] ppid=20732 vsize=2586180 CPUtime=0 cores=0,2,4,6
/proc/20735/task/20738/stat : 20738 (toysat) S 20732 20735 2168 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 114109960 2648248320 587789 33554432000 4194304 16246674 140736843776496 139744632622256 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2586180

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 20735 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.37
CPU time (s): 1800.07
CPU user time (s): 1799.05
CPU system time (s): 1.02484
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 2586180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 1.02484
maximum resident set size= 2351156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 569390
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= 112
involuntary context switches= 1910

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9377 second user time and 12.5951 second system time

The end

Launcher Data 

Begin job on node140 at 2016-06-07 19:49:36
IDJOB=4079391
IDBENCH=92656
IDSOLVER=2542
FILE ID=node140/4079391-1465321775
RUNJOBID= node140-1465312758-19943
PBS_JOBID= 19850417
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/zahidi/MH+IC/normalized-minisat50_4_16_4_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-4079391-1465321775/watcher-4079391-1465321775 -o /tmp/evaluation-result-4079391-1465321775/solver-4079391-1465321775 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node140-1465312758-19943 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079391-1465321775.opb

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

MD5SUM BENCH= 7822eea8fdf0fa0b9710ccfa9531b08b
RANDOM SEED=594245098

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.768
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.56
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.768
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.768
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.768
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.768
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	: 5334.18
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29140748 kB
Buffers:          123656 kB
Cached:           730512 kB
SwapCached:         1452 kB
Active:           786196 kB
Inactive:         623280 kB
Active(anon):     552440 kB
Inactive(anon):     5628 kB
Active(file):     233756 kB
Inactive(file):   617652 kB
Unevictable:     1570076 kB
Mlocked:           16636 kB
SwapTotal:      67108856 kB
SwapFree:       67098752 kB
Dirty:             74760 kB
Writeback:             0 kB
AnonPages:       2127892 kB
Mapped:            10360 kB
Shmem:                 0 kB
Slab:             617172 kB
SReclaimable:      60196 kB
SUnreclaim:       556976 kB
KernelStack:        1480 kB
PageTables:         9128 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2801368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1564672 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= 71668 MiB
End job on node140 at 2016-06-07 20:19:37