Trace number 4088630

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 124.868 124.889

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/
EC_ODD_GRIDS/normalized-ECgrid5x10split.opb
MD5SUM097cecef89b2b222de722a36af9ae44c
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 benchmark0.331948
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables101
Total number of constraints51
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)51
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint4
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 6
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-15T19:21:29+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-4088630-1466011289.opb"]
0.00/0.01	c use --random-gen="4134531395 1645628705 2624558408 2526720528 688033651 1305058876 3265274042 649492198 1208068968 987690075 251449154 968806985 3566544314 3860331199 3612321627 1000746950 3393535786 826830893 1197715550 3103841297 4040824432 2446358490 2996409004 1609537242 3419209292 3840567405 898646859 1525886958 716804075 3405075682 2002739748 1373085436 1198628988 275136311 2623837724 363568036 2129790666 3464264115 770822673 424155739 376578791 1749964171 3859940755 2905629007 4090627530 2101623130 2236302177 261102628 3930484615 2865795660 3297981176 3976986498 372240502 722577846 455016833 304392682 2560591212 309326219 159596975 974418488 1984942176 37709071 1326421419 1753470194 2997540867 3555934750 2397707616 906188916 1603255391 898339183 2409712306 1736108118 790371502 3553049533 4051335806 1438040098 3198645006 3418455467 216546460 2744757772 2773154740 941624174 450805067 2238332169 4237122020 3800235729 1504240632 2656408630 3828422260 1000908198 2055779041 6239207 2929119902 1053025212 842372122 1287837451 2821338762 72086012 3080393114 3311637425 2959810914 598778554 1197301935 3094691476 1890582482 1371944078 541871859 2983435281 3534895990 3907752029 2219689349 1956710641 1341735214 2489089337 118683811 3061626273 3249163236 1335681269 2462210395 21515984 1587365670 4194064402 2864428654 436468401 3072107839 2997844304 925627417 3044446021 3763299430 3548691098 950740511 2707064914 3318507286 1420213119 1386123367 735968033 2732670016 1771071668 495536729 886805721 3872885691 662650975 3982660607 3783990303 3956738146 1657178633 3096993107 844005392 3651209702 1346125664 2391961504 3965440492 1520324603 513699813 1397359537 339567603 375868995 2807419486 2525914828 689594650 951099054 2429282030 1659438830 503541624 2639830190 3113592529 2655732283 3579881347 2138777150 3759473594 980551136 1285914510 3631535529 2010153699 3712162353 2908510763 1015949691 271063006 2155182987 3060950643 2315176179 4096622922 3666564127 1008133645 2124435217 3274487993 3100966883 1862492504 3867946684 630608584 3422273711 3368484247 1795858966 2199992083 2968860428 1541160175 1759568568 4127324238 4153514328 3098116496 3127318746 4179000756 2723553004 1978181318 1913306667 4220485884 2849139654 3830989560 1655933362 1985275727 4046242126 1105274703 4139236249 831436377 2991251661 82383162 751489759 2728263848 1863663602 2337226679 3985353503 1022177375 1540344468 4011704489 2609948831 755787582 3718469060 1238564582 3451773485 278438679 3152695442 4108314375 3822970710 2875083934 1547838259 2217929055 852594055 3163541936 10172928 2467438274 1439537505 1408583029 2565371193 1400995193 1220240144 2015394237 4276912265 930606658 2160519353 3601950338 3622546808 1903822802 2929135936 3395674100 3000393143 740602364 255 362436" option to reproduce the execution
0.00/0.01	c #vars 101
0.00/0.01	c #constraints 51
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |       67      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      139 |      100 |       67      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      363 |      250 |       74      2 |        0 |        0
0.00/0.04	c  0.0s |       3 |      697 |      475 |       82      6 |        0 |        0
0.00/0.06	c  0.1s |       4 |     1209 |      813 |       91     12 |        0 |        0
0.09/0.10	c  0.1s |       5 |     2089 |     1320 |      101     20 |        0 |        0
0.09/0.16	c  0.1s |       6 |     3497 |     2081 |      124     32 |        0 |        0
0.18/0.24	c  0.2s |       7 |     5356 |     3223 |      137     47 |        0 |        0
0.28/0.36	c  0.4s |       8 |     8204 |     4936 |      151     68 |        0 |        0
0.49/0.55	c  0.5s |       9 |    12206 |     7506 |      167     96 |        0 |        0
0.79/0.83	c  0.8s |      10 |    18749 |    11361 |      184    138 |        0 |        0
1.20/1.21	c  1.2s |      11 |    28057 |    17144 |      203    196 |        0 |        0
1.59/1.64	c  1.6s |      12 |    41874 |    25819 |      224    271 |        0 |        0
2.20/2.29	c  2.3s |      13 |    61308 |    38832 |      247    377 |        0 |        0
3.40/3.42	c  3.4s |      14 |    91931 |    58352 |      272    524 |        0 |        0
4.99/5.01	c  5.0s |      15 |   138460 |    87632 |      300    726 |        0 |        0
6.99/7.01	c  7.0s |      15 |   190580 |   121732 |      300    941 |        0 |        0
7.49/7.55	c  7.5s |      16 |   207949 |   131552 |      330   1003 |        0 |        0
9.49/9.55	c  9.5s |      16 |   271853 |   168652 |      330   1219 |        0 |        0
10.99/11.06	c 11.0s |      17 |   324107 |   197432 |      364   1387 |        0 |        0
12.99/13.06	c 13.0s |      17 |   379396 |   234032 |      364   1581 |        0 |        0
14.98/15.06	c 15.1s |      17 |   433860 |   271132 |      364   1780 |        0 |        0
16.29/16.39	c 16.4s |      18 |   475523 |   296252 |      401   1914 |        0 |        0
18.29/18.39	c 18.4s |      18 |   539903 |   333352 |      401   2094 |        0 |        0
20.29/20.39	c 20.4s |      18 |   602429 |   370152 |      401   2273 |        0 |        0
22.29/22.39	c 22.4s |      18 |   668783 |   406852 |      401   2452 |        0 |        0
24.39/24.40	c 24.4s |      18 |   735153 |   443852 |      442   2632 |        0 |        0
24.39/24.43	c 24.4s |      19 |   736063 |   444482 |      442   2634 |        0 |        0
26.39/26.43	c 26.4s |      19 |   793966 |   480582 |      442   2794 |        0 |        0
28.38/28.44	c 28.4s |      19 |   855799 |   516682 |      442   2954 |        0 |        0
30.38/30.44	c 30.4s |      19 |   914284 |   552882 |      442   3114 |        0 |        0
32.38/32.45	c 32.4s |      19 |   973588 |   588582 |      442   3273 |        0 |        0
34.38/34.45	c 34.4s |      19 |  1030616 |   623082 |      442   3425 |        0 |        0
36.39/36.45	c 36.4s |      19 |  1089497 |   657982 |      442   3580 |        0 |        0
36.89/36.95	c 36.9s |      20 |  1103859 |   666827 |      487   3617 |        0 |        0
38.89/38.95	c 38.9s |      20 |  1154091 |   701127 |      487   3754 |        0 |        0
40.89/40.96	c 40.9s |      20 |  1205773 |   736227 |      487   3894 |        0 |        0
42.89/42.96	c 42.9s |      20 |  1256391 |   771727 |      487   4036 |        0 |        0
44.89/44.96	c 45.0s |      20 |  1311937 |   807227 |      487   4179 |        0 |        0
46.88/46.97	c 47.0s |      20 |  1365245 |   842427 |      487   4322 |        0 |        0
48.88/48.97	c 49.0s |      20 |  1417195 |   877127 |      487   4462 |        0 |        0
50.88/50.97	c 51.0s |      20 |  1476171 |   912927 |      487   4608 |        0 |        0
52.89/52.97	c 53.0s |      20 |  1532316 |   948427 |      487   4750 |        0 |        0
54.88/54.98	c 55.0s |      20 |  1588779 |   983027 |      487   4889 |        0 |        0
55.88/55.97	c 56.0s |      21 |  1616978 |  1000345 |      536   4956 |        0 |        0
57.88/57.97	c 58.0s |      21 |  1664049 |  1032445 |      536   5072 |        0 |        0
59.88/59.98	c 60.0s |      21 |  1718082 |  1065545 |      536   5193 |        0 |        0
61.88/61.98	c 62.0s |      21 |  1769726 |  1098045 |      536   5313 |        0 |        0
63.89/63.99	c 64.0s |      21 |  1826522 |  1131545 |      536   5435 |        0 |        0
65.88/65.99	c 66.0s |      21 |  1873746 |  1163745 |      536   5553 |        0 |        0
67.88/67.99	c 68.0s |      21 |  1918628 |  1194445 |      536   5665 |        0 |        0
69.88/70.00	c 70.0s |      21 |  1967278 |  1227245 |      536   5785 |        0 |        0
71.98/72.00	c 72.0s |      21 |  2015060 |  1259445 |      536   5903 |        0 |        0
73.98/74.00	c 74.0s |      21 |  2067589 |  1292845 |      536   6026 |        0 |        0
75.98/76.00	c 76.0s |      21 |  2121805 |  1326445 |      536   6150 |        0 |        0
77.98/78.00	c 78.0s |      21 |  2174378 |  1360445 |      536   6274 |        0 |        0
79.97/80.01	c 80.0s |      21 |  2232902 |  1394745 |      536   6400 |        0 |        0
81.97/82.01	c 82.0s |      21 |  2288151 |  1428145 |      536   6522 |        0 |        0
83.97/84.01	c 84.0s |      21 |  2339929 |  1460245 |      536   6640 |        0 |        0
85.97/86.02	c 86.0s |      21 |  2394209 |  1493645 |      590   6761 |        0 |        0
86.37/86.47	c 86.5s |      22 |  2404748 |  1500622 |      590   6784 |        0 |        0
88.38/88.47	c 88.5s |      22 |  2458241 |  1534422 |      590   6897 |        0 |        0
90.38/90.47	c 90.5s |      22 |  2513677 |  1568522 |      590   7011 |        0 |        0
92.39/92.47	c 92.5s |      22 |  2569541 |  1602422 |      590   7124 |        0 |        0
94.38/94.48	c 94.5s |      22 |  2625257 |  1636522 |      590   7238 |        0 |        0
96.38/96.48	c 96.5s |      22 |  2680744 |  1670022 |      590   7350 |        0 |        0
98.38/98.49	c 98.5s |      22 |  2736304 |  1703422 |      590   7461 |        0 |        0
100.37/100.49	c  100s |      22 |  2791042 |  1737722 |      590   7576 |        0 |        0
102.38/102.49	c  102s |      22 |  2847575 |  1772522 |      590   7692 |        0 |        0
104.37/104.50	c  104s |      22 |  2901564 |  1807222 |      590   7806 |        1 |        0
106.47/106.50	c  106s |      22 |  2953550 |  1841422 |      590   7920 |        1 |        0
108.47/108.51	c  108s |      22 |  3005228 |  1873922 |      590   8028 |        1 |        0
110.48/110.51	c  110s |      22 |  3061492 |  1908722 |      590   8144 |        1 |        0
112.48/112.52	c  112s |      22 |  3114326 |  1943422 |      590   8259 |        1 |        0
114.48/114.52	c  114s |      22 |  3169792 |  1977722 |      590   8372 |        2 |        0
116.47/116.52	c  116s |      22 |  3223004 |  2010922 |      590   8483 |        2 |        0
118.47/118.53	c  118s |      22 |  3278572 |  2045022 |      590   8597 |        2 |        0
120.47/120.53	c  120s |      22 |  3336670 |  2080322 |      590   8713 |        3 |        0
122.47/122.54	c  122s |      22 |  3394621 |  2115822 |      590   8830 |        4 |        0
124.47/124.54	c  124s |      22 |  3452987 |  2151822 |      590   8948 |        7 |        0
124.77/124.82	c  124s |      22 |  3461505 |  2157053 |      590   8963 |       36 |        4
124.77/124.82	c #cpu_time = 124.811s
124.77/124.82	c #wall_clock_time = 124.813s
124.77/124.82	c #decision = 3461505
124.77/124.82	c #random_decision = 14300
124.77/124.82	c #conflict = 2157053
124.77/124.82	c #restart = 22
124.77/124.82	s UNSATISFIABLE
124.77/124.82	c total CPU time = 124.825s
124.77/124.82	c total wall clock time = 124.827s

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

pid=6305
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.16 2.09 2.09 3/179 6308
/proc/meminfo: memFree=30436188/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=744892 CPUtime=0 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 2778 0 0 0 0 0 0 0 20 0 4 0 3174333 762769408 3140 33554432000 4194304 16246674 140733941487968 140733941487392 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 186735 3150 441 2943 0 183629 0
[pid=6308/tid=6309] ppid=6305 vsize=762300 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 780595200 3208 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=766396 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 784789504 3225 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=769468 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3174333 787935232 3239 33554432000 4194304 16246674 140733941487968 140680496139440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.16 2.09 2.09 3/179 6308
/proc/meminfo: memFree=30436188/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 23909 0 0 0 5 4 0 0 20 0 4 0 3174333 1247350784 24259 33554432000 4194304 16246674 140733941487968 140733941487392 5515837 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 304529 24271 715 2943 0 301423 0
[pid=6308/tid=6309] ppid=6305 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1247350784 24278 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1247350784 24286 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3174333 1247350784 24292 33554432000 4194304 16246674 140733941487968 140680496139440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200541 s]
/proc/loadavg: 2.16 2.09 2.09 3/179 6308
/proc/meminfo: memFree=30436188/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 45333 0 0 0 12 6 0 0 20 0 4 0 3174333 1247350784 45683 33554432000 4194304 16246674 140733941487968 140733941487392 5523709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 304529 45692 715 2943 0 301423 0
[pid=6308/tid=6309] ppid=6305 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1247350784 45699 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1247350784 45706 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3174333 1247350784 45712 33554432000 4194304 16246674 140733941487968 140680496139440 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.3005 s]
/proc/loadavg: 2.16 2.09 2.09 3/179 6308
/proc/meminfo: memFree=30436188/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 66852 0 0 0 19 9 0 0 20 0 4 0 3174333 1247350784 67202 33554432000 4194304 16246674 140733941487968 140733941487392 13954410 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 304529 67211 715 2943 0 301423 0
[pid=6308/tid=6309] ppid=6305 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1247350784 67218 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1247350784 67224 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3174333 1247350784 67230 33554432000 4194304 16246674 140733941487968 140680496139440 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.700403 s]
/proc/loadavg: 2.16 2.09 2.09 3/179 6308
/proc/meminfo: memFree=30436188/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 152988 0 0 0 46 23 0 0 20 0 4 0 3174333 1247350784 153338 33554432000 4194304 16246674 140733941487968 140733941469888 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 304529 153351 715 2943 0 301423 0
[pid=6308/tid=6309] ppid=6305 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1247350784 153356 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1247350784 153362 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 3174333 1247350784 153370 33554432000 4194304 16246674 140733941487968 140680496139440 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.50042 s]
/proc/loadavg: 2.16 2.09 2.09 3/183 6312
/proc/meminfo: memFree=29479292/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1218116 CPUtime=1.49 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 245473 0 0 0 112 37 0 0 20 0 4 0 3174333 1247350784 245803 33554432000 4194304 16246674 140733941487968 140733941469888 6012240 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 304529 245803 788 2943 0 301423 0
[pid=6308/tid=6309] ppid=6305 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1247350784 245803 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1247350784 245803 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3174333 1247350784 245803 33554432000 4194304 16246674 140733941487968 140680496139440 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) 1218116

[startup+3.10043 s]
/proc/loadavg: 2.16 2.09 2.09 3/183 6312
/proc/meminfo: memFree=29365708/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 267406 0 0 0 269 40 0 0 20 0 4 0 3174333 1337528320 267736 33554432000 4194304 16246674 140733941487968 140733941469888 13192697 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 326545 267736 788 2943 0 323439 0
[pid=6308/tid=6309] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267736 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267736 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267736 33554432000 4194304 16246674 140733941487968 140680496139440 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.30042 s]
/proc/loadavg: 2.15 2.09 2.09 3/183 6312
/proc/meminfo: memFree=29365588/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 267407 0 0 0 589 40 0 0 20 0 4 0 3174333 1337528320 267737 33554432000 4194304 16246674 140733941487968 140733941469888 5672955 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 326545 267737 788 2943 0 323439 0
[pid=6308/tid=6309] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267737 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267737 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267737 33554432000 4194304 16246674 140733941487968 140680496139440 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.14 2.09 2.09 3/183 6312
/proc/meminfo: memFree=29365992/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1306180 CPUtime=12.69 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 267409 0 0 0 1229 40 0 0 20 0 4 0 3174333 1337528320 267739 33554432000 4194304 16246674 140733941487968 140733941469888 13954191 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 326545 267739 790 2943 0 323439 0
[pid=6308/tid=6309] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267739 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267739 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267739 33554432000 4194304 16246674 140733941487968 140680496139440 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.18 2.10 2.09 3/183 6312
/proc/meminfo: memFree=29367392/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1306180 CPUtime=25.49 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 267413 0 0 0 2508 41 0 0 20 0 4 0 3174333 1337528320 267743 33554432000 4194304 16246674 140733941487968 140733941469888 5822484 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 326545 267743 790 2943 0 323439 0
[pid=6308/tid=6309] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267743 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267743 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267743 33554432000 4194304 16246674 140733941487968 140680496139440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1306180

[startup+51.1005 s]
/proc/loadavg: 2.18 2.10 2.09 3/183 6312
/proc/meminfo: memFree=29367620/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1306180 CPUtime=51.08 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 267416 0 0 0 5066 42 0 0 20 0 4 0 3174333 1337528320 267746 33554432000 4194304 16246674 140733941487968 140733941469888 5754969 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 326545 267746 792 2943 0 323439 0
[pid=6308/tid=6309] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267746 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267746 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267746 33554432000 4194304 16246674 140733941487968 140680496139440 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) 1306180

[startup+102.301 s]
/proc/loadavg: 2.16 2.10 2.09 3/183 6313
/proc/meminfo: memFree=29366972/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1306180 CPUtime=102.28 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 267447 0 0 0 10184 44 0 0 20 0 4 0 3174333 1337528320 267777 33554432000 4194304 16246674 140733941487968 140733941469888 13963975 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 326545 267777 792 2943 0 323439 0
[pid=6308/tid=6309] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267777 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267777 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267777 33554432000 4194304 16246674 140733941487968 140680496139440 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) 1306180

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

[startup+102.408 s]
/proc/loadavg: 2.16 2.10 2.09 3/183 6313
/proc/meminfo: memFree=29366972/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1306180 CPUtime=102.38 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 267447 0 0 0 10194 44 0 0 20 0 4 0 3174333 1337528320 267777 33554432000 4194304 16246674 140733941487968 140733941470968 5861257 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 326545 267777 792 2943 0 323439 0
[pid=6308/tid=6309] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267777 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267777 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267777 33554432000 4194304 16246674 140733941487968 140680496139440 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) 1306180

[startup+115.2 s]
/proc/loadavg: 2.12 2.10 2.09 3/183 6313
/proc/meminfo: memFree=29367312/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1306180 CPUtime=115.17 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 267447 0 0 0 11472 45 0 0 20 0 4 0 3174333 1337528320 267777 33554432000 4194304 16246674 140733941487968 140733941470968 6023188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 326545 267777 792 2943 0 323439 0
[pid=6308/tid=6309] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267777 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267777 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267777 33554432000 4194304 16246674 140733941487968 140680496139440 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) 1306180

[startup+121.6 s]
/proc/loadavg: 2.11 2.09 2.09 3/183 6314
/proc/meminfo: memFree=29366748/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1306180 CPUtime=121.57 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 267450 0 0 0 12112 45 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140733941470968 13198424 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 326545 267782 793 2943 0 323439 0
[pid=6308/tid=6309] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140680496139440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 121.57
Current children cumulated vsize (KiB) 1306180

[startup+123.2 s]
/proc/loadavg: 2.10 2.09 2.09 3/183 6314
/proc/meminfo: memFree=29366864/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1306180 CPUtime=123.18 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 267450 0 0 0 12273 45 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140733941470968 15015658 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 326545 267782 793 2943 0 323439 0
[pid=6308/tid=6309] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140680496139440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 123.18
Current children cumulated vsize (KiB) 1306180

[startup+124 s]
/proc/loadavg: 2.10 2.09 2.09 3/183 6314
/proc/meminfo: memFree=29366864/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1306180 CPUtime=123.97 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 267450 0 0 0 12352 45 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140733941469888 5673338 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 326545 267782 793 2943 0 323439 0
[pid=6308/tid=6309] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140680496139440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 123.97
Current children cumulated vsize (KiB) 1306180

[startup+124.407 s]
/proc/loadavg: 2.10 2.09 2.09 3/183 6314
/proc/meminfo: memFree=29366868/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1306180 CPUtime=124.38 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 267450 0 0 0 12393 45 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140733941470968 5824140 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 326545 267782 793 2943 0 323439 0
[pid=6308/tid=6309] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140680496139440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 124.38
Current children cumulated vsize (KiB) 1306180

[startup+124.8 s]
/proc/loadavg: 2.10 2.09 2.09 3/183 6314
/proc/meminfo: memFree=29366868/32872528 swapFree=496356/529060
[pid=6308] ppid=6305 vsize=1306180 CPUtime=124.77 cores=1,3,5,7
/proc/6308/stat : 6308 (toysat) R 6305 6308 5955 0 -1 4202496 267450 0 0 0 12432 45 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140733941470968 12483468 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/6308/statm: 326545 267782 793 2943 0 323439 0
[pid=6308/tid=6309] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6309/stat : 6309 (toysat) S 6305 6308 5955 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140680517102832 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=6308/tid=6310] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6310/stat : 6310 (toysat) S 6305 6308 5955 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140680506612976 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=6308/tid=6311] ppid=6305 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/6308/task/6311/stat : 6311 (toysat) S 6305 6308 5955 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 3174333 1337528320 267782 33554432000 4194304 16246674 140733941487968 140680496139440 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 124.77
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 124.889
CPU time (s): 124.868
CPU user time (s): 124.351
CPU system time (s): 0.516921
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 124.351
system time used= 0.516921
maximum resident set size= 1071140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267455
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= 130

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.332949 second user time and 0.468928 second system time

The end

Launcher Data 

Begin job on node141 at 2016-06-15 19:21:29
IDJOB=4088630
IDBENCH=107291
IDSOLVER=2542
FILE ID=node141/4088630-1466011289
RUNJOBID= node141-1466008015-5972
PBS_JOBID= 19902806
Free space on /tmp= 71732 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/pb16-16-elffers/EC_ODD_GRIDS/normalized-ECgrid5x10split.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4088630-1466011289/watcher-4088630-1466011289 -o /tmp/evaluation-result-4088630-1466011289/solver-4088630-1466011289 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node141-1466008015-5972 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4088630-1466011289.opb

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

MD5SUM BENCH= 097cecef89b2b222de722a36af9ae44c
RANDOM SEED=1471132176

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30436732 kB
Buffers:            6672 kB
Cached:            70260 kB
SwapCached:        13076 kB
Active:          1172596 kB
Inactive:          30880 kB
Active(anon):    1116512 kB
Inactive(anon):    12008 kB
Active(file):      56084 kB
Inactive(file):    18872 kB
Unevictable:      529060 kB
Mlocked:          496356 kB
SwapTotal:      67108856 kB
SwapFree:       67088052 kB
Dirty:             16304 kB
Writeback:             0 kB
AnonPages:       1721180 kB
Mapped:            10396 kB
Shmem:                 0 kB
Slab:             565876 kB
SReclaimable:       9872 kB
SUnreclaim:       556004 kB
KernelStack:        1520 kB
PageTables:         6852 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1787772 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1054720 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= 71716 MiB
End job on node141 at 2016-06-15 19:23:34