Trace number 4121770

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.06523 5.06757

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n48-d3-i2-f.cnf.gz-plain.pb.metafix.opb
MD5SUM9dbac778001e3b6063ea1859e3ba535f
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.162974
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72
Total number of constraints192
Number of constraints which are clauses192
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-30T21:38:31+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-4121770-1467315511.opb"]
0.00/0.01	c use --random-gen="3611285946 3656171959 2436508515 4225453314 2507977780 3962459442 3489187161 4288960396 486813850 2066023230 2498514826 830783439 2568565293 3512660376 3669799152 1062928974 3584897727 4201479564 1196136687 3809346295 4155029981 1360139003 1311984293 3474893533 287499181 3716000166 3542059277 1595499786 3674490251 4247978844 841158342 848825415 3627700572 4260773284 1923439463 2860676409 3603973975 589685917 975318473 4045421338 566523795 2415775614 4046277808 289601030 10095816 468367344 45882486 736139692 3878616697 2389857254 4220878629 4219178537 1926458468 948284913 3810066383 2620154531 2804959555 1864046273 1238193976 1681681923 2575733441 1875128358 3878018434 2302108488 1423348424 2217558733 1157894112 3386444409 3671003399 2347657753 1590854810 456086135 549076001 3080699995 1312269797 2131030835 3499763391 586538528 3104801893 1890762244 1408287531 820745700 3509613672 2447051558 1519833407 1746162170 2023206373 1645458974 2059229662 493295623 1698926099 2817388319 1793967809 1311877538 554258145 3254785970 2380591309 134830507 4190109997 1416022849 3978956845 304934580 1243471421 3267711058 1188212090 1120532742 1603066137 542606547 4027870719 3003365876 2493247569 953069683 1695193597 3590559100 2262048923 2324430496 2061355324 3315888702 1602825108 4202969941 1205685803 3477610608 2634042393 2013543019 299789312 3994318386 148177407 1895731565 141650132 3340840539 1357454956 2631402436 3631384591 3002473092 3211862361 1804868072 2504581902 2875778449 614708771 3123326864 2655202147 2829657556 4163152617 2466262816 3980447893 2417973271 12532566 1458560769 2119494629 881251473 580669580 3027006929 663678024 135676547 1526159089 3435356305 1581267265 4182488494 2312844843 2711373910 2859225639 2139521755 2779394142 2285318709 1429644789 3873173109 4255855383 3403551217 1746658414 349825675 295128616 4100480649 2720591661 2076888083 2693207134 1518500050 4206258449 525347558 3513722925 740197294 3385599250 3735054832 163327996 260046163 1223026952 2314033891 397278645 259909684 990514200 200975283 2798224518 3805259328 1264040523 3800051359 1961662629 3536882709 2356857108 1050144750 710482009 1020537113 287830015 3158246121 2159474845 5097629 330997657 1394872970 4177074500 2932358421 3999410029 2555520628 2515711961 3102479007 3933227575 1777276507 3848245533 3615460643 511953858 1123446242 1671523551 215276300 1914831171 1900643781 3316936441 2722884221 1083053310 3639632463 2641612169 2877628140 2561174705 593277064 1901279046 599510164 803436726 3929706094 3026721209 1175850078 1378468965 116696932 156061619 283796707 1552079803 3039837558 360257812 757498027 2277588423 206839350 1017934062 371783593 1261988805 4061090747 692773118 788862980 2506444224 331506989 215876821 370631539 255 362436" option to reproduce the execution
0.00/0.01	c #vars 72
0.00/0.01	c #constraints 192
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 |       88      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      120 |      100 |       88      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      297 |      250 |       97      3 |        0 |        0
0.00/0.06	c  0.0s |       3 |      539 |      475 |      107      6 |        0 |        0
0.00/0.09	c  0.1s |       4 |     1056 |      813 |      118     10 |        0 |        0
0.09/0.13	c  0.1s |       5 |     1657 |     1320 |      130     17 |        0 |        0
0.09/0.19	c  0.2s |       6 |     2643 |     2081 |      158     26 |        0 |        0
0.19/0.28	c  0.3s |       7 |     4280 |     3223 |      174     40 |        0 |        0
0.39/0.41	c  0.4s |       8 |     6312 |     4936 |      192     58 |        0 |        0
0.49/0.59	c  0.6s |       9 |     9634 |     7506 |      212     83 |        0 |        0
0.79/0.85	c  0.8s |      10 |    14578 |    11361 |      234    118 |        0 |        0
1.10/1.18	c  1.2s |      11 |    22315 |    17144 |      258    166 |        0 |        0
1.59/1.63	c  1.6s |      12 |    33336 |    25819 |      284    231 |        0 |        0
2.19/2.27	c  2.3s |      13 |    51145 |    38832 |      313    321 |        0 |        0
3.09/3.15	c  3.1s |      14 |    77771 |    58352 |      345    444 |        0 |        0
4.49/4.57	c  4.6s |      15 |   116057 |    87632 |      380    610 |        0 |        0
4.99/5.00	c  5.0s |      15 |   127829 |    97149 |      380    654 |       20 |       48
4.99/5.00	c #cpu_time = 4.978s
4.99/5.00	c #wall_clock_time = 4.991s
4.99/5.00	c #decision = 127829
4.99/5.00	c #random_decision = 637
4.99/5.00	c #conflict = 97149
4.99/5.00	c #restart = 15
4.99/5.00	s UNSATISFIABLE
4.99/5.00	c total CPU time = 4.994s
4.99/5.00	c total wall clock time = 5.007s

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

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

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


[startup+0 s]
/proc/loadavg: 2.20 2.19 2.03 3/179 16679
/proc/meminfo: memFree=27198708/32872528 swapFree=1555460/1718980
[pid=16679] ppid=16676 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/16679/stat : 16679 (toysat) R 16676 16679 11291 0 -1 4202496 2704 0 0 0 0 0 0 0 20 0 4 0 10578734 742846464 3065 33554432000 4194304 16246674 140735726656528 140735726655952 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16679/statm: 181871 3073 441 2943 0 178765 0
[pid=16679/tid=16680] ppid=16676 vsize=741820 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16680/stat : 16680 (toysat) S 16676 16679 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10578734 759623680 3132 33554432000 4194304 16246674 140735726656528 139917247098096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16679/tid=16681] ppid=16676 vsize=746940 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16681/stat : 16681 (toysat) S 16676 16679 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10578734 764866560 3151 33554432000 4194304 16246674 140735726656528 139917236608240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16679/tid=16682] ppid=16676 vsize=751036 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16682/stat : 16682 (toysat) S 16676 16679 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10578734 769060864 3165 33554432000 4194304 16246674 140735726656528 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100203 s]
/proc/loadavg: 2.20 2.19 2.03 3/179 16679
/proc/meminfo: memFree=27198708/32872528 swapFree=1555460/1718980
[pid=16679] ppid=16676 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/16679/stat : 16679 (toysat) R 16676 16679 11291 0 -1 4202496 26012 0 0 0 5 4 0 0 20 0 4 0 10578734 1247350784 26361 33554432000 4194304 16246674 140735726656528 140735726655952 5664948 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16679/statm: 304529 26371 707 2943 0 301423 0
[pid=16679/tid=16680] ppid=16676 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16680/stat : 16680 (toysat) S 16676 16679 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10578734 1247350784 26379 33554432000 4194304 16246674 140735726656528 139917247098096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16679/tid=16681] ppid=16676 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16681/stat : 16681 (toysat) S 16676 16679 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10578734 1247350784 26387 33554432000 4194304 16246674 140735726656528 139917236608240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16679/tid=16682] ppid=16676 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16682/stat : 16682 (toysat) S 16676 16679 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10578734 1247350784 26393 33554432000 4194304 16246674 140735726656528 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200503 s]
/proc/loadavg: 2.20 2.19 2.03 3/179 16679
/proc/meminfo: memFree=27198708/32872528 swapFree=1555460/1718980
[pid=16679] ppid=16676 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/16679/stat : 16679 (toysat) R 16676 16679 11291 0 -1 4202496 49354 0 0 0 12 7 0 0 20 0 4 0 10578734 1247350784 49704 33554432000 4194304 16246674 140735726656528 140735726655952 5831697 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16679/statm: 304529 49713 707 2943 0 301423 0
[pid=16679/tid=16680] ppid=16676 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16680/stat : 16680 (toysat) S 16676 16679 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10578734 1247350784 49720 33554432000 4194304 16246674 140735726656528 139917247098096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16679/tid=16681] ppid=16676 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16681/stat : 16681 (toysat) S 16676 16679 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10578734 1247350784 49727 33554432000 4194304 16246674 140735726656528 139917236608240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16679/tid=16682] ppid=16676 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16682/stat : 16682 (toysat) S 16676 16679 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10578734 1247350784 49732 33554432000 4194304 16246674 140735726656528 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300447 s]
/proc/loadavg: 2.20 2.19 2.03 3/179 16679
/proc/meminfo: memFree=27198708/32872528 swapFree=1555460/1718980
[pid=16679] ppid=16676 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/16679/stat : 16679 (toysat) R 16676 16679 11291 0 -1 4202496 72257 0 0 0 19 10 0 0 20 0 4 0 10578734 1247350784 72607 33554432000 4194304 16246674 140735726656528 140735726655952 5675357 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16679/statm: 304529 72618 707 2943 0 301423 0
[pid=16679/tid=16680] ppid=16676 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16680/stat : 16680 (toysat) S 16676 16679 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10578734 1247350784 72625 33554432000 4194304 16246674 140735726656528 139917247098096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16679/tid=16681] ppid=16676 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16681/stat : 16681 (toysat) S 16676 16679 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10578734 1247350784 72633 33554432000 4194304 16246674 140735726656528 139917236608240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16679/tid=16682] ppid=16676 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16682/stat : 16682 (toysat) S 16676 16679 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10578734 1247350784 72639 33554432000 4194304 16246674 140735726656528 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700388 s]
/proc/loadavg: 2.20 2.19 2.03 3/179 16679
/proc/meminfo: memFree=27198708/32872528 swapFree=1555460/1718980
[pid=16679] ppid=16676 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/16679/stat : 16679 (toysat) R 16676 16679 11291 0 -1 4202496 163163 0 0 0 46 23 0 0 20 0 4 0 10578734 1247350784 163512 33554432000 4194304 16246674 140735726656528 140735726639528 5545885 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16679/statm: 304529 163524 707 2943 0 301423 0
[pid=16679/tid=16680] ppid=16676 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16680/stat : 16680 (toysat) S 16676 16679 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10578734 1247350784 163531 33554432000 4194304 16246674 140735726656528 139917247098096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16679/tid=16681] ppid=16676 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16681/stat : 16681 (toysat) S 16676 16679 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10578734 1247350784 163539 33554432000 4194304 16246674 140735726656528 139917236608240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16679/tid=16682] ppid=16676 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16682/stat : 16682 (toysat) S 16676 16679 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10578734 1247350784 163544 33554432000 4194304 16246674 140735726656528 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.20 2.19 2.03 3/183 16683
/proc/meminfo: memFree=26217160/32872528 swapFree=1555460/1718980
[pid=16679] ppid=16676 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/16679/stat : 16679 (toysat) R 16676 16679 11291 0 -1 4202496 245487 0 0 0 115 34 0 0 20 0 4 0 10578734 1247350784 245816 33554432000 4194304 16246674 140735726656528 140735726639528 6045704 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16679/statm: 304529 245816 786 2943 0 301423 0
[pid=16679/tid=16680] ppid=16676 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16680/stat : 16680 (toysat) S 16676 16679 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10578734 1247350784 245816 33554432000 4194304 16246674 140735726656528 139917247098096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16679/tid=16681] ppid=16676 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16681/stat : 16681 (toysat) S 16676 16679 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10578734 1247350784 245816 33554432000 4194304 16246674 140735726656528 139917236608240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16679/tid=16682] ppid=16676 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16682/stat : 16682 (toysat) S 16676 16679 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10578734 1247350784 245816 33554432000 4194304 16246674 140735726656528 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10036 s]
/proc/loadavg: 2.20 2.19 2.03 3/183 16683
/proc/meminfo: memFree=26128980/32872528 swapFree=1555460/1718980
[pid=16679] ppid=16676 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/16679/stat : 16679 (toysat) R 16676 16679 11291 0 -1 4202496 267386 0 0 0 273 36 0 0 20 0 4 0 10578734 1337528320 267715 33554432000 4194304 16246674 140735726656528 140735726639528 6012041 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16679/statm: 326545 267715 786 2943 0 323439 0
[pid=16679/tid=16680] ppid=16676 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16680/stat : 16680 (toysat) S 16676 16679 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10578734 1337528320 267715 33554432000 4194304 16246674 140735726656528 139917247098096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16679/tid=16681] ppid=16676 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16681/stat : 16681 (toysat) S 16676 16679 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10578734 1337528320 267715 33554432000 4194304 16246674 140735726656528 139917236608240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16679/tid=16682] ppid=16676 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16682/stat : 16682 (toysat) S 16676 16679 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10578734 1337528320 267715 33554432000 4194304 16246674 140735726656528 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 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 16679 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.2005 s]
/proc/loadavg: 2.20 2.19 2.03 3/183 16683
/proc/meminfo: memFree=26128980/32872528 swapFree=1555460/1718980
[pid=16679] ppid=16676 vsize=1306180 CPUtime=3.19 cores=0,2,4,6
/proc/16679/stat : 16679 (toysat) R 16676 16679 11291 0 -1 4202496 267386 0 0 0 283 36 0 0 20 0 4 0 10578734 1337528320 267715 33554432000 4194304 16246674 140735726656528 140735726639528 5674688 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16679/statm: 326545 267715 786 2943 0 323439 0
[pid=16679/tid=16680] ppid=16676 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16680/stat : 16680 (toysat) S 16676 16679 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10578734 1337528320 267715 33554432000 4194304 16246674 140735726656528 139917247098096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16679/tid=16681] ppid=16676 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16681/stat : 16681 (toysat) S 16676 16679 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10578734 1337528320 267715 33554432000 4194304 16246674 140735726656528 139917236608240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16679/tid=16682] ppid=16676 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16682/stat : 16682 (toysat) S 16676 16679 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10578734 1337528320 267715 33554432000 4194304 16246674 140735726656528 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1306180

[startup+4.00035 s]
/proc/loadavg: 2.20 2.19 2.03 3/183 16683
/proc/meminfo: memFree=26128236/32872528 swapFree=1555460/1718980
[pid=16679] ppid=16676 vsize=1306180 CPUtime=3.99 cores=0,2,4,6
/proc/16679/stat : 16679 (toysat) R 16676 16679 11291 0 -1 4202496 267396 0 0 0 363 36 0 0 20 0 4 0 10578734 1337528320 267725 33554432000 4194304 16246674 140735726656528 140735726639528 5717656 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16679/statm: 326545 267725 786 2943 0 323439 0
[pid=16679/tid=16680] ppid=16676 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16680/stat : 16680 (toysat) S 16676 16679 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10578734 1337528320 267725 33554432000 4194304 16246674 140735726656528 139917247098096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16679/tid=16681] ppid=16676 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16681/stat : 16681 (toysat) S 16676 16679 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10578734 1337528320 267725 33554432000 4194304 16246674 140735726656528 139917236608240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16679/tid=16682] ppid=16676 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16682/stat : 16682 (toysat) S 16676 16679 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10578734 1337528320 267725 33554432000 4194304 16246674 140735726656528 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 1306180

[startup+4.80036 s]
/proc/loadavg: 2.19 2.19 2.03 3/183 16683
/proc/meminfo: memFree=26128732/32872528 swapFree=1555460/1718980
[pid=16679] ppid=16676 vsize=1306180 CPUtime=4.79 cores=0,2,4,6
/proc/16679/stat : 16679 (toysat) R 16676 16679 11291 0 -1 4202496 267396 0 0 0 443 36 0 0 20 0 4 0 10578734 1337528320 267725 33554432000 4194304 16246674 140735726656528 140735726639528 5822252 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16679/statm: 326545 267725 786 2943 0 323439 0
[pid=16679/tid=16680] ppid=16676 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16680/stat : 16680 (toysat) S 16676 16679 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10578734 1337528320 267725 33554432000 4194304 16246674 140735726656528 139917247098096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16679/tid=16681] ppid=16676 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16681/stat : 16681 (toysat) S 16676 16679 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10578734 1337528320 267725 33554432000 4194304 16246674 140735726656528 139917236608240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16679/tid=16682] ppid=16676 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16682/stat : 16682 (toysat) S 16676 16679 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10578734 1337528320 267725 33554432000 4194304 16246674 140735726656528 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 1306180

[startup+5.0004 s]
/proc/loadavg: 2.19 2.19 2.03 3/183 16683
/proc/meminfo: memFree=26128732/32872528 swapFree=1555460/1718980
[pid=16679] ppid=16676 vsize=1306180 CPUtime=4.99 cores=0,2,4,6
/proc/16679/stat : 16679 (toysat) R 16676 16679 11291 0 -1 4202496 267396 0 0 0 463 36 0 0 20 0 4 0 10578734 1337528320 267725 33554432000 4194304 16246674 140735726656528 140735726639528 15015658 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/16679/statm: 326545 267725 786 2943 0 323439 0
[pid=16679/tid=16680] ppid=16676 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16680/stat : 16680 (toysat) S 16676 16679 11291 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 10578734 1337528320 267725 33554432000 4194304 16246674 140735726656528 139917247098096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=16679/tid=16681] ppid=16676 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16681/stat : 16681 (toysat) S 16676 16679 11291 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 10578734 1337528320 267725 33554432000 4194304 16246674 140735726656528 139917236608240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=16679/tid=16682] ppid=16676 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/16679/task/16682/stat : 16682 (toysat) S 16676 16679 11291 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 10578734 1337528320 267725 33554432000 4194304 16246674 140735726656528 139917149596848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.99
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 5.06757
CPU time (s): 5.06523
CPU user time (s): 4.63929
CPU system time (s): 0.425935
CPU usage (%): 99.9537
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.63929
system time used= 0.425935
maximum resident set size= 1070912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267401
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= 24
involuntary context switches= 6

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

The end

Launcher Data 

Begin job on node117 at 2016-06-30 21:38:31
IDJOB=4121770
IDBENCH=110673
IDSOLVER=2542
FILE ID=node117/4121770-1467315511
RUNJOBID= node117-1467314225-15886
PBS_JOBID= 20005275
Free space on /tmp= 71608 MiB

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

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

MD5SUM BENCH= 9dbac778001e3b6063ea1859e3ba535f
RANDOM SEED=417531613

node117.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.714
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.42
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.714
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.714
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.45
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.714
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.714
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.714
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.714
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.714
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:        27199352 kB
Buffers:          152148 kB
Cached:          1963668 kB
SwapCached:            0 kB
Active:          1383588 kB
Inactive:        1816472 kB
Active(anon):    1086788 kB
Inactive(anon):        4 kB
Active(file):     296800 kB
Inactive(file):  1816468 kB
Unevictable:     1718980 kB
Mlocked:         1555460 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16664 kB
Writeback:             0 kB
AnonPages:       2803424 kB
Mapped:            17108 kB
Shmem:               204 kB
Slab:             616756 kB
SReclaimable:      60280 kB
SUnreclaim:       556476 kB
KernelStack:        1520 kB
PageTables:         9536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2938948 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1232896 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= 71592 MiB
End job on node117 at 2016-06-30 21:38:36