Trace number 4099319

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 6.25005 6.25343

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/
namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb
MD5SUMd36c8f083b4352ee7b6379767e1c28ad
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.09568
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables231
Total number of constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
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 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 727
Number of bits of the biggest sum of numbers10
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-18T01:28:55+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-4099319-1466206134.opb"]
0.00/0.01	c use --random-gen="905618822 1832851782 158906528 1770298867 3987716335 1914689798 3957257986 2783884258 3771130347 2976100252 1884816475 1730281638 3965984400 96448238 255428759 436540305 1582325640 3289207962 1133499207 3272285418 3980088203 1575994550 728392177 2029653573 915881758 1096859053 2394102415 3566055912 154521409 2138860384 634135112 3363492359 3559212787 1931179197 2185949371 4290030348 4050373956 1644849674 2954248229 1389551267 4145689643 494333405 955379046 1913801082 1853047953 337113678 2656413396 2352879330 1391398569 3317319463 2482045767 520747451 1379052480 3393794875 36947205 1126269166 474899992 984916898 4135780789 142030874 3419334718 275420554 3058861695 1873430709 3133205077 3167144535 3683367664 207847450 93148609 2919454153 3917747920 16751235 834012211 1655475495 2903026157 4199385886 1531706178 451001404 3698274795 193673037 2864930626 2826426947 4125946620 2953472728 1164520779 626133533 3150329999 2580054521 1448099890 3812283190 3869954116 123195429 270924315 3572204995 2157876303 3674299576 2622112587 2528802718 3829865479 347499093 386595857 4272249973 667270180 4041111392 2792204430 3556114386 2092637132 3734943469 2601855548 2446595047 2223354578 2613560924 3935600068 299474262 2533398134 2422441089 2450745441 1940882196 2460146890 2744751484 3630893965 1497770815 1683969502 3248307993 3997819980 4113538601 2054326490 210005150 1363305815 861662401 716769753 2440789174 3628393123 635400951 4087435688 1266467098 1666345634 1963499256 1964521293 1863733895 2963400802 3949432740 2437040787 2555634862 367360920 1250542496 127810078 285820989 2897408794 432329236 597430085 2187710408 709416202 3974197885 3827285113 1030449374 2561952184 39593651 4147112230 804060943 1605660404 2807021703 1371138160 3039474568 935756845 3532556125 1058594694 3808599054 1447542141 508339265 1574717050 4134094768 1218164343 1507031838 2434649339 3659935373 2655535634 4173122593 2869468754 790014739 27760564 693095685 829700690 3145650133 1000466988 4122077749 1103554416 3720209792 1221664449 3135625492 1568706654 572891372 3339139470 419355655 1809297931 2675169383 4237275022 2838734662 2927801231 1739736944 236985966 1422648283 2923669181 4019458208 2302142439 2912387629 1069749211 3006681830 378523712 1359183079 423152453 1124522732 1708164999 2944956435 4088536126 3998021142 433260281 3139860941 1776844264 97659641 184557515 699716918 1551561429 2244291493 3419467340 2993328400 1723241988 3712886219 2141259297 1351875716 2007733440 1916971415 581409544 2481561043 687665813 3787309928 1324396637 3718977593 434642668 1628762076 1845578665 3153592516 3736619876 3448060758 1372884971 1937356585 3430112133 2711896178 4231750232 3359565039 1163726562 3600402054 4065792872 4099817531 3546404513 2272092343 255 362436" option to reproduce the execution
0.00/0.03	c #vars 231
0.00/0.03	c #constraints 2707
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |      979      0 |        0 |        0
0.00/0.09	c  0.0s |       1 |      262 |      100 |      979      0 |        0 |        0
0.09/0.12	c  0.0s |       2 |      588 |      250 |     1077      0 |        0 |        0
0.09/0.16	c  0.1s |       3 |     1035 |      475 |     1185      0 |        0 |        0
0.19/0.24	c  0.2s |       4 |     1619 |      813 |     1304      0 |        0 |        0
0.29/0.36	c  0.3s |       5 |     2451 |     1320 |     1435      0 |        0 |        0
0.49/0.54	c  0.5s |       6 |     3771 |     2081 |     1737      1 |        0 |        0
0.79/0.81	c  0.7s |       7 |     5713 |     3223 |     1911      2 |        0 |        0
1.19/1.24	c  1.2s |       8 |     8357 |     4936 |     2103      4 |        0 |        0
1.79/1.88	c  1.8s |       9 |    12143 |     7506 |     2314      6 |        0 |        0
2.79/2.81	c  2.7s |      10 |    17937 |    11361 |     2546      8 |        1 |       11
3.99/4.09	c  4.0s |      11 |    27797 |    17144 |     2801     12 |        1 |       11
5.50/5.59	c  5.5s |      12 |    43918 |    25819 |     3082     15 |        5 |       55
6.09/6.19	c  6.1s |      12 |    52886 |    30696 |     3082     15 |       96 |      231
6.09/6.19	c #cpu_time = 6.099s
6.09/6.19	c #wall_clock_time = 6.115s
6.09/6.19	c #decision = 52886
6.09/6.19	c #random_decision = 168
6.09/6.19	c #conflict = 30696
6.09/6.19	c #restart = 12
6.09/6.19	s UNSATISFIABLE
6.09/6.19	c total CPU time = 6.176s
6.09/6.19	c total wall clock time = 6.192s

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

pid=17393
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: 1.44 0.59 0.31 2/170 17396
/proc/meminfo: memFree=28708448/32872528 swapFree=1459628/1655852
[pid=17396] ppid=17393 vsize=705092 CPUtime=0 cores=0,2,4,6
/proc/17396/stat : 17396 (toysat) R 17393 17396 16189 0 -1 4202496 2628 0 0 0 0 0 0 0 20 0 4 0 22658970 722014208 2990 33554432000 4194304 16246674 140737462696240 140737462695664 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17396/statm: 177041 2998 442 2943 0 173935 0
[pid=17396/tid=17397] ppid=17393 vsize=722500 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658970 739840000 3058 33554432000 4194304 16246674 140737462696240 140243143470320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17396/tid=17398] ppid=17393 vsize=727620 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658970 745082880 3075 33554432000 4194304 16246674 140737462696240 140243132980464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17396/tid=17399] ppid=17393 vsize=731716 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22658970 749277184 3094 33554432000 4194304 16246674 140737462696240 140243122506928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100164 s]
/proc/loadavg: 1.44 0.59 0.31 2/170 17396
/proc/meminfo: memFree=28708448/32872528 swapFree=1459628/1655852
[pid=17396] ppid=17393 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/17396/stat : 17396 (toysat) R 17393 17396 16189 0 -1 4202496 25527 0 0 0 6 3 0 0 20 0 4 0 22658970 1247350784 25878 33554432000 4194304 16246674 140737462696240 140737462695664 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17396/statm: 304529 25882 729 2943 0 301423 0
[pid=17396/tid=17397] ppid=17393 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658970 1247350784 25886 33554432000 4194304 16246674 140737462696240 140243143470320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17396/tid=17398] ppid=17393 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658970 1247350784 25892 33554432000 4194304 16246674 140737462696240 140243132980464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17396/tid=17399] ppid=17393 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22658970 1247350784 25897 33554432000 4194304 16246674 140737462696240 140243122506928 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.200487 s]
/proc/loadavg: 1.44 0.59 0.31 2/170 17396
/proc/meminfo: memFree=28708448/32872528 swapFree=1459628/1655852
[pid=17396] ppid=17393 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/17396/stat : 17396 (toysat) R 17393 17396 16189 0 -1 4202496 41450 0 0 0 13 6 0 0 20 0 4 0 22658970 1247350784 41800 33554432000 4194304 16246674 140737462696240 140737462695664 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17396/statm: 304529 41804 729 2943 0 301423 0
[pid=17396/tid=17397] ppid=17393 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658970 1247350784 41807 33554432000 4194304 16246674 140737462696240 140243143470320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17396/tid=17398] ppid=17393 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658970 1247350784 41813 33554432000 4194304 16246674 140737462696240 140243132980464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17396/tid=17399] ppid=17393 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22658970 1247350784 41819 33554432000 4194304 16246674 140737462696240 140243122506928 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.300424 s]
/proc/loadavg: 1.44 0.59 0.31 2/170 17396
/proc/meminfo: memFree=28708448/32872528 swapFree=1459628/1655852
[pid=17396] ppid=17393 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/17396/stat : 17396 (toysat) R 17393 17396 16189 0 -1 4202496 57539 0 0 0 21 8 0 0 20 0 4 0 22658970 1247350784 57890 33554432000 4194304 16246674 140737462696240 140737462695664 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17396/statm: 304529 57897 729 2943 0 301423 0
[pid=17396/tid=17397] ppid=17393 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658970 1247350784 57902 33554432000 4194304 16246674 140737462696240 140243143470320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17396/tid=17398] ppid=17393 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658970 1247350784 57908 33554432000 4194304 16246674 140737462696240 140243132980464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17396/tid=17399] ppid=17393 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22658970 1247350784 57912 33554432000 4194304 16246674 140737462696240 140243122506928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700384 s]
/proc/loadavg: 1.44 0.59 0.31 2/170 17396
/proc/meminfo: memFree=28708448/32872528 swapFree=1459628/1655852
[pid=17396] ppid=17393 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/17396/stat : 17396 (toysat) R 17393 17396 16189 0 -1 4202496 119908 0 0 0 52 17 0 0 20 0 4 0 22658970 1247350784 120258 33554432000 4194304 16246674 140737462696240 140737462695664 5677277 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17396/statm: 304529 120265 735 2943 0 301423 0
[pid=17396/tid=17397] ppid=17393 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658970 1247350784 120270 33554432000 4194304 16246674 140737462696240 140243143470320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17396/tid=17398] ppid=17393 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658970 1247350784 120272 33554432000 4194304 16246674 140737462696240 140243132980464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17396/tid=17399] ppid=17393 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22658970 1247350784 120277 33554432000 4194304 16246674 140737462696240 140243122506928 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.50035 s]
/proc/loadavg: 1.41 0.60 0.31 2/176 17411
/proc/meminfo: memFree=27965552/32872528 swapFree=1459628/1655852
[pid=17396] ppid=17393 vsize=1218116 CPUtime=1.49 cores=0,2,4,6
/proc/17396/stat : 17396 (toysat) R 17393 17396 16189 0 -1 4202496 243451 0 0 0 114 35 0 0 20 0 4 0 22658970 1247350784 243801 33554432000 4194304 16246674 140737462696240 140737462679240 5677541 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17396/statm: 304529 243805 735 2943 0 301423 0
[pid=17396/tid=17397] ppid=17393 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658970 1247350784 243808 33554432000 4194304 16246674 140737462696240 140243143470320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17396/tid=17398] ppid=17393 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658970 1247350784 243810 33554432000 4194304 16246674 140737462696240 140243132980464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17396/tid=17399] ppid=17393 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 16189 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22658970 1247350784 243811 33554432000 4194304 16246674 140737462696240 140243122506928 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: 1.41 0.60 0.31 3/183 17418
/proc/meminfo: memFree=26992960/32872528 swapFree=1459628/1655852
[pid=17396] ppid=17393 vsize=1302084 CPUtime=3.09 cores=0,2,4,6
/proc/17396/stat : 17396 (toysat) R 17393 17396 16189 0 -1 4202496 266547 0 0 0 271 38 0 0 20 0 4 0 22658970 1333334016 266877 33554432000 4194304 16246674 140737462696240 140737462678144 6836500 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17396/statm: 325521 266877 801 2943 0 322415 0
[pid=17396/tid=17397] ppid=17393 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658970 1333334016 266877 33554432000 4194304 16246674 140737462696240 140243143470320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17396/tid=17398] ppid=17393 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658970 1333334016 266877 33554432000 4194304 16246674 140737462696240 140243132980464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17396/tid=17399] ppid=17393 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658970 1333334016 266877 33554432000 4194304 16246674 140737462696240 140243122506928 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) 1302084

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

[startup+3.20042 s]
/proc/loadavg: 1.41 0.60 0.31 3/183 17418
/proc/meminfo: memFree=26992960/32872528 swapFree=1459628/1655852
[pid=17396] ppid=17393 vsize=1302084 CPUtime=3.19 cores=0,2,4,6
/proc/17396/stat : 17396 (toysat) R 17393 17396 16189 0 -1 4202496 266547 0 0 0 281 38 0 0 20 0 4 0 22658970 1333334016 266877 33554432000 4194304 16246674 140737462696240 140737462678144 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17396/statm: 325521 266877 801 2943 0 322415 0
[pid=17396/tid=17397] ppid=17393 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658970 1333334016 266877 33554432000 4194304 16246674 140737462696240 140243143470320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17396/tid=17398] ppid=17393 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658970 1333334016 266877 33554432000 4194304 16246674 140737462696240 140243132980464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17396/tid=17399] ppid=17393 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658970 1333334016 266877 33554432000 4194304 16246674 140737462696240 140243122506928 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) 1302084

[startup+4.80039 s]
/proc/loadavg: 1.41 0.60 0.31 2/174 17449
/proc/meminfo: memFree=27637616/32872528 swapFree=1459628/1655852
[pid=17396] ppid=17393 vsize=1306180 CPUtime=4.79 cores=0,2,4,6
/proc/17396/stat : 17396 (toysat) R 17393 17396 16189 0 -1 4202496 267367 0 0 0 441 38 0 0 20 0 4 0 22658970 1337528320 267697 33554432000 4194304 16246674 140737462696240 140737462679240 13965488 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17396/statm: 326545 267697 802 2943 0 323439 0
[pid=17396/tid=17397] ppid=17393 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658970 1337528320 267697 33554432000 4194304 16246674 140737462696240 140243143470320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17396/tid=17398] ppid=17393 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658970 1337528320 267697 33554432000 4194304 16246674 140737462696240 140243132980464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17396/tid=17399] ppid=17393 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658970 1337528320 267697 33554432000 4194304 16246674 140737462696240 140243122506928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 1306180

[startup+5.60712 s]
/proc/loadavg: 1.41 0.60 0.31 2/174 17498
/proc/meminfo: memFree=27637192/32872528 swapFree=1459628/1655852
[pid=17396] ppid=17393 vsize=1306180 CPUtime=5.6 cores=0,2,4,6
/proc/17396/stat : 17396 (toysat) R 17393 17396 16189 0 -1 4202496 267371 0 0 0 522 38 0 0 20 0 4 0 22658970 1337528320 267701 33554432000 4194304 16246674 140737462696240 140737462678144 6021024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17396/statm: 326545 267701 802 2943 0 323439 0
[pid=17396/tid=17397] ppid=17393 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658970 1337528320 267701 33554432000 4194304 16246674 140737462696240 140243143470320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17396/tid=17398] ppid=17393 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658970 1337528320 267701 33554432000 4194304 16246674 140737462696240 140243132980464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17396/tid=17399] ppid=17393 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658970 1337528320 267701 33554432000 4194304 16246674 140737462696240 140243122506928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 1306180

[startup+6.00038 s]
/proc/loadavg: 1.41 0.60 0.31 2/174 17498
/proc/meminfo: memFree=27637192/32872528 swapFree=1459628/1655852
[pid=17396] ppid=17393 vsize=1306180 CPUtime=5.99 cores=0,2,4,6
/proc/17396/stat : 17396 (toysat) R 17393 17396 16189 0 -1 4202496 267371 0 0 0 561 38 0 0 20 0 4 0 22658970 1337528320 267701 33554432000 4194304 16246674 140737462696240 140737462679240 5677784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17396/statm: 326545 267701 802 2943 0 323439 0
[pid=17396/tid=17397] ppid=17393 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17397/stat : 17397 (toysat) S 17393 17396 16189 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22658970 1337528320 267701 33554432000 4194304 16246674 140737462696240 140243143470320 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17396/tid=17398] ppid=17393 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17398/stat : 17398 (toysat) S 17393 17396 16189 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22658970 1337528320 267701 33554432000 4194304 16246674 140737462696240 140243132980464 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17396/tid=17399] ppid=17393 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/17396/task/17399/stat : 17399 (toysat) S 17393 17396 16189 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 22658970 1337528320 267701 33554432000 4194304 16246674 140737462696240 140243122506928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 1306180

[startup+6.20034 s]
/proc/loadavg: 1.41 0.60 0.31 2/174 17498
/proc/meminfo: memFree=27637192/32872528 swapFree=1459628/1655852
[pid=17396] ppid=17393 vsize=0 CPUtime=6.18 cores=0,2,4,6
/proc/17396/stat : 17396 (toysat) R 17393 17396 16189 0 -1 4202500 267378 0 0 0 580 38 0 0 20 0 1 0 22658970 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17396/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 6.25343
CPU time (s): 6.25005
CPU user time (s): 5.80912
CPU system time (s): 0.440932
CPU usage (%): 99.9459
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.80912
system time used= 0.440932
maximum resident set size= 1070824
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267378
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= 21
involuntary context switches= 7

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.016997 second user time and 0.027995 second system time

The end

Launcher Data 

Begin job on node136 at 2016-06-18 01:28:54
IDJOB=4099319
IDBENCH=1357
IDSOLVER=2542
FILE ID=node136/4099319-1466206134
RUNJOBID= node136-1466206055-16205
PBS_JOBID= 19918141
Free space on /tmp= 71740 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900552288.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099319-1466206134/watcher-4099319-1466206134 -o /tmp/evaluation-result-4099319-1466206134/solver-4099319-1466206134 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node136-1466206055-16205 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099319-1466206134.opb

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

MD5SUM BENCH= d36c8f083b4352ee7b6379767e1c28ad
RANDOM SEED=888970855

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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		: 2667.278
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		: 2667.278
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.56
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		: 2667.278
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.67
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		: 2667.278
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:        28708836 kB
Buffers:          132800 kB
Cached:          1623536 kB
SwapCached:            0 kB
Active:           127020 kB
Inactive:        1639928 kB
Active(anon):      13064 kB
Inactive(anon):        0 kB
Active(file):     113956 kB
Inactive(file):  1639928 kB
Unevictable:     1655852 kB
Mlocked:         1459628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       1666364 kB
Mapped:            12732 kB
Shmem:               204 kB
Slab:             608684 kB
SReclaimable:      52204 kB
SUnreclaim:       556480 kB
KernelStack:        1376 kB
PageTables:         7036 kB
NFS_Unstable:          4 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1752448 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    196608 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= 71724 MiB
End job on node136 at 2016-06-18 01:29:01