Trace number 4121970

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 4.69929 4.70224

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-regular-n16-d4-i2.cnf.gz-plain.pb.metafix.opb
MD5SUMe01454f32d5ee155e64b89da13800f78
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.938856
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables65
Total number of constraints140
Number of constraints which are clauses140
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:46:09+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-4121970-1467315969.opb"]
0.00/0.01	c use --random-gen="3362359637 2125804605 3882738824 2542755175 3991068708 2271913101 1055829350 393126654 2803744987 917714583 1381195463 3370769679 3741362234 3716145138 3322697705 530906703 3426193388 1049915254 369495787 2286060745 3477692325 4073057747 3187475176 1407697535 2588549312 2787674313 988145429 1015379966 456169670 1799595783 779604230 1708797959 511640668 2117718867 4090022461 2232447908 775206190 2502217074 905871895 1333292798 1376592814 4212349939 1842148846 2971924305 431259736 3471562225 240053313 209346639 113645354 1806399686 448745581 1333133056 731211072 1066796365 1622765999 1354163434 202741152 295724398 1084705789 3715554347 968504989 651414469 3195846782 1381081952 3632959186 161021353 2687998193 648917631 1309105600 1344950861 1050354907 1023015395 1526156268 2226752503 2037190574 3602335393 3873210708 476262883 1885754908 1770426813 914857851 583751337 1113694498 263048271 1992097135 673172091 1993599469 679668002 90248268 3376327070 3272162240 2701172677 2895520780 1200875162 3705712841 2070514985 2616844496 2511763753 1588455345 1706869450 3812412392 513793807 3321938334 2962252396 926372390 3962345151 3317931499 4143809091 2211347775 2562299746 1363396648 689036096 2148990095 2006729722 3533110233 3878807756 939469349 1418733758 4143436350 1358161893 159895959 1198988338 2617506814 3972094317 4259793065 2406108560 2723157228 730369412 4192445370 3195098851 1519081677 4160836408 463878437 1783148310 3539181557 541632015 3060316675 3304493311 1684253739 3279924625 1895747213 2420596144 317255352 968969214 1125576055 3760915219 353351817 3614719922 3436799483 3743222329 303548001 2552862898 1306118261 68123807 4110072468 2692023871 3055738195 846104801 1999587671 3473543868 2795004221 2809196362 1542048037 1495764714 3112817327 3271206404 1666478620 2324132246 1647855040 1069317818 4231981511 2226332279 2865842969 4281895280 806305462 3539287934 1711261309 806526177 492780281 1090973363 1993288424 3933701271 2726492490 584444401 1374669977 40344884 3960742001 2852222266 955705100 2890032257 3123065340 3695107152 2026353835 1504498309 3660691639 1128387748 2712289393 1298005040 17426637 2755383954 2507691699 3105569149 2879135281 3085306630 2671416025 3357292632 3200286244 2300316343 3842583661 3529607536 1249096880 1074917224 1814247368 1122219108 264422639 1350091069 2903557893 2876414958 270177779 3174643656 3687509656 2016544850 1502507235 4085590470 298892498 364344916 2099434108 601668500 1561220585 3673757338 1933437650 2457164501 4211350481 3774419300 2325267110 3522863259 2146206337 598488062 760418655 2123960662 3077149688 3924052204 3495444533 3702566365 2880169833 1322031621 4162351632 3904106282 1336586657 1436812813 214746981 944393161 550093583 2131089526 2727041467 3119303827 255 362436" option to reproduce the execution
0.00/0.01	c #vars 65
0.00/0.01	c #constraints 140
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 |       68      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      123 |      100 |       68      1 |        0 |        0
0.00/0.03	c  0.0s |       2 |      300 |      250 |       75      4 |        0 |        0
0.00/0.05	c  0.0s |       3 |      600 |      475 |       83      9 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1103 |      813 |       92     15 |        0 |        0
0.09/0.11	c  0.1s |       5 |     1916 |     1320 |      102     23 |        0 |        0
0.09/0.17	c  0.2s |       6 |     2965 |     2081 |      125     35 |        0 |        0
0.19/0.26	c  0.2s |       7 |     4549 |     3223 |      138     52 |        0 |        0
0.28/0.38	c  0.4s |       8 |     7304 |     4936 |      152     75 |        0 |        0
0.48/0.56	c  0.5s |       9 |    11068 |     7506 |      168    106 |        0 |        0
0.79/0.84	c  0.8s |      10 |    16466 |    11361 |      185    149 |        0 |        0
1.19/1.23	c  1.2s |      11 |    23540 |    17144 |      204    209 |        0 |        0
1.69/1.72	c  1.7s |      12 |    34886 |    25819 |      225    290 |        0 |        0
2.39/2.45	c  2.4s |      13 |    51927 |    38832 |      248    402 |        0 |        0
3.49/3.50	c  3.5s |      14 |    77556 |    58352 |      273    554 |        0 |        0
4.59/4.64	c  4.6s |      14 |   105757 |    79635 |      273    699 |       46 |       81
4.59/4.64	c #cpu_time = 4.615s
4.59/4.64	c #wall_clock_time = 4.627s
4.59/4.64	c #decision = 105757
4.59/4.64	c #random_decision = 491
4.59/4.64	c #conflict = 79635
4.59/4.64	c #restart = 14
4.59/4.64	s UNSATISFIABLE
4.59/4.64	c total CPU time = 4.629s
4.59/4.64	c total wall clock time = 4.642s

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

pid=18165
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.01 2.03 2.00 3/243 18168
/proc/meminfo: memFree=30121888/32872528 swapFree=189444/189444
[pid=18168] ppid=18165 vsize=702908 CPUtime=0 cores=0,2,4,6
/proc/18168/stat : 18168 (toysat) R 18165 18168 13211 0 -1 4202496 2618 0 0 0 0 0 0 0 20 0 4 0 12703460 719777792 2979 33554432000 4194304 16246674 140734173563264 140734173562688 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18168/statm: 176495 2988 441 2943 0 173389 0
[pid=18168/tid=18169] ppid=18165 vsize=721340 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18169/stat : 18169 (toysat) S 18165 18168 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12703461 738652160 3049 33554432000 4194304 16246674 140734173563264 140048657788144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18170] ppid=18165 vsize=725436 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18170/stat : 18170 (toysat) S 18165 18168 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12703461 742846464 3067 33554432000 4194304 16246674 140734173563264 140048647298288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18171] ppid=18165 vsize=730556 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18171/stat : 18171 (toysat) S 18165 18168 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12703461 748089344 3084 33554432000 4194304 16246674 140734173563264 140048636824752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 2.01 2.03 2.00 3/243 18168
/proc/meminfo: memFree=30121888/32872528 swapFree=189444/189444
[pid=18168] ppid=18165 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/18168/stat : 18168 (toysat) R 18165 18168 13211 0 -1 4202496 25588 0 0 0 6 3 0 0 20 0 4 0 12703460 1247350784 25938 33554432000 4194304 16246674 140734173563264 140734173546264 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18168/statm: 304529 25946 707 2943 0 301423 0
[pid=18168/tid=18169] ppid=18165 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18169/stat : 18169 (toysat) S 18165 18168 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12703461 1247350784 25955 33554432000 4194304 16246674 140734173563264 140048657788144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18170] ppid=18165 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18170/stat : 18170 (toysat) S 18165 18168 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12703461 1247350784 25961 33554432000 4194304 16246674 140734173563264 140048647298288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18171] ppid=18165 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18171/stat : 18171 (toysat) S 18165 18168 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12703461 1247350784 25968 33554432000 4194304 16246674 140734173563264 140048636824752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200499 s]
/proc/loadavg: 2.01 2.03 2.00 3/243 18168
/proc/meminfo: memFree=30121888/32872528 swapFree=189444/189444
[pid=18168] ppid=18165 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/18168/stat : 18168 (toysat) R 18165 18168 13211 0 -1 4202496 48755 0 0 0 12 7 0 0 20 0 4 0 12703460 1247350784 49106 33554432000 4194304 16246674 140734173563264 140734173546264 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18168/statm: 304529 49118 707 2943 0 301423 0
[pid=18168/tid=18169] ppid=18165 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18169/stat : 18169 (toysat) S 18165 18168 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12703461 1247350784 49124 33554432000 4194304 16246674 140734173563264 140048657788144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18170] ppid=18165 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18170/stat : 18170 (toysat) S 18165 18168 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12703461 1247350784 49131 33554432000 4194304 16246674 140734173563264 140048647298288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18171] ppid=18165 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18171/stat : 18171 (toysat) S 18165 18168 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12703461 1247350784 49138 33554432000 4194304 16246674 140734173563264 140048636824752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300469 s]
/proc/loadavg: 2.01 2.03 2.00 3/243 18168
/proc/meminfo: memFree=30121888/32872528 swapFree=189444/189444
[pid=18168] ppid=18165 vsize=1218116 CPUtime=0.28 cores=0,2,4,6
/proc/18168/stat : 18168 (toysat) R 18165 18168 13211 0 -1 4202496 71798 0 0 0 19 9 0 0 20 0 4 0 12703460 1247350784 72148 33554432000 4194304 16246674 140734173563264 140734173546264 5515033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18168/statm: 304529 72159 707 2943 0 301423 0
[pid=18168/tid=18169] ppid=18165 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18169/stat : 18169 (toysat) S 18165 18168 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12703461 1247350784 72165 33554432000 4194304 16246674 140734173563264 140048657788144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18170] ppid=18165 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18170/stat : 18170 (toysat) S 18165 18168 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12703461 1247350784 72172 33554432000 4194304 16246674 140734173563264 140048647298288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18171] ppid=18165 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18171/stat : 18171 (toysat) S 18165 18168 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12703461 1247350784 72178 33554432000 4194304 16246674 140734173563264 140048636824752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700395 s]
/proc/loadavg: 2.01 2.03 2.00 3/243 18168
/proc/meminfo: memFree=30121888/32872528 swapFree=189444/189444
[pid=18168] ppid=18165 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/18168/stat : 18168 (toysat) R 18165 18168 13211 0 -1 4202496 163086 0 0 0 46 23 0 0 20 0 4 0 12703460 1247350784 163437 33554432000 4194304 16246674 140734173563264 140734173546264 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18168/statm: 304529 163446 708 2943 0 301423 0
[pid=18168/tid=18169] ppid=18165 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18169/stat : 18169 (toysat) S 18165 18168 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12703461 1247350784 163453 33554432000 4194304 16246674 140734173563264 140048657788144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18170] ppid=18165 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18170/stat : 18170 (toysat) S 18165 18168 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12703461 1247350784 163459 33554432000 4194304 16246674 140734173563264 140048647298288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18171] ppid=18165 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18171/stat : 18171 (toysat) S 18165 18168 13211 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 12703461 1247350784 163467 33554432000 4194304 16246674 140734173563264 140048636824752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.00 2.03 2.00 3/247 18172
/proc/meminfo: memFree=29139704/32872528 swapFree=189444/189444
[pid=18168] ppid=18165 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/18168/stat : 18168 (toysat) R 18165 18168 13211 0 -1 4202496 245465 0 0 0 116 33 0 0 20 0 4 0 12703460 1247350784 245795 33554432000 4194304 16246674 140734173563264 140734173546264 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18168/statm: 304529 245795 785 2943 0 301423 0
[pid=18168/tid=18169] ppid=18165 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18169/stat : 18169 (toysat) S 18165 18168 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12703461 1247350784 245795 33554432000 4194304 16246674 140734173563264 140048657788144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18170] ppid=18165 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18170/stat : 18170 (toysat) S 18165 18168 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12703461 1247350784 245795 33554432000 4194304 16246674 140734173563264 140048647298288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18171] ppid=18165 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18171/stat : 18171 (toysat) S 18165 18168 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12703461 1247350784 245795 33554432000 4194304 16246674 140734173563264 140048636824752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1218116

[startup+3.10039 s]
/proc/loadavg: 2.00 2.03 2.00 3/247 18172
/proc/meminfo: memFree=29051044/32872528 swapFree=189444/189444
[pid=18168] ppid=18165 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/18168/stat : 18168 (toysat) R 18165 18168 13211 0 -1 4202496 267381 0 0 0 273 36 0 0 20 0 4 0 12703460 1337528320 267711 33554432000 4194304 16246674 140734173563264 140734173546264 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18168/statm: 326545 267711 785 2943 0 323439 0
[pid=18168/tid=18169] ppid=18165 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18169/stat : 18169 (toysat) S 18165 18168 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12703461 1337528320 267711 33554432000 4194304 16246674 140734173563264 140048657788144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18170] ppid=18165 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18170/stat : 18170 (toysat) S 18165 18168 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12703461 1337528320 267711 33554432000 4194304 16246674 140734173563264 140048647298288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18171] ppid=18165 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18171/stat : 18171 (toysat) S 18165 18168 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12703461 1337528320 267711 33554432000 4194304 16246674 140734173563264 140048636824752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

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

[startup+3.20047 s]
/proc/loadavg: 2.00 2.03 2.00 3/247 18172
/proc/meminfo: memFree=29051044/32872528 swapFree=189444/189444
[pid=18168] ppid=18165 vsize=1306180 CPUtime=3.19 cores=0,2,4,6
/proc/18168/stat : 18168 (toysat) R 18165 18168 13211 0 -1 4202496 267381 0 0 0 283 36 0 0 20 0 4 0 12703460 1337528320 267711 33554432000 4194304 16246674 140734173563264 140734173546264 5822484 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18168/statm: 326545 267711 785 2943 0 323439 0
[pid=18168/tid=18169] ppid=18165 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18169/stat : 18169 (toysat) S 18165 18168 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12703461 1337528320 267711 33554432000 4194304 16246674 140734173563264 140048657788144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18170] ppid=18165 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18170/stat : 18170 (toysat) S 18165 18168 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12703461 1337528320 267711 33554432000 4194304 16246674 140734173563264 140048647298288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18171] ppid=18165 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18171/stat : 18171 (toysat) S 18165 18168 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12703461 1337528320 267711 33554432000 4194304 16246674 140734173563264 140048636824752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1306180

[startup+4.00039 s]
/proc/loadavg: 2.00 2.03 2.00 3/247 18172
/proc/meminfo: memFree=29051372/32872528 swapFree=189444/189444
[pid=18168] ppid=18165 vsize=1306180 CPUtime=3.99 cores=0,2,4,6
/proc/18168/stat : 18168 (toysat) R 18165 18168 13211 0 -1 4202496 267385 0 0 0 363 36 0 0 20 0 4 0 12703460 1337528320 267715 33554432000 4194304 16246674 140734173563264 140734173546264 5663172 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18168/statm: 326545 267715 785 2943 0 323439 0
[pid=18168/tid=18169] ppid=18165 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18169/stat : 18169 (toysat) S 18165 18168 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12703461 1337528320 267715 33554432000 4194304 16246674 140734173563264 140048657788144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18170] ppid=18165 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18170/stat : 18170 (toysat) S 18165 18168 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12703461 1337528320 267715 33554432000 4194304 16246674 140734173563264 140048647298288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18171] ppid=18165 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18171/stat : 18171 (toysat) S 18165 18168 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12703461 1337528320 267715 33554432000 4194304 16246674 140734173563264 140048636824752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 1306180

[startup+4.4004 s]
/proc/loadavg: 2.00 2.03 2.00 4/247 18172
/proc/meminfo: memFree=29051372/32872528 swapFree=189444/189444
[pid=18168] ppid=18165 vsize=1306180 CPUtime=4.39 cores=0,2,4,6
/proc/18168/stat : 18168 (toysat) R 18165 18168 13211 0 -1 4202496 267385 0 0 0 403 36 0 0 20 0 4 0 12703460 1337528320 267715 33554432000 4194304 16246674 140734173563264 140734173546264 5673515 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18168/statm: 326545 267715 785 2943 0 323439 0
[pid=18168/tid=18169] ppid=18165 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18169/stat : 18169 (toysat) S 18165 18168 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12703461 1337528320 267715 33554432000 4194304 16246674 140734173563264 140048657788144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18170] ppid=18165 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18170/stat : 18170 (toysat) S 18165 18168 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12703461 1337528320 267715 33554432000 4194304 16246674 140734173563264 140048647298288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18171] ppid=18165 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18171/stat : 18171 (toysat) S 18165 18168 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12703461 1337528320 267715 33554432000 4194304 16246674 140734173563264 140048636824752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 1306180

[startup+4.6004 s]
/proc/loadavg: 2.00 2.03 2.00 4/247 18172
/proc/meminfo: memFree=29051372/32872528 swapFree=189444/189444
[pid=18168] ppid=18165 vsize=1306180 CPUtime=4.59 cores=0,2,4,6
/proc/18168/stat : 18168 (toysat) R 18165 18168 13211 0 -1 4202496 267385 0 0 0 423 36 0 0 20 0 4 0 12703460 1337528320 267715 33554432000 4194304 16246674 140734173563264 140734173546264 5822592 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18168/statm: 326545 267715 785 2943 0 323439 0
[pid=18168/tid=18169] ppid=18165 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18169/stat : 18169 (toysat) S 18165 18168 13211 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 12703461 1337528320 267715 33554432000 4194304 16246674 140734173563264 140048657788144 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18168/tid=18170] ppid=18165 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18170/stat : 18170 (toysat) S 18165 18168 13211 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 12703461 1337528320 267715 33554432000 4194304 16246674 140734173563264 140048647298288 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18168/tid=18171] ppid=18165 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/18168/task/18171/stat : 18171 (toysat) S 18165 18168 13211 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 12703461 1337528320 267715 33554432000 4194304 16246674 140734173563264 140048636824752 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.59
Current children cumulated vsize (KiB) 1306180

[startup+4.70036 s]
/proc/loadavg: 2.00 2.03 2.00 4/247 18172
/proc/meminfo: memFree=29051372/32872528 swapFree=189444/189444
[pid=18168] ppid=18165 vsize=0 CPUtime=4.69 cores=0,2,4,6
/proc/18168/stat : 18168 (toysat) R 18165 18168 13211 0 -1 4202500 267390 0 0 0 427 42 0 0 20 0 1 0 12703460 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18168/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.69
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 4.70224
CPU time (s): 4.69929
CPU user time (s): 4.27535
CPU system time (s): 0.423935
CPU usage (%): 99.9371
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.27535
system time used= 0.423935
maximum resident set size= 1070872
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267390
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= 20
involuntary context switches= 6

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

The end

Launcher Data 

Begin job on node102 at 2016-06-30 21:46:09
IDJOB=4121970
IDBENCH=110801
IDSOLVER=2542
FILE ID=node102/4121970-1467315969
RUNJOBID= node102-1467310764-16424
PBS_JOBID= 20005272
Free space on /tmp= 71656 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-regular-n16-d4-i2.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-4121970-1467315969/watcher-4121970-1467315969 -o /tmp/evaluation-result-4121970-1467315969/solver-4121970-1467315969 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node102-1467310764-16424 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4121970-1467315969.opb

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

MD5SUM BENCH= e01454f32d5ee155e64b89da13800f78
RANDOM SEED=1294263671

node102.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.744
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.48
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.744
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.744
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.744
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.49
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.744
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.54
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.744
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.744
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.744
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:        30122152 kB
Buffers:          161440 kB
Cached:           571016 kB
SwapCached:            0 kB
Active:          1394664 kB
Inactive:         422512 kB
Active(anon):    1086912 kB
Inactive(anon):        0 kB
Active(file):     307752 kB
Inactive(file):   422512 kB
Unevictable:      189444 kB
Mlocked:          189444 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16332 kB
Writeback:             0 kB
AnonPages:       1347840 kB
Mapped:            17612 kB
Shmem:               204 kB
Slab:             609344 kB
SReclaimable:      53148 kB
SUnreclaim:       556196 kB
KernelStack:        2032 kB
PageTables:         6940 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1422976 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     77824 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= 71636 MiB
End job on node102 at 2016-06-30 21:46:14