Trace number 4120066

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 NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 118.442 118.463

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n76-d3-i3-f.cnf.gz-plain.pb.metafix.opb
MD5SUMa208cee322e7111b1b0813c69ed1a440
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.50862
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables114
Total number of constraints304
Number of constraints which are clauses304
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T19:56:22+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-4120066-1467309382.opb"]
0.00/0.01	c use --random-gen="1926027568 1434253477 258903517 1365114773 2603132122 902665489 1279432285 228911675 631250367 1156039430 1601535889 1617317963 3574346898 4046920748 1720746637 66450739 278368952 1254167204 1774492593 2096186721 3444201060 1796944673 445385119 867767932 2327222156 2679822623 1751079622 3771995224 55279402 1810735961 1240172020 1907379461 1175099199 2604111113 2345478723 1713827036 3482956149 3828909397 2746947744 2511379489 2556725585 1884100029 585655797 984656682 3950319198 1515978797 824548475 1392761764 3640169396 938359392 285235776 2200661922 247323750 872340985 286275691 3400886145 548284772 1127528220 2288000919 1567428373 2371881177 2198524651 488005976 247982435 37662030 1967406121 4009384572 2854950690 2224676612 2645841340 4060781956 1331655517 2899561377 575619065 2905659378 1311707056 1137306130 2697790006 154068972 2985485919 1226453886 956097789 986060796 13573016 2048046781 1190725227 2550314652 4253174170 3306636480 390064418 2521870473 2304328749 1431531933 2425709264 2773999023 512713282 2773719155 334012704 572607867 3030890070 3173546480 2943491419 1543715115 3008108419 383761893 377764159 1126206137 2610574404 3854035948 4086941031 1406338493 316726377 4025091597 751426013 4014954150 1210416216 510661403 1495788003 581720715 4051115683 753547307 3248259146 2205763807 3651228177 3310497359 69247471 2824148128 1584120257 196028173 3889863214 1024356028 2922685036 918163331 3120291228 3479595008 1171721212 2065770453 1599677785 1993015261 1636546451 856781369 2487225695 4174964440 1461180932 1357631069 3146344554 4045648569 1859171453 3442863458 3432250008 1346516958 1758448444 1760552139 2553638089 1991926488 550707757 2463234811 3687317795 1593219808 1601249203 586819028 1013880378 1490379134 3677450283 1613229776 2150526817 1401260312 2701822714 2229484339 798357948 3030973392 2078805101 2093141916 3278579010 899847196 2612445768 3443163373 3553130049 2269132938 1736680944 2433579966 3728033027 2173175877 1980524726 162767885 3964787501 3501892260 14887293 1138386899 3088491347 1687464094 4014606893 1201178502 3035443455 2398931320 1199799512 2976821984 3118603555 2442399203 2276651022 1528559220 2924030539 3857523016 3936851044 1980024433 2298602204 2372852294 1636165601 2606802969 749515934 3925798625 3053566287 1359260030 3160148671 1823761065 3560821173 1076000451 3268482624 1671553467 4278189612 2751054368 763988271 1277567950 2135580885 3766986412 4103417308 3462975555 2364040336 3364381988 1826210141 2057311559 4002035892 819860472 1853004957 2844906524 874700008 1067645766 2231962183 1806489933 3907318605 1490623721 2888838441 852080265 3780714460 3413267870 1716686267 1682981425 3922520825 1218092986 3696729190 2081810596 1144848724 177587018 2206461213 1922240859 3215673614 255 362436" option to reproduce the execution
0.00/0.01	c #vars 114
0.00/0.01	c #constraints 304
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |      139      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      174 |      100 |      139      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      439 |      250 |      153      1 |        0 |        0
0.00/0.06	c  0.0s |       3 |      713 |      475 |      169      2 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1297 |      813 |      186      5 |        0 |        0
0.08/0.12	c  0.1s |       5 |     2041 |     1320 |      205      9 |        0 |        0
0.08/0.19	c  0.2s |       6 |     3164 |     2081 |      249     15 |        0 |        0
0.18/0.28	c  0.3s |       7 |     4959 |     3223 |      274     23 |        0 |        0
0.38/0.43	c  0.4s |       8 |     7277 |     4936 |      302     34 |        0 |        0
0.59/0.65	c  0.6s |       9 |    10614 |     7506 |      333     50 |        0 |        0
0.99/1.03	c  1.0s |      10 |    14842 |    11361 |      367     71 |        0 |        0
1.39/1.40	c  1.4s |      11 |    22887 |    17144 |      404    101 |        0 |        0
1.99/2.01	c  2.0s |      12 |    34468 |    25819 |      445    142 |        0 |        0
2.69/2.79	c  2.8s |      13 |    53232 |    38832 |      490    198 |        0 |        0
3.88/3.98	c  4.0s |      14 |    81980 |    58352 |      539    276 |        0 |        0
5.88/5.92	c  5.9s |      15 |   123082 |    87632 |      593    382 |        0 |        0
7.89/7.93	c  7.9s |      15 |   167459 |   119532 |      593    487 |        0 |        0
8.59/8.66	c  8.6s |      16 |   184073 |   131552 |      653    527 |        0 |        0
10.59/10.66	c 10.6s |      16 |   234007 |   164952 |      653    628 |        0 |        0
12.59/12.62	c 12.6s |      17 |   281333 |   197432 |      719    725 |        0 |        0
14.59/14.63	c 14.6s |      17 |   325804 |   228232 |      719    809 |        0 |        0
16.59/16.63	c 16.6s |      17 |   367193 |   257732 |      719    890 |        0 |        0
18.58/18.64	c 18.6s |      17 |   410705 |   287832 |      719    973 |        0 |        0
19.08/19.18	c 19.2s |      18 |   423287 |   296252 |      791    996 |        0 |        0
21.08/21.18	c 21.2s |      18 |   464233 |   325452 |      791   1069 |        0 |        0
23.09/23.19	c 23.2s |      18 |   506810 |   356252 |      791   1146 |        0 |        0
25.08/25.19	c 25.2s |      18 |   548275 |   387152 |      791   1223 |        0 |        0
27.09/27.19	c 27.2s |      18 |   590278 |   418152 |      791   1301 |        0 |        0
28.89/28.90	c 28.9s |      19 |   625048 |   444482 |      871   1366 |        0 |        0
30.89/30.91	c 30.9s |      19 |   668070 |   474882 |      871   1435 |        0 |        0
32.88/32.91	c 32.9s |      19 |   712760 |   507082 |      871   1509 |        0 |        0
34.88/34.91	c 34.9s |      19 |   754013 |   536782 |      871   1576 |        0 |        0
36.88/36.91	c 36.9s |      19 |   797478 |   567682 |      871   1647 |        0 |        0
38.88/38.92	c 38.9s |      19 |   836908 |   596482 |      871   1712 |        0 |        0
40.88/40.92	c 40.9s |      19 |   876051 |   624382 |      871   1776 |        0 |        0
42.88/42.93	c 42.9s |      19 |   917685 |   653482 |      871   1843 |        0 |        0
43.88/43.93	c 43.9s |      20 |   936165 |   666827 |      959   1872 |        0 |        0
45.88/45.94	c 45.9s |      20 |   972112 |   694327 |      959   1929 |        0 |        0
47.89/47.94	c 47.9s |      20 |  1012636 |   722827 |      959   1987 |        0 |        0
49.88/49.94	c 49.9s |      20 |  1053628 |   751627 |      959   2047 |        0 |        0
51.88/51.94	c 51.9s |      20 |  1092255 |   779827 |      959   2105 |        0 |        0
53.89/53.95	c 53.9s |      20 |  1130099 |   808427 |      959   2165 |        0 |        0
55.88/55.95	c 55.9s |      20 |  1168696 |   837627 |      959   2225 |        0 |        0
57.88/57.95	c 57.9s |      20 |  1207489 |   866227 |      959   2284 |        0 |        0
59.88/59.96	c 59.9s |      20 |  1245423 |   894527 |      959   2343 |        0 |        0
61.88/61.96	c 61.9s |      20 |  1286418 |   924827 |      959   2406 |        0 |        0
63.89/63.96	c 63.9s |      20 |  1327725 |   955027 |      959   2469 |        0 |        0
65.88/65.97	c 66.0s |      20 |  1368210 |   984727 |      959   2530 |        0 |        0
66.98/67.07	c 67.1s |      21 |  1387953 |  1000345 |     1055   2561 |        0 |        0
68.98/69.08	c 69.1s |      21 |  1423459 |  1027745 |     1055   2612 |        0 |        0
70.97/71.08	c 71.1s |      21 |  1460499 |  1055045 |     1055   2664 |        0 |        0
72.97/73.08	c 73.1s |      21 |  1498906 |  1083845 |     1055   2718 |        0 |        0
74.97/75.09	c 75.1s |      21 |  1534770 |  1111345 |     1055   2770 |        0 |        0
76.99/77.10	c 77.1s |      21 |  1574220 |  1140445 |     1055   2824 |        0 |        0
79.08/79.10	c 79.1s |      21 |  1610109 |  1167945 |     1055   2876 |        0 |        0
81.08/81.11	c 81.1s |      21 |  1640836 |  1192045 |     1055   2921 |        0 |        0
83.08/83.12	c 83.1s |      21 |  1680268 |  1220745 |     1055   2975 |        0 |        0
85.08/85.12	c 85.1s |      21 |  1717319 |  1248545 |     1055   3028 |        0 |        0
87.08/87.13	c 87.1s |      21 |  1755347 |  1275745 |     1055   3079 |        0 |        0
89.08/89.13	c 89.1s |      21 |  1794997 |  1304045 |     1055   3132 |        0 |        0
91.08/91.13	c 91.1s |      21 |  1832823 |  1332545 |     1055   3186 |        0 |        0
93.07/93.13	c 93.1s |      21 |  1874578 |  1361945 |     1055   3241 |        0 |        0
95.07/95.14	c 95.1s |      21 |  1916223 |  1391645 |     1055   3297 |        0 |        0
97.07/97.14	c 97.1s |      21 |  1955243 |  1420845 |     1055   3351 |        1 |        4
99.08/99.14	c 99.1s |      21 |  1992756 |  1448445 |     1055   3403 |        1 |        4
101.07/101.15	c  101s |      21 |  2030636 |  1476645 |     1055   3456 |        1 |        4
102.77/102.87	c  102s |      22 |  2062414 |  1500622 |     1161   3499 |        1 |        4
104.77/104.87	c  104s |      22 |  2103608 |  1530022 |     1161   3549 |        1 |        4
106.78/106.88	c  106s |      22 |  2143889 |  1559522 |     1161   3600 |        1 |        4
108.78/108.89	c  108s |      22 |  2185331 |  1588222 |     1161   3649 |        1 |        4
110.78/110.89	c  110s |      22 |  2223748 |  1616122 |     1161   3696 |        2 |        8
112.77/112.89	c  112s |      22 |  2263756 |  1645222 |     1161   3746 |        2 |        8
114.87/114.90	c  114s |      22 |  2303992 |  1674822 |     1161   3795 |        3 |       12
116.87/116.90	c  116s |      22 |  2344627 |  1704422 |     1161   3845 |        4 |       16
118.37/118.40	c  118s |      22 |  2375613 |  1727709 |     1161   3879 |       26 |       68
118.37/118.40	c #cpu_time = 118.388s
118.37/118.40	c #wall_clock_time = 118.383s
118.37/118.40	c #decision = 2375613
118.37/118.40	c #random_decision = 11362
118.37/118.40	c #conflict = 1727709
118.37/118.40	c #restart = 22
118.37/118.40	s UNSATISFIABLE
118.37/118.40	c total CPU time = 118.406s
118.37/118.40	c total wall clock time = 118.402s

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

pid=16346
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.17 2.06 1.77 3/179 16349
/proc/meminfo: memFree=28017680/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=705980 CPUtime=0 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 2631 0 0 0 0 0 0 0 20 0 4 0 11899009 722923520 2992 33554432000 4194304 16246674 140736466053248 140736466052672 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 177263 3001 441 2943 0 174157 0
[pid=16349/tid=16350] ppid=16346 vsize=724412 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 741797888 3062 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 747040768 3082 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=733628 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11899009 751235072 3099 33554432000 4194304 16246674 140736466053248 139951431736496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100175 s]
/proc/loadavg: 2.17 2.06 1.77 3/179 16349
/proc/meminfo: memFree=28017680/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 25384 0 0 0 4 4 0 0 20 0 4 0 11899009 1247350784 25735 33554432000 4194304 16246674 140736466053248 140736466052672 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 304529 25743 708 2943 0 301423 0
[pid=16349/tid=16350] ppid=16346 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1247350784 25751 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1247350784 25758 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11899009 1247350784 25765 33554432000 4194304 16246674 140736466053248 139951431736496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200533 s]
/proc/loadavg: 2.17 2.06 1.77 3/179 16349
/proc/meminfo: memFree=28017680/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 48866 0 0 0 12 6 0 0 20 0 4 0 11899009 1247350784 49216 33554432000 4194304 16246674 140736466053248 140736466052672 12478957 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 304529 49231 708 2943 0 301423 0
[pid=16349/tid=16350] ppid=16346 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1247350784 49237 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1247350784 49244 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11899009 1247350784 49253 33554432000 4194304 16246674 140736466053248 139951431736496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.30049 s]
/proc/loadavg: 2.17 2.06 1.77 3/179 16349
/proc/meminfo: memFree=28017680/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 71956 0 0 0 19 9 0 0 20 0 4 0 11899009 1247350784 72306 33554432000 4194304 16246674 140736466053248 140736466052672 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 304529 72317 708 2943 0 301423 0
[pid=16349/tid=16350] ppid=16346 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1247350784 72323 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1247350784 72331 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11899009 1247350784 72337 33554432000 4194304 16246674 140736466053248 139951431736496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700408 s]
/proc/loadavg: 2.17 2.06 1.77 3/179 16349
/proc/meminfo: memFree=28017680/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 165149 0 0 0 47 22 0 0 20 0 4 0 11899009 1247350784 165500 33554432000 4194304 16246674 140736466053248 140736466035136 5675357 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 304529 165511 709 2943 0 301423 0
[pid=16349/tid=16350] ppid=16346 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1247350784 165516 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1247350784 165525 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 11899009 1247350784 165531 33554432000 4194304 16246674 140736466053248 139951431736496 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) 1218116

[startup+1.50037 s]
/proc/loadavg: 2.17 2.06 1.77 3/183 16353
/proc/meminfo: memFree=27034740/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1219140 CPUtime=1.49 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 245569 0 0 0 116 33 0 0 20 0 4 0 11899009 1248399360 245899 33554432000 4194304 16246674 140736466053248 140736466052560 5522872 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 304785 245899 785 2943 0 301679 0
[pid=16349/tid=16350] ppid=16346 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1248399360 245899 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1248399360 245899 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1219140 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11899009 1248399360 245899 33554432000 4194304 16246674 140736466053248 139951431736496 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) 1219140

[startup+3.10042 s]
/proc/loadavg: 2.17 2.06 1.77 3/183 16353
/proc/meminfo: memFree=26947320/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 267422 0 0 0 272 37 0 0 20 0 4 0 11899009 1337528320 267752 33554432000 4194304 16246674 140736466053248 140736466035136 5754801 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 326545 267752 785 2943 0 323439 0
[pid=16349/tid=16350] ppid=16346 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1337528320 267752 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1337528320 267752 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11899009 1337528320 267752 33554432000 4194304 16246674 140736466053248 139951431736496 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) 1306180

[startup+6.30037 s]
/proc/loadavg: 2.24 2.08 1.78 4/183 16353
/proc/meminfo: memFree=26946436/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 267444 0 0 0 591 38 0 0 20 0 4 0 11899009 1337528320 267774 33554432000 4194304 16246674 140736466053248 140736466035136 5829099 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 326545 267774 787 2943 0 323439 0
[pid=16349/tid=16350] ppid=16346 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1337528320 267774 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1337528320 267774 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11899009 1337528320 267774 33554432000 4194304 16246674 140736466053248 139951431736496 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) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.30 2.09 1.78 3/183 16353
/proc/meminfo: memFree=26946256/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 267488 0 0 0 1231 38 0 0 20 0 4 0 11899009 1337528320 267818 33554432000 4194304 16246674 140736466053248 140736466035136 6013193 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 326545 267818 788 2943 0 323439 0
[pid=16349/tid=16350] ppid=16346 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1337528320 267818 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1337528320 267818 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11899009 1337528320 267818 33554432000 4194304 16246674 140736466053248 139951431736496 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) 1306180

[startup+25.5005 s]
/proc/loadavg: 2.23 2.09 1.79 3/183 16353
/proc/meminfo: memFree=26946612/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1306180 CPUtime=25.48 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 267489 0 0 0 2510 38 0 0 20 0 4 0 11899009 1337528320 267819 33554432000 4194304 16246674 140736466053248 140736466035136 6026371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 326545 267819 789 2943 0 323439 0
[pid=16349/tid=16350] ppid=16346 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1337528320 267819 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1337528320 267819 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11899009 1337528320 267819 33554432000 4194304 16246674 140736466053248 139951431736496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.22 2.10 1.80 3/183 16353
/proc/meminfo: memFree=26946336/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1307204 CPUtime=51.08 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 267793 0 0 0 5068 40 0 0 20 0 4 0 11899009 1338576896 268123 33554432000 4194304 16246674 140736466053248 140736466035136 5523371 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 326801 268123 789 2943 0 323695 0
[pid=16349/tid=16350] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268123 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268123 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268123 33554432000 4194304 16246674 140736466053248 139951431736496 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) 1307204

[startup+102.301 s]
/proc/loadavg: 2.45 2.17 1.84 3/183 16354
/proc/meminfo: memFree=26944028/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1307204 CPUtime=102.28 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 267827 0 0 0 10187 41 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 140736466035136 13820120 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 326801 268157 789 2943 0 323695 0
[pid=16349/tid=16350] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951431736496 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) 1307204

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16349 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+102.408 s]
/proc/loadavg: 2.45 2.17 1.84 3/183 16354
/proc/meminfo: memFree=26944028/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1307204 CPUtime=102.38 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 267827 0 0 0 10197 41 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 140736466035136 5546494 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 326801 268157 789 2943 0 323695 0
[pid=16349/tid=16350] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951431736496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 1307204

[startup+108.8 s]
/proc/loadavg: 2.50 2.19 1.84 3/183 16354
/proc/meminfo: memFree=26944012/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1307204 CPUtime=108.78 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 267827 0 0 0 10836 42 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 140736466035136 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 326801 268157 789 2943 0 323695 0
[pid=16349/tid=16350] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951431736496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 108.78
Current children cumulated vsize (KiB) 1307204

[startup+115.2 s]
/proc/loadavg: 2.42 2.18 1.84 3/183 16354
/proc/meminfo: memFree=26944012/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1307204 CPUtime=115.17 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 267827 0 0 0 11475 42 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 140736466035136 6843816 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 326801 268157 789 2943 0 323695 0
[pid=16349/tid=16350] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951431736496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 115.17
Current children cumulated vsize (KiB) 1307204

[startup+116.8 s]
/proc/loadavg: 2.42 2.18 1.84 3/183 16354
/proc/meminfo: memFree=26944120/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1307204 CPUtime=116.77 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 267827 0 0 0 11635 42 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 140736466035136 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 326801 268157 789 2943 0 323695 0
[pid=16349/tid=16350] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951431736496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 116.77
Current children cumulated vsize (KiB) 1307204

[startup+117.6 s]
/proc/loadavg: 2.42 2.18 1.84 3/183 16354
/proc/meminfo: memFree=26944120/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1307204 CPUtime=117.57 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 267827 0 0 0 11715 42 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 140736466035136 5523080 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 326801 268157 789 2943 0 323695 0
[pid=16349/tid=16350] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951431736496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 117.57
Current children cumulated vsize (KiB) 1307204

[startup+118 s]
/proc/loadavg: 2.42 2.18 1.84 3/183 16354
/proc/meminfo: memFree=26944120/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1307204 CPUtime=117.97 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 267827 0 0 0 11755 42 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 140736466035136 5823086 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 326801 268157 789 2943 0 323695 0
[pid=16349/tid=16350] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951431736496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 117.97
Current children cumulated vsize (KiB) 1307204

[startup+118.4 s]
/proc/loadavg: 2.42 2.18 1.84 3/183 16354
/proc/meminfo: memFree=26944120/32872528 swapFree=1254912/1391860
[pid=16349] ppid=16346 vsize=1307204 CPUtime=118.37 cores=1,3,5,7
/proc/16349/stat : 16349 (toysat) R 16346 16349 16091 0 -1 4202496 267827 0 0 0 11795 42 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 140736466035136 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/16349/statm: 326801 268157 789 2943 0 323695 0
[pid=16349/tid=16350] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16350/stat : 16350 (toysat) S 16346 16349 16091 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951527144688 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=16349/tid=16351] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16351/stat : 16351 (toysat) S 16346 16349 16091 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951442210032 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=16349/tid=16352] ppid=16346 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/16349/task/16352/stat : 16352 (toysat) S 16346 16349 16091 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 11899009 1338576896 268157 33554432000 4194304 16246674 140736466053248 139951431736496 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 118.37
Current children cumulated vsize (KiB) 1307204

Child status: 0
Real time (s): 118.463
CPU time (s): 118.442
CPU user time (s): 117.962
CPU system time (s): 0.479927
CPU usage (%): 99.9826
Max. virtual memory (cumulated for all children) (KiB): 1307204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 117.962
system time used= 0.479927
maximum resident set size= 1072640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267832
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= 22
involuntary context switches= 126

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.358945 second user time and 0.465929 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-30 19:56:22
IDJOB=4120066
IDBENCH=109687
IDSOLVER=2542
FILE ID=node119/4120066-1467309382
RUNJOBID= node119-1467308805-16108
PBS_JOBID= 20005280
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n76-d3-i3-f.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4120066-1467309382/watcher-4120066-1467309382 -o /tmp/evaluation-result-4120066-1467309382/solver-4120066-1467309382 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1467308805-16108 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4120066-1467309382.opb

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

MD5SUM BENCH= a208cee322e7111b1b0813c69ed1a440
RANDOM SEED=1416718637

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.444
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.444
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.444
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.444
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.444
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.444
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.444
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:        28018208 kB
Buffers:          196944 kB
Cached:          1430424 kB
SwapCached:            0 kB
Active:          1342200 kB
Inactive:        1372980 kB
Active(anon):    1084436 kB
Inactive(anon):     5936 kB
Active(file):     257764 kB
Inactive(file):  1367044 kB
Unevictable:     1391860 kB
Mlocked:         1254912 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16324 kB
Writeback:             0 kB
AnonPages:       2481492 kB
Mapped:            17068 kB
Shmem:               204 kB
Slab:             611380 kB
SReclaimable:      55612 kB
SUnreclaim:       555768 kB
KernelStack:        1520 kB
PageTables:         8684 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2615496 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    186368 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= 71700 MiB
End job on node119 at 2016-06-30 19:58:20