Trace number 4096421

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 5.8901 5.89321

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-7_7_13.opb
MD5SUMf2eb4850e6091fc245192f89f01fd068
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.158975
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables420
Total number of constraints1925
Number of constraints which are clauses1920
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint20
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 13
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 33
Number of bits of the biggest sum of numbers6
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-17T00:01:36+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4096421-1466114496.opb"]
0.00/0.01	c use --random-gen="1717889921 129997779 1312395374 1967131497 3990587604 4033449196 1048271750 1002710387 35123277 2387925679 4034030383 1057979920 2988891189 3002559744 1892733973 295206095 639580595 2393257593 165006805 1750966052 3050143830 2209292835 1329176732 4287807134 4201699941 2147319736 3491155017 4027813831 160583742 557849298 2716998529 1434009557 1411093840 2307021663 1961509315 420262089 1817902215 3193635672 1624360695 1946090115 3538304451 3990874323 713094386 2747995568 1163520850 3426312859 1726738868 1640713126 435808092 383439034 3244357800 1332383757 587734484 2123582959 3059880054 2346432446 3010840414 207652546 4136812106 1603283942 2947162185 2311257448 4211457339 872815175 2339345402 1521073478 3609825243 1538908498 3518927147 1664142215 1059315363 2325815982 1411435178 2159703185 2189339484 2348704739 1411485079 2029822826 286450133 2722222888 1028692998 4255888363 431964342 3982494909 2793458775 3311963003 3025793137 1124864190 1173622436 1474565467 873946034 1125610222 1224939459 3082213912 2728168610 4293211525 3316446394 2129535015 1076345223 1287646293 1127480236 3314391139 2932828766 2470383277 2308954336 3652533446 2163636930 234939980 1960867282 3416019480 1963474536 2739806241 3339020516 26488152 2452690399 1509141592 3682825843 3939170373 1226720795 1399924753 3700705454 4097944534 3705424634 1234683680 2535643057 2487108533 888781102 2962555153 2179896667 1837986521 849610418 3364207451 1051142026 2523342472 91953123 926829856 2368478126 4281572593 956676310 2869484808 2434627195 2228642018 4233920356 2699097060 1479676503 23435026 2564156780 547418520 477689695 365572590 3671965967 328599529 2356360927 3966102251 1535081161 501552467 2472249834 700578053 2017047788 4153533815 1220834349 3526748442 1725440314 4266433628 4013837113 3636319440 2283075702 1062371273 1273142076 3056650191 2325983000 3894933284 3427269645 3488677079 2705583376 3726524998 2827858485 2657968000 2593600238 8190207 2964292925 1274888485 1944968008 624397003 2782875831 723772706 1048495496 1113989889 1281775024 2349566790 3320127857 3777941007 2041272725 183735237 3335603134 3882748024 2798006444 3343803589 3460148791 3932721430 209333338 617880521 1038045282 1934817201 4177662924 1314382832 1403970806 3395087163 2505356867 1032379318 746523507 4021489671 1716060126 2033857757 2240326015 3157993725 2025339801 1888481664 979256934 917017377 2046768641 89970175 3475370565 4075410459 356342542 1913572663 611257274 3267251472 223097558 3558364202 2712723055 1224798457 4074382309 237475053 4260877682 2269081822 889943841 1513195965 4005129381 3678160252 272683968 1050087935 2504824115 966569681 3684459727 2285062883 2455139792 3308404394 3312527512 1291069212 3374450843 4170300548 436739560 2858712468 3417858289 3504882454 255 362436" option to reproduce the execution
0.00/0.03	c #vars 420
0.00/0.03	c #constraints 1925
0.00/0.06	c Solving starts ...
0.00/0.06	c ============================[ Search Statistics ]============================
0.00/0.06	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.06	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.06	c =============================================================================
0.00/0.06	c  0.0s |       0 |        0 |        0 |      780      0 |        5 |        0
0.00/0.08	c  0.0s |       1 |      121 |      100 |      780      0 |        5 |      159
0.08/0.12	c  0.1s |       2 |      291 |      250 |      859      0 |        5 |      159
0.08/0.20	c  0.1s |       3 |      534 |      475 |      945      0 |        5 |      159
0.29/0.31	c  0.3s |       4 |      939 |      813 |     1040      0 |        5 |      159
0.38/0.49	c  0.4s |       5 |     1511 |     1320 |     1144      1 |        5 |      159
0.69/0.78	c  0.7s |       6 |     2394 |     2081 |     1385      2 |        5 |      159
1.09/1.19	c  1.1s |       7 |     3683 |     3223 |     1524      3 |        5 |      159
1.59/1.65	c  1.6s |       8 |     5620 |     4936 |     1677      5 |        5 |      159
2.38/2.42	c  2.4s |       9 |     8528 |     7506 |     1845      8 |        5 |      159
3.40/3.49	c  3.4s |      10 |    12763 |    11361 |     2030     11 |        5 |      159
5.09/5.12	c  5.1s |      11 |    19217 |    17144 |     2233     17 |        5 |      159
5.79/5.83	c  5.8s |      11 |    22153 |    19781 |     2233     17 |      177 |      975
5.79/5.83	c #cpu_time = 5.756s
5.79/5.83	c #wall_clock_time = 5.771s
5.79/5.83	c #decision = 22153
5.79/5.83	c #random_decision = 75
5.79/5.83	c #conflict = 19781
5.79/5.83	c #restart = 11
5.79/5.83	s UNSATISFIABLE
5.79/5.83	c total CPU time = 5.817s
5.79/5.83	c total wall clock time = 5.832s

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

pid=1472
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.14 2.17 2.19 3/180 1475
/proc/meminfo: memFree=29100288/32872528 swapFree=1541688/1694988
[pid=1475] ppid=1472 vsize=516540 CPUtime=0 cores=1,3,5,7
/proc/1475/stat : 1475 (toysat) R 1472 1475 31715 0 -1 4202496 1891 0 0 0 0 0 0 0 20 0 4 0 13496203 528936960 2252 33554432000 4194304 16246674 140734825964144 140734825963568 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1475/statm: 129903 2260 441 2943 0 126797 0
[pid=1475/tid=1476] ppid=1472 vsize=717244 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1476/stat : 1476 (toysat) S 1472 1475 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496204 734457856 3032 33554432000 4194304 16246674 140734825964144 140280548273392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1475/tid=1477] ppid=1472 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1477/stat : 1477 (toysat) S 1472 1475 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496204 738652160 3052 33554432000 4194304 16246674 140734825964144 140280537783536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1475/tid=1478] ppid=1472 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1478/stat : 1478 (toysat) S 1472 1475 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13496204 742846464 3068 33554432000 4194304 16246674 140734825964144 140280527310000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100119 s]
/proc/loadavg: 2.14 2.17 2.19 3/180 1475
/proc/meminfo: memFree=29100288/32872528 swapFree=1541688/1694988
[pid=1475] ppid=1472 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/1475/stat : 1475 (toysat) R 1472 1475 31715 0 -1 4202496 25425 0 0 0 5 3 0 0 20 0 4 0 13496203 1247350784 25775 33554432000 4194304 16246674 140734825964144 140734825963568 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1475/statm: 304529 25786 717 2943 0 301423 0
[pid=1475/tid=1476] ppid=1472 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1476/stat : 1476 (toysat) S 1472 1475 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496204 1247350784 25791 33554432000 4194304 16246674 140734825964144 140280548273392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1475/tid=1477] ppid=1472 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1477/stat : 1477 (toysat) S 1472 1475 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496204 1247350784 25798 33554432000 4194304 16246674 140734825964144 140280537783536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1475/tid=1478] ppid=1472 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1478/stat : 1478 (toysat) S 1472 1475 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13496204 1247350784 25805 33554432000 4194304 16246674 140734825964144 140280527310000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200529 s]
/proc/loadavg: 2.14 2.17 2.19 3/180 1475
/proc/meminfo: memFree=29100288/32872528 swapFree=1541688/1694988
[pid=1475] ppid=1472 vsize=1218116 CPUtime=0.18 cores=1,3,5,7
/proc/1475/stat : 1475 (toysat) R 1472 1475 31715 0 -1 4202496 46661 0 0 0 12 6 0 0 20 0 4 0 13496203 1247350784 47011 33554432000 4194304 16246674 140734825964144 140734825963568 5532301 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1475/statm: 304529 47019 717 2943 0 301423 0
[pid=1475/tid=1476] ppid=1472 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1476/stat : 1476 (toysat) S 1472 1475 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496204 1247350784 47023 33554432000 4194304 16246674 140734825964144 140280548273392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1475/tid=1477] ppid=1472 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1477/stat : 1477 (toysat) S 1472 1475 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496204 1247350784 47027 33554432000 4194304 16246674 140734825964144 140280537783536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1475/tid=1478] ppid=1472 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1478/stat : 1478 (toysat) S 1472 1475 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13496204 1247350784 47032 33554432000 4194304 16246674 140734825964144 140280527310000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1218116

[startup+0.300465 s]
/proc/loadavg: 2.14 2.17 2.19 3/180 1475
/proc/meminfo: memFree=29100288/32872528 swapFree=1541688/1694988
[pid=1475] ppid=1472 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/1475/stat : 1475 (toysat) R 1472 1475 31715 0 -1 4202496 68613 0 0 0 19 10 0 0 20 0 4 0 13496203 1247350784 68963 33554432000 4194304 16246674 140734825964144 140734825963568 5677277 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1475/statm: 304529 68975 717 2943 0 301423 0
[pid=1475/tid=1476] ppid=1472 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1476/stat : 1476 (toysat) S 1472 1475 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496204 1247350784 68980 33554432000 4194304 16246674 140734825964144 140280548273392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1475/tid=1477] ppid=1472 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1477/stat : 1477 (toysat) S 1472 1475 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496204 1247350784 68990 33554432000 4194304 16246674 140734825964144 140280537783536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1475/tid=1478] ppid=1472 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1478/stat : 1478 (toysat) S 1472 1475 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13496204 1247350784 68996 33554432000 4194304 16246674 140734825964144 140280527310000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700416 s]
/proc/loadavg: 2.14 2.17 2.19 3/180 1475
/proc/meminfo: memFree=29100288/32872528 swapFree=1541688/1694988
[pid=1475] ppid=1472 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/1475/stat : 1475 (toysat) R 1472 1475 31715 0 -1 4202496 155125 0 0 0 47 22 0 0 20 0 4 0 13496203 1247350784 155475 33554432000 4194304 16246674 140734825964144 140734825947144 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1475/statm: 304529 155488 717 2943 0 301423 0
[pid=1475/tid=1476] ppid=1472 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1476/stat : 1476 (toysat) S 1472 1475 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496204 1247350784 155494 33554432000 4194304 16246674 140734825964144 140280548273392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1475/tid=1477] ppid=1472 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1477/stat : 1477 (toysat) S 1472 1475 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496204 1247350784 155500 33554432000 4194304 16246674 140734825964144 140280537783536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1475/tid=1478] ppid=1472 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1478/stat : 1478 (toysat) S 1472 1475 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13496204 1247350784 155506 33554432000 4194304 16246674 140734825964144 140280527310000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50043 s]
/proc/loadavg: 2.14 2.17 2.19 3/184 1479
/proc/meminfo: memFree=28136596/32872528 swapFree=1541688/1694988
[pid=1475] ppid=1472 vsize=1220164 CPUtime=1.49 cores=1,3,5,7
/proc/1475/stat : 1475 (toysat) R 1472 1475 31715 0 -1 4202496 245918 0 0 0 115 34 0 0 20 0 4 0 13496203 1249447936 246248 33554432000 4194304 16246674 140734825964144 140734825963456 13927401 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1475/statm: 305041 246248 791 2943 0 301935 0
[pid=1475/tid=1476] ppid=1472 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1476/stat : 1476 (toysat) S 1472 1475 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496204 1249447936 246248 33554432000 4194304 16246674 140734825964144 140280548273392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1475/tid=1477] ppid=1472 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1477/stat : 1477 (toysat) S 1472 1475 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496204 1249447936 246248 33554432000 4194304 16246674 140734825964144 140280537783536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1475/tid=1478] ppid=1472 vsize=1220164 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1478/stat : 1478 (toysat) S 1472 1475 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13496204 1249447936 246248 33554432000 4194304 16246674 140734825964144 140280527310000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1220164

[startup+3.10042 s]
/proc/loadavg: 2.14 2.17 2.19 4/184 1479
/proc/meminfo: memFree=28032560/32872528 swapFree=1541692/1694992
[pid=1475] ppid=1472 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/1475/stat : 1475 (toysat) R 1472 1475 31715 0 -1 4202496 267441 0 0 0 272 37 0 0 20 0 4 0 13496203 1337528320 267771 33554432000 4194304 16246674 140734825964144 140734825947144 5677678 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1475/statm: 326545 267771 792 2943 0 323439 0
[pid=1475/tid=1476] ppid=1472 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1476/stat : 1476 (toysat) S 1472 1475 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496204 1337528320 267771 33554432000 4194304 16246674 140734825964144 140280548273392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1475/tid=1477] ppid=1472 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1477/stat : 1477 (toysat) S 1472 1475 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496204 1337528320 267771 33554432000 4194304 16246674 140734825964144 140280537783536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1475/tid=1478] ppid=1472 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1478/stat : 1478 (toysat) S 1472 1475 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13496204 1337528320 267771 33554432000 4194304 16246674 140734825964144 140280527310000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

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

[startup+3.2005 s]
/proc/loadavg: 2.14 2.17 2.19 4/184 1479
/proc/meminfo: memFree=28032560/32872528 swapFree=1541692/1694992
[pid=1475] ppid=1472 vsize=1306180 CPUtime=3.19 cores=1,3,5,7
/proc/1475/stat : 1475 (toysat) R 1472 1475 31715 0 -1 4202496 267441 0 0 0 282 37 0 0 20 0 4 0 13496203 1337528320 267771 33554432000 4194304 16246674 140734825964144 140734825947144 5822472 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1475/statm: 326545 267771 792 2943 0 323439 0
[pid=1475/tid=1476] ppid=1472 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1476/stat : 1476 (toysat) S 1472 1475 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496204 1337528320 267771 33554432000 4194304 16246674 140734825964144 140280548273392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1475/tid=1477] ppid=1472 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1477/stat : 1477 (toysat) S 1472 1475 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496204 1337528320 267771 33554432000 4194304 16246674 140734825964144 140280537783536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1475/tid=1478] ppid=1472 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1478/stat : 1478 (toysat) S 1472 1475 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13496204 1337528320 267771 33554432000 4194304 16246674 140734825964144 140280527310000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1306180

[startup+4.80036 s]
/proc/loadavg: 2.14 2.17 2.19 4/184 1479
/proc/meminfo: memFree=28029900/32872528 swapFree=1541688/1694988
[pid=1475] ppid=1472 vsize=1306180 CPUtime=4.79 cores=1,3,5,7
/proc/1475/stat : 1475 (toysat) R 1472 1475 31715 0 -1 4202496 267518 0 0 0 442 37 0 0 20 0 4 0 13496203 1337528320 267848 33554432000 4194304 16246674 140734825964144 140734825946048 6861752 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1475/statm: 326545 267848 792 2943 0 323439 0
[pid=1475/tid=1476] ppid=1472 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1476/stat : 1476 (toysat) S 1472 1475 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496204 1337528320 267848 33554432000 4194304 16246674 140734825964144 140280548273392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1475/tid=1477] ppid=1472 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1477/stat : 1477 (toysat) S 1472 1475 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496204 1337528320 267848 33554432000 4194304 16246674 140734825964144 140280537783536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1475/tid=1478] ppid=1472 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1478/stat : 1478 (toysat) S 1472 1475 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13496204 1337528320 267848 33554432000 4194304 16246674 140734825964144 140280527310000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 1306180

[startup+5.60736 s]
/proc/loadavg: 2.20 2.19 2.20 4/184 1479
/proc/meminfo: memFree=28029528/32872528 swapFree=1541688/1694988
[pid=1475] ppid=1472 vsize=1306180 CPUtime=5.6 cores=1,3,5,7
/proc/1475/stat : 1475 (toysat) R 1472 1475 31715 0 -1 4202496 267518 0 0 0 523 37 0 0 20 0 4 0 13496203 1337528320 267848 33554432000 4194304 16246674 140734825964144 140734825946048 13194572 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1475/statm: 326545 267848 792 2943 0 323439 0
[pid=1475/tid=1476] ppid=1472 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1476/stat : 1476 (toysat) S 1472 1475 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496204 1337528320 267848 33554432000 4194304 16246674 140734825964144 140280548273392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1475/tid=1477] ppid=1472 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1477/stat : 1477 (toysat) S 1472 1475 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496204 1337528320 267848 33554432000 4194304 16246674 140734825964144 140280537783536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1475/tid=1478] ppid=1472 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1478/stat : 1478 (toysat) S 1472 1475 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13496204 1337528320 267848 33554432000 4194304 16246674 140734825964144 140280527310000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 1306180

[startup+5.80038 s]
/proc/loadavg: 2.20 2.19 2.20 4/184 1479
/proc/meminfo: memFree=28029528/32872528 swapFree=1541688/1694988
[pid=1475] ppid=1472 vsize=1306180 CPUtime=5.79 cores=1,3,5,7
/proc/1475/stat : 1475 (toysat) R 1472 1475 31715 0 -1 4202496 267518 0 0 0 542 37 0 0 20 0 4 0 13496203 1337528320 267848 33554432000 4194304 16246674 140734825964144 140734825947144 6843493 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1475/statm: 326545 267848 792 2943 0 323439 0
[pid=1475/tid=1476] ppid=1472 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1476/stat : 1476 (toysat) S 1472 1475 31715 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13496204 1337528320 267848 33554432000 4194304 16246674 140734825964144 140280548273392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=1475/tid=1477] ppid=1472 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1477/stat : 1477 (toysat) S 1472 1475 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13496204 1337528320 267848 33554432000 4194304 16246674 140734825964144 140280537783536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=1475/tid=1478] ppid=1472 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/1475/task/1478/stat : 1478 (toysat) S 1472 1475 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13496204 1337528320 267848 33554432000 4194304 16246674 140734825964144 140280527310000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 5.89321
CPU time (s): 5.8901
CPU user time (s): 5.45917
CPU system time (s): 0.430934
CPU usage (%): 99.9473
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.45917
system time used= 0.430934
maximum resident set size= 1071404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267523
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= 18
involuntary context switches= 7

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.017997 second user time and 0.025996 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-17 00:01:36
IDJOB=4096421
IDBENCH=107612
IDSOLVER=2542
FILE ID=node125/4096421-1466114496
RUNJOBID= node125-1466112694-1101
PBS_JOBID= 19904034
Free space on /tmp= 71728 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_13.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096421-1466114496/watcher-4096421-1466114496 -o /tmp/evaluation-result-4096421-1466114496/solver-4096421-1466114496 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node125-1466112694-1101 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096421-1466114496.opb

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

MD5SUM BENCH= f2eb4850e6091fc245192f89f01fd068
RANDOM SEED=1684745879

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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.54
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.683
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.683
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.683
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.683
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:        29100956 kB
Buffers:           61580 kB
Cached:           161040 kB
SwapCached:         2680 kB
Active:          1261724 kB
Inactive:         107356 kB
Active(anon):    1146512 kB
Inactive(anon):     2308 kB
Active(file):     115212 kB
Inactive(file):   105048 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67097016 kB
Dirty:             16556 kB
Writeback:             0 kB
AnonPages:       2839764 kB
Mapped:            10648 kB
Shmem:                 0 kB
Slab:             571708 kB
SReclaimable:      15192 kB
SUnreclaim:       556516 kB
KernelStack:        1488 kB
PageTables:         9776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2984244 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1292288 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= 71712 MiB
End job on node125 at 2016-06-17 00:01:42