Trace number 4098745

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.9241 5.93031

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/
wnqueen/normalized-t2001.13queen13.1110976730.opb
MD5SUM43d4c8496523b3f19caabfccdbd3abfa
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 benchmark3.9634
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables169
Total number of constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
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 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1183
Number of bits of the biggest sum of numbers11
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:02+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-4098745-1466206082.opb"]
0.00/0.01	c use --random-gen="3187836761 1522561736 3685744351 188298475 2160317953 1512571460 3474912575 2589681192 411489195 2357128648 3211836035 3423805700 459679506 3076087692 4194878800 2845882753 2630073265 3724060745 779330614 244195288 2526760012 1047984767 659418168 2898748960 184559750 3840666178 2951104708 2864300780 444306474 1519551523 592275920 1612732223 396714490 2873014865 1245115745 1720687519 1440119434 1816636756 2255715358 3150875294 3331445814 197162071 2880041963 929930969 802099257 1055867862 420795717 2632970616 564429334 337415851 3536208018 3650174317 136580752 3120931815 3827345288 1260128139 3640146919 2848814018 3780196038 1578288844 113650460 1408896950 1417590619 2991098557 3700167660 2917117146 2890059711 3247976258 2115571439 3852957114 709056602 4104662355 2664920418 1779271264 3753664362 198994785 2546792736 2756544802 851876716 2153161424 911012946 1905302781 3232496979 1622839977 2067892639 873444004 2532374334 2371050666 499034324 2157425858 2749137706 3824829357 4199092836 3110229569 2570988370 864295894 2037729677 2794897134 859645929 617090861 1227232749 4145732995 1396709018 1783188735 3555650814 3132714425 2960939729 3770191583 426506431 119754385 2160668283 3911124026 3459765421 3340223233 1650130158 2590222039 2432378757 3324019351 780070115 15442864 2959347466 2438662437 3588598565 3348349162 3110259862 3755651490 1084861629 3955368156 4167123680 858181213 2117042441 2395686124 3186055108 2473572861 841137733 1713876597 3575592956 46862403 1852930105 366662612 745749546 4189117536 3214322478 2095097311 1373386417 3193911555 1010714311 3570396469 2656434600 2658110629 1868178323 1136411113 48005634 1646322211 4223410017 2751720756 199630318 1682331830 2560367512 3537014876 2230292857 2180912407 306126040 363760062 1419623346 2983065602 1009749693 87285416 3671762805 1320404020 941382659 3244670821 3460827066 3065677607 3399901835 4107062773 1338616976 1515064774 491900283 5026233 243170371 3039621524 3022197879 1504623321 729409052 1087285173 263405445 3730569092 82153775 3519963440 2991046111 716828870 2206704814 2164856290 1103282636 3703158483 3481630924 2392001337 2615070225 4167108260 552398265 3153650434 3374168261 3132606468 3269706478 2211273525 3561059164 324570710 2578064260 4260095784 926207981 1984651491 933953754 3285423793 377030713 373298852 1705757529 2456263487 2790912942 4125072965 1447221135 418142623 3669354285 2049482499 4206974495 3322222810 354737049 3748287441 1130386002 916607030 2217968084 2802493736 1967960237 1159825254 102352747 2159867279 174440734 1954602425 2686030605 2969499531 1472385151 2342351542 3494164865 2993905699 1162130069 3967479123 1462310381 1574005460 1127450429 1425643282 3513915845 662799055 1105160089 1082215415 2667069905 323933523 255 362436" option to reproduce the execution
0.00/0.01	c #vars 169
0.00/0.01	c #constraints 101
0.00/0.02	c Solving starts ...
0.00/0.02	c ============================[ Search Statistics ]============================
0.00/0.02	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.02	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.02	c =============================================================================
0.00/0.02	c  0.0s |       0 |        0 |        0 |       90      0 |        0 |        0
0.00/0.03	c  0.0s |       1 |      144 |      100 |       90      0 |        0 |        0
0.00/0.04	c  0.0s |       2 |      372 |      250 |      100      1 |        0 |        0
0.00/0.07	c  0.1s |       3 |      677 |      475 |      111      3 |        0 |        0
0.09/0.11	c  0.1s |       4 |     1165 |      813 |      123      7 |        0 |        0
0.09/0.17	c  0.2s |       5 |     1841 |     1320 |      136     12 |        0 |        0
0.19/0.27	c  0.2s |       6 |     2880 |     2081 |      165     18 |        0 |        0
0.39/0.40	c  0.4s |       7 |     4501 |     3223 |      182     27 |        0 |        0
0.58/0.61	c  0.6s |       8 |     6869 |     4936 |      201     40 |        0 |        0
0.89/0.94	c  0.9s |       9 |    10418 |     7506 |      222     56 |        1 |        0
1.39/1.41	c  1.4s |      10 |    15786 |    11361 |      245     79 |        2 |        0
1.89/2.00	c  2.0s |      11 |    23461 |    17144 |      270    114 |        2 |        0
2.68/2.78	c  2.8s |      12 |    35583 |    25819 |      297    157 |        6 |        0
3.89/3.95	c  3.9s |      13 |    53661 |    38832 |      327    218 |       11 |        0
5.59/5.69	c  5.7s |      14 |    80329 |    58352 |      360    291 |       26 |        0
5.79/5.87	c  5.8s |      14 |    82840 |    60165 |      360    298 |      139 |       19
5.79/5.87	c #cpu_time = 5.847s
5.79/5.87	c #wall_clock_time = 5.850s
5.79/5.87	c #decision = 82840
5.79/5.87	c #random_decision = 180
5.79/5.87	c #conflict = 60165
5.79/5.87	c #restart = 14
5.79/5.87	s UNSATISFIABLE
5.79/5.87	c total CPU time = 5.865s
5.79/5.87	c total wall clock time = 5.868s

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

pid=11134
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 0.91 0.24 0.07 3/179 11137
/proc/meminfo: memFree=31080088/32872528 swapFree=534252/566956
[pid=11137] ppid=11134 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/11137/stat : 11137 (toysat) R 11134 11137 10353 0 -1 4202496 2546 0 0 0 0 0 0 0 20 0 4 0 22653841 701952000 3418 33554432000 4194304 16246674 140737250811952 140737250811376 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11137/statm: 171887 3427 441 2943 0 168781 0
[pid=11137/tid=11138] ppid=11134 vsize=702908 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11138/stat : 11138 (toysat) S 11134 11137 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22653841 719777792 3489 33554432000 4194304 16246674 140737250811952 139971805555952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11137/tid=11139] ppid=11134 vsize=707004 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11139/stat : 11139 (toysat) S 11134 11137 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653841 723972096 3505 33554432000 4194304 16246674 140737250811952 139971795066096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11137/tid=11140] ppid=11134 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11140/stat : 11140 (toysat) S 11134 11137 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653841 729214976 3522 33554432000 4194304 16246674 140737250811952 139971709103280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100176 s]
/proc/loadavg: 0.91 0.24 0.07 3/179 11137
/proc/meminfo: memFree=31080088/32872528 swapFree=534252/566956
[pid=11137] ppid=11134 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/11137/stat : 11137 (toysat) R 11134 11137 10353 0 -1 4202496 19642 0 0 0 6 3 0 0 20 0 4 0 22653841 1247350784 20502 33554432000 4194304 16246674 140737250811952 140737250811376 5600539 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11137/statm: 304529 20508 732 2943 0 301423 0
[pid=11137/tid=11138] ppid=11134 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11138/stat : 11138 (toysat) S 11134 11137 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22653841 1247350784 20511 33554432000 4194304 16246674 140737250811952 139971805555952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11137/tid=11139] ppid=11134 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11139/stat : 11139 (toysat) S 11134 11137 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653841 1247350784 20518 33554432000 4194304 16246674 140737250811952 139971795066096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11137/tid=11140] ppid=11134 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11140/stat : 11140 (toysat) S 11134 11137 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653841 1247350784 20523 33554432000 4194304 16246674 140737250811952 139971709103280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200534 s]
/proc/loadavg: 0.91 0.24 0.07 3/179 11137
/proc/meminfo: memFree=31080088/32872528 swapFree=534252/566956
[pid=11137] ppid=11134 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/11137/stat : 11137 (toysat) R 11134 11137 10353 0 -1 4202496 35153 0 0 0 14 5 0 0 20 0 4 0 22653841 1247350784 36013 33554432000 4194304 16246674 140737250811952 140737250811376 5662075 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11137/statm: 304529 36024 732 2943 0 301423 0
[pid=11137/tid=11138] ppid=11134 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11138/stat : 11138 (toysat) S 11134 11137 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22653841 1247350784 36029 33554432000 4194304 16246674 140737250811952 139971805555952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11137/tid=11139] ppid=11134 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11139/stat : 11139 (toysat) S 11134 11137 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653841 1247350784 36036 33554432000 4194304 16246674 140737250811952 139971795066096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11137/tid=11140] ppid=11134 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11140/stat : 11140 (toysat) S 11134 11137 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653841 1247350784 36044 33554432000 4194304 16246674 140737250811952 139971709103280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.3005 s]
/proc/loadavg: 0.91 0.24 0.07 3/179 11137
/proc/meminfo: memFree=31080088/32872528 swapFree=534252/566956
[pid=11137] ppid=11134 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/11137/stat : 11137 (toysat) R 11134 11137 10353 0 -1 4202496 50420 0 0 0 22 7 0 0 20 0 4 0 22653841 1247350784 51280 33554432000 4194304 16246674 140737250811952 140737250793856 13191557 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11137/statm: 304529 51292 732 2943 0 301423 0
[pid=11137/tid=11138] ppid=11134 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11138/stat : 11138 (toysat) S 11134 11137 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22653841 1247350784 51300 33554432000 4194304 16246674 140737250811952 139971805555952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11137/tid=11139] ppid=11134 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11139/stat : 11139 (toysat) S 11134 11137 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653841 1247350784 51304 33554432000 4194304 16246674 140737250811952 139971795066096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11137/tid=11140] ppid=11134 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11140/stat : 11140 (toysat) S 11134 11137 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653841 1247350784 51316 33554432000 4194304 16246674 140737250811952 139971709103280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700393 s]
/proc/loadavg: 0.91 0.24 0.07 3/179 11137
/proc/meminfo: memFree=31080088/32872528 swapFree=534252/566956
[pid=11137] ppid=11134 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/11137/stat : 11137 (toysat) R 11134 11137 10353 0 -1 4202496 108970 0 0 0 52 17 0 0 20 0 4 0 22653841 1247350784 109830 33554432000 4194304 16246674 140737250811952 140737250793856 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11137/statm: 304529 109836 732 2943 0 301423 0
[pid=11137/tid=11138] ppid=11134 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11138/stat : 11138 (toysat) S 11134 11137 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22653841 1247350784 109839 33554432000 4194304 16246674 140737250811952 139971805555952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11137/tid=11139] ppid=11134 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11139/stat : 11139 (toysat) S 11134 11137 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653841 1247350784 109845 33554432000 4194304 16246674 140737250811952 139971795066096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11137/tid=11140] ppid=11134 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11140/stat : 11140 (toysat) S 11134 11137 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653841 1247350784 109851 33554432000 4194304 16246674 140737250811952 139971709103280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50041 s]
/proc/loadavg: 0.91 0.24 0.07 3/183 11141
/proc/meminfo: memFree=29798644/32872528 swapFree=534252/566956
[pid=11137] ppid=11134 vsize=1218116 CPUtime=1.48 cores=1,3,5,7
/proc/11137/stat : 11137 (toysat) R 11134 11137 10353 0 -1 4202496 228074 0 0 0 115 33 0 0 20 0 4 0 22653841 1247350784 228935 33554432000 4194304 16246674 140737250811952 140737250793856 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/11137/statm: 304529 228941 734 2943 0 301423 0
[pid=11137/tid=11138] ppid=11134 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11138/stat : 11138 (toysat) S 11134 11137 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22653841 1247350784 228942 33554432000 4194304 16246674 140737250811952 139971805555952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11137/tid=11139] ppid=11134 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11139/stat : 11139 (toysat) S 11134 11137 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653841 1247350784 228945 33554432000 4194304 16246674 140737250811952 139971795066096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11137/tid=11140] ppid=11134 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11140/stat : 11140 (toysat) S 11134 11137 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653841 1247350784 228950 33554432000 4194304 16246674 140737250811952 139971709103280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1218116

[startup+3.10041 s]
/proc/loadavg: 1.00 0.27 0.08 3/183 11141
/proc/meminfo: memFree=29430736/32872528 swapFree=534252/566956
[pid=11137] ppid=11134 vsize=1305156 CPUtime=3.09 cores=1,3,5,7
/proc/11137/stat : 11137 (toysat) R 11134 11137 10353 0 -1 4202496 267279 0 0 0 269 40 0 0 20 0 4 0 22653841 1336479744 268119 33554432000 4194304 16246674 140737250811952 140737250794952 13927401 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11137/statm: 326289 268119 800 2943 0 323183 0
[pid=11137/tid=11138] ppid=11134 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11138/stat : 11138 (toysat) S 11134 11137 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22653841 1336479744 268119 33554432000 4194304 16246674 140737250811952 139971805555952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11137/tid=11139] ppid=11134 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11139/stat : 11139 (toysat) S 11134 11137 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653841 1336479744 268119 33554432000 4194304 16246674 140737250811952 139971795066096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11137/tid=11140] ppid=11134 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11140/stat : 11140 (toysat) S 11134 11137 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653841 1336479744 268119 33554432000 4194304 16246674 140737250811952 139971709103280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1305156

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

[startup+3.20051 s]
/proc/loadavg: 1.00 0.27 0.08 3/183 11141
/proc/meminfo: memFree=29430736/32872528 swapFree=534252/566956
[pid=11137] ppid=11134 vsize=1305156 CPUtime=3.19 cores=1,3,5,7
/proc/11137/stat : 11137 (toysat) R 11134 11137 10353 0 -1 4202496 267279 0 0 0 279 40 0 0 20 0 4 0 22653841 1336479744 268119 33554432000 4194304 16246674 140737250811952 140737250794952 12874792 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11137/statm: 326289 268119 800 2943 0 323183 0
[pid=11137/tid=11138] ppid=11134 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11138/stat : 11138 (toysat) S 11134 11137 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22653841 1336479744 268119 33554432000 4194304 16246674 140737250811952 139971805555952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11137/tid=11139] ppid=11134 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11139/stat : 11139 (toysat) S 11134 11137 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653841 1336479744 268119 33554432000 4194304 16246674 140737250811952 139971795066096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11137/tid=11140] ppid=11134 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11140/stat : 11140 (toysat) S 11134 11137 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653841 1336479744 268119 33554432000 4194304 16246674 140737250811952 139971709103280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 1305156

[startup+4.80037 s]
/proc/loadavg: 1.00 0.27 0.08 3/183 11141
/proc/meminfo: memFree=29313944/32872528 swapFree=534252/566956
[pid=11137] ppid=11134 vsize=1306180 CPUtime=4.79 cores=1,3,5,7
/proc/11137/stat : 11137 (toysat) R 11134 11137 10353 0 -1 4202496 267393 0 0 0 438 41 0 0 20 0 4 0 22653841 1337528320 268233 33554432000 4194304 16246674 140737250811952 140737250793856 5600492 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11137/statm: 326545 268233 800 2943 0 323439 0
[pid=11137/tid=11138] ppid=11134 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11138/stat : 11138 (toysat) S 11134 11137 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22653841 1337528320 268233 33554432000 4194304 16246674 140737250811952 139971805555952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11137/tid=11139] ppid=11134 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11139/stat : 11139 (toysat) S 11134 11137 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653841 1337528320 268233 33554432000 4194304 16246674 140737250811952 139971795066096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11137/tid=11140] ppid=11134 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11140/stat : 11140 (toysat) S 11134 11137 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653841 1337528320 268233 33554432000 4194304 16246674 140737250811952 139971709103280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 1306180

[startup+5.60734 s]
/proc/loadavg: 1.00 0.27 0.08 2/174 11172
/proc/meminfo: memFree=30403012/32872528 swapFree=534252/566956
[pid=11137] ppid=11134 vsize=1306180 CPUtime=5.59 cores=1,3,5,7
/proc/11137/stat : 11137 (toysat) R 11134 11137 10353 0 -1 4202496 267404 0 0 0 518 41 0 0 20 0 4 0 22653841 1337528320 268244 33554432000 4194304 16246674 140737250811952 140737250793856 13780648 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11137/statm: 326545 268244 800 2943 0 323439 0
[pid=11137/tid=11138] ppid=11134 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11138/stat : 11138 (toysat) S 11134 11137 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22653841 1337528320 268244 33554432000 4194304 16246674 140737250811952 139971805555952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11137/tid=11139] ppid=11134 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11139/stat : 11139 (toysat) S 11134 11137 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653841 1337528320 268244 33554432000 4194304 16246674 140737250811952 139971795066096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11137/tid=11140] ppid=11134 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11140/stat : 11140 (toysat) S 11134 11137 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653841 1337528320 268244 33554432000 4194304 16246674 140737250811952 139971709103280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 1306180

[startup+5.80043 s]
/proc/loadavg: 1.00 0.27 0.08 2/174 11172
/proc/meminfo: memFree=30403012/32872528 swapFree=534252/566956
[pid=11137] ppid=11134 vsize=1306180 CPUtime=5.79 cores=1,3,5,7
/proc/11137/stat : 11137 (toysat) R 11134 11137 10353 0 -1 4202496 267404 0 0 0 538 41 0 0 20 0 4 0 22653841 1337528320 268244 33554432000 4194304 16246674 140737250811952 140737250793856 13943664 0 0 0 34082818 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11137/statm: 326545 268244 800 2943 0 323439 0
[pid=11137/tid=11138] ppid=11134 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11138/stat : 11138 (toysat) S 11134 11137 10353 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22653841 1337528320 268244 33554432000 4194304 16246674 140737250811952 139971805555952 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=11137/tid=11139] ppid=11134 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11139/stat : 11139 (toysat) S 11134 11137 10353 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22653841 1337528320 268244 33554432000 4194304 16246674 140737250811952 139971795066096 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=11137/tid=11140] ppid=11134 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/11137/task/11140/stat : 11140 (toysat) S 11134 11137 10353 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22653841 1337528320 268244 33554432000 4194304 16246674 140737250811952 139971709103280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 5.79
Current children cumulated vsize (KiB) 1306180

[startup+5.90042 s]
/proc/loadavg: 1.00 0.27 0.08 2/174 11172
/proc/meminfo: memFree=30403012/32872528 swapFree=534252/566956
[pid=11137] ppid=11134 vsize=0 CPUtime=5.89 cores=1,3,5,7
/proc/11137/stat : 11137 (toysat) R 11134 11137 10353 0 -1 4202500 267410 0 0 0 545 44 0 0 20 0 1 0 22653841 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/11137/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 5.93031
CPU time (s): 5.9241
CPU user time (s): 5.45217
CPU system time (s): 0.471928
CPU usage (%): 99.8952
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.45217
system time used= 0.471928
maximum resident set size= 1072992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267410
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 31

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.038994 second user time and 0.031995 second system time

The end

Launcher Data 

Begin job on node138 at 2016-06-18 01:28:02
IDJOB=4098745
IDBENCH=1240
IDSOLVER=2542
FILE ID=node138/4098745-1466206082
RUNJOBID= node138-1466206053-10370
PBS_JOBID= 19918139
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110976730.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4098745-1466206082/watcher-4098745-1466206082 -o /tmp/evaluation-result-4098745-1466206082/solver-4098745-1466206082 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466206053-10370 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4098745-1466206082.opb

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

MD5SUM BENCH= 43d4c8496523b3f19caabfccdbd3abfa
RANDOM SEED=1347338199

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31091784 kB
Buffers:           37980 kB
Cached:            98640 kB
SwapCached:         1056 kB
Active:           448512 kB
Inactive:          56472 kB
Active(anon):     369444 kB
Inactive(anon):     1192 kB
Active(file):      79068 kB
Inactive(file):    55280 kB
Unevictable:      566956 kB
Mlocked:          534252 kB
SwapTotal:      67108856 kB
SwapFree:       67099604 kB
Dirty:             33596 kB
Writeback:             0 kB
AnonPages:        931052 kB
Mapped:             9688 kB
Shmem:                 0 kB
Slab:             574320 kB
SReclaimable:      16884 kB
SUnreclaim:       557436 kB
KernelStack:        1376 kB
PageTables:         7048 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1695632 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     32768 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71716 MiB
End job on node138 at 2016-06-18 01:28:08